runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3709041-1338152965/watcher-3709041-1338152965 -o /tmp/evaluation-result-3709041-1338152965/solver-3709041-1338152965 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709041-1338152965.opb
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: 2.01 2.03 2.00 4/179 25158
/proc/meminfo: memFree=29744500/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (runsolver) D 25156 25158 24451 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 281421285 12095488 50 33554432000 4194304 5436572 140733762010128 140733762006424 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 2953 50 31 304 0 2645 0
[startup+0.066733 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 25158
/proc/meminfo: memFree=29744500/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100217 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 25158
/proc/meminfo: memFree=29744500/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300186 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 25158
/proc/meminfo: memFree=29744500/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700183 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 25158
/proc/meminfo: memFree=29744500/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50022 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25160
/proc/meminfo: memFree=29741848/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=4180 CPUtime=1.49 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 780 0 0 0 149 0 0 0 20 0 1 0 281421286 4280320 728 33554432000 4194304 6212839 140734938748800 140734938746808 4674882 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25160/statm: 1045 728 237 493 0 550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13332
[startup+3.10022 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25160
/proc/meminfo: memFree=29741104/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=4460 CPUtime=3.09 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 844 0 0 0 309 0 0 0 20 0 1 0 281421286 4567040 792 33554432000 4194304 6212839 140734938748800 140734938746808 4298154 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25160/statm: 1115 792 237 493 0 620 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13612
[startup+6.30022 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 25160
/proc/meminfo: memFree=29740864/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=4592 CPUtime=6.28 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 906 0 0 0 628 0 0 0 20 0 1 0 281421286 4702208 854 33554432000 4194304 6212839 140734938748800 140734938746808 4635078 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25160/statm: 1148 854 237 493 0 653 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13744
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 25160
/proc/meminfo: memFree=29740136/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=5120 CPUtime=12.68 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 1020 0 0 0 1268 0 0 0 20 0 1 0 281421286 5242880 968 33554432000 4194304 6212839 140734938748800 140734938746952 4744768 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25160/statm: 1280 968 237 493 0 785 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14272
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 25160
/proc/meminfo: memFree=29739964/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=5516 CPUtime=25.48 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 1108 0 0 0 2548 0 0 0 20 0 1 0 281421286 5648384 1056 33554432000 4194304 6212839 140734938748800 140734938746952 4686038 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 1379 1056 237 493 0 884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14668
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 25163
/proc/meminfo: memFree=29737784/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=5912 CPUtime=51.07 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 1237 0 0 0 5107 0 0 0 20 0 1 0 281421286 6053888 1185 33554432000 4194304 6212839 140734938748800 140734938746952 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 1478 1185 238 493 0 983 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15064
[startup+102.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 25163
/proc/meminfo: memFree=29735064/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=7240 CPUtime=102.27 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 1555 0 0 0 10227 0 0 0 20 0 1 0 281421286 7413760 1503 33554432000 4194304 6212839 140734938748800 140734938746952 4685428 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 1810 1503 238 493 0 1315 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16392
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29830820/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=7772 CPUtime=162.26 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 1693 0 0 0 16226 0 0 0 20 0 1 0 281421286 7958528 1637 33554432000 4194304 6212839 140734938748800 140734938747208 4685530 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 1943 1637 238 493 0 1448 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 16924
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29818288/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=8576 CPUtime=222.25 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 1889 0 0 0 22225 0 0 0 20 0 1 0 281421286 8781824 1827 33554432000 4194304 6212839 140734938748800 140734938746952 4685333 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 2144 1827 238 493 0 1649 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17728
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 25204
/proc/meminfo: memFree=29817224/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=9244 CPUtime=282.24 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 2050 0 0 0 28224 0 0 0 20 0 1 0 281421286 9465856 1988 33554432000 4194304 6212839 140734938748800 140734938746952 4685809 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 2311 1988 238 493 0 1816 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 18396
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29803944/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=9380 CPUtime=342.23 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 2102 0 0 0 34223 0 0 0 20 0 1 0 281421286 9605120 2040 33554432000 4194304 6212839 140734938748800 140734938746952 4411578 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 2345 2040 238 493 0 1850 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 18532
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25204
/proc/meminfo: memFree=29802204/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13016 CPUtime=1122.11 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3049 0 0 0 112211 0 0 0 20 0 1 0 281421286 13328384 2953 33554432000 4194304 6212839 140734938748800 140734938746952 4635165 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3254 2953 238 493 0 2759 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 22168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25210
/proc/meminfo: memFree=29758032/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13156 CPUtime=1182.1 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3085 0 0 0 118210 0 0 0 20 0 1 0 281421286 13471744 2989 33554432000 4194304 6212839 140734938748800 140734938746952 4298307 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3289 2989 238 493 0 2794 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 22308
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25213
/proc/meminfo: memFree=29756380/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13288 CPUtime=1242.09 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3092 0 0 0 124209 0 0 0 20 0 1 0 281421286 13606912 3001 33554432000 4194304 6212839 140734938748800 140734938746952 4685794 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3322 3001 238 493 0 2827 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 22440
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25213
/proc/meminfo: memFree=29756280/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13424 CPUtime=1302.08 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3152 0 0 0 130208 0 0 0 20 0 1 0 281421286 13746176 3052 33554432000 4194304 6212839 140734938748800 140734938746952 4685809 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3356 3052 238 493 0 2861 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 22576
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29749832/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13704 CPUtime=1362.07 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3214 0 0 0 136207 0 0 0 20 0 1 0 281421286 14032896 3114 33554432000 4194304 6212839 140734938748800 140734938746952 4686042 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3426 3114 238 493 0 2931 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 22856
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29748524/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13836 CPUtime=1422.07 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3231 0 0 0 142207 0 0 0 20 0 1 0 281421286 14168064 3131 33554432000 4194304 6212839 140734938748800 140734938746952 4681562 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3459 3131 238 493 0 2964 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 22988
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29748212/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13836 CPUtime=1482.05 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3237 0 0 0 148205 0 0 0 20 0 1 0 281421286 14168064 3137 33554432000 4194304 6212839 140734938748800 140734938746952 4298175 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3459 3137 238 493 0 2964 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 22988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25215
/proc/meminfo: memFree=29748204/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13976 CPUtime=1542.04 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3276 0 0 0 154204 0 0 0 20 0 1 0 281421286 14311424 3168 33554432000 4194304 6212839 140734938748800 140734938746952 4635085 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3494 3168 238 493 0 2999 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 23128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25215
/proc/meminfo: memFree=29748088/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13976 CPUtime=1602.03 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3292 0 0 0 160203 0 0 0 20 0 1 0 281421286 14311424 3184 33554432000 4194304 6212839 140734938748800 140734938746952 4635082 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3494 3184 238 493 0 2999 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 23128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25216
/proc/meminfo: memFree=29748336/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13976 CPUtime=1662.02 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3292 0 0 0 166202 0 0 0 20 0 1 0 281421286 14311424 3184 33554432000 4194304 6212839 140734938748800 140734938746952 4685433 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3494 3184 238 493 0 2999 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 23128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25216
/proc/meminfo: memFree=29743872/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13976 CPUtime=1722.01 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3309 0 0 0 172201 0 0 0 20 0 1 0 281421286 14311424 3193 33554432000 4194304 6212839 140734938748800 140734938746952 4660553 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3494 3193 238 493 0 2999 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 23128
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25216
/proc/meminfo: memFree=29742192/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=13976 CPUtime=1782 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3309 0 0 0 178200 0 0 0 20 0 1 0 281421286 14311424 3193 33554432000 4194304 6212839 140734938748800 140734938746952 4685458 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3494 3193 238 493 0 2999 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 23128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 25216
/proc/meminfo: memFree=29742068/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=14108 CPUtime=1800.01 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3331 0 0 0 180001 0 0 0 20 0 1 0 281421286 14446592 3215 33554432000 4194304 6212839 140734938748800 140734938746952 4333845 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3527 3215 238 493 0 3032 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 23260
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 25216
/proc/meminfo: memFree=29742068/32873844 swapFree=7372/7372
[pid=25158] ppid=25156 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (clasp-opt.sh) S 25156 25158 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281421285 9371648 274 33554432000 4194304 5064252 140733911870592 140733911869504 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 2288 274 232 213 0 73 0
[pid=25160] ppid=25158 vsize=14108 CPUtime=1800.01 cores=0,2,4,6
/proc/25160/stat : 25160 (clasp-R5325) R 25158 25158 24451 0 -1 4202496 3331 0 0 0 180001 0 0 0 20 0 1 0 281421286 14446592 3215 33554432000 4194304 6212839 140734938748800 140734938746952 4333845 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/25160/statm: 3527 3215 238 493 0 3032 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 23260
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.006998
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 23260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.006998
maximum resident set size= 12892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3703
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= 1880
runsolver used 2.71959 second user time and 7.15591 second system time
The end