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-3462597-1307181402/watcher-3462597-1307181402 -o /tmp/evaluation-result-3462597-1307181402/solver-3462597-1307181402 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462597-1307181402.opb
running on 4 cores: 1,3,5,7
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: 1.92 1.99 1.99 2/386 7888
/proc/meminfo: memFree=23600884/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=11056 CPUtime=0 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 382 0 0 0 0 0 0 0 25 0 1 0 829742939 11321344 334 33554432000 134512640 137138936 4290189200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 2764 334 186 642 0 2120 0
[startup+0.101448 s]
/proc/loadavg: 1.92 1.99 1.99 2/386 7888
/proc/meminfo: memFree=23600884/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=12200 CPUtime=0.09 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 647 0 0 0 9 0 0 0 25 0 1 0 829742939 12492800 599 33554432000 134512640 137138936 4290189200 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 3050 599 192 642 0 2406 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12200
[startup+0.200428 s]
/proc/loadavg: 1.92 1.99 1.99 2/386 7888
/proc/meminfo: memFree=23600884/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=12964 CPUtime=0.19 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 862 0 0 0 19 0 0 0 25 0 1 0 829742939 13275136 814 33554432000 134512640 137138936 4290189200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 3241 814 192 642 0 2597 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12964
[startup+0.300421 s]
/proc/loadavg: 1.92 1.99 1.99 2/386 7888
/proc/meminfo: memFree=23600884/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=13984 CPUtime=0.29 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 1114 0 0 0 29 0 0 0 25 0 1 0 829742939 14319616 1066 33554432000 134512640 137138936 4290189200 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 3496 1066 192 642 0 2852 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13984
[startup+0.700338 s]
/proc/loadavg: 1.92 1.99 1.99 2/386 7888
/proc/meminfo: memFree=23600884/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=16804 CPUtime=0.69 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 1811 0 0 0 69 0 0 0 25 0 1 0 829742939 17207296 1763 33554432000 134512640 137138936 4290189200 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 4201 1763 192 642 0 3557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16804
[startup+1.5002 s]
/proc/loadavg: 1.92 1.99 1.99 3/387 7889
/proc/meminfo: memFree=23591840/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=21684 CPUtime=1.49 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 3044 0 0 0 148 1 0 0 25 0 1 0 829742939 22204416 2996 33554432000 134512640 137138936 4290189200 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 5421 2996 192 642 0 4777 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21684
[startup+3.10093 s]
/proc/loadavg: 1.92 1.99 1.99 3/387 7889
/proc/meminfo: memFree=23584896/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=25256 CPUtime=3.09 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 3925 0 0 0 307 2 0 0 25 0 1 0 829742939 25862144 3877 33554432000 134512640 137138936 4290189200 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 6314 3877 192 642 0 5670 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25256
[startup+6.30035 s]
/proc/loadavg: 2.01 2.00 2.00 3/387 7889
/proc/meminfo: memFree=23580712/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=29152 CPUtime=6.3 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 4898 0 0 0 627 3 0 0 25 0 1 0 829742939 29851648 4850 33554432000 134512640 137138936 4290189200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 7288 4850 192 642 0 6644 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 29152
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/387 7889
/proc/meminfo: memFree=23577568/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=31888 CPUtime=12.7 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 5585 0 0 0 1266 4 0 0 25 0 1 0 829742939 32653312 5537 33554432000 134512640 137138936 4290189200 18446744073709551615 134572935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 7972 5537 192 642 0 7328 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 31888
[startup+25.5009 s]
/proc/loadavg: 2.01 2.00 2.00 3/387 7890
/proc/meminfo: memFree=23577340/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=32108 CPUtime=25.49 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 5642 0 0 0 2544 5 0 0 25 0 1 0 829742939 32878592 5594 33554432000 134512640 137138936 4290189200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 8027 5594 192 642 0 7383 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32108
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7890
/proc/meminfo: memFree=23570504/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=38800 CPUtime=51.1 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 7318 0 0 0 5099 11 0 0 25 0 1 0 829742939 39731200 7270 33554432000 134512640 137138936 4290189200 18446744073709551615 134551037 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 9700 7270 192 642 0 9056 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 38800
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7892
/proc/meminfo: memFree=23565148/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=43132 CPUtime=102.29 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 8406 0 0 0 10211 18 0 0 25 0 1 0 829742939 44167168 8358 33554432000 134512640 137138936 4290189200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 10783 8358 192 642 0 10139 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 43132
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7893
/proc/meminfo: memFree=23561516/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=45736 CPUtime=162.29 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 9060 0 0 0 16206 23 0 0 25 0 1 0 829742939 46833664 9011 33554432000 134512640 137138936 4290189200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 11434 9011 192 642 0 10790 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45736
[startup+222.315 s]
/proc/loadavg: 2.08 2.03 2.01 3/387 7895
/proc/meminfo: memFree=23561356/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=46260 CPUtime=222.31 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 9192 0 0 0 22203 28 0 0 25 0 1 0 829742939 47370240 9110 33554432000 134512640 137138936 4290189200 18446744073709551615 134555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 11565 9110 192 642 0 10921 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 46260
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 7905
/proc/meminfo: memFree=23555804/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=50672 CPUtime=282.29 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 10333 0 0 0 28195 34 0 0 25 0 1 0 829742939 51888128 10213 33554432000 134512640 137138936 4290189200 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 12668 10213 192 642 0 12024 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 50672
[startup+342.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/387 7907
/proc/meminfo: memFree=23553936/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=51596 CPUtime=342.3 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 10564 0 0 0 34190 40 0 0 25 0 1 0 829742939 52834304 10444 33554432000 134512640 137138936 4290189200 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 12899 10444 192 642 0 12255 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 51596
[startup+402.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/387 7909
/proc/meminfo: memFree=23552404/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=52116 CPUtime=402.3 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 10713 0 0 0 40185 45 0 0 25 0 1 0 829742939 53366784 10593 33554432000 134512640 137138936 4290189200 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 13029 10593 192 642 0 12385 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 52116
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 7913
/proc/meminfo: memFree=23552592/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=52812 CPUtime=462.31 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 10908 0 0 0 46179 52 0 0 25 0 1 0 829742939 54079488 10748 33554432000 134512640 137138936 4290189200 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 13203 10748 192 642 0 12559 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 52812
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 7915
/proc/meminfo: memFree=23552568/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=52812 CPUtime=522.31 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 10908 0 0 0 52173 58 0 0 25 0 1 0 829742939 54079488 10748 33554432000 134512640 137138936 4290189200 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 13203 10748 192 642 0 12559 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 52812
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 7916
/proc/meminfo: memFree=23552028/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=53300 CPUtime=582.3 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 11041 0 0 0 58168 62 0 0 25 0 1 0 829742939 54579200 10881 33554432000 134512640 137138936 4290189200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 13325 10881 192 642 0 12681 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 53300
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23540512/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=62076 CPUtime=1122.32 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13342 0 0 0 112122 110 0 0 25 0 1 0 829742939 63565824 13096 33554432000 134512640 137138936 4290189200 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 15519 13096 192 642 0 14875 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 62076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7932
/proc/meminfo: memFree=23540344/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=62092 CPUtime=1182.32 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 118112 120 0 0 25 0 1 0 829742939 63582208 13100 33554432000 134512640 137138936 4290189200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 15523 13100 192 642 0 14879 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 62092
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7988
/proc/meminfo: memFree=23555496/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=62092 CPUtime=1242.32 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 124103 129 0 0 25 0 1 0 829742939 63582208 13100 33554432000 134512640 137138936 4290189200 18446744073709551615 136511093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 15523 13100 192 642 0 14879 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 62092
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 8044
/proc/meminfo: memFree=23557900/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=62092 CPUtime=1302.32 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 130096 136 0 0 25 0 1 0 829742939 63582208 13100 33554432000 134512640 137138936 4290189200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 15523 13100 192 642 0 14879 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 62092
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 8045
/proc/meminfo: memFree=23556884/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=62092 CPUtime=1362.33 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 136089 144 0 0 25 0 1 0 829742939 63582208 13100 33554432000 134512640 137138936 4290189200 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 15523 13100 192 642 0 14879 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 62092
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 8047
/proc/meminfo: memFree=23559448/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1422.33 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 142082 151 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 59508
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/387 8048
/proc/meminfo: memFree=23559392/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1482.32 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 148075 157 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 59508
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 8050
/proc/meminfo: memFree=23559716/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1542.35 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 154070 165 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 59508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 8052
/proc/meminfo: memFree=23559300/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1602.33 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 160064 169 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 59508
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 8053
/proc/meminfo: memFree=23559032/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1662.34 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 166059 175 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 59508
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/387 8055
/proc/meminfo: memFree=23558992/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1722.34 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 172054 180 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 59508
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/387 8056
/proc/meminfo: memFree=23557824/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1782.34 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 178049 185 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 59508
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.03 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557808/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1785.64 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 178379 185 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 135984582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 59508
[startup+1792.01 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557800/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1792.05 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 179020 185 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 59508
[startup+1795.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557800/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1795.24 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 179338 186 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 59508
[startup+1796.8 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557800/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1796.84 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 179498 186 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134573763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 59508
[startup+1797.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557800/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1797.63 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 179577 186 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 59508
[startup+1797.8 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557800/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1797.83 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 179597 186 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 59508
[startup+1797.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 8057
/proc/meminfo: memFree=23557800/32951124 swapFree=49244120/67111528
[pid=7888] ppid=7886 vsize=59508 CPUtime=1797.93 cores=1,3,5,7
/proc/7888/stat : 7888 (bsolo) R 7886 7888 6095 0 -1 4202496 13346 0 0 0 179607 186 0 0 25 0 1 0 829742939 60936192 12454 33554432000 134512640 137138936 4290189200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7888/statm: 14877 12454 192 642 0 14233 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 59508
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1796.13
CPU system time (s): 1.86871
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 62376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.13
system time used= 1.86871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13347
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= 3181
runsolver used 6.34104 second user time and 15.6366 second system time
The end