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-3209581-1303125802/watcher-3209581-1303125802 -o /tmp/evaluation-result-3209581-1303125802/solver-3209581-1303125802 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3209581-1303125802.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.93 2/172 8150
/proc/meminfo: memFree=23667600/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=2124 CPUtime=0 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 372 0 0 0 0 0 0 0 25 0 1 0 502810672 2174976 328 33554432000 134512640 135197378 4291131648 18446744073709551615 134718590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 531 328 58 168 0 362 0
[startup+0.00946009 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 8150
/proc/meminfo: memFree=23667600/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=2124 CPUtime=0 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 394 0 0 0 0 0 0 0 25 0 1 0 502810672 2174976 350 33554432000 134512640 135197378 4291131648 18446744073709551615 134857171 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 531 351 58 168 0 362 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2124
[startup+0.100453 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 8150
/proc/meminfo: memFree=23667600/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=5444 CPUtime=0.09 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 1941 0 0 0 9 0 0 0 25 0 1 0 502810672 5574656 913 33554432000 134512640 135197378 4291131648 18446744073709551615 134695764 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 1361 913 67 168 0 1192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5444
[startup+0.300445 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 8150
/proc/meminfo: memFree=23667600/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=19128 CPUtime=0.29 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 6502 0 0 0 29 0 0 0 25 0 1 0 502810672 19587072 2003 33554432000 134512640 135197378 4291131648 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 4815 2010 86 168 0 4646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19128
[startup+0.700359 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 8150
/proc/meminfo: memFree=23667600/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=19244 CPUtime=0.69 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 9086 0 0 0 68 1 0 0 25 0 1 0 502810672 19705856 4325 33554432000 134512640 135197378 4291131648 18446744073709551615 134572872 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 4811 4325 91 168 0 4642 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19244
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8156
/proc/meminfo: memFree=23642024/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=20852 CPUtime=1.49 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 9492 0 0 0 148 1 0 0 25 0 1 0 502810672 21352448 4731 33554432000 134512640 135197378 4291131648 18446744073709551615 134541669 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 5213 4731 91 168 0 5044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20852
[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8156
/proc/meminfo: memFree=23640928/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=21316 CPUtime=3.09 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 9588 0 0 0 308 1 0 0 25 0 1 0 502810672 21827584 4827 33554432000 134512640 135197378 4291131648 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 5329 4827 91 168 0 5160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21316
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8156
/proc/meminfo: memFree=23639440/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=21704 CPUtime=6.29 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 9697 0 0 0 628 1 0 0 25 0 1 0 502810672 22224896 4936 33554432000 134512640 135197378 4291131648 18446744073709551615 134542237 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 5426 4936 91 168 0 5257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21704
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8157
/proc/meminfo: memFree=23637944/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=22356 CPUtime=12.69 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 9828 0 0 0 1268 1 0 0 25 0 1 0 502810672 22892544 5067 33554432000 134512640 135197378 4291131648 18446744073709551615 134542056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 5589 5067 91 168 0 5420 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22356
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8157
/proc/meminfo: memFree=23636616/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=23188 CPUtime=25.49 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 10005 0 0 0 2548 1 0 0 25 0 1 0 502810672 23744512 5244 33554432000 134512640 135197378 4291131648 18446744073709551615 134541626 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 5797 5244 91 168 0 5628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23188
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8158
/proc/meminfo: memFree=23633332/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=24228 CPUtime=51.09 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 10313 0 0 0 5108 1 0 0 25 0 1 0 502810672 24809472 5552 33554432000 134512640 135197378 4291131648 18446744073709551615 134541714 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 6057 5552 91 168 0 5888 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24228
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8159
/proc/meminfo: memFree=23626500/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=26884 CPUtime=102.3 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 10855 0 0 0 10228 2 0 0 25 0 1 0 502810672 27529216 6085 33554432000 134512640 135197378 4291131648 18446744073709551615 134570786 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 6721 6085 91 168 0 6552 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8161
/proc/meminfo: memFree=23619668/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=29384 CPUtime=162.3 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 11405 0 0 0 16228 2 0 0 25 0 1 0 502810672 30089216 6635 33554432000 134512640 135197378 4291131648 18446744073709551615 134572986 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 7346 6635 91 168 0 7177 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 29384
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8162
/proc/meminfo: memFree=23612952/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=32612 CPUtime=222.3 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 11949 0 0 0 22228 2 0 0 25 0 1 0 502810672 33394688 7179 33554432000 134512640 135197378 4291131648 18446744073709551615 134541631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 8153 7179 91 168 0 7984 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32612
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8164
/proc/meminfo: memFree=23606228/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=36756 CPUtime=282.3 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 12427 0 0 0 28228 2 0 0 25 0 1 0 502810672 37638144 7657 33554432000 134512640 135197378 4291131648 18446744073709551615 134541663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 9189 7657 91 168 0 9020 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 36756
[startup+342.301 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 8166
/proc/meminfo: memFree=23599864/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=36888 CPUtime=342.3 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 12918 0 0 0 34228 2 0 0 25 0 1 0 502810672 37773312 8148 33554432000 134512640 135197378 4291131648 18446744073709551615 134541698 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 9222 8148 91 168 0 9053 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36888
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 8167
/proc/meminfo: memFree=23593404/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=37508 CPUtime=402.31 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 13402 0 0 0 40228 3 0 0 25 0 1 0 502810672 38408192 8632 33554432000 134512640 135197378 4291131648 18446744073709551615 134541677 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 9377 8632 91 168 0 9208 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 37508
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 8169
/proc/meminfo: memFree=23587296/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=43460 CPUtime=462.31 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 13894 0 0 0 46228 3 0 0 25 0 1 0 502810672 44503040 9124 33554432000 134512640 135197378 4291131648 18446744073709551615 134542196 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 10865 9124 91 168 0 10696 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 43460
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8170
/proc/meminfo: memFree=23580824/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=43460 CPUtime=522.31 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 14352 0 0 0 52228 3 0 0 25 0 1 0 502810672 44503040 9582 33554432000 134512640 135197378 4291131648 18446744073709551615 134541631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 10865 9582 91 168 0 10696 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 43460
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8172
/proc/meminfo: memFree=23574600/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=43596 CPUtime=582.31 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 14829 0 0 0 58228 3 0 0 25 0 1 0 502810672 44642304 10059 33554432000 134512640 135197378 4291131648 18446744073709551615 134570751 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 10899 10059 91 168 0 10730 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 43596
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8277
/proc/meminfo: memFree=23207156/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167444 CPUtime=4062.44 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 41186 0 0 0 406228 16 0 0 25 0 1 0 502810672 171462656 36416 33554432000 134512640 135197378 4291131648 18446744073709551615 134603831 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41861 36416 91 168 0 41692 0
Current children cumulated CPU time (s) 4062.44
Current children cumulated vsize (KiB) 167444
[startup+4122.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 8278
/proc/meminfo: memFree=23200692/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167444 CPUtime=4122.43 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 41636 0 0 0 412227 16 0 0 25 0 1 0 502810672 171462656 36866 33554432000 134512640 135197378 4291131648 18446744073709551615 134541631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41861 36866 91 168 0 41692 0
Current children cumulated CPU time (s) 4122.43
Current children cumulated vsize (KiB) 167444
[startup+4182.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 8280
/proc/meminfo: memFree=23193852/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167444 CPUtime=4182.43 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 42076 0 0 0 418227 16 0 0 25 0 1 0 502810672 171462656 37306 33554432000 134512640 135197378 4291131648 18446744073709551615 134572999 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41861 37306 91 168 0 41692 0
Current children cumulated CPU time (s) 4182.43
Current children cumulated vsize (KiB) 167444
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8282
/proc/meminfo: memFree=23187632/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167444 CPUtime=4242.43 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 42531 0 0 0 424227 16 0 0 25 0 1 0 502810672 171462656 37761 33554432000 134512640 135197378 4291131648 18446744073709551615 134572716 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41861 37761 91 168 0 41692 0
Current children cumulated CPU time (s) 4242.43
Current children cumulated vsize (KiB) 167444
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8283
/proc/meminfo: memFree=23181276/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167444 CPUtime=4302.43 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 42979 0 0 0 430227 16 0 0 25 0 1 0 502810672 171462656 38209 33554432000 134512640 135197378 4291131648 18446744073709551615 134572875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41861 38209 91 168 0 41692 0
Current children cumulated CPU time (s) 4302.43
Current children cumulated vsize (KiB) 167444
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8285
/proc/meminfo: memFree=23174928/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167576 CPUtime=4362.43 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 43422 0 0 0 436227 16 0 0 25 0 1 0 502810672 171597824 38652 33554432000 134512640 135197378 4291131648 18446744073709551615 134541217 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41894 38652 91 168 0 41725 0
Current children cumulated CPU time (s) 4362.43
Current children cumulated vsize (KiB) 167576
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8286
/proc/meminfo: memFree=23168080/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167576 CPUtime=4422.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 43873 0 0 0 442228 17 0 0 25 0 1 0 502810672 171597824 39103 33554432000 134512640 135197378 4291131648 18446744073709551615 134570839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41894 39103 91 168 0 41725 0
Current children cumulated CPU time (s) 4422.45
Current children cumulated vsize (KiB) 167576
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8288
/proc/meminfo: memFree=23161612/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167576 CPUtime=4482.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 44322 0 0 0 448228 17 0 0 25 0 1 0 502810672 171597824 39552 33554432000 134512640 135197378 4291131648 18446744073709551615 134570766 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41894 39552 91 168 0 41725 0
Current children cumulated CPU time (s) 4482.45
Current children cumulated vsize (KiB) 167576
[startup+4542.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 8293
/proc/meminfo: memFree=23154728/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167576 CPUtime=4542.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 44763 0 0 0 454228 17 0 0 25 0 1 0 502810672 171597824 39993 33554432000 134512640 135197378 4291131648 18446744073709551615 134541714 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41894 39993 91 168 0 41725 0
Current children cumulated CPU time (s) 4542.45
Current children cumulated vsize (KiB) 167576
[startup+4602.3 s]
/proc/loadavg: 2.10 2.03 1.98 3/178 8294
/proc/meminfo: memFree=23147400/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=167576 CPUtime=4602.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 45201 0 0 0 460228 17 0 0 25 0 1 0 502810672 171597824 40431 33554432000 134512640 135197378 4291131648 18446744073709551615 134570742 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 41894 40431 91 168 0 41725 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 167576
[startup+4662.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/178 8296
/proc/meminfo: memFree=23140808/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=233876 CPUtime=4662.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 45656 0 0 0 466227 18 0 0 25 0 1 0 502810672 239489024 40886 33554432000 134512640 135197378 4291131648 18446744073709551615 134572672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58469 40886 91 168 0 58300 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 233876
[startup+4722.31 s]
/proc/loadavg: 2.01 2.02 1.98 3/178 8297
/proc/meminfo: memFree=23134340/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=233876 CPUtime=4722.46 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 46106 0 0 0 472228 18 0 0 25 0 1 0 502810672 239489024 41336 33554432000 134512640 135197378 4291131648 18446744073709551615 134597240 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58469 41336 91 168 0 58300 0
Current children cumulated CPU time (s) 4722.46
Current children cumulated vsize (KiB) 233876
[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 8299
/proc/meminfo: memFree=23127620/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=233876 CPUtime=4782.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 46559 0 0 0 478227 18 0 0 25 0 1 0 502810672 239489024 41789 33554432000 134512640 135197378 4291131648 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58469 41789 91 168 0 58300 0
Current children cumulated CPU time (s) 4782.45
Current children cumulated vsize (KiB) 233876
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8301
/proc/meminfo: memFree=23121272/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=234008 CPUtime=4842.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 46995 0 0 0 484227 18 0 0 25 0 1 0 502810672 239624192 42225 33554432000 134512640 135197378 4291131648 18446744073709551615 134597693 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58502 42225 91 168 0 58333 0
Current children cumulated CPU time (s) 4842.45
Current children cumulated vsize (KiB) 234008
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8302
/proc/meminfo: memFree=23114792/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=234008 CPUtime=4902.45 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 47451 0 0 0 490227 18 0 0 25 0 1 0 502810672 239624192 42681 33554432000 134512640 135197378 4291131648 18446744073709551615 134570839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58502 42681 91 168 0 58333 0
Current children cumulated CPU time (s) 4902.45
Current children cumulated vsize (KiB) 234008
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8304
/proc/meminfo: memFree=23107700/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=234008 CPUtime=4962.46 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 47898 0 0 0 496228 18 0 0 25 0 1 0 502810672 239624192 43128 33554432000 134512640 135197378 4291131648 18446744073709551615 134570839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58502 43128 91 168 0 58333 0
Current children cumulated CPU time (s) 4962.46
Current children cumulated vsize (KiB) 234008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 8305
/proc/meminfo: memFree=23103464/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=234008 CPUtime=5000.06 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 48182 0 0 0 499988 18 0 0 25 0 1 0 502810672 239624192 43412 33554432000 134512640 135197378 4291131648 18446744073709551615 134541635 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58502 43412 91 168 0 58333 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 234008
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.00 2.00 1.98 3/178 8305
/proc/meminfo: memFree=23103464/32951124 swapFree=67111480/67111528
[pid=8150] ppid=8148 vsize=234008 CPUtime=5000.06 cores=0,2,4,6
/proc/8150/stat : 8150 (march_hi) R 8148 8150 7907 0 -1 4202496 48182 0 0 0 499988 18 0 0 25 0 1 0 502810672 239624192 43412 33554432000 134512640 135197378 4291131648 18446744073709551615 134541635 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8150/statm: 58502 43412 91 168 0 58333 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 234008
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.09
CPU user time (s): 4999.89
CPU system time (s): 0.197969
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 234008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.89
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48182
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= 5
involuntary context switches= 12509
runsolver used 7.99278 second user time and 16.0046 second system time
The end