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-3708654-1338150227/watcher-3708654-1338150227 -o /tmp/evaluation-result-3708654-1338150227/solver-3708654-1338150227 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708654-1338150227.opb
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: 1.64 1.92 1.97 3/177 25575
/proc/meminfo: memFree=31107756/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[startup+0.0442539 s]
/proc/loadavg: 1.64 1.92 1.97 3/177 25575
/proc/meminfo: memFree=31107756/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100387 s]
/proc/loadavg: 1.64 1.92 1.97 3/177 25575
/proc/meminfo: memFree=31107756/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30025 s]
/proc/loadavg: 1.64 1.92 1.97 3/177 25575
/proc/meminfo: memFree=31107756/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700239 s]
/proc/loadavg: 1.64 1.92 1.97 3/177 25575
/proc/meminfo: memFree=31107756/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50034 s]
/proc/loadavg: 1.64 1.92 1.97 3/179 25577
/proc/meminfo: memFree=31081016/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=34620 CPUtime=1.49 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 8423 0 0 0 147 2 0 0 20 0 1 0 281147076 35450880 8342 33554432000 4194304 6212839 140736218368784 140736218366792 4312693 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 8655 8342 227 493 0 8160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43772
[startup+3.10034 s]
/proc/loadavg: 1.66 1.92 1.97 3/179 25577
/proc/meminfo: memFree=31068864/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=47812 CPUtime=3.08 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 11616 0 0 0 306 2 0 0 20 0 1 0 281147076 48959488 11535 33554432000 4194304 6212839 140736218368784 140736218366792 4744827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 11953 11535 227 493 0 11458 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56964
[startup+6.30034 s]
/proc/loadavg: 1.66 1.92 1.97 3/179 25577
/proc/meminfo: memFree=31015312/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=108844 CPUtime=6.29 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 26873 0 0 0 623 6 0 0 20 0 1 0 281147076 111456256 26792 33554432000 4194304 6212839 140736218368784 140736218366792 4307552 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 27211 26792 227 493 0 26716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117996
[startup+12.7003 s]
/proc/loadavg: 1.72 1.92 1.97 3/179 25577
/proc/meminfo: memFree=30894392/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=209856 CPUtime=12.68 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 52130 0 0 0 1259 9 0 0 20 0 1 0 281147076 214892544 52049 33554432000 4194304 6212839 140736218368784 140736218366792 4334712 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 52464 52049 227 493 0 51969 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 219008
[startup+25.5003 s]
/proc/loadavg: 1.76 1.92 1.97 3/179 25577
/proc/meminfo: memFree=30891160/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=209856 CPUtime=25.48 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 52160 0 0 0 2539 9 0 0 20 0 1 0 281147076 214892544 52079 33554432000 4194304 6212839 140736218368784 140736218366792 4333806 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 52464 52079 227 493 0 51969 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 219008
[startup+51.1004 s]
/proc/loadavg: 1.84 1.93 1.97 3/179 25577
/proc/meminfo: memFree=30873504/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=209856 CPUtime=51.08 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 52160 0 0 0 5099 9 0 0 20 0 1 0 281147076 214892544 52079 33554432000 4194304 6212839 140736218368784 140736218366792 4744827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 52464 52079 227 493 0 51969 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 219008
[startup+102.307 s]
/proc/loadavg: 1.93 1.94 1.97 3/179 25577
/proc/meminfo: memFree=30859668/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=209856 CPUtime=102.26 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 52222 0 0 0 10216 10 0 0 20 0 1 0 281147076 214892544 52113 33554432000 4194304 6212839 140736218368784 140736218366792 4334731 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 52464 52113 227 493 0 51969 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 219008
[startup+162.3 s]
/proc/loadavg: 1.97 1.95 1.97 3/179 25578
/proc/meminfo: memFree=30827340/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=209856 CPUtime=162.23 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 52260 0 0 0 16213 10 0 0 20 0 1 0 281147076 214892544 52119 33554432000 4194304 6212839 140736218368784 140736218366792 4335219 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 52464 52119 227 493 0 51969 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 219008
[startup+222.3 s]
/proc/loadavg: 1.99 1.95 1.97 3/179 25578
/proc/meminfo: memFree=30816896/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=209856 CPUtime=222.21 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 52277 0 0 0 22211 10 0 0 20 0 1 0 281147076 214892544 52122 33554432000 4194304 6212839 140736218368784 140736218366792 4744656 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 52464 52122 227 493 0 51969 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 219008
[startup+282.3 s]
/proc/loadavg: 2.03 1.97 1.98 3/179 25578
/proc/meminfo: memFree=30787568/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=227220 CPUtime=282.2 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 56646 0 0 0 28209 11 0 0 20 0 1 0 281147076 232673280 56491 33554432000 4194304 6212839 140736218368784 140736218366792 4356900 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 56805 56491 227 493 0 56310 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 236372
[startup+342.3 s]
/proc/loadavg: 2.01 1.97 1.98 3/179 25578
/proc/meminfo: memFree=30785328/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=229504 CPUtime=342.19 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 57222 0 0 0 34208 11 0 0 20 0 1 0 281147076 235012096 57073 33554432000 4194304 6212839 140736218368784 140736218366792 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 57376 57073 227 493 0 56881 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 238656
[startup+402.3 s]
/proc/loadavg: 2.08 1.99 1.98 3/180 25581
/proc/meminfo: memFree=30720648/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=289592 CPUtime=1062.06 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 72041 0 0 0 106193 13 0 0 20 0 1 0 281147076 296542208 71993 33554432000 4194304 6212839 140736218368784 140736218366792 4685458 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 72398 71993 227 493 0 71903 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 298744
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25588
/proc/meminfo: memFree=30646504/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=289592 CPUtime=1122.05 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 72041 0 0 0 112192 13 0 0 20 0 1 0 281147076 296542208 71993 33554432000 4194304 6212839 140736218368784 140736218366792 4334816 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 72398 71993 227 493 0 71903 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 298744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25588
/proc/meminfo: memFree=30646232/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=289592 CPUtime=1182.05 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 72041 0 0 0 118192 13 0 0 20 0 1 0 281147076 296542208 71993 33554432000 4194304 6212839 140736218368784 140736218366792 4328957 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 72398 71993 227 493 0 71903 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 298744
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25588
/proc/meminfo: memFree=30645736/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=289592 CPUtime=1242.04 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 72041 0 0 0 124191 13 0 0 20 0 1 0 281147076 296542208 71993 33554432000 4194304 6212839 140736218368784 140736218366792 4357159 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 72398 71993 227 493 0 71903 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 298744
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 25588
/proc/meminfo: memFree=30598492/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=289592 CPUtime=1302.03 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 72041 0 0 0 130190 13 0 0 20 0 1 0 281147076 296542208 71993 33554432000 4194304 6212839 140736218368784 140736218366792 4745312 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 72398 71993 227 493 0 71903 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 298744
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25589
/proc/meminfo: memFree=30558936/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=307080 CPUtime=1362.02 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 76397 0 0 0 136188 14 0 0 20 0 1 0 281147076 314449920 76349 33554432000 4194304 6212839 140736218368784 140736218366792 4334731 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 76770 76349 227 493 0 76275 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 316232
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25589
/proc/meminfo: memFree=30547216/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=318668 CPUtime=1422.01 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 79299 0 0 0 142186 15 0 0 20 0 1 0 281147076 326316032 79251 33554432000 4194304 6212839 140736218368784 140736218366792 4661274 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 79667 79251 227 493 0 79172 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 327820
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25589
/proc/meminfo: memFree=30547340/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=318668 CPUtime=1482 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 79299 0 0 0 148185 15 0 0 20 0 1 0 281147076 326316032 79251 33554432000 4194304 6212839 140736218368784 140736218366792 4743696 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 79667 79251 227 493 0 79172 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 327820
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25589
/proc/meminfo: memFree=30533632/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=331616 CPUtime=1541.99 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 82957 0 0 0 154183 16 0 0 20 0 1 0 281147076 339574784 82504 33554432000 4194304 6212839 140736218368784 140736218367080 4674914 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 82904 82504 227 493 0 82409 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 340768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25592
/proc/meminfo: memFree=30523084/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=342776 CPUtime=1601.98 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 85727 0 0 0 160182 16 0 0 20 0 1 0 281147076 351002624 85274 33554432000 4194304 6212839 140736218368784 140736218366792 4683206 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 85694 85274 227 493 0 85199 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 351928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25593
/proc/meminfo: memFree=30523464/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=342776 CPUtime=1661.97 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 85727 0 0 0 166181 16 0 0 20 0 1 0 281147076 351002624 85274 33554432000 4194304 6212839 140736218368784 140736218366792 4744756 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 85694 85274 227 493 0 85199 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 351928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25593
/proc/meminfo: memFree=30523124/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=342776 CPUtime=1721.96 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 85740 0 0 0 172180 16 0 0 20 0 1 0 281147076 351002624 85371 33554432000 4194304 6212839 140736218368784 140736218366792 4683216 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 85694 85371 227 493 0 85199 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 351928
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 25593
/proc/meminfo: memFree=30522728/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=342776 CPUtime=1781.95 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 85745 0 0 0 178179 16 0 0 20 0 1 0 281147076 351002624 85371 33554432000 4194304 6212839 140736218368784 140736218366792 4674856 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 85694 85371 227 493 0 85199 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 351928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 25633
/proc/meminfo: memFree=30797336/32873844 swapFree=7620/7620
[pid=25575] ppid=25573 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25575/stat : 25575 (clasp-dec.sh) S 25573 25575 23064 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281147076 9371648 275 33554432000 4194304 5064252 140733334276224 140733334275136 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25575/statm: 2288 275 232 213 0 73 0
[pid=25576] ppid=25575 vsize=342776 CPUtime=1800.05 cores=1,3,5,7
/proc/25576/stat : 25576 (clasp-R5325) R 25575 25575 23064 0 -1 4202496 85745 0 0 0 179989 16 0 0 20 0 1 0 281147076 351002624 85371 33554432000 4194304 6212839 140736218368784 140736218366792 4334826 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25576/statm: 85694 85371 227 493 0 85199 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 351928
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.9
CPU system time (s): 0.169974
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 351928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.169974
maximum resident set size= 341524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86119
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= 125
involuntary context switches= 1846
runsolver used 9.10262 second user time and 15.8096 second system time
The end