runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462456-1307184940/watcher-3462456-1307184940 -o /tmp/evaluation-result-3462456-1307184940/solver-3462456-1307184940 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462456-1307184940.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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.01 2.04 2.00 3/477 30709
/proc/meminfo: memFree=20360088/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=11324 CPUtime=0 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 446 0 0 0 0 0 0 0 25 0 1 0 810909329 11595776 396 33554432000 134512640 137138936 4290034384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 2831 396 185 642 0 2187 0
[startup+0.111293 s]
/proc/loadavg: 2.01 2.04 2.00 3/477 30709
/proc/meminfo: memFree=20360088/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=11324 CPUtime=0.09 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 447 0 0 0 9 0 0 0 25 0 1 0 810909329 11595776 397 33554432000 134512640 137138936 4290034384 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 2831 397 185 642 0 2187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11324
[startup+0.200277 s]
/proc/loadavg: 2.01 2.04 2.00 3/477 30709
/proc/meminfo: memFree=20360088/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=11324 CPUtime=0.18 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 448 0 0 0 18 0 0 0 25 0 1 0 810909329 11595776 398 33554432000 134512640 137138936 4290034384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 2831 398 185 642 0 2187 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 11324
[startup+0.300263 s]
/proc/loadavg: 2.01 2.04 2.00 3/477 30709
/proc/meminfo: memFree=20360088/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=11576 CPUtime=0.28 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 500 0 0 0 28 0 0 0 25 0 1 0 810909329 11853824 450 33554432000 134512640 137138936 4290034384 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 2894 450 192 642 0 2250 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11576
[startup+0.700191 s]
/proc/loadavg: 2.01 2.04 2.00 3/477 30709
/proc/meminfo: memFree=20360088/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=13264 CPUtime=0.68 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 922 0 0 0 68 0 0 0 25 0 1 0 810909329 13582336 872 33554432000 134512640 137138936 4290034384 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 3316 872 192 642 0 2672 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13264
[startup+1.50106 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30710
/proc/meminfo: memFree=20355616/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=15840 CPUtime=1.47 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 1560 0 0 0 147 0 0 0 25 0 1 0 810909329 16220160 1510 33554432000 134512640 137138936 4290034384 18446744073709551615 134599894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 3960 1510 192 642 0 3316 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15840
[startup+3.10074 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30710
/proc/meminfo: memFree=20351276/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=19968 CPUtime=3.08 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 2612 0 0 0 307 1 0 0 25 0 1 0 810909329 20447232 2562 33554432000 134512640 137138936 4290034384 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 4992 2562 192 642 0 4348 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19968
[startup+6.30021 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30710
/proc/meminfo: memFree=20344332/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=25612 CPUtime=6.28 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 4018 0 0 0 625 3 0 0 25 0 1 0 810909329 26226688 3968 33554432000 134512640 137138936 4290034384 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 6403 3968 192 642 0 5759 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25612
[startup+12.7011 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30710
/proc/meminfo: memFree=20334752/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=34116 CPUtime=12.68 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 6135 0 0 0 1264 4 0 0 25 0 1 0 810909329 34934784 6085 33554432000 134512640 137138936 4290034384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 8529 6085 192 642 0 7885 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34116
[startup+25.5008 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 30711
/proc/meminfo: memFree=20321976/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=45528 CPUtime=25.48 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 9006 0 0 0 2542 6 0 0 25 0 1 0 810909329 46620672 8956 33554432000 134512640 137138936 4290034384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 11382 8956 192 642 0 10738 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45528
[startup+51.1013 s]
/proc/loadavg: 2.16 2.06 2.01 3/478 30711
/proc/meminfo: memFree=20316356/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=51444 CPUtime=51.08 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 10533 0 0 0 5097 11 0 0 25 0 1 0 810909329 52678656 10431 33554432000 134512640 137138936 4290034384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 12861 10431 192 642 0 12217 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51444
[startup+102.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 30713
/proc/meminfo: memFree=20310732/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=56940 CPUtime=102.3 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 11941 0 0 0 10213 17 0 0 25 0 1 0 810909329 58306560 11782 33554432000 134512640 137138936 4290034384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 14235 11782 192 642 0 13591 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56940
[startup+162.301 s]
/proc/loadavg: 2.17 2.08 2.02 3/478 30714
/proc/meminfo: memFree=20303868/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=62304 CPUtime=162.29 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 13353 0 0 0 16206 23 0 0 25 0 1 0 810909329 63799296 13132 33554432000 134512640 137138936 4290034384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 15576 13132 192 642 0 14932 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 62304
[startup+222.318 s]
/proc/loadavg: 2.11 2.08 2.02 3/478 30716
/proc/meminfo: memFree=20300248/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=65916 CPUtime=222.31 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 14324 0 0 0 22203 28 0 0 25 0 1 0 810909329 67497984 14035 33554432000 134512640 137138936 4290034384 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 16479 14035 192 642 0 15835 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 65916
[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/478 30717
/proc/meminfo: memFree=20291520/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=74708 CPUtime=282.29 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 16614 0 0 0 28197 32 0 0 25 0 1 0 810909329 76500992 16250 33554432000 134512640 137138936 4290034384 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 18677 16250 192 642 0 18033 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 74708
[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/478 30728
/proc/meminfo: memFree=20291888/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=74708 CPUtime=342.29 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 16614 0 0 0 34192 37 0 0 25 0 1 0 810909329 76500992 16250 33554432000 134512640 137138936 4290034384 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 18677 16250 192 642 0 18033 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 74708
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/478 30730
/proc/meminfo: memFree=20292112/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=75116 CPUtime=402.28 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 16689 0 0 0 40185 43 0 0 25 0 1 0 810909329 76918784 16325 33554432000 134512640 137138936 4290034384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 18779 16325 192 642 0 18135 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 75116
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 30731
/proc/meminfo: memFree=20287960/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=78876 CPUtime=462.29 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 17715 0 0 0 46181 48 0 0 25 0 1 0 810909329 80769024 17268 33554432000 134512640 137138936 4290034384 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 19719 17268 192 642 0 19075 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 78876
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30733
/proc/meminfo: memFree=20288056/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=78876 CPUtime=522.3 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 17715 0 0 0 52178 52 0 0 25 0 1 0 810909329 80769024 17268 33554432000 134512640 137138936 4290034384 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 19719 17268 192 642 0 19075 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 78876
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30734
/proc/meminfo: memFree=20287760/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=79276 CPUtime=582.3 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 17811 0 0 0 58174 56 0 0 25 0 1 0 810909329 81178624 17364 33554432000 134512640 137138936 4290034384 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 19819 17364 192 642 0 19175 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 79276
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20274560/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=92760 CPUtime=1122.31 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21491 0 0 0 112135 96 0 0 25 0 1 0 810909329 94986240 20763 33554432000 134512640 137138936 4290034384 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23190 20763 192 642 0 22546 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 92760
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30777
/proc/meminfo: memFree=21279608/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=93256 CPUtime=1182.3 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21588 0 0 0 118130 100 0 0 25 0 1 0 810909329 95494144 20860 33554432000 134512640 137138936 4290034384 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23314 20860 192 642 0 22670 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 93256
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/478 30779
/proc/meminfo: memFree=21279228/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=93256 CPUtime=1242.31 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21588 0 0 0 124127 104 0 0 25 0 1 0 810909329 95494144 20860 33554432000 134512640 137138936 4290034384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23314 20860 192 642 0 22670 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 93256
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/478 30808
/proc/meminfo: memFree=21246696/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=94144 CPUtime=1302.31 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21810 0 0 0 130124 107 0 0 25 0 1 0 810909329 96403456 21082 33554432000 134512640 137138936 4290034384 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23536 21082 192 642 0 22892 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 94144
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/478 30809
/proc/meminfo: memFree=21246780/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=94144 CPUtime=1362.31 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21810 0 0 0 136120 111 0 0 25 0 1 0 810909329 96403456 21082 33554432000 134512640 137138936 4290034384 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23536 21082 192 642 0 22892 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 94144
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30811
/proc/meminfo: memFree=21245752/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=94144 CPUtime=1422.34 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21810 0 0 0 142119 115 0 0 25 0 1 0 810909329 96403456 21082 33554432000 134512640 137138936 4290034384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23536 21082 192 642 0 22892 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 94144
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30839
/proc/meminfo: memFree=21248164/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=94144 CPUtime=1482.32 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21810 0 0 0 148116 116 0 0 25 0 1 0 810909329 96403456 21082 33554432000 134512640 137138936 4290034384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23536 21082 192 642 0 22892 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 94144
[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30841
/proc/meminfo: memFree=21247672/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=94144 CPUtime=1542.33 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21810 0 0 0 154113 120 0 0 25 0 1 0 810909329 96403456 21082 33554432000 134512640 137138936 4290034384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23536 21082 192 642 0 22892 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 94144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30843
/proc/meminfo: memFree=21246652/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=94144 CPUtime=1602.32 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 21810 0 0 0 160108 124 0 0 25 0 1 0 810909329 96403456 21082 33554432000 134512640 137138936 4290034384 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 23536 21082 192 642 0 22892 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 94144
[startup+1662.3 s]
/proc/loadavg: 1.66 1.92 1.97 2/472 30861
/proc/meminfo: memFree=21307992/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1662.32 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 166105 127 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 99508
[startup+1722.3 s]
/proc/loadavg: 1.24 1.75 1.91 2/472 30863
/proc/meminfo: memFree=21308208/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1722.32 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 172098 134 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 99508
[startup+1782.3 s]
/proc/loadavg: 1.09 1.61 1.85 2/472 30867
/proc/meminfo: memFree=21307696/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1782.32 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 178095 137 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 99508
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.24 1.63 1.86 2/472 30868
/proc/meminfo: memFree=21308512/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1785.63 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 178425 138 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 99508
[startup+1792.02 s]
/proc/loadavg: 1.22 1.62 1.85 2/472 30868
/proc/meminfo: memFree=21308508/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1792.04 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 179066 138 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 99508
[startup+1795.2 s]
/proc/loadavg: 1.20 1.61 1.85 2/472 30868
/proc/meminfo: memFree=21308508/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1795.24 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 179386 138 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134541969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 99508
[startup+1796.8 s]
/proc/loadavg: 1.20 1.61 1.85 2/472 30868
/proc/meminfo: memFree=21308508/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1796.82 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 179544 138 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 99508
[startup+1797.6 s]
/proc/loadavg: 1.20 1.61 1.85 2/472 30868
/proc/meminfo: memFree=21308384/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1797.63 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 179624 139 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 99508
[startup+1797.8 s]
/proc/loadavg: 1.20 1.61 1.85 2/472 30868
/proc/meminfo: memFree=21308384/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1797.83 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 179644 139 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 99508
[startup+1797.9 s]
/proc/loadavg: 1.20 1.61 1.85 2/472 30868
/proc/meminfo: memFree=21308384/32951124 swapFree=67057928/67111528
[pid=30709] ppid=30707 vsize=99508 CPUtime=1797.93 cores=0,2,4,6
/proc/30709/stat : 30709 (bsolo) R 30707 30709 28116 0 -1 4202496 23292 0 0 0 179654 139 0 0 25 0 1 0 810909329 101896192 22455 33554432000 134512640 137138936 4290034384 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30709/statm: 24877 22455 192 642 0 24233 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 99508
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.01
CPU user time (s): 1796.62
CPU system time (s): 1.39679
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 99944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.62
system time used= 1.39679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23292
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= 4
involuntary context switches= 4007
runsolver used 8.74467 second user time and 19.1041 second system time
The end