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-3708753-1338162858/watcher-3708753-1338162858 -o /tmp/evaluation-result-3708753-1338162858/solver-3708753-1338162858 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708753-1338162858.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: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=31413288/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[startup+0.097664 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=31413288/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100323 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=31413288/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=31413288/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=31413288/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8460
/proc/meminfo: memFree=31401748/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=13424 CPUtime=1.49 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 4085 0 0 0 149 0 0 0 20 0 1 0 282410166 13746176 2968 33554432000 4194304 6212839 140736558424944 140736558423912 4683366 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 3356 2968 232 493 0 2861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22576
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8460
/proc/meminfo: memFree=31401500/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=13688 CPUtime=3.09 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 4189 0 0 0 309 0 0 0 20 0 1 0 282410166 14016512 3072 33554432000 4194304 6212839 140736558424944 140736558422952 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 3422 3072 232 493 0 2927 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22840
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8460
/proc/meminfo: memFree=31400136/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=15060 CPUtime=6.28 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 4538 0 0 0 628 0 0 0 20 0 1 0 282410166 15421440 3464 33554432000 4194304 6212839 140736558424944 140736558422952 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 3765 3464 232 493 0 3270 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24212
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8460
/proc/meminfo: memFree=31396788/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=16936 CPUtime=12.68 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 4974 0 0 0 1268 0 0 0 20 0 1 0 282410166 17342464 3900 33554432000 4194304 6212839 140736558424944 140736558422952 4744827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 4234 3900 232 493 0 3739 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26088
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8460
/proc/meminfo: memFree=31393444/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=19256 CPUtime=25.48 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 5560 0 0 0 2548 0 0 0 20 0 1 0 282410166 19718144 4486 33554432000 4194304 6212839 140736558424944 140736558422968 4685409 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 4814 4486 232 493 0 4319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28408
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 8460
/proc/meminfo: memFree=31389160/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=23208 CPUtime=51.08 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 6563 0 0 0 5107 1 0 0 20 0 1 0 282410166 23764992 5478 33554432000 4194304 6212839 140736558424944 140736558423096 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 5802 5478 232 493 0 5307 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32360
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8461
/proc/meminfo: memFree=31383140/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=28176 CPUtime=102.27 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 7829 0 0 0 10226 1 0 0 20 0 1 0 282410166 28852224 6716 33554432000 4194304 6212839 140736558424944 140736558422952 4739248 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 7044 6716 232 493 0 6549 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37328
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8461
/proc/meminfo: memFree=31375880/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=31592 CPUtime=162.25 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 8684 0 0 0 16224 1 0 0 20 0 1 0 282410166 32350208 7592 33554432000 4194304 6212839 140736558424944 140736558422952 4685409 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 7898 7592 232 493 0 7403 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40744
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 8461
/proc/meminfo: memFree=31370668/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=35732 CPUtime=222.24 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 9728 0 0 0 22223 1 0 0 20 0 1 0 282410166 36589568 8611 33554432000 4194304 6212839 140736558424944 140736558423096 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 8933 8611 232 493 0 8438 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44884
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 8461
/proc/meminfo: memFree=31365268/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=39872 CPUtime=282.23 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 10790 0 0 0 28222 1 0 0 20 0 1 0 282410166 40828928 9646 33554432000 4194304 6212839 140736558424944 140736558423096 4634948 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 9968 9646 232 493 0 9473 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49024
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 8461
/proc/meminfo: memFree=31359000/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=41644 CPUtime=342.23 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 11212 0 0 0 34221 2 0 0 20 0 1 0 282410166 42643456 10071 33554432000 4194304 6212839 140736558424944 140736558423096 4745266 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 10411 10071 232 493 0 9916 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 50796
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/180 8465
/proc/meminfo: memFree=31355264/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=68660 CPUtime=1062.1 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 18052 0 0 0 106205 5 0 0 20 0 1 0 282410166 70307840 16811 33554432000 4194304 6212839 140736558424944 140736558423096 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 17165 16811 232 493 0 16670 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 77812
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 8493
/proc/meminfo: memFree=31310592/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=69840 CPUtime=1122.09 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 18352 0 0 0 112204 5 0 0 20 0 1 0 282410166 71516160 17111 33554432000 4194304 6212839 140736558424944 140736558423096 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 17460 17111 232 493 0 16965 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 78992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8493
/proc/meminfo: memFree=31303640/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=73236 CPUtime=1182.08 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 19184 0 0 0 118203 5 0 0 20 0 1 0 282410166 74993664 17943 33554432000 4194304 6212839 140736558424944 140736558423096 4635173 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 18309 17943 232 493 0 17814 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 82388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8493
/proc/meminfo: memFree=31300784/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=75240 CPUtime=1242.07 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 19659 0 0 0 124202 5 0 0 20 0 1 0 282410166 77045760 18463 33554432000 4194304 6212839 140736558424944 140736558423096 4298064 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 18810 18463 232 493 0 18315 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 84392
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 8494
/proc/meminfo: memFree=31298736/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=76076 CPUtime=1302.06 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 19879 0 0 0 130201 5 0 0 20 0 1 0 282410166 77901824 18683 33554432000 4194304 6212839 140736558424944 140736558423096 4685433 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 19019 18683 232 493 0 18524 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 85228
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 8494
/proc/meminfo: memFree=31297804/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=76760 CPUtime=1362.05 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 20090 0 0 0 136200 5 0 0 20 0 1 0 282410166 78602240 18873 33554432000 4194304 6212839 140736558424944 140736558423096 4333838 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 19190 18873 232 493 0 18695 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 85912
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 8494
/proc/meminfo: memFree=31295508/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=77964 CPUtime=1422.05 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 20437 0 0 0 142199 6 0 0 20 0 1 0 282410166 79835136 19172 33554432000 4194304 6212839 140736558424944 140736558423096 4635026 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 19491 19172 232 493 0 18996 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 87116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 8494
/proc/meminfo: memFree=31293832/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=79636 CPUtime=1482.04 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 20826 0 0 0 148198 6 0 0 20 0 1 0 282410166 81547264 19575 33554432000 4194304 6212839 140736558424944 140736558423096 4685386 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 19909 19575 232 493 0 19414 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 88788
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8534
/proc/meminfo: memFree=31334640/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=81376 CPUtime=1542.02 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 21320 0 0 0 154196 6 0 0 20 0 1 0 282410166 83329024 20031 33554432000 4194304 6212839 140736558424944 140736558423096 4744874 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 20344 20031 232 493 0 19849 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 90528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8538
/proc/meminfo: memFree=31324616/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=82288 CPUtime=1602.01 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 21503 0 0 0 160195 6 0 0 20 0 1 0 282410166 84262912 20214 33554432000 4194304 6212839 140736558424944 140736558423096 4635944 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 20572 20214 232 493 0 20077 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 91440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8538
/proc/meminfo: memFree=31316616/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=84512 CPUtime=1662.01 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 22132 0 0 0 166195 6 0 0 20 0 1 0 282410166 86540288 20818 33554432000 4194304 6212839 140736558424944 140736558422952 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 21128 20818 232 493 0 20633 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 93664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8538
/proc/meminfo: memFree=31311964/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=85336 CPUtime=1722 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 22329 0 0 0 172194 6 0 0 20 0 1 0 282410166 87384064 21022 33554432000 4194304 6212839 140736558424944 140736558423096 4635067 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 21334 21022 232 493 0 20839 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 94488
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 8538
/proc/meminfo: memFree=31305880/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=86688 CPUtime=1781.99 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 22676 0 0 0 178193 6 0 0 20 0 1 0 282410166 88768512 21322 33554432000 4194304 6212839 140736558424944 140736558422968 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 21672 21322 232 493 0 21177 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 95840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8538
/proc/meminfo: memFree=31304576/32873844 swapFree=7632/7632
[pid=8458] ppid=8456 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8458/stat : 8458 (clasp-dec.sh) S 8456 8458 7805 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282410166 9371648 275 33554432000 4194304 5064252 140737118418208 140737118417120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8458/statm: 2288 275 232 213 0 73 0
[pid=8459] ppid=8458 vsize=87236 CPUtime=1800.09 cores=1,3,5,7
/proc/8459/stat : 8459 (clasp-R5325) R 8458 8458 7805 0 -1 4202496 22786 0 0 0 180003 6 0 0 20 0 1 0 282410166 89329664 21453 33554432000 4194304 6212839 140736558424944 140736558423096 4737291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8459/statm: 21809 21453 232 493 0 21314 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 96388
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.1
CPU user time (s): 1800.03
CPU system time (s): 0.067989
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 96388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.067989
maximum resident set size= 85856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23162
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= 44
involuntary context switches= 1846
runsolver used 2.90256 second user time and 7.2429 second system time
The end