runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3210009-1303146824/watcher-3210009-1303146824 -o /tmp/evaluation-result-3210009-1303146824/solver-3210009-1303146824 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3210009-1303146824.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14864
/proc/meminfo: memFree=18390140/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=4256 CPUtime=0 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 808 0 0 0 0 0 0 0 25 0 1 0 426280150 4358144 765 33554432000 134512640 135197378 4286574960 18446744073709551615 134718590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 1064 766 58 168 0 895 0
[startup+0.0936359 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14864
/proc/meminfo: memFree=18390140/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=6104 CPUtime=0.08 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 1384 0 0 0 8 0 0 0 25 0 1 0 426280150 6250496 1341 33554432000 134512640 135197378 4286574960 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 1526 1342 58 168 0 1357 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6104
[startup+0.100633 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14864
/proc/meminfo: memFree=18390140/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=12332 CPUtime=0.09 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 2015 0 0 0 9 0 0 0 25 0 1 0 426280150 12627968 1971 33554432000 134512640 135197378 4286574960 18446744073709551615 134565017 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 3083 1971 62 168 0 2914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12332
[startup+0.3006 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14864
/proc/meminfo: memFree=18390140/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=14432 CPUtime=0.29 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 5481 0 0 0 29 0 0 0 25 0 1 0 426280150 14778368 2393 33554432000 134512640 135197378 4286574960 18446744073709551615 134560774 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 3608 2393 67 168 0 3439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14432
[startup+0.700536 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 14864
/proc/meminfo: memFree=18390140/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=18852 CPUtime=0.68 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 16036 0 0 0 67 1 0 0 25 0 1 0 426280150 19304448 3102 33554432000 134512640 135197378 4286574960 18446744073709551615 134562115 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 4713 3107 80 168 0 4544 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18852
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14865
/proc/meminfo: memFree=18364348/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=54312 CPUtime=1.49 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 29921 0 0 0 146 3 0 0 25 0 1 0 426280150 55615488 12271 33554432000 134512640 135197378 4286574960 18446744073709551615 134572869 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 13578 12271 91 168 0 13409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54312
[startup+3.10109 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14865
/proc/meminfo: memFree=18338432/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=55500 CPUtime=3.09 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 30191 0 0 0 306 3 0 0 25 0 1 0 426280150 56832000 12541 33554432000 134512640 135197378 4286574960 18446744073709551615 134572898 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 13875 12541 91 168 0 13706 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55500
[startup+6.30051 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14865
/proc/meminfo: memFree=18332204/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=61540 CPUtime=6.29 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 31632 0 0 0 626 3 0 0 25 0 1 0 426280150 63016960 13982 33554432000 134512640 135197378 4286574960 18446744073709551615 134539323 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 15385 13982 91 168 0 15216 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61540
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14865
/proc/meminfo: memFree=18328392/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=63124 CPUtime=12.69 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 32020 0 0 0 1266 3 0 0 25 0 1 0 426280150 64638976 14370 33554432000 134512640 135197378 4286574960 18446744073709551615 134541708 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 15781 14370 91 168 0 15612 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63124
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14865
/proc/meminfo: memFree=18325812/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=64312 CPUtime=25.49 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 32327 0 0 0 2546 3 0 0 25 0 1 0 426280150 65855488 14677 33554432000 134512640 135197378 4286574960 18446744073709551615 134541708 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 16078 14677 91 168 0 15909 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64312
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14866
/proc/meminfo: memFree=18321604/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=65368 CPUtime=51.09 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 32593 0 0 0 5106 3 0 0 25 0 1 0 426280150 66936832 14943 33554432000 134512640 135197378 4286574960 18446744073709551615 134572875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 16342 14943 91 168 0 16173 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65368
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14868
/proc/meminfo: memFree=18313668/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=66424 CPUtime=102.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 32862 0 0 0 10226 4 0 0 25 0 1 0 426280150 68018176 15212 33554432000 134512640 135197378 4286574960 18446744073709551615 134552934 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 16606 15212 91 168 0 16437 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66424
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14869
/proc/meminfo: memFree=18305464/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=67084 CPUtime=162.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33034 0 0 0 16226 4 0 0 25 0 1 0 426280150 68694016 15384 33554432000 134512640 135197378 4286574960 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 16771 15384 91 168 0 16602 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 67084
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14871
/proc/meminfo: memFree=18297624/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=67612 CPUtime=222.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33161 0 0 0 22226 4 0 0 25 0 1 0 426280150 69234688 15511 33554432000 134512640 135197378 4286574960 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 16903 15511 91 168 0 16734 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 67612
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 14872
/proc/meminfo: memFree=18289640/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=68008 CPUtime=282.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33258 0 0 0 28226 4 0 0 25 0 1 0 426280150 69640192 15608 33554432000 134512640 135197378 4286574960 18446744073709551615 134597423 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 17002 15608 91 168 0 16833 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68008
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 14874
/proc/meminfo: memFree=18281692/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=68272 CPUtime=342.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33345 0 0 0 34226 4 0 0 25 0 1 0 426280150 69910528 15695 33554432000 134512640 135197378 4286574960 18446744073709551615 134541677 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 17068 15695 91 168 0 16899 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 68272
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 14876
/proc/meminfo: memFree=18273848/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=68668 CPUtime=402.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33414 0 0 0 40226 4 0 0 25 0 1 0 426280150 70316032 15764 33554432000 134512640 135197378 4286574960 18446744073709551615 134548488 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 17167 15764 91 168 0 16998 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 68668
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 14877
/proc/meminfo: memFree=18266268/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=68800 CPUtime=462.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33476 0 0 0 46226 4 0 0 25 0 1 0 426280150 70451200 15826 33554432000 134512640 135197378 4286574960 18446744073709551615 134553035 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 17200 15826 91 168 0 17031 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 68800
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 14879
/proc/meminfo: memFree=18258696/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=69064 CPUtime=522.3 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33532 0 0 0 52226 4 0 0 25 0 1 0 426280150 70721536 15882 33554432000 134512640 135197378 4286574960 18446744073709551615 134570751 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 17266 15882 91 168 0 17097 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 69064
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 14880
/proc/meminfo: memFree=18250852/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=69196 CPUtime=582.31 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 33571 0 0 0 58227 4 0 0 25 0 1 0 426280150 70856704 15921 33554432000 134512640 135197378 4286574960 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 17299 15921 91 168 0 17130 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 69196
[startup+642.3 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14985
/proc/meminfo: memFree=17818996/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=72896 CPUtime=4062.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34506 0 0 0 406237 5 0 0 25 0 1 0 426280150 74645504 16856 33554432000 134512640 135197378 4286574960 18446744073709551615 134597423 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18224 16856 91 168 0 18055 0
Current children cumulated CPU time (s) 4062.42
Current children cumulated vsize (KiB) 72896
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14987
/proc/meminfo: memFree=17811412/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=72896 CPUtime=4122.41 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34512 0 0 0 412236 5 0 0 25 0 1 0 426280150 74645504 16862 33554432000 134512640 135197378 4286574960 18446744073709551615 134541677 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18224 16862 91 168 0 18055 0
Current children cumulated CPU time (s) 4122.41
Current children cumulated vsize (KiB) 72896
[startup+4182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 14988
/proc/meminfo: memFree=17803824/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73028 CPUtime=4182.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34518 0 0 0 418237 5 0 0 25 0 1 0 426280150 74780672 16868 33554432000 134512640 135197378 4286574960 18446744073709551615 134539282 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18257 16868 91 168 0 18088 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 73028
[startup+4242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14990
/proc/meminfo: memFree=17796368/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73028 CPUtime=4242.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34525 0 0 0 424237 5 0 0 25 0 1 0 426280150 74780672 16875 33554432000 134512640 135197378 4286574960 18446744073709551615 134552523 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18257 16875 91 168 0 18088 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 73028
[startup+4302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14992
/proc/meminfo: memFree=17788676/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73028 CPUtime=4302.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34533 0 0 0 430237 5 0 0 25 0 1 0 426280150 74780672 16883 33554432000 134512640 135197378 4286574960 18446744073709551615 134541672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18257 16883 91 168 0 18088 0
Current children cumulated CPU time (s) 4302.42
Current children cumulated vsize (KiB) 73028
[startup+4362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 14993
/proc/meminfo: memFree=17781464/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73028 CPUtime=4362.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34539 0 0 0 436237 5 0 0 25 0 1 0 426280150 74780672 16889 33554432000 134512640 135197378 4286574960 18446744073709551615 134525339 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18257 16889 91 168 0 18088 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 73028
[startup+4422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14995
/proc/meminfo: memFree=17774136/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73028 CPUtime=4422.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34545 0 0 0 442237 5 0 0 25 0 1 0 426280150 74780672 16895 33554432000 134512640 135197378 4286574960 18446744073709551615 134552646 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18257 16895 91 168 0 18088 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 73028
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14996
/proc/meminfo: memFree=17766420/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73160 CPUtime=4482.42 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34553 0 0 0 448237 5 0 0 25 0 1 0 426280150 74915840 16903 33554432000 134512640 135197378 4286574960 18446744073709551615 134539269 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18290 16903 91 168 0 18121 0
Current children cumulated CPU time (s) 4482.42
Current children cumulated vsize (KiB) 73160
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14998
/proc/meminfo: memFree=17759088/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73160 CPUtime=4542.43 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34559 0 0 0 454238 5 0 0 25 0 1 0 426280150 74915840 16909 33554432000 134512640 135197378 4286574960 18446744073709551615 134541677 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18290 16909 91 168 0 18121 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 73160
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15000
/proc/meminfo: memFree=17751248/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73160 CPUtime=4602.43 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34565 0 0 0 460238 5 0 0 25 0 1 0 426280150 74915840 16915 33554432000 134512640 135197378 4286574960 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18290 16915 91 168 0 18121 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 73160
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15001
/proc/meminfo: memFree=17743912/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73160 CPUtime=4662.43 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34571 0 0 0 466238 5 0 0 25 0 1 0 426280150 74915840 16921 33554432000 134512640 135197378 4286574960 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18290 16921 91 168 0 18121 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 73160
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15003
/proc/meminfo: memFree=17736584/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73160 CPUtime=4722.44 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34579 0 0 0 472239 5 0 0 25 0 1 0 426280150 74915840 16929 33554432000 134512640 135197378 4286574960 18446744073709551615 134552507 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18290 16929 91 168 0 18121 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 73160
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15004
/proc/meminfo: memFree=17729240/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73292 CPUtime=4782.43 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34586 0 0 0 478238 5 0 0 25 0 1 0 426280150 75051008 16936 33554432000 134512640 135197378 4286574960 18446744073709551615 134541677 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18323 16936 91 168 0 18154 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 73292
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15006
/proc/meminfo: memFree=17722284/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73292 CPUtime=4842.44 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34591 0 0 0 484239 5 0 0 25 0 1 0 426280150 75051008 16941 33554432000 134512640 135197378 4286574960 18446744073709551615 134525269 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18323 16941 91 168 0 18154 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 73292
[startup+4902.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15008
/proc/meminfo: memFree=17714832/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73292 CPUtime=4902.44 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34598 0 0 0 490239 5 0 0 25 0 1 0 426280150 75051008 16948 33554432000 134512640 135197378 4286574960 18446744073709551615 134539302 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18323 16948 91 168 0 18154 0
Current children cumulated CPU time (s) 4902.44
Current children cumulated vsize (KiB) 73292
[startup+4962.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15009
/proc/meminfo: memFree=17708124/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73292 CPUtime=4962.44 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34602 0 0 0 496239 5 0 0 25 0 1 0 426280150 75051008 16952 33554432000 134512640 135197378 4286574960 18446744073709551615 134552649 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18323 16952 91 168 0 18154 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 73292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 15011
/proc/meminfo: memFree=18321528/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73292 CPUtime=5000.05 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34606 0 0 0 500000 5 0 0 25 0 1 0 426280150 75051008 16956 33554432000 134512640 135197378 4286574960 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18323 16956 91 168 0 18154 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 73292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 15011
/proc/meminfo: memFree=18321528/32951124 swapFree=67111528/67111528
[pid=14864] ppid=14862 vsize=73292 CPUtime=5000.05 cores=0,2,4,6
/proc/14864/stat : 14864 (march_hi) R 14862 14864 14411 0 -1 4202496 34606 0 0 0 500000 5 0 0 25 0 1 0 426280150 75051008 16956 33554432000 134512640 135197378 4286574960 18446744073709551615 134539266 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14864/statm: 18323 16956 91 168 0 18154 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 73292
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.91
CPU time (s): 5000.06
CPU user time (s): 5000
CPU system time (s): 0.05999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 73292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34606
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= 3
involuntary context switches= 11526
runsolver used 9.07962 second user time and 17.9383 second system time
The end