runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3275483-1303650268/watcher-3275483-1303650268 -o /tmp/evaluation-result-3275483-1303650268/solver-3275483-1303650268 -C 5000 -W 5100 -M 15500 HOME/clasp --file=HOME/instance-3275483-1303650268.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 5.10 5.81 5.94 2/173 16472
/proc/meminfo: memFree=16290988/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=2172 CPUtime=0 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 348 0 0 0 0 0 0 0 22 0 1 0 476627231 2224128 293 33554432000 134512640 136057169 4289688544 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 543 293 169 378 0 163 0
[startup+0.104222 s]
/proc/loadavg: 5.10 5.81 5.94 2/173 16472
/proc/meminfo: memFree=16290988/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=2436 CPUtime=0.1 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 418 0 0 0 10 0 0 0 22 0 1 0 476627231 2494464 363 33554432000 134512640 136057169 4289688544 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 609 363 181 378 0 229 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2436
[startup+0.200209 s]
/proc/loadavg: 5.10 5.81 5.94 2/173 16472
/proc/meminfo: memFree=16290988/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=2568 CPUtime=0.19 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 449 0 0 0 19 0 0 0 23 0 1 0 476627231 2629632 394 33554432000 134512640 136057169 4289688544 18446744073709551615 134618229 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 642 394 181 378 0 262 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2568
[startup+0.300187 s]
/proc/loadavg: 5.10 5.81 5.94 2/173 16472
/proc/meminfo: memFree=16290988/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=2568 CPUtime=0.29 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 477 0 0 0 29 0 0 0 23 0 1 0 476627231 2629632 422 33554432000 134512640 136057169 4289688544 18446744073709551615 134828818 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 642 422 181 378 0 262 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2568
[startup+0.700114 s]
/proc/loadavg: 5.10 5.81 5.94 2/173 16472
/proc/meminfo: memFree=16290988/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=2964 CPUtime=0.69 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 560 0 0 0 69 0 0 0 25 0 1 0 476627231 3035136 505 33554432000 134512640 136057169 4289688544 18446744073709551615 134618148 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 741 505 181 378 0 361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2964
[startup+1.50097 s]
/proc/loadavg: 5.10 5.81 5.94 3/178 16478
/proc/meminfo: memFree=16283640/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=3364 CPUtime=1.49 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 648 0 0 0 149 0 0 0 25 0 1 0 476627231 3444736 593 33554432000 134512640 136057169 4289688544 18446744073709551615 134618371 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 841 593 181 378 0 461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3364
[startup+3.10069 s]
/proc/loadavg: 5.10 5.81 5.94 3/178 16478
/proc/meminfo: memFree=16281408/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=3888 CPUtime=3.09 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 799 0 0 0 309 0 0 0 25 0 1 0 476627231 3981312 744 33554432000 134512640 136057169 4289688544 18446744073709551615 134820219 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 972 744 181 378 0 592 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3888
[startup+6.3001 s]
/proc/loadavg: 4.85 5.75 5.91 3/178 16478
/proc/meminfo: memFree=16278364/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=4416 CPUtime=6.29 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 935 0 0 0 629 0 0 0 25 0 1 0 476627231 4521984 880 33554432000 134512640 136057169 4289688544 18446744073709551615 134612852 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 1104 880 181 378 0 724 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4416
[startup+12.7009 s]
/proc/loadavg: 4.62 5.69 5.89 3/178 16479
/proc/meminfo: memFree=16273884/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=5544 CPUtime=12.69 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 1201 0 0 0 1269 0 0 0 25 0 1 0 476627231 5677056 1139 33554432000 134512640 136057169 4289688544 18446744073709551615 134615624 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 1386 1139 181 378 0 1006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5544
[startup+25.5006 s]
/proc/loadavg: 4.04 5.51 5.83 3/178 16479
/proc/meminfo: memFree=16268924/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=6496 CPUtime=25.49 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 1427 0 0 0 2549 0 0 0 25 0 1 0 476627231 6651904 1365 33554432000 134512640 136057169 4289688544 18446744073709551615 134618232 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 1624 1365 181 378 0 1244 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6496
[startup+51.101 s]
/proc/loadavg: 3.40 5.24 5.73 3/178 16479
/proc/meminfo: memFree=16263004/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=8232 CPUtime=51.09 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 1870 0 0 0 5109 0 0 0 25 0 1 0 476627231 8429568 1808 33554432000 134512640 136057169 4289688544 18446744073709551615 134618307 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 2058 1808 181 378 0 1678 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8232
[startup+102.301 s]
/proc/loadavg: 2.68 4.75 5.54 3/178 16481
/proc/meminfo: memFree=16253312/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=10760 CPUtime=102.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 2471 0 0 0 10230 0 0 0 25 0 1 0 476627231 11018240 2409 33554432000 134512640 136057169 4289688544 18446744073709551615 134823821 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 2690 2409 181 378 0 2310 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 10760
[startup+162.301 s]
/proc/loadavg: 2.25 4.25 5.31 3/178 16483
/proc/meminfo: memFree=16240896/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=12004 CPUtime=162.29 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 2776 0 0 0 16229 0 0 0 25 0 1 0 476627231 12292096 2714 33554432000 134512640 136057169 4289688544 18446744073709551615 134637531 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 3001 2714 181 378 0 2621 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 12004
[startup+222.306 s]
/proc/loadavg: 2.09 3.84 5.10 3/178 16484
/proc/meminfo: memFree=16235680/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=13364 CPUtime=222.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 3136 0 0 0 22230 0 0 0 25 0 1 0 476627231 13684736 3074 33554432000 134512640 136057169 4289688544 18446744073709551615 134813076 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 3341 3074 181 378 0 2961 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 13364
[startup+282.301 s]
/proc/loadavg: 2.03 3.50 4.91 3/178 16486
/proc/meminfo: memFree=16232452/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=14488 CPUtime=282.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 3404 0 0 0 28230 0 0 0 25 0 1 0 476627231 14835712 3342 33554432000 134512640 136057169 4289688544 18446744073709551615 134637395 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 3622 3342 181 378 0 3242 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 14488
[startup+342.301 s]
/proc/loadavg: 2.01 3.22 4.72 3/178 16487
/proc/meminfo: memFree=16231456/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=15452 CPUtime=342.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 3627 0 0 0 34230 0 0 0 25 0 1 0 476627231 15822848 3565 33554432000 134512640 136057169 4289688544 18446744073709551615 134618449 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 3863 3565 181 378 0 3483 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15452
[startup+402.3 s]
/proc/loadavg: 2.00 3.00 4.55 3/178 16489
/proc/meminfo: memFree=16228100/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=16132 CPUtime=402.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 3784 0 0 0 40230 0 0 0 25 0 1 0 476627231 16519168 3722 33554432000 134512640 136057169 4289688544 18446744073709551615 134615624 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 4033 3722 181 378 0 3653 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 16132
[startup+462.3 s]
/proc/loadavg: 2.00 2.81 4.39 3/178 16491
/proc/meminfo: memFree=16225360/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=17276 CPUtime=462.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 4062 0 0 0 46230 0 0 0 25 0 1 0 476627231 17690624 4000 33554432000 134512640 136057169 4289688544 18446744073709551615 134645282 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 4319 4000 181 378 0 3939 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 17276
[startup+522.3 s]
/proc/loadavg: 2.00 2.66 4.24 3/178 16492
/proc/meminfo: memFree=16222372/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=17844 CPUtime=522.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 4189 0 0 0 52230 0 0 0 25 0 1 0 476627231 18272256 4127 33554432000 134512640 136057169 4289688544 18446744073709551615 134612964 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 4461 4127 181 378 0 4081 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 17844
[startup+582.3 s]
/proc/loadavg: 2.00 2.54 4.09 3/178 16494
/proc/meminfo: memFree=16213060/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=18404 CPUtime=582.3 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 4303 0 0 0 58230 0 0 0 25 0 1 0 476627231 18845696 4241 33554432000 134512640 136057169 4289688544 18446744073709551615 135459153 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 4601 4241 181 378 0 4221 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 18404
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=16190292/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=21592 CPUtime=1062.32 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5042 0 0 0 106231 1 0 0 25 0 1 0 476627231 22110208 4980 33554432000 134512640 136057169 4289688544 18446744073709551615 134618332 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5398 4980 181 378 0 5018 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 21592
[startup+1122.3 s]
/proc/loadavg: 2.00 2.08 3.16 3/178 16508
/proc/meminfo: memFree=16189040/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=21896 CPUtime=1122.33 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5093 0 0 0 112232 1 0 0 25 0 1 0 476627231 22421504 5031 33554432000 134512640 136057169 4289688544 18446744073709551615 134618243 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5474 5031 181 378 0 5094 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 21896
[startup+1182.3 s]
/proc/loadavg: 2.05 2.08 3.09 3/178 16510
/proc/meminfo: memFree=16188780/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=22208 CPUtime=1182.33 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5170 0 0 0 118232 1 0 0 25 0 1 0 476627231 22740992 5108 33554432000 134512640 136057169 4289688544 18446744073709551615 134823788 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5552 5108 181 378 0 5172 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 22208
[startup+1242.3 s]
/proc/loadavg: 2.02 2.06 3.02 3/178 16511
/proc/meminfo: memFree=16188272/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=22352 CPUtime=1242.33 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5214 0 0 0 124232 1 0 0 25 0 1 0 476627231 22888448 5152 33554432000 134512640 136057169 4289688544 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5588 5152 181 378 0 5208 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 22352
[startup+1302.3 s]
/proc/loadavg: 2.00 2.05 2.95 3/178 16513
/proc/meminfo: memFree=16187636/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=22352 CPUtime=1302.33 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5224 0 0 0 130232 1 0 0 25 0 1 0 476627231 22888448 5162 33554432000 134512640 136057169 4289688544 18446744073709551615 134819907 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5588 5162 181 378 0 5208 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 22352
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.89 3/178 16515
/proc/meminfo: memFree=16183528/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=22496 CPUtime=1362.33 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5257 0 0 0 136232 1 0 0 25 0 1 0 476627231 23035904 5195 33554432000 134512640 136057169 4289688544 18446744073709551615 134615626 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5624 5195 181 378 0 5244 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 22496
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.82 3/178 16516
/proc/meminfo: memFree=16179804/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=22804 CPUtime=1422.34 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5332 0 0 0 142233 1 0 0 25 0 1 0 476627231 23351296 5270 33554432000 134512640 136057169 4289688544 18446744073709551615 134618205 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5701 5270 181 378 0 5321 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.77 3/178 16518
/proc/meminfo: memFree=16177196/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=23124 CPUtime=1482.34 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5378 0 0 0 148233 1 0 0 25 0 1 0 476627231 23678976 5316 33554432000 134512640 136057169 4289688544 18446744073709551615 134618504 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5781 5316 181 378 0 5401 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23124
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.72 3/178 16519
/proc/meminfo: memFree=16175700/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=23272 CPUtime=1542.34 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5412 0 0 0 154233 1 0 0 25 0 1 0 476627231 23830528 5350 33554432000 134512640 136057169 4289688544 18446744073709551615 134823841 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5818 5350 181 378 0 5438 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 23272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.68 3/178 16521
/proc/meminfo: memFree=16173452/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=23548 CPUtime=1602.34 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5493 0 0 0 160233 1 0 0 25 0 1 0 476627231 24113152 5431 33554432000 134512640 136057169 4289688544 18446744073709551615 134823846 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 5887 5431 181 378 0 5507 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 23548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.63 3/178 16523
/proc/meminfo: memFree=16170836/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24144 CPUtime=1662.34 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5623 0 0 0 166233 1 0 0 25 0 1 0 476627231 24723456 5561 33554432000 134512640 136057169 4289688544 18446744073709551615 134813105 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6036 5561 181 378 0 5656 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 24144
Solver just ended. Dumping a history of the last processes samples
[startup+1689.6 s]
/proc/loadavg: 2.00 2.00 2.61 3/178 16523
/proc/meminfo: memFree=16170828/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24300 CPUtime=1689.65 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5653 0 0 0 168964 1 0 0 25 0 1 0 476627231 24883200 5591 33554432000 134512640 136057169 4289688544 18446744073709551615 134649287 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6075 5591 181 378 0 5695 0
Current children cumulated CPU time (s) 1689.65
Current children cumulated vsize (KiB) 24300
[startup+1702.4 s]
/proc/loadavg: 2.00 2.00 2.60 3/178 16524
/proc/meminfo: memFree=16170080/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24300 CPUtime=1702.44 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5678 0 0 0 170243 1 0 0 25 0 1 0 476627231 24883200 5616 33554432000 134512640 136057169 4289688544 18446744073709551615 134823826 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6075 5616 181 378 0 5695 0
Current children cumulated CPU time (s) 1702.44
Current children cumulated vsize (KiB) 24300
[startup+1708.8 s]
/proc/loadavg: 2.00 2.00 2.60 3/178 16524
/proc/meminfo: memFree=16169956/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24440 CPUtime=1708.84 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5687 0 0 0 170883 1 0 0 25 0 1 0 476627231 25026560 5625 33554432000 134512640 136057169 4289688544 18446744073709551615 134649358 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6110 5625 181 378 0 5730 0
Current children cumulated CPU time (s) 1708.84
Current children cumulated vsize (KiB) 24440
[startup+1712 s]
/proc/loadavg: 2.00 2.00 2.60 3/178 16524
/proc/meminfo: memFree=16169956/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24440 CPUtime=1712.04 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5689 0 0 0 171203 1 0 0 25 0 1 0 476627231 25026560 5627 33554432000 134512640 136057169 4289688544 18446744073709551615 135459153 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6110 5627 181 378 0 5730 0
Current children cumulated CPU time (s) 1712.04
Current children cumulated vsize (KiB) 24440
[startup+1713.6 s]
/proc/loadavg: 2.00 2.00 2.59 3/178 16524
/proc/meminfo: memFree=16169956/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24440 CPUtime=1713.64 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5690 0 0 0 171363 1 0 0 25 0 1 0 476627231 25026560 5628 33554432000 134512640 136057169 4289688544 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6110 5628 181 378 0 5730 0
Current children cumulated CPU time (s) 1713.64
Current children cumulated vsize (KiB) 24440
[startup+1715.2 s]
/proc/loadavg: 2.00 2.00 2.59 3/178 16524
/proc/meminfo: memFree=16169956/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24440 CPUtime=1715.24 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5690 0 0 0 171523 1 0 0 25 0 1 0 476627231 25026560 5628 33554432000 134512640 136057169 4289688544 18446744073709551615 135459153 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6110 5628 181 378 0 5730 0
Current children cumulated CPU time (s) 1715.24
Current children cumulated vsize (KiB) 24440
[startup+1716 s]
/proc/loadavg: 2.00 2.00 2.59 3/178 16524
/proc/meminfo: memFree=16169956/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24440 CPUtime=1716.05 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5692 0 0 0 171604 1 0 0 25 0 1 0 476627231 25026560 5630 33554432000 134512640 136057169 4289688544 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6110 5630 181 378 0 5730 0
Current children cumulated CPU time (s) 1716.05
Current children cumulated vsize (KiB) 24440
[startup+1716.2 s]
/proc/loadavg: 2.00 2.00 2.59 3/178 16524
/proc/meminfo: memFree=16169956/32951124 swapFree=67111528/67111528
[pid=16472] ppid=16470 vsize=24440 CPUtime=1716.24 cores=1,3,5,7
/proc/16472/stat : 16472 (clasp) R 16470 16472 15760 0 -1 4202496 5692 0 0 0 171623 1 0 0 25 0 1 0 476627231 25026560 5630 33554432000 134512640 136057169 4289688544 18446744073709551615 134612873 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/16472/statm: 6110 5630 181 378 0 5730 0
Current children cumulated CPU time (s) 1716.24
Current children cumulated vsize (KiB) 24440
Child status: 10
Real time (s): 1716.28
CPU time (s): 1716.33
CPU user time (s): 1716.31
CPU system time (s): 0.013997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.31
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5698
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= 3986
runsolver used 2.27165 second user time and 5.53616 second system time
The end