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-3462434-1307184768/watcher-3462434-1307184768 -o /tmp/evaluation-result-3462434-1307184768/solver-3462434-1307184768 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462434-1307184768.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: 2.00 2.02 2.00 2/488 20102
/proc/meminfo: memFree=20350928/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=11708 CPUtime=0 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 498 0 0 0 0 0 0 0 25 0 1 0 562668114 11988992 453 33554432000 134512640 137138936 4291391312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 2927 454 180 642 0 2263 0
[startup+0.035213 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 20102
/proc/meminfo: memFree=20350928/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=0.03 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1142 0 0 0 3 0 0 0 18 0 1 0 562668114 14422016 1077 33554432000 134512640 137138936 4291391312 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1077 185 642 0 2877 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14084
[startup+0.100203 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 20102
/proc/meminfo: memFree=20350928/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=0.09 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1143 0 0 0 9 0 0 0 18 0 1 0 562668114 14422016 1078 33554432000 134512640 137138936 4291391312 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1078 185 642 0 2877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14084
[startup+0.300164 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 20102
/proc/meminfo: memFree=20350928/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=0.29 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1145 0 0 0 29 0 0 0 18 0 1 0 562668114 14422016 1080 33554432000 134512640 137138936 4291391312 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1080 185 642 0 2877 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14084
[startup+0.700096 s]
/proc/loadavg: 2.00 2.02 2.00 2/488 20102
/proc/meminfo: memFree=20350928/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=0.69 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1147 0 0 0 69 0 0 0 18 0 1 0 562668114 14422016 1082 33554432000 134512640 137138936 4291391312 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1082 185 642 0 2877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14084
[startup+1.50096 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20103
/proc/meminfo: memFree=20346456/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=1.49 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1147 0 0 0 149 0 0 0 20 0 1 0 562668114 14422016 1082 33554432000 134512640 137138936 4291391312 18446744073709551615 136501693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1082 185 642 0 2877 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14084
[startup+3.10067 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20103
/proc/meminfo: memFree=20345464/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=3.09 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1147 0 0 0 309 0 0 0 25 0 1 0 562668114 14422016 1082 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1082 185 642 0 2877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14084
[startup+6.30011 s]
/proc/loadavg: 2.08 2.04 2.01 3/489 20103
/proc/meminfo: memFree=20344968/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=14084 CPUtime=6.29 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 1147 0 0 0 629 0 0 0 25 0 1 0 562668114 14422016 1082 33554432000 134512640 137138936 4291391312 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 3521 1082 185 642 0 2877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14084
[startup+12.701 s]
/proc/loadavg: 2.07 2.03 2.00 3/489 20103
/proc/meminfo: memFree=20334468/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=26080 CPUtime=12.69 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 4432 0 0 0 1262 7 0 0 25 0 1 0 562668114 26705920 4105 33554432000 134512640 137138936 4291391312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 6520 4105 192 642 0 5876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26080
[startup+25.5007 s]
/proc/loadavg: 2.06 2.03 2.00 3/489 20103
/proc/meminfo: memFree=20307956/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=51496 CPUtime=25.49 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 10783 0 0 0 2525 24 0 0 25 0 1 0 562668114 52731904 10456 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 12874 10456 192 642 0 12230 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51496
[startup+51.1002 s]
/proc/loadavg: 2.04 2.03 2.00 3/489 20104
/proc/meminfo: memFree=20279256/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=80172 CPUtime=51.09 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 17952 0 0 0 5069 40 0 0 25 0 1 0 562668114 82096128 17625 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 20043 17625 192 642 0 19399 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 80172
[startup+102.318 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 20105
/proc/meminfo: memFree=20239556/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=118068 CPUtime=102.31 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 27412 0 0 0 10172 59 0 0 25 0 1 0 562668114 120901632 27085 33554432000 134512640 137138936 4291391312 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 29517 27085 192 642 0 28873 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 118068
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20107
/proc/meminfo: memFree=20194148/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=160232 CPUtime=162.29 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 37971 0 0 0 16148 81 0 0 25 0 1 0 562668114 164077568 37644 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 40058 37644 192 642 0 39414 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 160232
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 20112
/proc/meminfo: memFree=20165340/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=188120 CPUtime=222.3 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 44944 0 0 0 22134 96 0 0 25 0 1 0 562668114 192634880 44617 33554432000 134512640 137138936 4291391312 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 47030 44617 192 642 0 46386 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 188120
[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/489 20113
/proc/meminfo: memFree=20133584/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=221572 CPUtime=282.29 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 53304 0 0 0 28119 110 0 0 25 0 1 0 562668114 226889728 52977 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 55393 52977 192 642 0 54749 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 221572
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/489 20115
/proc/meminfo: memFree=20103160/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=251832 CPUtime=342.3 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 60854 0 0 0 34109 121 0 0 25 0 1 0 562668114 257875968 60527 33554432000 134512640 137138936 4291391312 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 62958 60527 192 642 0 62314 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 251832
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 20116
/proc/meminfo: memFree=20075352/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=279460 CPUtime=402.3 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 67763 0 0 0 40102 128 0 0 25 0 1 0 562668114 286167040 67436 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 69865 67436 192 642 0 69221 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 279460
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 20118
/proc/meminfo: memFree=20044956/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=309904 CPUtime=462.3 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 75374 0 0 0 46094 136 0 0 25 0 1 0 562668114 317341696 75047 33554432000 134512640 137138936 4291391312 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 77476 75047 192 642 0 76832 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 309904
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/489 20129
/proc/meminfo: memFree=20021056/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=334192 CPUtime=522.3 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 81456 0 0 0 52088 142 0 0 25 0 1 0 562668114 342212608 81129 33554432000 134512640 137138936 4291391312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 83548 81129 192 642 0 82904 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 334192
[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/489 20130
/proc/meminfo: memFree=19997584/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=357488 CPUtime=582.3 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 87283 0 0 0 58082 148 0 0 25 0 1 0 562668114 366067712 86956 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 89372 86956 192 642 0 88728 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 357488
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20885608/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=491228 CPUtime=1062.31 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 120721 0 0 0 106039 192 0 0 25 0 1 0 562668114 503017472 120394 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 122807 120394 192 642 0 122163 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 491228
[startup+1122.3 s]
/proc/loadavg: 2.14 2.05 2.02 3/489 20228
/proc/meminfo: memFree=20868220/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=504944 CPUtime=1122.32 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 124145 0 0 0 112036 196 0 0 25 0 1 0 562668114 517062656 123818 33554432000 134512640 137138936 4291391312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 126236 123818 192 642 0 125592 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 504944
[startup+1182.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/489 20229
/proc/meminfo: memFree=20851464/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=519160 CPUtime=1182.32 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 127685 0 0 0 118031 201 0 0 25 0 1 0 562668114 531619840 127358 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 129790 127358 192 642 0 129146 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 519160
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/489 20231
/proc/meminfo: memFree=20838788/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=530476 CPUtime=1242.32 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 130523 0 0 0 124028 204 0 0 25 0 1 0 562668114 543207424 130196 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 132619 130196 192 642 0 131975 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 530476
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/489 20232
/proc/meminfo: memFree=20825000/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=541880 CPUtime=1302.33 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 133382 0 0 0 130026 207 0 0 25 0 1 0 562668114 554885120 133055 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 135470 133055 192 642 0 134826 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 541880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/489 20234
/proc/meminfo: memFree=20812324/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=553200 CPUtime=1362.32 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 136196 0 0 0 136022 210 0 0 25 0 1 0 562668114 566476800 135869 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 138300 135869 192 642 0 137656 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 553200
[startup+1422.32 s]
/proc/loadavg: 1.47 1.88 1.95 2/483 20253
/proc/meminfo: memFree=20829632/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=564188 CPUtime=1422.34 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 138942 0 0 0 142020 214 0 0 25 0 1 0 562668114 577728512 138615 33554432000 134512640 137138936 4291391312 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 141047 138615 192 642 0 140403 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 564188
[startup+1482.3 s]
/proc/loadavg: 1.19 1.73 1.89 2/483 20254
/proc/meminfo: memFree=20819788/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=573848 CPUtime=1482.32 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 141373 0 0 0 148014 218 0 0 25 0 1 0 562668114 587620352 141046 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 143462 141046 192 642 0 142818 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 573848
[startup+1542.3 s]
/proc/loadavg: 1.06 1.58 1.83 2/483 20256
/proc/meminfo: memFree=20810680/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=583464 CPUtime=1542.32 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 143778 0 0 0 154011 221 0 0 25 0 1 0 562668114 597467136 143451 33554432000 134512640 137138936 4291391312 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 145866 143451 192 642 0 145222 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 583464
[startup+1602.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/483 20257
/proc/meminfo: memFree=20801472/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=592768 CPUtime=1602.33 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 146102 0 0 0 160007 226 0 0 25 0 1 0 562668114 606994432 145775 33554432000 134512640 137138936 4291391312 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 148192 145775 192 642 0 147548 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 592768
[startup+1662.3 s]
/proc/loadavg: 1.10 1.42 1.74 2/483 20259
/proc/meminfo: memFree=20791616/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=602240 CPUtime=1662.33 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 148462 0 0 0 166004 229 0 0 25 0 1 0 562668114 616693760 148135 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 150560 148135 192 642 0 149916 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 602240
[startup+1722.3 s]
/proc/loadavg: 1.08 1.36 1.70 2/483 20261
/proc/meminfo: memFree=20781928/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=611808 CPUtime=1722.33 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 150857 0 0 0 172001 232 0 0 25 0 1 0 562668114 626491392 150530 33554432000 134512640 137138936 4291391312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 152952 150530 192 642 0 152308 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 611808
[startup+1782.3 s]
/proc/loadavg: 1.02 1.29 1.65 2/483 20262
/proc/meminfo: memFree=20771196/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=621768 CPUtime=1782.33 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 153352 0 0 0 177998 235 0 0 25 0 1 0 562668114 636690432 153025 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 155442 153025 192 642 0 154798 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 621768
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.02 1.29 1.65 2/483 20262
/proc/meminfo: memFree=20771444/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=622520 CPUtime=1785.53 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 153539 0 0 0 178318 235 0 0 25 0 1 0 562668114 637460480 153212 33554432000 134512640 137138936 4291391312 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 155630 153212 192 642 0 154986 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 622520
[startup+1791.92 s]
/proc/loadavg: 1.02 1.28 1.64 2/483 20262
/proc/meminfo: memFree=20770204/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=623892 CPUtime=1791.95 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 153868 0 0 0 178960 235 0 0 25 0 1 0 562668114 638865408 153541 33554432000 134512640 137138936 4291391312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 155973 153541 192 642 0 155329 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 623892
[startup+1795.1 s]
/proc/loadavg: 1.02 1.28 1.64 2/483 20263
/proc/meminfo: memFree=20769956/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=624176 CPUtime=1795.14 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 153940 0 0 0 179278 236 0 0 25 0 1 0 562668114 639156224 153613 33554432000 134512640 137138936 4291391312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 156044 153613 192 642 0 155400 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 624176
[startup+1796.7 s]
/proc/loadavg: 1.02 1.28 1.64 2/483 20263
/proc/meminfo: memFree=20769708/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=624444 CPUtime=1796.74 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 154021 0 0 0 179438 236 0 0 25 0 1 0 562668114 639430656 153694 33554432000 134512640 137138936 4291391312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 156111 153694 192 642 0 155467 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 624444
[startup+1797.5 s]
/proc/loadavg: 1.02 1.27 1.63 2/483 20263
/proc/meminfo: memFree=20769088/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=624628 CPUtime=1797.54 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 154052 0 0 0 179518 236 0 0 25 0 1 0 562668114 639619072 153725 33554432000 134512640 137138936 4291391312 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 156157 153725 192 642 0 155513 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 624628
[startup+1797.9 s]
/proc/loadavg: 1.02 1.27 1.63 2/483 20263
/proc/meminfo: memFree=20769088/32951124 swapFree=46575304/67111528
[pid=20102] ppid=20100 vsize=624740 CPUtime=1797.94 cores=1,3,5,7
/proc/20102/stat : 20102 (bsolo) R 20100 20102 17058 0 -1 4202496 154081 0 0 0 179558 236 0 0 25 0 1 0 562668114 639733760 153754 33554432000 134512640 137138936 4291391312 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20102/statm: 156185 153754 192 642 0 155541 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 624740
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.03
CPU user time (s): 1795.64
CPU system time (s): 2.38764
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 624740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.64
system time used= 2.38764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154081
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= 7
involuntary context switches= 1303
runsolver used 8.40772 second user time and 20.6489 second system time
The end