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-3708868-1338167418/watcher-3708868-1338167418 -o /tmp/evaluation-result-3708868-1338167418/solver-3708868-1338167418 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708868-1338167418.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.03 2.01 2.00 3/179 14611
/proc/meminfo: memFree=29034888/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[startup+0.080231 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14611
/proc/meminfo: memFree=29034888/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100211 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14611
/proc/meminfo: memFree=29034888/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30018 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14611
/proc/meminfo: memFree=29034888/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700178 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14611
/proc/meminfo: memFree=29034888/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/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.03 2.01 2.00 3/181 14613
/proc/meminfo: memFree=29030052/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=6704 CPUtime=1.49 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 1534 0 0 0 149 0 0 0 20 0 1 0 282867264 6864896 1354 33554432000 4194304 6212839 140734956164192 140734956162200 4634964 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14612/statm: 1676 1354 230 493 0 1181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15856
[startup+3.10022 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 14613
/proc/meminfo: memFree=29029556/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=6968 CPUtime=3.09 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 1601 0 0 0 309 0 0 0 20 0 1 0 282867264 7135232 1421 33554432000 4194304 6212839 140734956164192 140734956162200 4685722 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14612/statm: 1742 1421 230 493 0 1247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16120
[startup+6.30026 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 14613
/proc/meminfo: memFree=29028508/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=7496 CPUtime=6.29 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 1732 0 0 0 629 0 0 0 20 0 1 0 282867264 7675904 1552 33554432000 4194304 6212839 140734956164192 140734956162200 4674443 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 1874 1552 230 493 0 1379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16648
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 14613
/proc/meminfo: memFree=29026160/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=9872 CPUtime=12.68 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 2328 0 0 0 1268 0 0 0 20 0 1 0 282867264 10108928 2146 33554432000 4194304 6212839 140734956164192 140734956162200 4685433 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 2468 2146 230 493 0 1973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19024
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 14613
/proc/meminfo: memFree=29023428/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=13572 CPUtime=25.48 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 3242 0 0 0 2548 0 0 0 20 0 1 0 282867264 13897728 3060 33554432000 4194304 6212839 140734956164192 140734956162200 4705179 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 3393 3060 230 493 0 2898 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22724
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14614
/proc/meminfo: memFree=29020208/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=15420 CPUtime=51.07 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 3704 0 0 0 5107 0 0 0 20 0 1 0 282867264 15790080 3522 33554432000 4194304 6212839 140734956164192 140734956162200 4635078 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 3855 3522 230 493 0 3360 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24572
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 14614
/proc/meminfo: memFree=29015180/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=19780 CPUtime=102.27 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 4811 0 0 0 10227 0 0 0 20 0 1 0 282867264 20254720 4626 33554432000 4194304 6212839 140734956164192 140734956162200 4674407 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 4945 4626 230 493 0 4450 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28932
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 14614
/proc/meminfo: memFree=29011084/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=23740 CPUtime=162.26 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 5783 0 0 0 16225 1 0 0 20 0 1 0 282867264 24309760 5602 33554432000 4194304 6212839 140734956164192 140734956162200 4333845 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 5935 5602 230 493 0 5440 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 32892
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14614
/proc/meminfo: memFree=29008044/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=25888 CPUtime=222.25 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 6414 0 0 0 22224 1 0 0 20 0 1 0 282867264 26509312 6168 33554432000 4194304 6212839 140734956164192 140734956162488 4334679 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 6472 6168 230 493 0 5977 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 35040
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14614
/proc/meminfo: memFree=29003204/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=30932 CPUtime=282.24 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 7663 0 0 0 28223 1 0 0 20 0 1 0 282867264 31674368 7415 33554432000 4194304 6212839 140734956164192 140734956162200 4685943 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 7733 7415 230 493 0 7238 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 40084
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 14615
/proc/meminfo: memFree=29001840/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=32124 CPUtime=342.24 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 8174 0 0 0 34222 2 0 0 20 0 1 0 282867264 32894976 7705 33554432000 4194304 6212839 140734956164192 140734956162200 4705269 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 8031 7705 230 493 0 7536 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 41276
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 14615
/proc/meminfo: memFree=28999916/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=53992 CPUtime=1122.11 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 14317 0 0 0 112208 3 0 0 20 0 1 0 282867264 55287808 13168 33554432000 4194304 6212839 140734956164192 140734956162200 4635078 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 13498 13168 230 493 0 13003 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 63144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14862
/proc/meminfo: memFree=28952404/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=54124 CPUtime=1182.1 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 14355 0 0 0 118207 3 0 0 20 0 1 0 282867264 55422976 13206 33554432000 4194304 6212839 140734956164192 140734956162200 4660891 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 13531 13206 230 493 0 13036 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 63276
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14865
/proc/meminfo: memFree=28951032/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=54976 CPUtime=1242.09 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 14661 0 0 0 124206 3 0 0 20 0 1 0 282867264 56295424 13440 33554432000 4194304 6212839 140734956164192 140734956162488 4635097 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 13744 13440 230 493 0 13249 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 64128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14866
/proc/meminfo: memFree=28946264/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=58824 CPUtime=1302.08 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 15605 0 0 0 130205 3 0 0 20 0 1 0 282867264 60235776 14345 33554432000 4194304 6212839 140734956164192 140734956162360 4683378 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 14706 14345 230 493 0 14211 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 67976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14866
/proc/meminfo: memFree=28932928/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=63172 CPUtime=1362.06 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 16860 0 0 0 136203 3 0 0 20 0 1 0 282867264 64688128 15454 33554432000 4194304 6212839 140734956164192 140734956162344 4705151 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 15793 15454 230 493 0 15298 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 72324
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14866
/proc/meminfo: memFree=28931552/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1422.07 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 142203 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4328836 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 73512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14866
/proc/meminfo: memFree=28931304/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1482.05 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 148201 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4745239 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 73512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14866
/proc/meminfo: memFree=28931304/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1542.04 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 154200 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4635058 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 73512
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14867
/proc/meminfo: memFree=28931304/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1602.04 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 160200 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4674360 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 73512
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14867
/proc/meminfo: memFree=28929568/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1662.03 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 166199 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4705207 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 73512
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14867
/proc/meminfo: memFree=28929876/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1722.02 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 172198 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4635162 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 73512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14867
/proc/meminfo: memFree=28928512/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1782.01 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 178197 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4334727 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 73512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14870
/proc/meminfo: memFree=28926520/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1800.01 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 179997 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4635468 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 73512
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.00 2.00 2.00 3/180 14870
/proc/meminfo: memFree=28926520/32873844 swapFree=7384/7384
[pid=14611] ppid=14609 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (clasp-dec.sh) S 14609 14611 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282867264 9371648 274 33554432000 4194304 5064252 140735864339568 140735864338480 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14611/statm: 2288 274 232 213 0 73 0
[pid=14612] ppid=14611 vsize=64360 CPUtime=1800.01 cores=0,2,4,6
/proc/14612/stat : 14612 (clasp-R5325) R 14611 14611 12999 0 -1 4202496 17163 0 0 0 179997 4 0 0 20 0 1 0 282867264 65904640 15780 33554432000 4194304 6212839 140734956164192 140734956162200 4635468 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/14612/statm: 16090 15780 230 493 0 15595 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 73512
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.042993
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 73512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.042993
maximum resident set size= 63164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17538
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= 33
involuntary context switches= 2063
runsolver used 2.6526 second user time and 9.01963 second system time
The end