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-3462986-1307174461/watcher-3462986-1307174461 -o /tmp/evaluation-result-3462986-1307174461/solver-3462986-1307174461 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462986-1307174461.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.07 2.08 2.02 2/535 18106
/proc/meminfo: memFree=25091576/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 448 0 0 0 0 0 0 0 18 0 1 0 809862382 11599872 381 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 2832 381 192 642 0 2188 0
[startup+0.038391 s]
/proc/loadavg: 2.07 2.08 2.02 2/535 18106
/proc/meminfo: memFree=25091576/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=11320 CPUtime=0.03 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 457 0 0 0 3 0 0 0 18 0 1 0 809862382 11591680 390 33554432000 134512640 137138936 4293744784 18446744073709551615 134575788 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 2830 390 192 642 0 2186 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11320
[startup+0.100379 s]
/proc/loadavg: 2.07 2.08 2.02 2/535 18106
/proc/meminfo: memFree=25091576/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=11568 CPUtime=0.09 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 526 0 0 0 9 0 0 0 18 0 1 0 809862382 11845632 459 33554432000 134512640 137138936 4293744784 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 2892 459 192 642 0 2248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11568
[startup+0.300344 s]
/proc/loadavg: 2.07 2.08 2.02 2/535 18106
/proc/meminfo: memFree=25091576/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=12300 CPUtime=0.29 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 697 0 0 0 29 0 0 0 18 0 1 0 809862382 12595200 630 33554432000 134512640 137138936 4293744784 18446744073709551615 136500210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3075 630 192 642 0 2431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12300
[startup+0.700273 s]
/proc/loadavg: 2.07 2.08 2.02 2/535 18106
/proc/meminfo: memFree=25091576/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=13280 CPUtime=0.69 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 961 0 0 0 69 0 0 0 18 0 1 0 809862382 13598720 894 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3320 894 192 642 0 2676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13280
[startup+1.50013 s]
/proc/loadavg: 2.07 2.08 2.02 3/536 18107
/proc/meminfo: memFree=25088088/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=13776 CPUtime=1.49 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 1073 0 0 0 148 1 0 0 19 0 1 0 809862382 14106624 1006 33554432000 134512640 137138936 4293744784 18446744073709551615 134607594 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3444 1006 192 642 0 2800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13776
[startup+3.10085 s]
/proc/loadavg: 2.07 2.08 2.02 3/536 18107
/proc/meminfo: memFree=25086724/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=14404 CPUtime=3.1 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 1214 0 0 0 308 2 0 0 25 0 1 0 809862382 14749696 1147 33554432000 134512640 137138936 4293744784 18446744073709551615 134575188 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3601 1147 192 642 0 2957 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14404
[startup+6.30027 s]
/proc/loadavg: 2.06 2.08 2.02 3/536 18107
/proc/meminfo: memFree=25085796/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=14880 CPUtime=6.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 1353 0 0 0 627 3 0 0 25 0 1 0 809862382 15237120 1286 33554432000 134512640 137138936 4293744784 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3720 1286 192 642 0 3076 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14880
[startup+12.7001 s]
/proc/loadavg: 2.06 2.08 2.02 3/536 18108
/proc/meminfo: memFree=25083384/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=15248 CPUtime=12.69 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 1444 0 0 0 1264 5 0 0 25 0 1 0 809862382 15613952 1377 33554432000 134512640 137138936 4293744784 18446744073709551615 136503180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3812 1377 192 642 0 3168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15248
[startup+25.5008 s]
/proc/loadavg: 2.04 2.07 2.02 3/536 18108
/proc/meminfo: memFree=25083452/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=15976 CPUtime=25.49 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 1612 0 0 0 2539 10 0 0 25 0 1 0 809862382 16359424 1545 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 3994 1545 192 642 0 3350 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15976
[startup+51.1003 s]
/proc/loadavg: 2.03 2.07 2.02 3/536 18109
/proc/meminfo: memFree=25081968/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=17100 CPUtime=51.09 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 1917 0 0 0 5091 18 0 0 25 0 1 0 809862382 17510400 1850 33554432000 134512640 137138936 4293744784 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4275 1850 192 642 0 3631 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17100
[startup+102.319 s]
/proc/loadavg: 2.15 2.08 2.02 3/536 18110
/proc/meminfo: memFree=25078952/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=17584 CPUtime=102.31 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2020 0 0 0 10198 33 0 0 25 0 1 0 809862382 18006016 1953 33554432000 134512640 137138936 4293744784 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4396 1953 192 642 0 3752 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17584
[startup+162.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/536 18111
/proc/meminfo: memFree=25076660/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=17952 CPUtime=162.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2115 0 0 0 16180 50 0 0 25 0 1 0 809862382 18382848 2048 33554432000 134512640 137138936 4293744784 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4488 2048 192 642 0 3844 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17952
[startup+222.301 s]
/proc/loadavg: 2.12 2.08 2.02 3/536 18113
/proc/meminfo: memFree=25076496/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=18680 CPUtime=222.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2298 0 0 0 22162 68 0 0 25 0 1 0 809862382 19128320 2231 33554432000 134512640 137138936 4293744784 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4670 2231 192 642 0 4026 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18680
[startup+282.301 s]
/proc/loadavg: 2.12 2.08 2.02 3/536 18115
/proc/meminfo: memFree=25078156/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=18680 CPUtime=282.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2298 0 0 0 28146 84 0 0 25 0 1 0 809862382 19128320 2231 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4670 2231 192 642 0 4026 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18680
[startup+342.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/536 18116
/proc/meminfo: memFree=25076248/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=19724 CPUtime=342.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2554 0 0 0 34132 98 0 0 25 0 1 0 809862382 20197376 2487 33554432000 134512640 137138936 4293744784 18446744073709551615 134600308 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4931 2487 192 642 0 4287 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19724
[startup+402.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 18118
/proc/meminfo: memFree=25076452/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=19720 CPUtime=402.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2554 0 0 0 40118 112 0 0 25 0 1 0 809862382 20193280 2487 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 4930 2487 192 642 0 4286 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19720
[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 18120
/proc/meminfo: memFree=25075652/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=20096 CPUtime=462.31 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2649 0 0 0 46105 126 0 0 25 0 1 0 809862382 20578304 2582 33554432000 134512640 137138936 4293744784 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5024 2582 192 642 0 4380 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20096
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18121
/proc/meminfo: memFree=25075356/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=20304 CPUtime=522.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2717 0 0 0 52088 142 0 0 25 0 1 0 809862382 20791296 2650 33554432000 134512640 137138936 4293744784 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5076 2650 192 642 0 4432 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20304
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18123
/proc/meminfo: memFree=25074444/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=20304 CPUtime=582.3 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 2717 0 0 0 58073 157 0 0 25 0 1 0 809862382 20791296 2650 33554432000 134512640 137138936 4293744784 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5076 2650 192 642 0 4432 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20304
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25071412/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=22172 CPUtime=1062.32 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3172 0 0 0 105965 267 0 0 25 0 1 0 809862382 22704128 3105 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5543 3105 192 642 0 4899 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 22172
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18164
/proc/meminfo: memFree=25072920/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=22740 CPUtime=1122.32 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3311 0 0 0 111953 279 0 0 25 0 1 0 809862382 23285760 3244 33554432000 134512640 137138936 4293744784 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5685 3244 192 642 0 5041 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 22740
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18166
/proc/meminfo: memFree=25024124/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=22744 CPUtime=1182.32 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3313 0 0 0 117941 291 0 0 25 0 1 0 809862382 23289856 3246 33554432000 134512640 137138936 4293744784 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5686 3246 192 642 0 5042 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 22744
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18167
/proc/meminfo: memFree=25008720/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23228 CPUtime=1242.32 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3434 0 0 0 123931 301 0 0 25 0 1 0 809862382 23785472 3367 33554432000 134512640 137138936 4293744784 18446744073709551615 134600481 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5807 3367 192 642 0 5163 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 23228
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 18169
/proc/meminfo: memFree=24992932/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23224 CPUtime=1302.34 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3434 0 0 0 129922 312 0 0 25 0 1 0 809862382 23781376 3367 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5806 3367 192 642 0 5162 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 23224
[startup+1362.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/536 18170
/proc/meminfo: memFree=24985964/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23220 CPUtime=1362.33 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3434 0 0 0 135909 324 0 0 25 0 1 0 809862382 23777280 3367 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5805 3367 192 642 0 5161 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 23220
[startup+1422.32 s]
/proc/loadavg: 2.09 2.04 2.01 3/536 18172
/proc/meminfo: memFree=24980844/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23336 CPUtime=1422.35 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3463 0 0 0 141898 337 0 0 25 0 1 0 809862382 23896064 3396 33554432000 134512640 137138936 4293744784 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5834 3396 192 642 0 5190 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 23336
[startup+1482.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/536 18177
/proc/meminfo: memFree=24974412/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23452 CPUtime=1482.33 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3491 0 0 0 147886 347 0 0 25 0 1 0 809862382 24014848 3424 33554432000 134512640 137138936 4293744784 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5863 3424 192 642 0 5219 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 23452
[startup+1542.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/536 18178
/proc/meminfo: memFree=24973752/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23760 CPUtime=1542.34 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3566 0 0 0 153874 360 0 0 25 0 1 0 809862382 24330240 3499 33554432000 134512640 137138936 4293744784 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5940 3499 192 642 0 5296 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 23760
[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/536 18180
/proc/meminfo: memFree=24963544/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23760 CPUtime=1602.33 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 159862 371 0 0 25 0 1 0 809862382 24330240 3515 33554432000 134512640 137138936 4293744784 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5940 3515 192 642 0 5296 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 23760
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 18182
/proc/meminfo: memFree=24955068/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23760 CPUtime=1662.34 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 165852 382 0 0 25 0 1 0 809862382 24330240 3515 33554432000 134512640 137138936 4293744784 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5940 3515 192 642 0 5296 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 23760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18183
/proc/meminfo: memFree=24954792/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1722.33 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 171839 394 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 23720
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18185
/proc/meminfo: memFree=24952876/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1782.34 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 177827 407 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 136504476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 23720
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18185
/proc/meminfo: memFree=24953992/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1785.54 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 178147 407 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 23720
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18185
/proc/meminfo: memFree=24954984/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1791.96 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 178787 409 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 23720
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18185
/proc/meminfo: memFree=24954116/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1795.15 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 179106 409 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 23720
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18185
/proc/meminfo: memFree=24953992/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1796.73 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 179264 409 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 23720
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18185
/proc/meminfo: memFree=24953744/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1797.54 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 179344 410 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 134543459 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 23720
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18185
/proc/meminfo: memFree=24953744/32951124 swapFree=46970528/67111528
[pid=18106] ppid=18104 vsize=23720 CPUtime=1797.94 cores=1,3,5,7
/proc/18106/stat : 18106 (bsolo) R 18104 18106 16282 0 -1 4202496 3582 0 0 0 179384 410 0 0 25 0 1 0 809862382 24289280 3505 33554432000 134512640 137138936 4293744784 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18106/statm: 5930 3505 192 642 0 5286 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 23720
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1793.9
CPU system time (s): 4.10338
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 4.10338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3582
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= 6
involuntary context switches= 4781
runsolver used 8.83966 second user time and 22.2096 second system time
The end