runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3708480-1338177056/watcher-3708480-1338177056 -o /tmp/evaluation-result-3708480-1338177056/solver-3708480-1338177056 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708480-1338177056.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.00 2.00 3/177 10545
/proc/meminfo: memFree=29836304/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=11380 CPUtime=0 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 283830007 11653120 372 33554432000 134512640 137138936 4292647840 4292645848 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 2845 373 178 642 0 2193 0
[startup+0.0338411 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10545
/proc/meminfo: memFree=29836304/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=12148 CPUtime=0.03 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 662 0 0 0 3 0 0 0 20 0 1 0 283830007 12439552 607 33554432000 134512640 137138936 4292647840 4292646356 134551543 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 3037 607 192 642 0 2393 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12148
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10545
/proc/meminfo: memFree=29836304/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=12776 CPUtime=0.09 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 805 0 0 0 9 0 0 0 20 0 1 0 283830007 13082624 750 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 3194 750 192 642 0 2550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12776
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10545
/proc/meminfo: memFree=29836304/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=14444 CPUtime=0.29 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 1221 0 0 0 29 0 0 0 20 0 1 0 283830007 14790656 1166 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 3611 1166 192 642 0 2967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14444
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10545
/proc/meminfo: memFree=29836304/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=17328 CPUtime=0.69 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 1947 0 0 0 69 0 0 0 20 0 1 0 283830007 17743872 1892 33554432000 134512640 137138936 4292647840 4292646120 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 4332 1892 192 642 0 3688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17328
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10546
/proc/meminfo: memFree=29827360/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=21504 CPUtime=1.48 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 2981 0 0 0 148 0 0 0 20 0 1 0 283830007 22020096 2926 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 5376 2926 192 642 0 4732 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21504
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10546
/proc/meminfo: memFree=29825252/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=22360 CPUtime=3.09 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 3216 0 0 0 308 1 0 0 20 0 1 0 283830007 22896640 3161 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 5590 3161 192 642 0 4946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22360
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10546
/proc/meminfo: memFree=29824012/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=23588 CPUtime=6.29 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 3502 0 0 0 627 2 0 0 20 0 1 0 283830007 24154112 3447 33554432000 134512640 137138936 4292647840 4292646880 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 5897 3447 192 642 0 5253 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23588
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10546
/proc/meminfo: memFree=29822548/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=24336 CPUtime=12.69 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 3693 0 0 0 1266 3 0 0 20 0 1 0 283830007 24920064 3638 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 6084 3638 192 642 0 5440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24336
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10546
/proc/meminfo: memFree=29821640/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=25076 CPUtime=25.48 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 3881 0 0 0 2543 5 0 0 20 0 1 0 283830007 25677824 3822 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 6269 3822 192 642 0 5625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25076
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10546
/proc/meminfo: memFree=29821016/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=24956 CPUtime=51.07 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 4086 0 0 0 5097 10 0 0 20 0 1 0 283830007 25554944 3813 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 6239 3813 192 642 0 5595 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24956
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10546
/proc/meminfo: memFree=29818784/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=27692 CPUtime=102.27 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 4748 0 0 0 10203 24 0 0 20 0 1 0 283830007 28356608 4475 33554432000 134512640 137138936 4292647840 4292646768 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 6923 4475 192 642 0 6279 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27692
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10547
/proc/meminfo: memFree=29815992/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=28772 CPUtime=162.26 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 5026 0 0 0 16191 35 0 0 20 0 1 0 283830007 29462528 4752 33554432000 134512640 137138936 4292647840 4292643960 134601123 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 7193 4752 192 642 0 6549 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 28772
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10547
/proc/meminfo: memFree=29814376/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=29972 CPUtime=222.25 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 5335 0 0 0 22179 46 0 0 20 0 1 0 283830007 30691328 5060 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 7493 5060 192 642 0 6849 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29972
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10547
/proc/meminfo: memFree=29812824/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=31192 CPUtime=282.23 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 5654 0 0 0 28168 55 0 0 20 0 1 0 283830007 31940608 5372 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 7798 5372 192 642 0 7154 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 31192
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10547
/proc/meminfo: memFree=29812948/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=31332 CPUtime=342.22 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 5695 0 0 0 34156 66 0 0 20 0 1 0 283830007 32083968 5395 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 7833 5395 192 642 0 7189 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 31332
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10547
/proc/meminfo: memFree=29811336/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=32776 CPUtime=402.22 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 6063 0 0 0 40144 78 0 0 20 0 1 0 283830007 33562624 5761 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 8194 5761 192 642 0 7550 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 32776
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10548
/proc/meminfo: memFree=29808980/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=32672 CPUtime=462.21 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 6063 0 0 0 46131 90 0 0 20 0 1 0 283830007 33456128 5742 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 8168 5742 192 642 0 7524 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 32672
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10548
/proc/meminfo: memFree=29808976/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=32628 CPUtime=522.2 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 6063 0 0 0 52117 103 0 0 20 0 1 0 283830007 33411072 5731 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 8157 5731 192 642 0 7513 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 32628
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10551
/proc/meminfo: memFree=29807480/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=34368 CPUtime=582.2 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 6488 0 0 0 58107 113 0 0 20 0 1 0 283830007 35192832 6155 33554432000 134512640 137138936 4292647840 4292646768 134542761 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 8592 6155 192 642 0 7948 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 34368
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29802832/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=36020 CPUtime=1122.1 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7023 0 0 0 112005 205 0 0 20 0 1 0 283830007 36884480 6578 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9005 6578 192 642 0 8361 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 36020
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 10579
/proc/meminfo: memFree=29802948/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=36020 CPUtime=1182.09 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7023 0 0 0 117992 217 0 0 20 0 1 0 283830007 36884480 6578 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9005 6578 192 642 0 8361 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 36020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10579
/proc/meminfo: memFree=29802708/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=36052 CPUtime=1242.09 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7032 0 0 0 123979 230 0 0 20 0 1 0 283830007 36917248 6587 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9013 6587 192 642 0 8369 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 36052
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10617
/proc/meminfo: memFree=29842676/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=37752 CPUtime=1302.09 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7443 0 0 0 129968 241 0 0 20 0 1 0 283830007 38658048 6998 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9438 6998 192 642 0 8794 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37752
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10618
/proc/meminfo: memFree=29841124/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38056 CPUtime=1362.07 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7531 0 0 0 135956 251 0 0 20 0 1 0 283830007 38969344 7085 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9514 7085 192 642 0 8870 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 38056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10618
/proc/meminfo: memFree=29841000/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38036 CPUtime=1422.07 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7538 0 0 0 141946 261 0 0 20 0 1 0 283830007 38948864 7074 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9509 7074 192 642 0 8865 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 38036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10618
/proc/meminfo: memFree=29840936/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38020 CPUtime=1482.06 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7538 0 0 0 147934 272 0 0 20 0 1 0 283830007 38932480 7074 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9505 7074 192 642 0 8861 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 38020
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10618
/proc/meminfo: memFree=29840688/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=37960 CPUtime=1542.04 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7538 0 0 0 153924 280 0 0 20 0 1 0 283830007 38871040 7064 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9490 7064 192 642 0 8846 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 37960
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10618
/proc/meminfo: memFree=29840068/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1602.03 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7553 0 0 0 159912 291 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 38060
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10618
/proc/meminfo: memFree=29840812/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38024 CPUtime=1662.02 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7553 0 0 0 165900 302 0 0 20 0 1 0 283830007 38936576 7079 33554432000 134512640 137138936 4292647840 4292646768 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9506 7079 192 642 0 8862 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38024
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10619
/proc/meminfo: memFree=29839944/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1722.02 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 171887 315 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646592 134577137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 38060
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1782 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 177876 324 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 38060
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1791.61 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 178835 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646768 134542351 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 38060
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1794.81 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 179155 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 38060
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1796.4 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 179314 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 38060
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1797.2 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 179394 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 38060
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1797.6 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 179434 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 38060
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1797.8 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 179454 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 38060
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839316/32873844 swapFree=7628/7628
[pid=10545] ppid=10543 vsize=38060 CPUtime=1797.9 cores=1,3,5,7
/proc/10545/stat : 10545 (bsolo) R 10543 10545 8717 0 -1 4202496 7565 0 0 0 179464 326 0 0 20 0 1 0 283830007 38973440 7079 33554432000 134512640 137138936 4292647840 4292646956 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10545/statm: 9515 7079 192 642 0 8871 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 38060
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1794.73
CPU system time (s): 3.2685
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 38072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 3.2685
maximum resident set size= 28340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7566
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= 15
involuntary context switches= 1854
runsolver used 3.50447 second user time and 8.88765 second system time
The end