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-3469389-1307095498/watcher-3469389-1307095498 -o /tmp/evaluation-result-3469389-1307095498/solver-3469389-1307095498 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469389-1307095498.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
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: 2.08 2.04 2.00 2/461 13036
/proc/meminfo: memFree=28651868/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=20904 CPUtime=0 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 2770 0 0 0 0 0 0 0 25 0 1 0 821147745 21405696 2409 33554432000 4194304 4933572 140735545760496 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 5226 2409 318 181 0 2235 0
[startup+0.0592049 s]
/proc/loadavg: 2.08 2.04 2.00 2/461 13036
/proc/meminfo: memFree=28651868/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=24156 CPUtime=0.05 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 4196 0 0 0 5 0 0 0 25 0 1 0 821147745 24735744 3346 33554432000 4194304 4933572 140735545760496 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 6039 3346 342 181 0 3048 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24156
[startup+0.100194 s]
/proc/loadavg: 2.08 2.04 2.00 2/461 13036
/proc/meminfo: memFree=28651868/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=22640 CPUtime=0.09 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 4243 0 0 0 9 0 0 0 25 0 1 0 821147745 23183360 3014 33554432000 4194304 4933572 140735545760496 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 5660 3014 366 181 0 2669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22640
[startup+0.301159 s]
/proc/loadavg: 2.08 2.04 2.00 2/461 13036
/proc/meminfo: memFree=28651868/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=34836 CPUtime=0.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 7302 0 0 0 28 1 0 0 25 0 1 0 821147745 35672064 6073 33554432000 4194304 4933572 140735545760496 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 8709 6073 373 181 0 5718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34836
[startup+0.701086 s]
/proc/loadavg: 2.08 2.04 2.00 2/461 13036
/proc/meminfo: memFree=28651868/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=52164 CPUtime=0.69 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 11629 0 0 0 68 1 0 0 25 0 1 0 821147745 53415936 10400 33554432000 4194304 4933572 140735545760496 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 13041 10400 373 181 0 10050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52164
[startup+1.50094 s]
/proc/loadavg: 2.07 2.04 2.00 3/462 13037
/proc/meminfo: memFree=28598424/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=84560 CPUtime=1.49 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 19712 0 0 0 147 2 0 0 25 0 1 0 821147745 86589440 18445 33554432000 4194304 4933572 140735545760496 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 21140 18445 373 181 0 18149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84560
[startup+3.10065 s]
/proc/loadavg: 2.07 2.04 2.00 3/462 13037
/proc/meminfo: memFree=28576976/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=100332 CPUtime=3.09 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 23585 0 0 0 307 2 0 0 25 0 1 0 821147745 102739968 22318 33554432000 4194304 4933572 140735545760496 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 25083 22318 374 181 0 22092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100332
[startup+6.30107 s]
/proc/loadavg: 2.07 2.04 2.00 3/462 13037
/proc/meminfo: memFree=28549660/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=112484 CPUtime=6.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 26692 0 0 0 626 3 0 0 25 0 1 0 821147745 115183616 25425 33554432000 4194304 4933572 140735545760496 18446744073709551615 4319763 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 28121 25425 374 181 0 25130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112484
[startup+12.7009 s]
/proc/loadavg: 2.06 2.03 2.00 3/462 13038
/proc/meminfo: memFree=28531064/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=132840 CPUtime=12.69 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 31765 0 0 0 1266 3 0 0 25 0 1 0 821147745 136028160 30498 33554432000 4194304 4933572 140735545760496 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 33210 30498 374 181 0 30219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132840
[startup+25.5006 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 13038
/proc/meminfo: memFree=28504912/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=156912 CPUtime=25.5 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 37758 0 0 0 2545 5 0 0 25 0 1 0 821147745 160677888 36491 33554432000 4194304 4933572 140735545760496 18446744073709551615 4341592 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 39228 36491 374 181 0 36237 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 156912
[startup+51.1009 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 13067
/proc/meminfo: memFree=28401964/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=178508 CPUtime=51.09 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 43145 0 0 0 5104 5 0 0 25 0 1 0 821147745 182792192 41878 33554432000 4194304 4933572 140735545760496 18446744073709551615 4622154 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 44627 41878 374 181 0 41636 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 178508
[startup+102.317 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13068
/proc/meminfo: memFree=28317108/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=215068 CPUtime=102.31 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 52310 0 0 0 10225 6 0 0 25 0 1 0 821147745 220229632 51043 33554432000 4194304 4933572 140735545760496 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 53767 51043 374 181 0 50776 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 215068
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13070
/proc/meminfo: memFree=28254212/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=243408 CPUtime=162.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 58969 0 0 0 16222 7 0 0 25 0 1 0 821147745 249249792 57702 33554432000 4194304 4933572 140735545760496 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 60852 57702 374 181 0 57861 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 243408
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13071
/proc/meminfo: memFree=28224640/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=268560 CPUtime=222.3 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 65238 0 0 0 22222 8 0 0 25 0 1 0 821147745 275005440 63971 33554432000 4194304 4933572 140735545760496 18446744073709551615 228122411650 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 67140 63971 374 181 0 64149 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 268560
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13073
/proc/meminfo: memFree=28199164/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=272936 CPUtime=282.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 66336 0 0 0 28221 8 0 0 25 0 1 0 821147745 279486464 65069 33554432000 4194304 4933572 140735545760496 18446744073709551615 4362042 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13036/statm: 68234 65069 374 181 0 65243 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 272936
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13074
/proc/meminfo: memFree=28148152/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=299012 CPUtime=342.27 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 72969 0 0 0 34218 9 0 0 25 0 1 0 821147745 306188288 71702 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 74753 71702 374 181 0 71762 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 299012
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13076
/proc/meminfo: memFree=28138580/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=303564 CPUtime=402.28 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 74102 0 0 0 40218 10 0 0 25 0 1 0 821147745 310849536 72835 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 75891 72835 374 181 0 72900 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 303564
[startup+462.3 s]
/proc/loadavg: 2.20 2.05 2.01 3/462 13078
/proc/meminfo: memFree=28134676/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=305544 CPUtime=462.28 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 74600 0 0 0 46218 10 0 0 25 0 1 0 821147745 312877056 73333 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 76386 73333 374 181 0 73395 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 305544
[startup+522.3 s]
/proc/loadavg: 2.19 2.07 2.02 4/462 13079
/proc/meminfo: memFree=28085664/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=330124 CPUtime=522.28 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 80758 0 0 0 52217 11 0 0 25 0 1 0 821147745 338046976 79491 33554432000 4194304 4933572 140735545760496 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 82531 79491 374 181 0 79540 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 330124
[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/462 13081
/proc/meminfo: memFree=28076672/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=334480 CPUtime=582.28 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 81852 0 0 0 58217 11 0 0 25 0 1 0 821147745 342507520 80585 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 83620 80585 374 181 0 80629 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 334480
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13087
/proc/meminfo: memFree=28000732/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=378280 CPUtime=822.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 92610 0 0 0 82217 12 0 0 25 0 1 0 821147745 387358720 91343 33554432000 4194304 4933572 140735545760496 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 94570 91343 374 181 0 91579 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 378280
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13089
/proc/meminfo: memFree=27995364/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=378280 CPUtime=882.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 92613 0 0 0 88217 12 0 0 25 0 1 0 821147745 387358720 91346 33554432000 4194304 4933572 140735545760496 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 94570 91346 374 181 0 91579 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 378280
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13090
/proc/meminfo: memFree=27990616/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=380392 CPUtime=942.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 93153 0 0 0 94217 12 0 0 25 0 1 0 821147745 389521408 91886 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649448 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 95098 91886 374 181 0 92107 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 380392
[startup+1002.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/462 13092
/proc/meminfo: memFree=27986848/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=381712 CPUtime=1002.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 93501 0 0 0 100217 12 0 0 25 0 1 0 821147745 390873088 92234 33554432000 4194304 4933572 140735545760496 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 95428 92234 374 181 0 92437 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 381712
[startup+1062.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/462 13094
/proc/meminfo: memFree=27983460/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=384152 CPUtime=1062.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 94078 0 0 0 106217 12 0 0 25 0 1 0 821147745 393371648 92811 33554432000 4194304 4933572 140735545760496 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 96038 92811 374 181 0 93047 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 384152
[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/462 13095
/proc/meminfo: memFree=27982180/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=385076 CPUtime=1122.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 94331 0 0 0 112217 12 0 0 25 0 1 0 821147745 394317824 93064 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 96269 93064 374 181 0 93278 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 385076
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/462 13097
/proc/meminfo: memFree=27953496/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=411876 CPUtime=1182.3 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 101029 0 0 0 118217 13 0 0 25 0 1 0 821147745 421761024 99762 33554432000 4194304 4933572 140735545760496 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 102969 99762 374 181 0 99978 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 411876
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 13098
/proc/meminfo: memFree=27916884/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=417024 CPUtime=1242.29 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 102325 0 0 0 124216 13 0 0 25 0 1 0 821147745 427032576 101058 33554432000 4194304 4933572 140735545760496 18446744073709551615 4337689 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 104256 101058 374 181 0 101265 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 417024
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13100
/proc/meminfo: memFree=27913480/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=419148 CPUtime=1302.32 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 102860 0 0 0 130218 14 0 0 25 0 1 0 821147745 429207552 101593 33554432000 4194304 4933572 140735545760496 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 104787 101593 374 181 0 101796 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 419148
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13102
/proc/meminfo: memFree=27907000/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=422184 CPUtime=1362.3 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 103635 0 0 0 136216 14 0 0 25 0 1 0 821147745 432316416 102368 33554432000 4194304 4933572 140735545760496 18446744073709551615 4341746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 105546 102368 374 181 0 102555 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 422184
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13103
/proc/meminfo: memFree=27905216/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=422580 CPUtime=1422.32 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 103743 0 0 0 142218 14 0 0 25 0 1 0 821147745 432721920 102476 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 105645 102476 374 181 0 102654 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 422580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 13105
/proc/meminfo: memFree=27903068/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=424032 CPUtime=1482.31 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104114 0 0 0 148217 14 0 0 25 0 1 0 821147745 434208768 102847 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106008 102847 374 181 0 103017 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 424032
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 13106
/proc/meminfo: memFree=27900296/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=424956 CPUtime=1542.31 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104331 0 0 0 154217 14 0 0 25 0 1 0 821147745 435154944 103064 33554432000 4194304 4933572 140735545760496 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106239 103064 374 181 0 103248 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 424956
[startup+1602.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/462 13108
/proc/meminfo: memFree=27898872/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=425748 CPUtime=1602.31 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104527 0 0 0 160217 14 0 0 25 0 1 0 821147745 435965952 103260 33554432000 4194304 4933572 140735545760496 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106437 103260 374 181 0 103446 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 425748
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/462 13110
/proc/meminfo: memFree=27899208/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=426260 CPUtime=1662.31 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104604 0 0 0 166217 14 0 0 25 0 1 0 821147745 436490240 103337 33554432000 4194304 4933572 140735545760496 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106565 103337 374 181 0 103574 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 426260
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 13111
/proc/meminfo: memFree=27897928/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=426260 CPUtime=1722.32 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104604 0 0 0 172218 14 0 0 25 0 1 0 821147745 436490240 103337 33554432000 4194304 4933572 140735545760496 18446744073709551615 4622128 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106565 103337 374 181 0 103574 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 426260
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 13113
/proc/meminfo: memFree=27895668/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=426656 CPUtime=1782.32 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104710 0 0 0 178218 14 0 0 25 0 1 0 821147745 436895744 103443 33554432000 4194304 4933572 140735545760496 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106664 103443 374 181 0 103673 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 426656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 13113
/proc/meminfo: memFree=27895028/32951124 swapFree=41830676/67111528
[pid=13036] ppid=13034 vsize=426656 CPUtime=1800.03 cores=1,3,5,7
/proc/13036/stat : 13036 (clasp) R 13034 13036 12829 0 -1 4202496 104710 0 0 0 179989 14 0 0 25 0 1 0 821147745 436895744 103443 33554432000 4194304 4933572 140735545760496 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/13036/statm: 106664 103443 374 181 0 103673 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 426656
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.04
CPU time (s): 1800.06
CPU user time (s): 1799.9
CPU system time (s): 0.158975
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 426656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104721
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= 10
involuntary context switches= 3937
runsolver used 7.56385 second user time and 18.6482 second system time
The end