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-3275168-1303640335/watcher-3275168-1303640335 -o /tmp/evaluation-result-3275168-1303640335/solver-3275168-1303640335 -C 5000 -W 5000 -M 15500 HOME/clasp --file=HOME/instance-3275168-1303640335.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
running on 4 cores: 0,2,4,6
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): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 29075
/proc/meminfo: memFree=11808980/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=2592 CPUtime=0 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 400 0 0 0 0 0 0 0 25 0 1 0 554264171 2654208 354 33554432000 134512640 136057169 4293081680 18446744073709551615 134767168 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 648 354 145 378 0 268 0
[startup+0.038863 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 29075
/proc/meminfo: memFree=11808980/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=5644 CPUtime=0.03 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 1385 0 0 0 3 0 0 0 25 0 1 0 554264171 5779456 1146 33554432000 134512640 136057169 4293081680 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 1411 1146 145 378 0 1031 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5644
[startup+0.100852 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 29075
/proc/meminfo: memFree=11808980/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=12876 CPUtime=0.09 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 3726 0 0 0 9 0 0 0 25 0 1 0 554264171 13185024 2794 33554432000 134512640 136057169 4293081680 18446744073709551615 134774491 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 3219 2794 166 378 0 2839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12876
[startup+0.300812 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 29075
/proc/meminfo: memFree=11808980/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=12876 CPUtime=0.29 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 3726 0 0 0 29 0 0 0 25 0 1 0 554264171 13185024 2794 33554432000 134512640 136057169 4293081680 18446744073709551615 134774710 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 3219 2794 166 378 0 2839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12876
[startup+0.700739 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 29075
/proc/meminfo: memFree=11808980/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=12876 CPUtime=0.69 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 3726 0 0 0 69 0 0 0 25 0 1 0 554264171 13185024 2794 33554432000 134512640 136057169 4293081680 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 3219 2794 166 378 0 2839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12876
[startup+1.5006 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 29076
/proc/meminfo: memFree=11797440/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=15648 CPUtime=1.49 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 4423 0 0 0 149 0 0 0 25 0 1 0 554264171 16023552 3491 33554432000 134512640 136057169 4293081680 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 3912 3491 168 378 0 3532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15648
[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 29076
/proc/meminfo: memFree=11795936/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=14812 CPUtime=3.09 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 4819 0 0 0 309 0 0 0 25 0 1 0 554264171 15167488 3465 33554432000 134512640 136057169 4293081680 18446744073709551615 134823368 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 3703 3465 182 378 0 3323 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14812
[startup+6.30074 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 29076
/proc/meminfo: memFree=11781924/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=28356 CPUtime=6.29 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 8205 0 0 0 628 1 0 0 25 0 1 0 554264171 29036544 6851 33554432000 134512640 136057169 4293081680 18446744073709551615 134828980 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 7089 6851 182 378 0 6709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28356
[startup+12.7006 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 29076
/proc/meminfo: memFree=11752260/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=45200 CPUtime=12.69 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 12397 0 0 0 1268 1 0 0 25 0 1 0 554264171 46284800 11043 33554432000 134512640 136057169 4293081680 18446744073709551615 134811826 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 11300 11043 182 378 0 10920 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45200
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 29076
/proc/meminfo: memFree=11748044/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=49188 CPUtime=25.5 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 13389 0 0 0 2548 2 0 0 25 0 1 0 554264171 50368512 12035 33554432000 134512640 136057169 4293081680 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 12297 12035 182 378 0 11917 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 49188
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29077
/proc/meminfo: memFree=11740836/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=54452 CPUtime=51.09 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 14652 0 0 0 5107 2 0 0 25 0 1 0 554264171 55758848 13298 33554432000 134512640 136057169 4293081680 18446744073709551615 134820206 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 13613 13298 182 378 0 13233 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54452
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29078
/proc/meminfo: memFree=11711668/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=74024 CPUtime=102.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 19535 0 0 0 10226 4 0 0 25 0 1 0 554264171 75800576 18181 33554432000 134512640 136057169 4293081680 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 18506 18181 182 378 0 18126 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 74024
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29080
/proc/meminfo: memFree=11709160/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=75568 CPUtime=162.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 19926 0 0 0 16226 4 0 0 25 0 1 0 554264171 77381632 18572 33554432000 134512640 136057169 4293081680 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 18892 18572 182 378 0 18512 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 75568
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29081
/proc/meminfo: memFree=11699588/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=77384 CPUtime=222.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 20304 0 0 0 22226 4 0 0 25 0 1 0 554264171 79241216 18950 33554432000 134512640 136057169 4293081680 18446744073709551615 134618158 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 19346 18950 182 378 0 18966 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 77384
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29083
/proc/meminfo: memFree=11686532/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=89956 CPUtime=282.29 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 23483 0 0 0 28224 5 0 0 25 0 1 0 554264171 92114944 21993 33554432000 134512640 136057169 4293081680 18446744073709551615 134618212 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 22489 21993 182 378 0 22109 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 89956
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29085
/proc/meminfo: memFree=11668768/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=90740 CPUtime=342.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 23664 0 0 0 34224 6 0 0 25 0 1 0 554264171 92917760 22174 33554432000 134512640 136057169 4293081680 18446744073709551615 134618185 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 22685 22174 182 378 0 22305 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 90740
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29086
/proc/meminfo: memFree=11655596/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=97016 CPUtime=402.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 25195 0 0 0 40224 6 0 0 25 0 1 0 554264171 99344384 23705 33554432000 134512640 136057169 4293081680 18446744073709551615 134618245 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 24254 23705 182 378 0 23874 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 97016
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29088
/proc/meminfo: memFree=11651220/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=101208 CPUtime=462.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 26197 0 0 0 46224 6 0 0 25 0 1 0 554264171 103636992 24707 33554432000 134512640 136057169 4293081680 18446744073709551615 134823838 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 25302 24707 182 378 0 24922 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 101208
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29089
/proc/meminfo: memFree=11648580/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=102808 CPUtime=522.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 26566 0 0 0 52224 6 0 0 25 0 1 0 554264171 105275392 25076 33554432000 134512640 136057169 4293081680 18446744073709551615 134823873 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 25702 25076 182 378 0 25322 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 102808
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 29091
/proc/meminfo: memFree=11635024/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=104792 CPUtime=582.3 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 27047 0 0 0 58224 6 0 0 25 0 1 0 554264171 107307008 25557 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 26198 25557 182 378 0 25818 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 104792
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 29196
/proc/meminfo: memFree=11427900/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=203060 CPUtime=4062.4 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 50819 0 0 0 406224 16 0 0 25 0 1 0 554264171 207933440 49005 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 50765 49005 182 378 0 50385 0
Current children cumulated CPU time (s) 4062.4
Current children cumulated vsize (KiB) 203060
[startup+4122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 29197
/proc/meminfo: memFree=11427484/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=203060 CPUtime=4122.39 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 50844 0 0 0 412223 16 0 0 25 0 1 0 554264171 207933440 49030 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 50765 49030 182 378 0 50385 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 203060
[startup+4182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29199
/proc/meminfo: memFree=11427568/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=203060 CPUtime=4182.39 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 50850 0 0 0 418223 16 0 0 25 0 1 0 554264171 207933440 49036 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 50765 49036 182 378 0 50385 0
Current children cumulated CPU time (s) 4182.39
Current children cumulated vsize (KiB) 203060
[startup+4242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29201
/proc/meminfo: memFree=11427020/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=203656 CPUtime=4242.39 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 50968 0 0 0 424223 16 0 0 25 0 1 0 554264171 208543744 49154 33554432000 134512640 136057169 4293081680 18446744073709551615 134823826 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 50914 49154 182 378 0 50534 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 203656
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29202
/proc/meminfo: memFree=11427124/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=203656 CPUtime=4302.4 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 50974 0 0 0 430223 17 0 0 25 0 1 0 554264171 208543744 49160 33554432000 134512640 136057169 4293081680 18446744073709551615 134823812 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 50914 49160 182 378 0 50534 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 203656
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29204
/proc/meminfo: memFree=11421264/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=204192 CPUtime=4362.4 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 51095 0 0 0 436223 17 0 0 25 0 1 0 554264171 209092608 49281 33554432000 134512640 136057169 4293081680 18446744073709551615 135459153 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 51048 49281 182 378 0 50668 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 204192
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29205
/proc/meminfo: memFree=11416392/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=207984 CPUtime=4422.4 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 52076 0 0 0 442223 17 0 0 25 0 1 0 554264171 212975616 50262 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 51996 50262 182 378 0 51616 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 207984
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29207
/proc/meminfo: memFree=11413004/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=210780 CPUtime=4482.4 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 52689 0 0 0 448223 17 0 0 25 0 1 0 554264171 215838720 50875 33554432000 134512640 136057169 4293081680 18446744073709551615 134823818 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 52695 50875 182 378 0 52315 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 210780
[startup+4542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 29209
/proc/meminfo: memFree=11403308/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=219836 CPUtime=4542.41 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 54918 0 0 0 454223 18 0 0 25 0 1 0 554264171 225112064 53104 33554432000 134512640 136057169 4293081680 18446744073709551615 134618398 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 54959 53104 182 378 0 54579 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 219836
[startup+4602.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 29210
/proc/meminfo: memFree=11401532/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=220356 CPUtime=4602.41 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 55041 0 0 0 460223 18 0 0 25 0 1 0 554264171 225644544 53227 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 55089 53227 182 378 0 54709 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 220356
[startup+4662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 29212
/proc/meminfo: memFree=11399388/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=221244 CPUtime=4662.41 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 55262 0 0 0 466223 18 0 0 25 0 1 0 554264171 226553856 53448 33554432000 134512640 136057169 4293081680 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 55311 53448 182 378 0 54931 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 221244
[startup+4722.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29213
/proc/meminfo: memFree=11398844/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=221744 CPUtime=4722.42 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 55364 0 0 0 472224 18 0 0 25 0 1 0 554264171 227065856 53550 33554432000 134512640 136057169 4293081680 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 55436 53550 182 378 0 55056 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 221744
[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29215
/proc/meminfo: memFree=11397192/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=222868 CPUtime=4782.41 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 55628 0 0 0 478223 18 0 0 25 0 1 0 554264171 228216832 53814 33554432000 134512640 136057169 4293081680 18446744073709551615 134823919 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 55717 53814 182 378 0 55337 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 222868
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29220
/proc/meminfo: memFree=11396924/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=223368 CPUtime=4842.41 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 55752 0 0 0 484223 18 0 0 25 0 1 0 554264171 228728832 53938 33554432000 134512640 136057169 4293081680 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 55842 53938 182 378 0 55462 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 223368
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29221
/proc/meminfo: memFree=11395416/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=224148 CPUtime=4902.42 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 55933 0 0 0 490223 19 0 0 25 0 1 0 554264171 229527552 54119 33554432000 134512640 136057169 4293081680 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 56037 54119 182 378 0 55657 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 224148
[startup+4962.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 29278
/proc/meminfo: memFree=11668884/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=225268 CPUtime=4962.42 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 56189 0 0 0 496223 19 0 0 25 0 1 0 554264171 230674432 54375 33554432000 134512640 136057169 4293081680 18446744073709551615 134823818 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 56317 54375 182 378 0 55937 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 225268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 29279
/proc/meminfo: memFree=11667488/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=226168 CPUtime=5000.02 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 56412 0 0 0 499983 19 0 0 25 0 1 0 554264171 231596032 54598 33554432000 134512640 136057169 4293081680 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 56542 54598 182 378 0 56162 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 226168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 29279
/proc/meminfo: memFree=11667488/32950928 swapFree=67111528/67111528
[pid=29075] ppid=29073 vsize=226168 CPUtime=5000.02 cores=0,2,4,6
/proc/29075/stat : 29075 (clasp) R 29073 29075 28797 0 -1 4202496 56412 0 0 0 499983 19 0 0 25 0 1 0 554264171 231596032 54598 33554432000 134512640 136057169 4293081680 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/29075/statm: 56542 54598 182 378 0 56162 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 226168
Child status: 0
Real time (s): 4999.92
CPU time (s): 5000.04
CPU user time (s): 4999.84
CPU system time (s): 0.205968
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 226168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.84
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56415
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= 59098
runsolver used 7.30289 second user time and 15.4437 second system time
The end