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-3463033-1307177556/watcher-3463033-1307177556 -o /tmp/evaluation-result-3463033-1307177556/solver-3463033-1307177556 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463033-1307177556.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.00 2.01 2.00 2/386 7557
/proc/meminfo: memFree=23519440/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=11484 CPUtime=0 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 362 0 0 0 0 0 0 0 25 0 1 0 829358332 11759616 316 33554432000 134512640 137138936 4290198032 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 2871 317 185 642 0 2123 0
[startup+0.0237169 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 7557
/proc/meminfo: memFree=23519440/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=12720 CPUtime=0.02 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 731 0 0 0 2 0 0 0 25 0 1 0 829358332 13025280 685 33554432000 134512640 137138936 4290198032 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 3180 686 256 642 0 2432 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12720
[startup+0.100707 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 7557
/proc/meminfo: memFree=23519440/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=13400 CPUtime=0.09 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 1184 0 0 0 8 1 0 0 25 0 1 0 829358332 13721600 926 33554432000 134512640 137138936 4290198032 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 3350 926 192 642 0 2706 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13400
[startup+0.300672 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 7557
/proc/meminfo: memFree=23519440/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=16052 CPUtime=0.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 1847 0 0 0 28 1 0 0 25 0 1 0 829358332 16437248 1589 33554432000 134512640 137138936 4290198032 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 4013 1589 192 642 0 3369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16052
[startup+0.700609 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 7557
/proc/meminfo: memFree=23519440/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=20940 CPUtime=0.69 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 3060 0 0 0 68 1 0 0 25 0 1 0 829358332 21442560 2802 33554432000 134512640 137138936 4290198032 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 5235 2802 192 642 0 4591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20940
[startup+1.50049 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7558
/proc/meminfo: memFree=23500460/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=29872 CPUtime=1.49 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 5284 0 0 0 148 1 0 0 25 0 1 0 829358332 30588928 5026 33554432000 134512640 137138936 4290198032 18446744073709551615 134542662 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 7468 5026 192 642 0 6824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29872
[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7558
/proc/meminfo: memFree=23483596/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=44392 CPUtime=3.09 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 8914 0 0 0 307 2 0 0 25 0 1 0 829358332 45457408 8656 33554432000 134512640 137138936 4290198032 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 11098 8656 192 642 0 10454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44392
[startup+6.30061 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7559
/proc/meminfo: memFree=23443724/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=65748 CPUtime=6.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 14247 0 0 0 626 3 0 0 25 0 1 0 829358332 67325952 13989 33554432000 134512640 137138936 4290198032 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7557/statm: 16437 13989 192 642 0 15793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65748
[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7559
/proc/meminfo: memFree=23388072/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=89688 CPUtime=12.68 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 20238 0 0 0 1262 6 0 0 25 0 1 0 829358332 91840512 19980 33554432000 134512640 137138936 4290198032 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 22422 19980 192 642 0 21778 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89688
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7559
/proc/meminfo: memFree=23321740/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=105092 CPUtime=25.48 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 24091 0 0 0 2541 7 0 0 25 0 1 0 829358332 107614208 23833 33554432000 134512640 137138936 4290198032 18446744073709551615 134599695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 26273 23833 192 642 0 25629 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105092
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7560
/proc/meminfo: memFree=23226368/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=114340 CPUtime=51.07 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 26405 0 0 0 5098 9 0 0 25 0 1 0 829358332 117084160 26147 33554432000 134512640 137138936 4290198032 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 28585 26147 192 642 0 27941 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 114340
[startup+102.315 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 7561
/proc/meminfo: memFree=23073820/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=124444 CPUtime=102.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 28942 0 0 0 10216 13 0 0 25 0 1 0 829358332 127430656 28684 33554432000 134512640 137138936 4290198032 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 31111 28684 192 642 0 30467 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 124444
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/387 7563
/proc/meminfo: memFree=22916296/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=124444 CPUtime=162.28 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 28942 0 0 0 16212 16 0 0 25 0 1 0 829358332 127430656 28684 33554432000 134512640 137138936 4290198032 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 31111 28684 192 642 0 30467 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 124444
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 7564
/proc/meminfo: memFree=22754064/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=135060 CPUtime=222.28 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 31597 0 0 0 22209 19 0 0 25 0 1 0 829358332 138301440 31339 33554432000 134512640 137138936 4290198032 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 33765 31339 192 642 0 33121 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 135060
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 7566
/proc/meminfo: memFree=22617504/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=147244 CPUtime=282.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 34637 0 0 0 28207 22 0 0 25 0 1 0 829358332 150777856 34379 33554432000 134512640 137138936 4290198032 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 36811 34379 192 642 0 36167 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 147244
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7567
/proc/meminfo: memFree=22480320/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=147236 CPUtime=342.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 34637 0 0 0 34203 26 0 0 25 0 1 0 829358332 150769664 34379 33554432000 134512640 137138936 4290198032 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 36809 34379 192 642 0 36165 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 147236
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7569
/proc/meminfo: memFree=22437128/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=160148 CPUtime=402.28 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 37867 0 0 0 40199 29 0 0 25 0 1 0 829358332 163991552 37609 33554432000 134512640 137138936 4290198032 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 40037 37609 192 642 0 39393 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 160148
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7571
/proc/meminfo: memFree=22437344/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=160136 CPUtime=462.28 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 37867 0 0 0 46195 33 0 0 25 0 1 0 829358332 163979264 37609 33554432000 134512640 137138936 4290198032 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 40034 37609 192 642 0 39390 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 160136
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7581
/proc/meminfo: memFree=22423244/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=174556 CPUtime=522.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 41469 0 0 0 52191 38 0 0 25 0 1 0 829358332 178745344 41211 33554432000 134512640 137138936 4290198032 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 43639 41211 192 642 0 42995 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 174556
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7583
/proc/meminfo: memFree=22423200/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=174536 CPUtime=582.29 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 41469 0 0 0 58188 41 0 0 25 0 1 0 829358332 178724864 41210 33554432000 134512640 137138936 4290198032 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 43634 41210 192 642 0 42990 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 174536
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=22407164/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=190164 CPUtime=1062.3 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 45395 0 0 0 106166 64 0 0 25 0 1 0 829358332 194727936 45116 33554432000 134512640 137138936 4290198032 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 47541 45116 192 642 0 46897 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 190164
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7600
/proc/meminfo: memFree=22407116/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=190156 CPUtime=1122.3 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 45395 0 0 0 112163 67 0 0 25 0 1 0 829358332 194719744 45115 33554432000 134512640 137138936 4290198032 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 47539 45115 192 642 0 46895 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 190156
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7602
/proc/meminfo: memFree=22389840/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1182.3 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49758 0 0 0 118159 71 0 0 25 0 1 0 829358332 212447232 49435 33554432000 134512640 137138936 4290198032 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49435 192 642 0 51223 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 207468
[startup+1242.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/387 7603
/proc/meminfo: memFree=22389792/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1242.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49758 0 0 0 124156 75 0 0 25 0 1 0 829358332 212447232 49435 33554432000 134512640 137138936 4290198032 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49435 192 642 0 51223 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 207468
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/387 7605
/proc/meminfo: memFree=22388880/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1302.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49758 0 0 0 130154 77 0 0 25 0 1 0 829358332 212447232 49435 33554432000 134512640 137138936 4290198032 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49435 192 642 0 51223 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 207468
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 7607
/proc/meminfo: memFree=22388708/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1362.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49758 0 0 0 136150 81 0 0 25 0 1 0 829358332 212447232 49435 33554432000 134512640 137138936 4290198032 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49435 192 642 0 51223 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 207468
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7608
/proc/meminfo: memFree=22388672/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1422.32 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49758 0 0 0 142148 84 0 0 25 0 1 0 829358332 212447232 49435 33554432000 134512640 137138936 4290198032 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49435 192 642 0 51223 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 207468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7610
/proc/meminfo: memFree=22388504/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207620 CPUtime=1482.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 148145 86 0 0 25 0 1 0 829358332 212602880 49449 33554432000 134512640 137138936 4290198032 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51905 49449 192 642 0 51261 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 207620
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7611
/proc/meminfo: memFree=22389828/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207620 CPUtime=1542.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 154143 88 0 0 25 0 1 0 829358332 212602880 49449 33554432000 134512640 137138936 4290198032 18446744073709551615 134604237 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51905 49449 192 642 0 51261 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 207620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7613
/proc/meminfo: memFree=22389792/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207620 CPUtime=1602.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 160140 91 0 0 25 0 1 0 829358332 212602880 49449 33554432000 134512640 137138936 4290198032 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51905 49449 192 642 0 51261 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 207620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7615
/proc/meminfo: memFree=22390120/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1662.32 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 166138 94 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 207468
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7616
/proc/meminfo: memFree=22389460/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1722.31 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 172134 97 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 207468
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 7645
/proc/meminfo: memFree=23414048/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1782.32 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 178132 100 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 207468
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 7645
/proc/meminfo: memFree=23412980/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1785.52 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 178452 100 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 207468
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 7645
/proc/meminfo: memFree=23412120/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1791.93 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 179093 100 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 207468
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 7645
/proc/meminfo: memFree=23411872/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1795.12 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 179412 100 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134599244 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 207468
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 7645
/proc/meminfo: memFree=23411992/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1796.73 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 179572 101 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 207468
[startup+1797.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/387 7645
/proc/meminfo: memFree=23411868/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1797.52 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 179651 101 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 207468
[startup+1797.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/387 7645
/proc/meminfo: memFree=23411868/32951124 swapFree=49244120/67111528
[pid=7557] ppid=7555 vsize=207468 CPUtime=1797.92 cores=0,2,4,6
/proc/7557/stat : 7557 (bsolo) R 7555 7557 6095 0 -1 4202496 49772 0 0 0 179691 101 0 0 25 0 1 0 829358332 212447232 49443 33554432000 134512640 137138936 4290198032 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7557/statm: 51867 49443 192 642 0 51223 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 207468
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.02
CPU user time (s): 1796.99
CPU system time (s): 1.02084
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 207620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 1.02084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49773
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= 4510
runsolver used 7.47486 second user time and 15.0717 second system time
The end