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-3462969-1307179178/watcher-3462969-1307179178 -o /tmp/evaluation-result-3462969-1307179178/solver-3462969-1307179178 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462969-1307179178.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.02 2.00 2/535 18514
/proc/meminfo: memFree=24041440/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=18600 CPUtime=0.01 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 305 0 0 0 1 0 0 0 25 0 1 0 810334098 19046400 258 33554432000 134512640 137138936 4293336160 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4650 258 192 642 0 4006 0
[startup+0.102516 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 18514
/proc/meminfo: memFree=24041440/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=18988 CPUtime=0.1 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 412 0 0 0 10 0 0 0 25 0 1 0 810334098 19443712 365 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4747 365 192 642 0 4103 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18988
[startup+0.200491 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 18514
/proc/meminfo: memFree=24041440/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=19116 CPUtime=0.19 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 438 0 0 0 19 0 0 0 25 0 1 0 810334098 19574784 391 33554432000 134512640 137138936 4293336160 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4779 391 192 642 0 4135 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19116
[startup+0.300474 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 18514
/proc/meminfo: memFree=24041440/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=19244 CPUtime=0.29 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 457 0 0 0 29 0 0 0 25 0 1 0 810334098 19705856 410 33554432000 134512640 137138936 4293336160 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4811 410 192 642 0 4167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19244
[startup+0.700399 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 18514
/proc/meminfo: memFree=24041440/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=19372 CPUtime=0.69 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 505 0 0 0 69 0 0 0 25 0 1 0 810334098 19836928 458 33554432000 134512640 137138936 4293336160 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4843 458 192 642 0 4199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19372
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18515
/proc/meminfo: memFree=24039816/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=19504 CPUtime=1.49 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 540 0 0 0 149 0 0 0 25 0 1 0 810334098 19972096 493 33554432000 134512640 137138936 4293336160 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4876 493 192 642 0 4232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19504
[startup+3.10094 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18515
/proc/meminfo: memFree=24038328/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=19760 CPUtime=3.09 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 601 0 0 0 308 1 0 0 25 0 1 0 810334098 20234240 554 33554432000 134512640 137138936 4293336160 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4940 554 192 642 0 4296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19760
[startup+6.30042 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18515
/proc/meminfo: memFree=24038036/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=19884 CPUtime=6.29 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 637 0 0 0 627 2 0 0 25 0 1 0 810334098 20361216 590 33554432000 134512640 137138936 4293336160 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 4971 590 192 642 0 4327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19884
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18515
/proc/meminfo: memFree=24037296/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=20148 CPUtime=12.69 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 705 0 0 0 1264 5 0 0 25 0 1 0 810334098 20631552 658 33554432000 134512640 137138936 4293336160 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18514/statm: 5037 658 192 642 0 4393 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20148
[startup+25.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18516
/proc/meminfo: memFree=24037160/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=20380 CPUtime=25.49 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 753 0 0 0 2540 9 0 0 25 0 1 0 810334098 20869120 706 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5095 706 192 642 0 4451 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20380
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18516
/proc/meminfo: memFree=24036076/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=20872 CPUtime=51.09 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 860 0 0 0 5091 18 0 0 25 0 1 0 810334098 21372928 813 33554432000 134512640 137138936 4293336160 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5218 813 192 642 0 4574 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20872
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18518
/proc/meminfo: memFree=24035424/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=21104 CPUtime=102.3 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 928 0 0 0 10196 34 0 0 25 0 1 0 810334098 21610496 881 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5276 881 192 642 0 4632 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21104
[startup+162.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/536 18519
/proc/meminfo: memFree=24034528/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=21348 CPUtime=162.28 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1001 0 0 0 16175 53 0 0 25 0 1 0 810334098 21860352 954 33554432000 134512640 137138936 4293336160 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5337 954 192 642 0 4693 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 21348
[startup+222.32 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 18521
/proc/meminfo: memFree=24034356/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=21696 CPUtime=222.29 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1069 0 0 0 22160 69 0 0 25 0 1 0 810334098 22216704 1022 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5424 1022 192 642 0 4780 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 21696
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 18523
/proc/meminfo: memFree=24034696/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=21672 CPUtime=282.28 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1069 0 0 0 28141 87 0 0 25 0 1 0 810334098 22192128 1022 33554432000 134512640 137138936 4293336160 18446744073709551615 136505596 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5418 1022 192 642 0 4774 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 21672
[startup+342.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/536 18530
/proc/meminfo: memFree=24032712/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=21932 CPUtime=342.28 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1139 0 0 0 34122 106 0 0 25 0 1 0 810334098 22458368 1092 33554432000 134512640 137138936 4293336160 18446744073709551615 134577147 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5483 1092 192 642 0 4839 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 21932
[startup+402.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18532
/proc/meminfo: memFree=24034384/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=21932 CPUtime=402.27 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1139 0 0 0 40102 125 0 0 25 0 1 0 810334098 22458368 1092 33554432000 134512640 137138936 4293336160 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5483 1092 192 642 0 4839 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 21932
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18533
/proc/meminfo: memFree=24034968/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=22192 CPUtime=462.27 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1193 0 0 0 46085 142 0 0 25 0 1 0 810334098 22724608 1146 33554432000 134512640 137138936 4293336160 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5548 1146 192 642 0 4904 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 22192
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18535
/proc/meminfo: memFree=24034316/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=22300 CPUtime=522.27 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1224 0 0 0 52072 155 0 0 25 0 1 0 810334098 22835200 1177 33554432000 134512640 137138936 4293336160 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5575 1177 192 642 0 4931 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 22300
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18536
/proc/meminfo: memFree=24034284/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=22300 CPUtime=582.27 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1224 0 0 0 58054 173 0 0 25 0 1 0 810334098 22835200 1177 33554432000 134512640 137138936 4293336160 18446744073709551615 134542737 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5575 1177 192 642 0 4931 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 22300
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25040444/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=22628 CPUtime=1062.25 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1314 0 0 0 105919 306 0 0 25 0 1 0 810334098 23171072 1267 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5657 1267 192 642 0 5013 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 22628
[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/536 18579
/proc/meminfo: memFree=25041528/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=22628 CPUtime=1122.25 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1314 0 0 0 111903 322 0 0 25 0 1 0 810334098 23171072 1267 33554432000 134512640 137138936 4293336160 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5657 1267 192 642 0 5013 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 22628
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18581
/proc/meminfo: memFree=25030220/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23116 CPUtime=1182.24 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1424 0 0 0 117887 337 0 0 25 0 1 0 810334098 23670784 1377 33554432000 134512640 137138936 4293336160 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5779 1377 192 642 0 5135 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 23116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18583
/proc/meminfo: memFree=25017412/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23108 CPUtime=1242.24 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 123872 352 0 0 25 0 1 0 810334098 23662592 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5777 1384 192 642 0 5133 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 23108
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18586
/proc/meminfo: memFree=25016500/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23108 CPUtime=1302.25 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 129859 366 0 0 25 0 1 0 810334098 23662592 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5777 1384 192 642 0 5133 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 23108
[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/536 18587
/proc/meminfo: memFree=25017828/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23108 CPUtime=1362.24 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 135843 381 0 0 25 0 1 0 810334098 23662592 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5777 1384 192 642 0 5133 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 23108
[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 18589
/proc/meminfo: memFree=25012212/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23108 CPUtime=1422.25 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 141830 395 0 0 25 0 1 0 810334098 23662592 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5777 1384 192 642 0 5133 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 23108
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 18590
/proc/meminfo: memFree=24996572/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23100 CPUtime=1482.24 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 147817 407 0 0 25 0 1 0 810334098 23654400 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5775 1384 192 642 0 5131 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 23100
[startup+1542.32 s]
/proc/loadavg: 2.08 2.06 2.01 3/536 18592
/proc/meminfo: memFree=24996416/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23096 CPUtime=1542.25 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 153805 420 0 0 25 0 1 0 810334098 23650304 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5774 1384 192 642 0 5130 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 23096
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/536 18595
/proc/meminfo: memFree=24996764/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23096 CPUtime=1602.23 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 159786 437 0 0 25 0 1 0 810334098 23650304 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5774 1384 192 642 0 5130 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 23096
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/536 18596
/proc/meminfo: memFree=24993260/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23096 CPUtime=1662.23 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 165774 449 0 0 25 0 1 0 810334098 23650304 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5774 1384 192 642 0 5130 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 23096
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18598
/proc/meminfo: memFree=24975612/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1722.22 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 171759 463 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 23092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18599
/proc/meminfo: memFree=24965416/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1782.23 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 177745 478 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 23092
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18600
/proc/meminfo: memFree=24965532/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1785.53 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 178074 479 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 23092
[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18600
/proc/meminfo: memFree=24966772/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1791.95 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 178713 482 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134618001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 23092
[startup+1795.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18600
/proc/meminfo: memFree=24966772/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1795.14 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 179032 482 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 23092
[startup+1796.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18600
/proc/meminfo: memFree=24966772/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1796.72 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 179190 482 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 23092
[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18600
/proc/meminfo: memFree=24966152/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1797.52 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 179270 482 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 136500257 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 23092
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18600
/proc/meminfo: memFree=24966152/32951124 swapFree=46970528/67111528
[pid=18514] ppid=18512 vsize=23092 CPUtime=1797.92 cores=0,2,4,6
/proc/18514/stat : 18514 (bsolo) R 18512 18514 16282 0 -1 4202496 1431 0 0 0 179310 482 0 0 25 0 1 0 810334098 23646208 1384 33554432000 134512640 137138936 4293336160 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18514/statm: 5773 1384 192 642 0 5129 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 23092
Child status: 0
Real time (s): 1798.07
CPU time (s): 1798
CPU user time (s): 1793.17
CPU system time (s): 4.82927
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 23116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.17
system time used= 4.82926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 5922
runsolver used 10.1535 second user time and 20.8338 second system time
The end