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-3491949-1307779246/watcher-3491949-1307779246 -o /tmp/evaluation-result-3491949-1307779246/solver-3491949-1307779246 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491949-1307779246.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.95 1.97 1.85 2/177 18177
/proc/meminfo: memFree=31918228/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=3932 CPUtime=0 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 736 0 0 0 0 0 0 0 25 0 1 0 968155424 4026368 640 33554432000 4194304 6245536 140737088763552 18446744073709551615 4609456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 983 640 201 501 0 479 0
[startup+0.040196 s]
/proc/loadavg: 1.95 1.97 1.85 2/177 18177
/proc/meminfo: memFree=31918228/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=4856 CPUtime=0.03 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 969 0 0 0 3 0 0 0 25 0 1 0 968155424 4972544 873 33554432000 4194304 6245536 140737088763552 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 1214 873 226 501 0 710 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4856
[startup+0.10018 s]
/proc/loadavg: 1.95 1.97 1.85 2/177 18177
/proc/meminfo: memFree=31918228/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=5252 CPUtime=0.09 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 1081 0 0 0 9 0 0 0 25 0 1 0 968155424 5378048 985 33554432000 4194304 6245536 140737088763552 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 1313 985 228 501 0 809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5252
[startup+0.300145 s]
/proc/loadavg: 1.95 1.97 1.85 2/177 18177
/proc/meminfo: memFree=31918228/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=5252 CPUtime=0.29 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 1081 0 0 0 29 0 0 0 25 0 1 0 968155424 5378048 985 33554432000 4194304 6245536 140737088763552 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 1313 985 228 501 0 809 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5252
[startup+0.700115 s]
/proc/loadavg: 1.95 1.97 1.85 2/177 18177
/proc/meminfo: memFree=31918228/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=6808 CPUtime=0.69 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 1483 0 0 0 69 0 0 0 25 0 1 0 968155424 6971392 1387 33554432000 4194304 6245536 140737088763552 18446744073709551615 4700661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 1702 1387 229 501 0 1198 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6808
[startup+1.50099 s]
/proc/loadavg: 1.95 1.97 1.85 3/178 18178
/proc/meminfo: memFree=31913896/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=6736 CPUtime=1.49 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 1483 0 0 0 149 0 0 0 25 0 1 0 968155424 6897664 1376 33554432000 4194304 6245536 140737088763552 18446744073709551615 4408787 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 1684 1376 229 501 0 1180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6736
[startup+3.10078 s]
/proc/loadavg: 1.95 1.97 1.85 3/178 18178
/proc/meminfo: memFree=31913524/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=7520 CPUtime=3.09 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 1667 0 0 0 309 0 0 0 25 0 1 0 968155424 7700480 1560 33554432000 4194304 6245536 140737088763552 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 1880 1560 229 501 0 1376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7520
[startup+6.30016 s]
/proc/loadavg: 1.95 1.97 1.85 3/178 18178
/proc/meminfo: memFree=31911048/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=9216 CPUtime=6.29 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 2163 0 0 0 629 0 0 0 25 0 1 0 968155424 9437184 1996 33554432000 4194304 6245536 140737088763552 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 2304 1996 229 501 0 1800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9216
[startup+12.7011 s]
/proc/loadavg: 1.95 1.97 1.85 3/178 18178
/proc/meminfo: memFree=31907324/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=13060 CPUtime=12.69 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 3114 0 0 0 1269 0 0 0 25 0 1 0 968155424 13373440 2934 33554432000 4194304 6245536 140737088763552 18446744073709551615 4635052 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 3265 2934 229 501 0 2761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13060
[startup+25.5008 s]
/proc/loadavg: 1.96 1.97 1.85 3/178 18187
/proc/meminfo: memFree=31904016/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=15324 CPUtime=25.49 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 3743 0 0 0 2549 0 0 0 25 0 1 0 968155424 15691776 3512 33554432000 4194304 6245536 140737088763552 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 3831 3512 229 501 0 3327 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15324
[startup+51.1004 s]
/proc/loadavg: 1.98 1.97 1.85 3/178 18188
/proc/meminfo: memFree=31884676/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=18240 CPUtime=51.09 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 4597 0 0 0 5109 0 0 0 25 0 1 0 968155424 18677760 4244 33554432000 4194304 6245536 140737088763552 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 4560 4244 229 501 0 4056 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18240
[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.86 3/178 18190
/proc/meminfo: memFree=31880768/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=21976 CPUtime=102.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 5724 0 0 0 10229 1 0 0 25 0 1 0 968155424 22503424 5172 33554432000 4194304 6245536 140737088763552 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 5494 5172 229 501 0 4990 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21976
[startup+162.301 s]
/proc/loadavg: 2.06 1.99 1.87 3/178 18191
/proc/meminfo: memFree=31864696/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=26056 CPUtime=162.29 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 6921 0 0 0 16228 1 0 0 25 0 1 0 968155424 26681344 6166 33554432000 4194304 6245536 140737088763552 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 6514 6166 229 501 0 6010 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26056
[startup+222.3 s]
/proc/loadavg: 2.02 1.99 1.88 3/178 18193
/proc/meminfo: memFree=31840068/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=27672 CPUtime=222.29 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 7341 0 0 0 22228 1 0 0 25 0 1 0 968155424 28336128 6562 33554432000 4194304 6245536 140737088763552 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 6918 6562 229 501 0 6414 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27672
[startup+282.301 s]
/proc/loadavg: 2.01 1.99 1.88 3/178 18194
/proc/meminfo: memFree=31839632/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=28400 CPUtime=282.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 7528 0 0 0 28228 2 0 0 25 0 1 0 968155424 29081600 6724 33554432000 4194304 6245536 140737088763552 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 7100 6724 229 501 0 6596 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28400
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 18196
/proc/meminfo: memFree=31835236/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=31584 CPUtime=342.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 8556 0 0 0 34228 2 0 0 25 0 1 0 968155424 32342016 7470 33554432000 4194304 6245536 140737088763552 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 7896 7470 229 501 0 7392 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31584
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 18198
/proc/meminfo: memFree=31835428/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=31636 CPUtime=402.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 8804 0 0 0 40228 2 0 0 25 0 1 0 968155424 32395264 7490 33554432000 4194304 6245536 140737088763552 18446744073709551615 4637521 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 7909 7490 229 501 0 7405 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31636
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 18199
/proc/meminfo: memFree=31834744/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=32268 CPUtime=462.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 9055 0 0 0 46228 2 0 0 25 0 1 0 968155424 33042432 7626 33554432000 4194304 6245536 140737088763552 18446744073709551615 4304862 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 8067 7626 229 501 0 7563 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32268
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 18201
/proc/meminfo: memFree=31834064/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=33460 CPUtime=522.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 9314 0 0 0 52228 2 0 0 25 0 1 0 968155424 34263040 7885 33554432000 4194304 6245536 140737088763552 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 8365 7885 229 501 0 7861 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 33460
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 18202
/proc/meminfo: memFree=31833728/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=33936 CPUtime=582.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 9420 0 0 0 58228 2 0 0 25 0 1 0 968155424 34750464 7991 33554432000 4194304 6245536 140737088763552 18446744073709551615 4344694 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 8484 7991 229 501 0 7980 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33936
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 18209
/proc/meminfo: memFree=31830480/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=37140 CPUtime=822.3 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 10140 0 0 0 82228 2 0 0 25 0 1 0 968155424 38031360 8711 33554432000 4194304 6245536 140737088763552 18446744073709551615 4649777 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 9285 8711 229 501 0 8781 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 37140
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18210
/proc/meminfo: memFree=31830136/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=37468 CPUtime=882.31 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 10221 0 0 0 88228 3 0 0 25 0 1 0 968155424 38367232 8792 33554432000 4194304 6245536 140737088763552 18446744073709551615 4700465 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 9367 8792 229 501 0 8863 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 37468
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18212
/proc/meminfo: memFree=31825736/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=41980 CPUtime=942.31 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 11373 0 0 0 94228 3 0 0 25 0 1 0 968155424 42987520 9918 33554432000 4194304 6245536 140737088763552 18446744073709551615 4637521 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 10495 9918 229 501 0 9991 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 41980
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18214
/proc/meminfo: memFree=31824052/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=43312 CPUtime=1002.31 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 12009 0 0 0 100228 3 0 0 25 0 1 0 968155424 44351488 10259 33554432000 4194304 6245536 140737088763552 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 10828 10259 229 501 0 10324 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 43312
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/178 18215
/proc/meminfo: memFree=31823868/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=43396 CPUtime=1062.31 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 12133 0 0 0 106228 3 0 0 25 0 1 0 968155424 44437504 10286 33554432000 4194304 6245536 140737088763552 18446744073709551615 4649777 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 10849 10286 229 501 0 10345 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 43396
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 18217
/proc/meminfo: memFree=31774572/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=44216 CPUtime=1122.31 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 12567 0 0 0 112228 3 0 0 25 0 1 0 968155424 45277184 10459 33554432000 4194304 6245536 140737088763552 18446744073709551615 4635736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11054 10459 229 501 0 10550 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 44216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18218
/proc/meminfo: memFree=31772516/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=44428 CPUtime=1182.31 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 12720 0 0 0 118228 3 0 0 25 0 1 0 968155424 45494272 10518 33554432000 4194304 6245536 140737088763552 18446744073709551615 4324818 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11107 10518 229 501 0 10603 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 44428
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18220
/proc/meminfo: memFree=31770716/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=44484 CPUtime=1242.32 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 12853 0 0 0 124228 4 0 0 25 0 1 0 968155424 45551616 10543 33554432000 4194304 6245536 140737088763552 18446744073709551615 4635131 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11121 10543 229 501 0 10617 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 44484
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18222
/proc/meminfo: memFree=31739532/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=44700 CPUtime=1302.33 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 13019 0 0 0 130229 4 0 0 25 0 1 0 968155424 45772800 10592 33554432000 4194304 6245536 140737088763552 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11175 10592 229 501 0 10671 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 44700
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18223
/proc/meminfo: memFree=31732652/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=44700 CPUtime=1362.32 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 13387 0 0 0 136228 4 0 0 25 0 1 0 968155424 45772800 10594 33554432000 4194304 6245536 140737088763552 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11175 10594 229 501 0 10671 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 44700
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18225
/proc/meminfo: memFree=31726256/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=44700 CPUtime=1422.33 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 13731 0 0 0 142229 4 0 0 25 0 1 0 968155424 45772800 10595 33554432000 4194304 6245536 140737088763552 18446744073709551615 5419260 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11175 10595 229 501 0 10671 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 44700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18226
/proc/meminfo: memFree=31714888/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=45004 CPUtime=1482.32 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 13852 0 0 0 148228 4 0 0 25 0 1 0 968155424 46084096 10672 33554432000 4194304 6245536 140737088763552 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11251 10672 229 501 0 10747 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 45004
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 18228
/proc/meminfo: memFree=31704412/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=45128 CPUtime=1542.32 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 14002 0 0 0 154228 4 0 0 25 0 1 0 968155424 46211072 10703 33554432000 4194304 6245536 140737088763552 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11282 10703 229 501 0 10778 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 45128
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 18269
/proc/meminfo: memFree=31919924/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=45908 CPUtime=1602.32 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 14231 0 0 0 160228 4 0 0 25 0 1 0 968155424 47009792 10901 33554432000 4194304 6245536 140737088763552 18446744073709551615 4397853 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11477 10901 229 501 0 10973 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 45908
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 18270
/proc/meminfo: memFree=31918840/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=45908 CPUtime=1662.32 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 14233 0 0 0 166228 4 0 0 25 0 1 0 968155424 47009792 10903 33554432000 4194304 6245536 140737088763552 18446744073709551615 4635762 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11477 10903 229 501 0 10973 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 45908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18272
/proc/meminfo: memFree=31918404/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=45908 CPUtime=1722.33 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 14238 0 0 0 172229 4 0 0 25 0 1 0 968155424 47009792 10908 33554432000 4194304 6245536 140737088763552 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11477 10908 229 501 0 10973 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 45908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18273
/proc/meminfo: memFree=31917212/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=46340 CPUtime=1782.33 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 14483 0 0 0 178229 4 0 0 25 0 1 0 968155424 47452160 11037 33554432000 4194304 6245536 140737088763552 18446744073709551615 4324536 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11585 11037 229 501 0 11081 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 46340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18274
/proc/meminfo: memFree=31917208/32950940 swapFree=67074964/67111528
[pid=18177] ppid=18175 vsize=46644 CPUtime=1800.03 cores=0,2,4,6
/proc/18177/stat : 18177 (clasp) R 18175 18177 13240 0 -1 4202496 14551 0 0 0 179999 4 0 0 25 0 1 0 968155424 47763456 11099 33554432000 4194304 6245536 140737088763552 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18177/statm: 11661 11099 229 501 0 11157 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 46644
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.05
CPU user time (s): 1800
CPU system time (s): 0.051992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 46724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14562
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= 2550
runsolver used 2.66859 second user time and 5.52316 second system time
The end