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-3707740-1338184105/watcher-3707740-1338184105 -o /tmp/evaluation-result-3707740-1338184105/solver-3707740-1338184105 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707740-1338184105.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.10 2.06 2.00 3/174 1566
/proc/meminfo: memFree=28411792/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=11336 CPUtime=0 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 284536000 11608064 367 33554432000 134512640 137138936 4293327552 4293326232 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 2834 369 183 642 0 2190 0
[startup+0.0461771 s]
/proc/loadavg: 2.10 2.06 2.00 3/174 1566
/proc/meminfo: memFree=28411792/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=11336 CPUtime=0.04 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 445 0 0 0 4 0 0 0 20 0 1 0 284536000 11608064 394 33554432000 134512640 137138936 4293327552 4293310224 134541959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 2834 394 185 642 0 2190 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11336
[startup+0.100267 s]
/proc/loadavg: 2.10 2.06 2.00 3/174 1566
/proc/meminfo: memFree=28411792/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=11336 CPUtime=0.09 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 445 0 0 0 9 0 0 0 20 0 1 0 284536000 11608064 394 33554432000 134512640 137138936 4293327552 4293310412 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 2834 394 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336
[startup+0.300231 s]
/proc/loadavg: 2.10 2.06 2.00 3/174 1566
/proc/meminfo: memFree=28411792/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=11732 CPUtime=0.29 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 558 0 0 0 29 0 0 0 20 0 1 0 284536000 12013568 507 33554432000 134512640 137138936 4293327552 4293326668 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 2933 507 192 642 0 2289 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11732
[startup+0.700216 s]
/proc/loadavg: 2.10 2.06 2.00 3/174 1566
/proc/meminfo: memFree=28411792/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=13584 CPUtime=0.69 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 1014 0 0 0 69 0 0 0 20 0 1 0 284536000 13910016 963 33554432000 134512640 137138936 4293327552 4293326480 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 3396 963 192 642 0 2752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13584
[startup+1.5002 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 1569
/proc/meminfo: memFree=28407436/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=16384 CPUtime=1.49 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 1721 0 0 0 148 1 0 0 20 0 1 0 284536000 16777216 1670 33554432000 134512640 137138936 4293327552 4293326056 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 4096 1670 192 642 0 3452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16384
[startup+3.10024 s]
/proc/loadavg: 2.10 2.06 2.00 3/175 1569
/proc/meminfo: memFree=28403468/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=21408 CPUtime=3.09 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 2965 0 0 0 307 2 0 0 20 0 1 0 284536000 21921792 2914 33554432000 134512640 137138936 4293327552 4293326480 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 5352 2914 192 642 0 4708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21408
[startup+6.30029 s]
/proc/loadavg: 2.09 2.06 2.00 3/175 1569
/proc/meminfo: memFree=28395532/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=27776 CPUtime=6.29 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 4565 0 0 0 626 3 0 0 20 0 1 0 284536000 28442624 4514 33554432000 134512640 137138936 4293327552 4293326480 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 6944 4514 192 642 0 6300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27776
[startup+12.7003 s]
/proc/loadavg: 2.08 2.06 2.00 3/175 1569
/proc/meminfo: memFree=28385412/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=35808 CPUtime=12.69 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 6577 0 0 0 1264 5 0 0 20 0 1 0 284536000 36667392 6526 33554432000 134512640 137138936 4293327552 4293326480 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 8952 6526 192 642 0 8308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35808
[startup+25.5003 s]
/proc/loadavg: 2.14 2.07 2.01 3/175 1569
/proc/meminfo: memFree=28371780/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=46600 CPUtime=25.48 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 9269 0 0 0 2541 7 0 0 20 0 1 0 284536000 47718400 9218 33554432000 134512640 137138936 4293327552 4293326480 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 11650 9218 192 642 0 11006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46600
[startup+51.1003 s]
/proc/loadavg: 2.09 2.06 2.00 3/175 1571
/proc/meminfo: memFree=28366312/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=51424 CPUtime=51.08 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 10537 0 0 0 5096 12 0 0 20 0 1 0 284536000 52658176 10431 33554432000 134512640 137138936 4293327552 4293326480 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 12856 10431 192 642 0 12212 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51424
[startup+102.307 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 1575
/proc/meminfo: memFree=28358440/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=57028 CPUtime=102.27 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 12010 0 0 0 10208 19 0 0 20 0 1 0 284536000 58396672 12328 33554432000 134512640 137138936 4293327552 4293326440 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 14257 12328 192 642 0 13613 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 57028
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 1575
/proc/meminfo: memFree=28351764/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=64244 CPUtime=162.24 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 13868 0 0 0 16198 26 0 0 20 0 1 0 284536000 65785856 14123 33554432000 134512640 137138936 4293327552 4293326668 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 16061 14123 192 642 0 15417 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 64244
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 1575
/proc/meminfo: memFree=28347672/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=67192 CPUtime=222.24 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 14660 0 0 0 22191 33 0 0 20 0 1 0 284536000 68804608 14848 33554432000 134512640 137138936 4293327552 4293326448 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 16798 14848 192 642 0 16154 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 67192
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 1575
/proc/meminfo: memFree=28343632/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=71084 CPUtime=282.23 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 15726 0 0 0 28181 42 0 0 20 0 1 0 284536000 72790016 15835 33554432000 134512640 137138936 4293327552 4293326668 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 17771 15835 192 642 0 17127 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 71084
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 1575
/proc/meminfo: memFree=28341344/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=72236 CPUtime=342.22 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 15993 0 0 0 34175 47 0 0 20 0 1 0 284536000 73969664 16101 33554432000 134512640 137138936 4293327552 4293326480 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 18059 16101 192 642 0 17415 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 72236
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 1576
/proc/meminfo: memFree=28335444/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=77616 CPUtime=402.2 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 17425 0 0 0 40167 53 0 0 20 0 1 0 284536000 79478784 17452 33554432000 134512640 137138936 4293327552 4293326220 136504019 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 19404 17452 192 642 0 18760 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 77616
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 1576
/proc/meminfo: memFree=28334944/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=78576 CPUtime=462.19 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 17661 0 0 0 46162 57 0 0 20 0 1 0 284536000 80461824 17686 33554432000 134512640 137138936 4293327552 4293326088 136504089 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 19644 17686 192 642 0 19000 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 78576
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 1576
/proc/meminfo: memFree=28330292/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=78576 CPUtime=522.18 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 17662 0 0 0 52154 64 0 0 20 0 1 0 284536000 80461824 17686 33554432000 134512640 137138936 4293327552 4293326668 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 19644 17686 192 642 0 19000 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 78576
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1576
/proc/meminfo: memFree=28324584/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=84064 CPUtime=582.18 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 19127 0 0 0 58147 71 0 0 20 0 1 0 284536000 86081536 19062 33554432000 134512640 137138936 4293327552 4293326480 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 21016 19062 192 642 0 20372 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 84064
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 1606
/proc/meminfo: memFree=28321724/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=86364 CPUtime=822.14 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 19701 0 0 0 82123 91 0 0 20 0 1 0 284536000 88436736 19633 33554432000 134512640 137138936 4293327552 4293326480 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 21591 19633 192 642 0 20947 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 86364
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 1606
/proc/meminfo: memFree=28321352/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=86364 CPUtime=882.13 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 19701 0 0 0 88116 97 0 0 20 0 1 0 284536000 88436736 19633 33554432000 134512640 137138936 4293327552 4293326432 136297655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 21591 19633 192 642 0 20947 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 86364
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1646
/proc/meminfo: memFree=28331096/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=91588 CPUtime=942.12 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21114 0 0 0 94110 102 0 0 20 0 1 0 284536000 93786112 20947 33554432000 134512640 137138936 4293327552 4293326592 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 22897 20947 192 642 0 22253 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 91588
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1647
/proc/meminfo: memFree=28212780/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=91588 CPUtime=1002.1 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21116 0 0 0 100102 108 0 0 20 0 1 0 284536000 93786112 20947 33554432000 134512640 137138936 4293327552 4293326668 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 22897 20947 192 642 0 22253 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 91588
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1647
/proc/meminfo: memFree=28121544/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=91588 CPUtime=1062.09 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21116 0 0 0 106097 112 0 0 20 0 1 0 284536000 93786112 20947 33554432000 134512640 137138936 4293327552 4293326480 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 22897 20947 192 642 0 22253 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 91588
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1647
/proc/meminfo: memFree=28052256/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92012 CPUtime=1122.09 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21213 0 0 0 112091 118 0 0 20 0 1 0 284536000 94220288 21044 33554432000 134512640 137138936 4293327552 4293326480 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23003 21044 192 642 0 22359 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 92012
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1647
/proc/meminfo: memFree=27995120/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92012 CPUtime=1182.08 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21213 0 0 0 118087 121 0 0 20 0 1 0 284536000 94220288 21044 33554432000 134512640 137138936 4293327552 4293326480 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23003 21044 192 642 0 22359 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 92012
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1647
/proc/meminfo: memFree=27948764/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92384 CPUtime=1242.07 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21306 0 0 0 124082 125 0 0 20 0 1 0 284536000 94601216 21137 33554432000 134512640 137138936 4293327552 4293326480 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23096 21137 192 642 0 22452 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 92384
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1651
/proc/meminfo: memFree=27899820/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92384 CPUtime=1302.06 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21307 0 0 0 130077 129 0 0 20 0 1 0 284536000 94601216 21137 33554432000 134512640 137138936 4293327552 4293326048 134618383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23096 21137 192 642 0 22452 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 92384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1651
/proc/meminfo: memFree=27853964/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92384 CPUtime=1362.05 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21307 0 0 0 136072 133 0 0 20 0 1 0 284536000 94601216 21137 33554432000 134512640 137138936 4293327552 4293326480 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23096 21137 192 642 0 22452 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 92384
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1651
/proc/meminfo: memFree=27815276/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92384 CPUtime=1422.05 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21307 0 0 0 142066 139 0 0 20 0 1 0 284536000 94601216 21137 33554432000 134512640 137138936 4293327552 4293326480 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23096 21137 192 642 0 22452 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 92384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1651
/proc/meminfo: memFree=27777084/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92384 CPUtime=1482.04 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21307 0 0 0 148060 144 0 0 20 0 1 0 284536000 94601216 21137 33554432000 134512640 137138936 4293327552 4293326448 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23096 21137 192 642 0 22452 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 92384
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 1651
/proc/meminfo: memFree=27737696/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92756 CPUtime=1542.02 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21400 0 0 0 154053 149 0 0 20 0 1 0 284536000 94982144 21230 33554432000 134512640 137138936 4293327552 4293326480 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23189 21230 192 642 0 22545 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 92756
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1652
/proc/meminfo: memFree=27694820/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=92756 CPUtime=1602.01 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 21400 0 0 0 160048 153 0 0 20 0 1 0 284536000 94982144 21230 33554432000 134512640 137138936 4293327552 4293326668 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 23189 21230 192 642 0 22545 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 92756
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1652
/proc/meminfo: memFree=27649588/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=98644 CPUtime=1662 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 23005 0 0 0 166041 159 0 0 20 0 1 0 284536000 101011456 22727 33554432000 134512640 137138936 4293327552 4293326480 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 24661 22727 192 642 0 24017 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 98644
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1652
/proc/meminfo: memFree=27610804/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=98644 CPUtime=1722 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 23005 0 0 0 172036 164 0 0 20 0 1 0 284536000 101011456 22727 33554432000 134512640 137138936 4293327552 4293326480 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 24661 22727 192 642 0 24017 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 98644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1652
/proc/meminfo: memFree=27569876/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=98644 CPUtime=1781.99 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 23005 0 0 0 178032 167 0 0 20 0 1 0 284536000 101011456 22727 33554432000 134512640 137138936 4293327552 4293326480 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 24661 22727 192 642 0 24017 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 98644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1652
/proc/meminfo: memFree=27556484/32873852 swapFree=6848/6848
[pid=1566] ppid=1564 vsize=99980 CPUtime=1800.08 cores=1,3,5,7
/proc/1566/stat : 1566 (bsolo) R 1564 1566 31475 0 -1 4202496 23315 0 0 0 179841 167 0 0 20 0 1 0 284536000 102379520 23037 33554432000 134512640 137138936 4293327552 4293326592 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1566/statm: 24995 23037 192 642 0 24351 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.43
CPU time (s): 1800.12
CPU user time (s): 1798.44
CPU system time (s): 1.68074
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 99980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.68074
maximum resident set size= 92148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23315
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= 42
involuntary context switches= 1849
runsolver used 3.56146 second user time and 10.0955 second system time
The end