runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/randc10393.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//randc10393.cudf /home/misc2010/tmp/201007051419/inesct-1.0/randc10393.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.94 1.02 1.04 1/94 1833 /proc/meminfo: memFree=1274660/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3268 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) R 1833 1833 13759 34823 13904 4202496 345 0 0 0 0 0 0 0 19 0 1 0 418794461 3346432 266 1283457024 134512640 135539072 4287439216 18446744073709551615 134777616 0 0 0 0 0 0 0 17 1 0 0 0 /proc/1834/statm: 817 269 204 251 0 118 0 [startup+0.148385 s] /proc/loadavg: 0.94 1.02 1.04 1/94 1833 /proc/meminfo: memFree=1274660/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.208404 s] /proc/loadavg: 0.94 1.02 1.04 1/94 1833 /proc/meminfo: memFree=1274660/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+0.328581 s] /proc/loadavg: 0.94 1.02 1.04 1/94 1833 /proc/meminfo: memFree=1274660/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+1.06832 s] /proc/loadavg: 0.94 1.02 1.04 1/94 1833 /proc/meminfo: memFree=1274660/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+1.51015 s] /proc/loadavg: 0.94 1.02 1.04 1/94 1833 /proc/meminfo: memFree=1274660/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6372 [startup+3.10997 s] /proc/loadavg: 0.94 1.02 1.04 4/108 1847 /proc/meminfo: memFree=1123416/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=0 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 19 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1836] ppid=1834 vsize=876428 CPUtime=4.94 /proc/1836/stat : 1836 (java) S 1834 1833 13759 34823 13904 4202496 50547 0 0 0 470 24 0 0 18 0 12 0 418794462 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160001170 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1836/statm: 219107 43908 1770 10 0 216194 0 [pid=1836/tid=1837] ppid=1834 vsize=876428 CPUtime=2.13 /proc/1836/task/1837/stat : 1837 (java) R 1834 1833 13759 34823 13904 4202560 15866 0 0 0 204 9 0 0 16 0 12 0 418794464 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4095974609 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=1836/tid=1838] ppid=1834 vsize=876428 CPUtime=0.33 /proc/1836/task/1838/stat : 1838 (java) S 1834 1833 13759 34823 13904 4202560 12960 0 0 0 31 2 0 0 16 0 12 0 418794465 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160014576 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=1836/tid=1839] ppid=1834 vsize=876428 CPUtime=0.25 /proc/1836/task/1839/stat : 1839 (java) S 1834 1833 13759 34823 13904 4202560 8981 0 0 0 21 4 0 0 16 0 12 0 418794465 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160014576 0 4 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=1836/tid=1840] ppid=1834 vsize=876428 CPUtime=0.26 /proc/1836/task/1840/stat : 1840 (java) S 1834 1833 13759 34823 13904 4202560 1855 0 0 0 26 0 0 0 15 0 12 0 418794466 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160015368 0 0 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=1836/tid=1841] ppid=1834 vsize=876428 CPUtime=0 /proc/1836/task/1841/stat : 1841 (java) S 1834 1833 13759 34823 13904 4202560 12 0 0 0 0 0 0 0 15 0 12 0 418794466 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160014576 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=1836/tid=1842] ppid=1834 vsize=876428 CPUtime=0 /proc/1836/task/1842/stat : 1842 (java) R 1834 1833 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418794466 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160014576 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1836/tid=1843] ppid=1834 vsize=876428 CPUtime=0 /proc/1836/task/1843/stat : 1843 (java) S 1834 1833 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418794469 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160022864 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=1836/tid=1844] ppid=1834 vsize=876428 CPUtime=0.95 /proc/1836/task/1844/stat : 1844 (java) R 1834 1833 13759 34823 13904 4202560 5166 0 0 0 91 4 0 0 16 0 12 0 418794469 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4150086656 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1836/tid=1845] ppid=1834 vsize=876428 CPUtime=0.97 /proc/1836/task/1845/stat : 1845 (java) R 1834 1833 13759 34823 13904 4202560 4311 0 0 0 95 2 0 0 15 0 12 0 418794469 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4152548372 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1836/tid=1846] ppid=1834 vsize=876428 CPUtime=0 /proc/1836/task/1846/stat : 1846 (java) S 1834 1833 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418794469 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160014576 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=1836/tid=1847] ppid=1834 vsize=876428 CPUtime=0 /proc/1836/task/1847/stat : 1847 (java) R 1834 1833 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418794469 897462272 43908 1283457024 134512640 134550932 4288280976 18446744073709551615 4160015368 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.94 Current children cumulated vsize (KiB) 882800 [startup+6.30453 s] /proc/loadavg: 0.94 1.02 1.04 2/98 1852 /proc/meminfo: memFree=1230004/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=40132 CPUtime=2.02 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 10608 0 0 0 199 3 0 0 21 0 1 0 418794888 41095168 9807 1283457024 134512640 135858300 4289985632 18446744073709551615 134626760 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 10033 9807 137 329 0 9702 0 Current children cumulated CPU time (s) 8.3 Current children cumulated vsize (KiB) 49392 [startup+12.7049 s] /proc/loadavg: 0.95 1.02 1.04 2/98 1853 /proc/meminfo: memFree=1229028/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=40512 CPUtime=8.42 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 10940 0 0 0 838 4 0 0 25 0 1 0 418794888 41484288 9901 1283457024 134512640 135858300 4289985632 18446744073709551615 134662910 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 10128 9901 137 329 0 9797 0 Current children cumulated CPU time (s) 14.7 Current children cumulated vsize (KiB) 49772 [startup+25.5054 s] /proc/loadavg: 0.96 1.02 1.04 2/98 1853 /proc/meminfo: memFree=1229036/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=40512 CPUtime=21.22 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 10940 0 0 0 2117 5 0 0 25 0 1 0 418794888 41484288 9901 1283457024 134512640 135858300 4289985632 18446744073709551615 134666380 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 10128 9901 137 329 0 9797 0 Current children cumulated CPU time (s) 27.5 Current children cumulated vsize (KiB) 49772 [startup+51.1065 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1855 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=46068 CPUtime=46.78 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12347 0 0 0 4670 8 0 0 25 0 1 0 418794888 47173632 11308 1283457024 134512640 135858300 4289985632 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 11517 11308 137 329 0 11186 0 Current children cumulated CPU time (s) 53.06 Current children cumulated vsize (KiB) 55328 Solver just ended. Dumping a history of the last processes samples [startup+51.7066 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1855 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=46068 CPUtime=47.38 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12347 0 0 0 4730 8 0 0 25 0 1 0 418794888 47173632 11308 1283457024 134512640 135858300 4289985632 18446744073709551615 134626760 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 11517 11308 137 329 0 11186 0 Current children cumulated CPU time (s) 53.66 Current children cumulated vsize (KiB) 55328 [startup+58.1069 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1856 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=46068 CPUtime=53.78 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12347 0 0 0 5370 8 0 0 25 0 1 0 418794888 47173632 11308 1283457024 134512640 135858300 4289985632 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 11517 11308 137 329 0 11186 0 Current children cumulated CPU time (s) 60.06 Current children cumulated vsize (KiB) 55328 [startup+59.7069 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1856 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=46068 CPUtime=55.38 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12347 0 0 0 5530 8 0 0 25 0 1 0 418794888 47173632 11308 1283457024 134512640 135858300 4289985632 18446744073709551615 134625517 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 11517 11308 137 329 0 11186 0 Current children cumulated CPU time (s) 61.66 Current children cumulated vsize (KiB) 55328 [startup+60.5069 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1856 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=46068 CPUtime=56.18 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12347 0 0 0 5610 8 0 0 25 0 1 0 418794888 47173632 11308 1283457024 134512640 135858300 4289985632 18446744073709551615 134626052 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 11517 11308 137 329 0 11186 0 Current children cumulated CPU time (s) 62.46 Current children cumulated vsize (KiB) 55328 [startup+61.3069 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1856 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=46068 CPUtime=56.98 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12347 0 0 0 5690 8 0 0 25 0 1 0 418794888 47173632 11308 1283457024 134512640 135858300 4289985632 18446744073709551615 134652740 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 11517 11308 137 329 0 11186 0 Current children cumulated CPU time (s) 63.26 Current children cumulated vsize (KiB) 55328 [startup+61.707 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1856 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=3996 CPUtime=6.28 /proc/1834/stat : 1834 (cudf-solver.py) S 1833 1833 13759 34823 13904 4202496 810 52812 0 0 0 0 592 36 15 0 1 0 418794461 4091904 641 1283457024 134512640 135539072 4287439216 18446744073709551615 4158835342 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/1834/statm: 999 641 346 251 0 300 0 [pid=1851] ppid=1834 vsize=2888 CPUtime=0 /proc/1851/stat : 1851 (sh) S 1834 1833 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418794887 2957312 320 1283457024 134512640 135191968 4287218080 18446744073709551615 4159687310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1851/statm: 722 320 219 166 0 154 0 [pid=1852] ppid=1851 vsize=40508 CPUtime=57.38 /proc/1852/stat : 1852 (msuncore) R 1851 1833 13759 34823 13904 4202496 12360 0 0 0 5730 8 0 0 25 0 1 0 418794888 41480192 9944 1283457024 134512640 135858300 4289985632 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/1852/statm: 10127 9944 150 329 0 9796 0 Current children cumulated CPU time (s) 63.66 Current children cumulated vsize (KiB) 49768 [startup+61.809 s] /proc/loadavg: 0.97 1.02 1.03 2/98 1856 /proc/meminfo: memFree=1223340/2097152 swapFree=2055620/2097144 [pid=1833] ppid=1832 vsize=2376 CPUtime=0 /proc/1833/stat : 1833 (inesct-1.0) S 1832 1833 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 418794461 2433024 257 1283457024 134512640 135191968 4287639952 18446744073709551615 4158814862 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/1833/statm: 594 257 221 166 0 26 0 [pid=1834] ppid=1833 vsize=7884 CPUtime=63.76 /proc/1834/stat : 1834 (cudf-solver.py) R 1833 1833 13759 34823 13904 4202496 1949 65537 0 0 7 1 6322 46 16 0 1 0 418794461 8073216 1573 1283457024 134512640 135539072 4287439216 18446744073709551615 135064010 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/1834/statm: 1971 1573 346 251 0 1272 0 Current children cumulated CPU time (s) 63.76 Current children cumulated vsize (KiB) 10260 Child status: 0 Real time (s): 61.8375 CPU time (s): 63.8 CPU user time (s): 63.32 CPU system time (s): 0.48003 CPU usage (%): 103.174 Max. virtual memory (cumulated for all children) (KiB): 885232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 63.32 system time used= 0.48003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69256 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 482 involuntary context switches= 700 runsolver used 0.008 second user time and 0.016001 second system time The end