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-3469375-1307094616/watcher-3469375-1307094616 -o /tmp/evaluation-result-3469375-1307094616/solver-3469375-1307094616 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469375-1307094616.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.99 2.04 2.01 2/526 23725
/proc/meminfo: memFree=23075876/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=15824 CPUtime=0.01 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 1450 0 0 0 1 0 0 0 25 0 1 0 801877462 16203776 1236 33554432000 4194304 4933572 140735068671136 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 3956 1236 340 181 0 965 0
[startup+0.090833 s]
/proc/loadavg: 1.99 2.04 2.01 2/526 23725
/proc/meminfo: memFree=23075876/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=16528 CPUtime=0.08 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 1781 0 0 0 8 0 0 0 25 0 1 0 801877462 16924672 1462 33554432000 4194304 4933572 140735068671136 18446744073709551615 4429136 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 4132 1462 374 181 0 1141 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16528
[startup+0.10083 s]
/proc/loadavg: 1.99 2.04 2.01 2/526 23725
/proc/meminfo: memFree=23075876/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=16660 CPUtime=0.09 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 1834 0 0 0 9 0 0 0 25 0 1 0 801877462 17059840 1515 33554432000 4194304 4933572 140735068671136 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 4165 1515 374 181 0 1174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16660
[startup+0.300783 s]
/proc/loadavg: 1.99 2.04 2.01 2/526 23725
/proc/meminfo: memFree=23075876/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=17584 CPUtime=0.29 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 2036 0 0 0 29 0 0 0 25 0 1 0 801877462 18006016 1717 33554432000 4194304 4933572 140735068671136 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 4396 1717 374 181 0 1405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17584
[startup+0.700708 s]
/proc/loadavg: 1.99 2.04 2.01 2/526 23725
/proc/meminfo: memFree=23075876/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=18244 CPUtime=0.69 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 2216 0 0 0 69 0 0 0 25 0 1 0 801877462 18681856 1897 33554432000 4194304 4933572 140735068671136 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 4561 1897 374 181 0 1570 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18244
[startup+1.50058 s]
/proc/loadavg: 1.99 2.04 2.01 3/527 23726
/proc/meminfo: memFree=23068452/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=19448 CPUtime=1.49 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 2514 0 0 0 149 0 0 0 25 0 1 0 801877462 19914752 2195 33554432000 4194304 4933572 140735068671136 18446744073709551615 233509995134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 4862 2195 374 181 0 1871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19448
[startup+3.10029 s]
/proc/loadavg: 1.99 2.04 2.01 3/527 23726
/proc/meminfo: memFree=23065476/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=20824 CPUtime=3.09 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 2853 0 0 0 309 0 0 0 25 0 1 0 801877462 21323776 2534 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 5206 2534 374 181 0 2215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20824
[startup+6.30072 s]
/proc/loadavg: 1.99 2.04 2.01 3/527 23726
/proc/meminfo: memFree=23063600/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=22836 CPUtime=6.29 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 3350 0 0 0 629 0 0 0 25 0 1 0 801877462 23384064 3031 33554432000 4194304 4933572 140735068671136 18446744073709551615 4362038 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 5709 3031 374 181 0 2718 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22836
[startup+12.7006 s]
/proc/loadavg: 1.99 2.04 2.01 3/527 23727
/proc/meminfo: memFree=23059668/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=25296 CPUtime=12.69 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 3964 0 0 0 1269 0 0 0 25 0 1 0 801877462 25903104 3645 33554432000 4194304 4933572 140735068671136 18446744073709551615 4622798 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 6324 3645 374 181 0 3333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25296
[startup+25.5003 s]
/proc/loadavg: 1.99 2.04 2.00 3/527 23754
/proc/meminfo: memFree=23056748/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=28540 CPUtime=25.49 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 4757 0 0 0 2549 0 0 0 25 0 1 0 801877462 29224960 4438 33554432000 4194304 4933572 140735068671136 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 7135 4438 374 181 0 4144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28540
[startup+51.1007 s]
/proc/loadavg: 1.99 2.03 2.00 3/527 23755
/proc/meminfo: memFree=23046580/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=33804 CPUtime=51.09 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 6005 0 0 0 5109 0 0 0 25 0 1 0 801877462 34615296 5686 33554432000 4194304 4933572 140735068671136 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 8451 5686 374 181 0 5460 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33804
[startup+102.319 s]
/proc/loadavg: 2.07 2.05 2.01 3/527 23756
/proc/meminfo: memFree=23039092/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=37236 CPUtime=102.31 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 6818 0 0 0 10231 0 0 0 25 0 1 0 801877462 38129664 6499 33554432000 4194304 4933572 140735068671136 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 9309 6499 374 181 0 6318 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37236
[startup+162.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/527 23758
/proc/meminfo: memFree=23028756/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=42824 CPUtime=162.29 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 8226 0 0 0 16229 0 0 0 25 0 1 0 801877462 43851776 7907 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 10706 7907 374 181 0 7715 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42824
[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 23759
/proc/meminfo: memFree=23023744/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=45052 CPUtime=222.29 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 8761 0 0 0 22229 0 0 0 25 0 1 0 801877462 46133248 8442 33554432000 4194304 4933572 140735068671136 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 11263 8442 374 181 0 8272 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45052
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 23761
/proc/meminfo: memFree=23017116/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=49736 CPUtime=282.3 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 9869 0 0 0 28229 1 0 0 25 0 1 0 801877462 50929664 9550 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 12434 9550 374 181 0 9443 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 49736
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23762
/proc/meminfo: memFree=23013228/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=52196 CPUtime=342.3 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 10749 0 0 0 34229 1 0 0 25 0 1 0 801877462 53448704 10191 33554432000 4194304 4933572 140735068671136 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 13049 10191 374 181 0 10058 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 52196
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23764
/proc/meminfo: memFree=23010208/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=53108 CPUtime=402.3 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 11044 0 0 0 40229 1 0 0 25 0 1 0 801877462 54382592 10405 33554432000 4194304 4933572 140735068671136 18446744073709551615 4632823 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 13277 10405 374 181 0 10286 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 53108
[startup+462.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/527 23766
/proc/meminfo: memFree=23007924/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=54328 CPUtime=462.3 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 11324 0 0 0 46229 1 0 0 25 0 1 0 801877462 55631872 10685 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 13582 10685 374 181 0 10591 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 54328
[startup+522.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/527 23767
/proc/meminfo: memFree=23005644/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=55736 CPUtime=522.3 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 11656 0 0 0 52229 1 0 0 25 0 1 0 801877462 57073664 11017 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 13934 11017 374 181 0 10943 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 55736
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/527 23769
/proc/meminfo: memFree=23004844/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=56384 CPUtime=582.31 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 11795 0 0 0 58230 1 0 0 25 0 1 0 801877462 57737216 11156 33554432000 4194304 4933572 140735068671136 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 14096 11156 374 181 0 11105 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 56384
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23784
/proc/meminfo: memFree=22995164/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=63792 CPUtime=822.31 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 13838 0 0 0 82229 2 0 0 25 0 1 0 801877462 65323008 12980 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 15948 12980 374 181 0 12957 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 63792
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23786
/proc/meminfo: memFree=22994232/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=64604 CPUtime=882.31 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 14015 0 0 0 88229 2 0 0 25 0 1 0 801877462 66154496 13157 33554432000 4194304 4933572 140735068671136 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 16151 13157 374 181 0 13160 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 64604
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23787
/proc/meminfo: memFree=22993192/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=64988 CPUtime=942.32 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 14110 0 0 0 94230 2 0 0 25 0 1 0 801877462 66547712 13252 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 16247 13252 374 181 0 13256 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 64988
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 23789
/proc/meminfo: memFree=22992276/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=65692 CPUtime=1002.32 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 14277 0 0 0 100230 2 0 0 25 0 1 0 801877462 67268608 13419 33554432000 4194304 4933572 140735068671136 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 16423 13419 374 181 0 13432 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 65692
[startup+1062.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/527 23791
/proc/meminfo: memFree=22989744/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=68244 CPUtime=1062.32 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 14961 0 0 0 106230 2 0 0 25 0 1 0 801877462 69881856 13997 33554432000 4194304 4933572 140735068671136 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17061 13997 374 181 0 14070 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 68244
[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/527 23792
/proc/meminfo: memFree=22988828/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=68708 CPUtime=1122.32 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15081 0 0 0 112230 2 0 0 25 0 1 0 801877462 70356992 14117 33554432000 4194304 4933572 140735068671136 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17177 14117 374 181 0 14186 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 68708
[startup+1182.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/527 23794
/proc/meminfo: memFree=22988148/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=69216 CPUtime=1182.32 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15173 0 0 0 118230 2 0 0 25 0 1 0 801877462 70877184 14209 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17304 14209 374 181 0 14313 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 69216
[startup+1242.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/527 23795
/proc/meminfo: memFree=22986120/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=69468 CPUtime=1242.32 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15255 0 0 0 124230 2 0 0 25 0 1 0 801877462 71135232 14291 33554432000 4194304 4933572 140735068671136 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17367 14291 374 181 0 14376 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 69468
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/527 23797
/proc/meminfo: memFree=22986068/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=70248 CPUtime=1302.34 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15437 0 0 0 130232 2 0 0 25 0 1 0 801877462 71933952 14473 33554432000 4194304 4933572 140735068671136 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17562 14473 374 181 0 14571 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 70248
[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/527 23799
/proc/meminfo: memFree=22985756/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=70604 CPUtime=1362.33 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15517 0 0 0 136231 2 0 0 25 0 1 0 801877462 72298496 14553 33554432000 4194304 4933572 140735068671136 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17651 14553 374 181 0 14660 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 70604
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/527 23800
/proc/meminfo: memFree=22985588/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=70604 CPUtime=1422.35 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15524 0 0 0 142233 2 0 0 25 0 1 0 801877462 72298496 14560 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17651 14560 374 181 0 14660 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 70604
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 23802
/proc/meminfo: memFree=22984296/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=70604 CPUtime=1482.33 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15524 0 0 0 148231 2 0 0 25 0 1 0 801877462 72298496 14560 33554432000 4194304 4933572 140735068671136 18446744073709551615 4637142 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17651 14560 374 181 0 14660 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 70604
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23803
/proc/meminfo: memFree=22984756/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=70604 CPUtime=1542.33 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 15526 0 0 0 154231 2 0 0 25 0 1 0 801877462 72298496 14562 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 17651 14562 374 181 0 14660 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 70604
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/527 23805
/proc/meminfo: memFree=22982720/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=72640 CPUtime=1602.33 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 16032 0 0 0 160231 2 0 0 25 0 1 0 801877462 74383360 15068 33554432000 4194304 4933572 140735068671136 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 18160 15068 374 181 0 15169 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 72640
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/527 23807
/proc/meminfo: memFree=22981184/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=73912 CPUtime=1662.33 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 16324 0 0 0 166231 2 0 0 25 0 1 0 801877462 75685888 15360 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 18478 15360 374 181 0 15487 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 73912
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 23808
/proc/meminfo: memFree=22980508/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=74600 CPUtime=1722.33 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 16475 0 0 0 172231 2 0 0 25 0 1 0 801877462 76390400 15511 33554432000 4194304 4933572 140735068671136 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 18650 15511 374 181 0 15659 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 74600
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/527 23810
/proc/meminfo: memFree=22978352/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=75104 CPUtime=1782.34 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 16553 0 0 0 178232 2 0 0 25 0 1 0 801877462 76906496 15589 33554432000 4194304 4933572 140735068671136 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 18776 15589 374 181 0 15785 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 75104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.07 2.01 3/527 23810
/proc/meminfo: memFree=22977344/32951124 swapFree=64303760/67111528
[pid=23725] ppid=23723 vsize=75104 CPUtime=1800.05 cores=0,2,4,6
/proc/23725/stat : 23725 (clasp) R 23723 23725 23633 0 -1 4202496 16564 0 0 0 180003 2 0 0 25 0 1 0 801877462 76906496 15600 33554432000 4194304 4933572 140735068671136 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23725/statm: 18776 15600 374 181 0 15785 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 75104
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.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.031995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 75104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16574
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= 8
involuntary context switches= 2791
runsolver used 10.2354 second user time and 20.8388 second system time
The end