runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491896-1307775982/watcher-3491896-1307775982 -o /tmp/evaluation-result-3491896-1307775982/solver-3491896-1307775982 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491896-1307775982.opb --solu --heu=VSIDS
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: 1.44 1.85 1.95 3/177 29467
/proc/meminfo: memFree=31776584/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=3420 CPUtime=0 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 569 0 0 0 0 0 0 0 25 0 1 0 889195263 3502080 475 33554432000 4194304 6245536 140734652140368 18446744073709551615 4588364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 855 483 197 501 0 351 0
[startup+0.0212011 s]
/proc/loadavg: 1.44 1.85 1.95 3/177 29467
/proc/meminfo: memFree=31776584/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=4332 CPUtime=0.01 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 898 0 0 0 1 0 0 0 25 0 1 0 889195263 4435968 753 33554432000 4194304 6245536 140734652140368 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 1083 757 221 501 0 579 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4332
[startup+0.101208 s]
/proc/loadavg: 1.44 1.85 1.95 3/177 29467
/proc/meminfo: memFree=31776584/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=6576 CPUtime=0.09 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 1455 0 0 0 9 0 0 0 25 0 1 0 889195263 6733824 1310 33554432000 4194304 6245536 140734652140368 18446744073709551615 4397807 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 1644 1310 228 501 0 1140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6576
[startup+0.301153 s]
/proc/loadavg: 1.44 1.85 1.95 3/177 29467
/proc/meminfo: memFree=31776584/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=8180 CPUtime=0.29 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 1873 0 0 0 29 0 0 0 25 0 1 0 889195263 8376320 1728 33554432000 4194304 6245536 140734652140368 18446744073709551615 4628891 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 2045 1728 228 501 0 1541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8180
[startup+0.701074 s]
/proc/loadavg: 1.44 1.85 1.95 3/177 29467
/proc/meminfo: memFree=31776584/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=9500 CPUtime=0.69 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 2193 0 0 0 69 0 0 0 25 0 1 0 889195263 9728000 2048 33554432000 4194304 6245536 140734652140368 18446744073709551615 4324712 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 2375 2048 229 501 0 1871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9500
[startup+1.50093 s]
/proc/loadavg: 1.49 1.85 1.95 3/178 29468
/proc/meminfo: memFree=31768544/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=10688 CPUtime=1.49 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 2476 0 0 0 149 0 0 0 25 0 1 0 889195263 10944512 2331 33554432000 4194304 6245536 140734652140368 18446744073709551615 4322816 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 2672 2331 229 501 0 2168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10688
[startup+3.10061 s]
/proc/loadavg: 1.49 1.85 1.95 3/178 29468
/proc/meminfo: memFree=31766728/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=12272 CPUtime=3.09 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 2873 0 0 0 309 0 0 0 25 0 1 0 889195263 12566528 2728 33554432000 4194304 6245536 140734652140368 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 3068 2728 229 501 0 2564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12272
[startup+6.301 s]
/proc/loadavg: 1.53 1.86 1.95 3/178 29468
/proc/meminfo: memFree=31763444/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=14152 CPUtime=6.29 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 3345 0 0 0 629 0 0 0 25 0 1 0 889195263 14491648 3200 33554432000 4194304 6245536 140734652140368 18446744073709551615 4325151 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 3538 3200 229 501 0 3034 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14152
[startup+12.7008 s]
/proc/loadavg: 1.57 1.86 1.95 3/178 29468
/proc/meminfo: memFree=31759520/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=16792 CPUtime=12.69 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 4002 0 0 0 1269 0 0 0 25 0 1 0 889195263 17195008 3857 33554432000 4194304 6245536 140734652140368 18446744073709551615 4344648 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 4198 3857 229 501 0 3694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16792
[startup+25.5003 s]
/proc/loadavg: 1.63 1.86 1.95 3/178 29469
/proc/meminfo: memFree=31755780/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=20000 CPUtime=25.49 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 4788 0 0 0 2549 0 0 0 25 0 1 0 889195263 20480000 4643 33554432000 4194304 6245536 140734652140368 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 5000 4643 229 501 0 4496 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20000
[startup+51.1004 s]
/proc/loadavg: 1.78 1.87 1.95 3/178 29469
/proc/meminfo: memFree=31750792/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=24192 CPUtime=51.09 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 5927 0 0 0 5109 0 0 0 25 0 1 0 889195263 24772608 5714 33554432000 4194304 6245536 140734652140368 18446744073709551615 4637507 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29467/statm: 6048 5714 229 501 0 5544 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24192
[startup+102.307 s]
/proc/loadavg: 1.90 1.89 1.95 3/178 29471
/proc/meminfo: memFree=31744556/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=28480 CPUtime=102.3 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 7043 0 0 0 10229 1 0 0 25 0 1 0 889195263 29163520 6789 33554432000 4194304 6245536 140734652140368 18446744073709551615 4324712 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 7120 6789 229 501 0 6616 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28480
[startup+162.301 s]
/proc/loadavg: 1.96 1.91 1.95 3/178 29472
/proc/meminfo: memFree=31737964/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=34240 CPUtime=162.29 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 8780 0 0 0 16228 1 0 0 25 0 1 0 889195263 35061760 8217 33554432000 4194304 6245536 140734652140368 18446744073709551615 4628952 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 8560 8217 229 501 0 8056 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34240
[startup+222.301 s]
/proc/loadavg: 1.98 1.92 1.95 3/178 29474
/proc/meminfo: memFree=31736280/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=35640 CPUtime=222.29 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 9266 0 0 0 22228 1 0 0 25 0 1 0 889195263 36495360 8551 33554432000 4194304 6245536 140734652140368 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 8910 8551 229 501 0 8406 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 35640
[startup+282.301 s]
/proc/loadavg: 1.99 1.93 1.95 3/178 29476
/proc/meminfo: memFree=31732900/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=38688 CPUtime=282.29 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 10390 0 0 0 28228 1 0 0 25 0 1 0 889195263 39616512 9328 33554432000 4194304 6245536 140734652140368 18446744073709551615 4638182 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 9672 9328 229 501 0 9168 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 38688
[startup+342.301 s]
/proc/loadavg: 1.99 1.94 1.95 3/178 29477
/proc/meminfo: memFree=31731988/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=39160 CPUtime=342.29 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 10685 0 0 0 34228 1 0 0 25 0 1 0 889195263 40099840 9440 33554432000 4194304 6245536 140734652140368 18446744073709551615 4605184 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 9790 9440 229 501 0 9286 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 39160
[startup+402.301 s]
/proc/loadavg: 2.07 1.97 1.95 3/178 29479
/proc/meminfo: memFree=31726744/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=44132 CPUtime=402.3 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 12067 0 0 0 40229 1 0 0 25 0 1 0 889195263 45191168 10654 33554432000 4194304 6245536 140734652140368 18446744073709551615 4637475 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 11033 10654 229 501 0 10529 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 44132
[startup+462.301 s]
/proc/loadavg: 2.03 1.97 1.95 3/178 29480
/proc/meminfo: memFree=31725952/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=44904 CPUtime=462.3 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 12475 0 0 0 46229 1 0 0 25 0 1 0 889195263 45981696 10830 33554432000 4194304 6245536 140734652140368 18446744073709551615 4635105 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 11226 10830 229 501 0 10722 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 44904
[startup+522.301 s]
/proc/loadavg: 2.01 1.97 1.95 3/178 29482
/proc/meminfo: memFree=31725540/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=45016 CPUtime=522.3 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 12776 0 0 0 52229 1 0 0 25 0 1 0 889195263 46096384 10878 33554432000 4194304 6245536 140734652140368 18446744073709551615 4344694 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 11254 10878 229 501 0 10750 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 45016
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.95 3/178 29484
/proc/meminfo: memFree=31723256/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=47124 CPUtime=582.31 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 13701 0 0 0 58229 2 0 0 25 0 1 0 889195263 48254976 11393 33554432000 4194304 6245536 140734652140368 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 11781 11393 229 501 0 11277 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 47124
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 1.99 1.96 3/178 29490
/proc/meminfo: memFree=31719984/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=49960 CPUtime=822.32 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 15559 0 0 0 82230 2 0 0 25 0 1 0 889195263 51159040 12085 33554432000 4194304 6245536 140734652140368 18446744073709551615 4605190 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12490 12085 229 501 0 11986 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 49960
[startup+882.301 s]
/proc/loadavg: 2.01 1.99 1.96 3/178 29492
/proc/meminfo: memFree=31719320/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=50488 CPUtime=882.32 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 15697 0 0 0 88230 2 0 0 25 0 1 0 889195263 51699712 12223 33554432000 4194304 6245536 140734652140368 18446744073709551615 4344766 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12622 12223 229 501 0 12118 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 50488
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.96 3/178 29493
/proc/meminfo: memFree=31719032/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=50980 CPUtime=942.32 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 15961 0 0 0 94230 2 0 0 25 0 1 0 889195263 52203520 12342 33554432000 4194304 6245536 140734652140368 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12745 12342 229 501 0 12241 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 50980
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/178 29495
/proc/meminfo: memFree=31718756/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=51080 CPUtime=1002.32 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 16267 0 0 0 100230 2 0 0 25 0 1 0 889195263 52305920 12376 33554432000 4194304 6245536 140734652140368 18446744073709551615 4324294 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12770 12376 229 501 0 12266 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 51080
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/178 29496
/proc/meminfo: memFree=31718460/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=51296 CPUtime=1062.32 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 16744 0 0 0 106230 2 0 0 25 0 1 0 889195263 52527104 12428 33554432000 4194304 6245536 140734652140368 18446744073709551615 4605190 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12824 12428 229 501 0 12320 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 51296
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/178 29498
/proc/meminfo: memFree=31718416/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=51392 CPUtime=1122.33 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 17033 0 0 0 112231 2 0 0 25 0 1 0 889195263 52625408 12459 33554432000 4194304 6245536 140734652140368 18446744073709551615 4635058 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12848 12459 229 501 0 12344 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 51392
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/178 29500
/proc/meminfo: memFree=31718372/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=51524 CPUtime=1182.33 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 17057 0 0 0 118231 2 0 0 25 0 1 0 889195263 52760576 12483 33554432000 4194304 6245536 140734652140368 18446744073709551615 4638182 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 12881 12483 229 501 0 12377 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 51524
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/178 29501
/proc/meminfo: memFree=31716220/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=53496 CPUtime=1242.34 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 17461 0 0 0 124231 3 0 0 25 0 1 0 889195263 54779904 12887 33554432000 4194304 6245536 140734652140368 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13374 12887 229 501 0 12870 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 53496
[startup+1302.3 s]
/proc/loadavg: 2.04 2.00 1.96 3/178 29503
/proc/meminfo: memFree=31715680/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=53804 CPUtime=1302.34 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 17738 0 0 0 130231 3 0 0 25 0 1 0 889195263 55095296 12988 33554432000 4194304 6245536 140734652140368 18446744073709551615 4315376 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13451 12988 229 501 0 12947 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 53804
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 29504
/proc/meminfo: memFree=31715124/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=54364 CPUtime=1362.34 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18057 0 0 0 136231 3 0 0 25 0 1 0 889195263 55668736 13115 33554432000 4194304 6245536 140734652140368 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13591 13115 229 501 0 13087 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 54364
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29506
/proc/meminfo: memFree=31715196/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=54380 CPUtime=1422.35 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18125 0 0 0 142232 3 0 0 25 0 1 0 889195263 55685120 13122 33554432000 4194304 6245536 140734652140368 18446744073709551615 4635733 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13595 13122 229 501 0 13091 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 54380
[startup+1482.3 s]
/proc/loadavg: 2.13 2.03 1.97 3/178 29508
/proc/meminfo: memFree=31715028/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=54380 CPUtime=1482.34 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18125 0 0 0 148231 3 0 0 25 0 1 0 889195263 55685120 13122 33554432000 4194304 6245536 140734652140368 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13595 13122 229 501 0 13091 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 54380
[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/178 29509
/proc/meminfo: memFree=31714720/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=54964 CPUtime=1542.35 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18319 0 0 0 154232 3 0 0 25 0 1 0 889195263 56283136 13251 33554432000 4194304 6245536 140734652140368 18446744073709551615 4637507 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13741 13251 229 501 0 13237 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 54964
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/178 29511
/proc/meminfo: memFree=31714812/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=54964 CPUtime=1602.35 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18319 0 0 0 160232 3 0 0 25 0 1 0 889195263 56283136 13251 33554432000 4194304 6245536 140734652140368 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13741 13251 229 501 0 13237 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 54964
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 29512
/proc/meminfo: memFree=31714524/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=55112 CPUtime=1662.35 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18348 0 0 0 166232 3 0 0 25 0 1 0 889195263 56434688 13280 33554432000 4194304 6245536 140734652140368 18446744073709551615 4605168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13778 13280 229 501 0 13274 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 55112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 29514
/proc/meminfo: memFree=31714356/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=55280 CPUtime=1722.35 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18379 0 0 0 172232 3 0 0 25 0 1 0 889195263 56606720 13311 33554432000 4194304 6245536 140734652140368 18446744073709551615 4344681 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13820 13311 229 501 0 13316 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 55280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29516
/proc/meminfo: memFree=31713936/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=55448 CPUtime=1782.36 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18411 0 0 0 178233 3 0 0 25 0 1 0 889195263 56778752 13343 33554432000 4194304 6245536 140734652140368 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13862 13343 229 501 0 13358 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 55448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29555
/proc/meminfo: memFree=31715252/32950928 swapFree=67055428/67111528
[pid=29467] ppid=29465 vsize=55448 CPUtime=1800.06 cores=0,2,4,6
/proc/29467/stat : 29467 (clasp) R 29465 29467 26980 0 -1 4202496 18412 0 0 0 180003 3 0 0 25 0 1 0 889195263 56778752 13344 33554432000 4194304 6245536 140734652140368 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29467/statm: 13862 13344 229 501 0 13358 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 55448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.036994
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 55448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18422
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= 4
involuntary context switches= 2942
runsolver used 2.71159 second user time and 5.47817 second system time
The end