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-3709235-1338165657/watcher-3709235-1338165657 -o /tmp/evaluation-result-3709235-1338165657/solver-3709235-1338165657 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709235-1338165657.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.00 2.00 2.00 3/177 20006
/proc/meminfo: memFree=30396916/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[startup+0.0700881 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20006
/proc/meminfo: memFree=30396916/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20006
/proc/meminfo: memFree=30396916/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20006
/proc/meminfo: memFree=30396916/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20006
/proc/meminfo: memFree=30396916/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20008
/proc/meminfo: memFree=30394816/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=4172 CPUtime=1.49 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 766 0 0 0 149 0 0 0 20 0 1 0 282694253 4272128 721 33554432000 4194304 6212839 140734166767696 140734166766104 4683115 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1043 721 232 493 0 548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13324
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20008
/proc/meminfo: memFree=30393948/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=4684 CPUtime=3.09 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 894 0 0 0 309 0 0 0 20 0 1 0 282694253 4796416 849 33554432000 4194304 6212839 140734166767696 140734166766104 4372660 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1171 849 232 493 0 676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13836
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20009
/proc/meminfo: memFree=30392832/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=5272 CPUtime=6.29 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 1040 0 0 0 629 0 0 0 20 0 1 0 282694253 5398528 995 33554432000 4194304 6212839 140734166767696 140734166766104 4685336 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1318 995 232 493 0 823 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14424
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20009
/proc/meminfo: memFree=30391600/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=6116 CPUtime=12.69 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 1262 0 0 0 1269 0 0 0 20 0 1 0 282694253 6262784 1198 33554432000 4194304 6212839 140734166767696 140734166766104 4685325 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1529 1198 232 493 0 1034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15268
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20009
/proc/meminfo: memFree=30390736/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=6272 CPUtime=25.49 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 1324 0 0 0 2549 0 0 0 20 0 1 0 282694253 6422528 1261 33554432000 4194304 6212839 140734166767696 140734166766104 4662636 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1568 1261 233 493 0 1073 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15424
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20009
/proc/meminfo: memFree=30389124/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=7340 CPUtime=51.08 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 1549 0 0 0 5108 0 0 0 20 0 1 0 282694253 7516160 1486 33554432000 4194304 6212839 140734166767696 140734166765848 4682215 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 1835 1486 233 493 0 1340 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16492
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20009
/proc/meminfo: memFree=30386332/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=9008 CPUtime=102.28 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 1900 0 0 0 10228 0 0 0 20 0 1 0 282694253 9224192 1856 33554432000 4194304 6212839 140734166767696 140734166765848 4705024 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 2252 1856 233 493 0 1757 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 18160
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20009
/proc/meminfo: memFree=30385152/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=9824 CPUtime=162.26 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2086 0 0 0 16226 0 0 0 20 0 1 0 282694253 10059776 2042 33554432000 4194304 6212839 140734166767696 140734166765848 4744830 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 2456 2042 233 493 0 1961 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18976
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20009
/proc/meminfo: memFree=30383660/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=9824 CPUtime=222.25 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2119 0 0 0 22225 0 0 0 20 0 1 0 282694253 10059776 2151 33554432000 4194304 6212839 140734166767696 140734166765848 4682215 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 2456 2151 233 493 0 1961 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 18976
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20009
/proc/meminfo: memFree=30382916/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=10668 CPUtime=282.25 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2263 0 0 0 28225 0 0 0 20 0 1 0 282694253 10924032 2295 33554432000 4194304 6212839 140734166767696 140734166765848 4685291 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 2667 2295 233 493 0 2172 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 19820
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20010
/proc/meminfo: memFree=30382056/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=11172 CPUtime=342.24 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2356 0 0 0 34224 0 0 0 20 0 1 0 282694253 11440128 2388 33554432000 4194304 6212839 140734166767696 140734166765848 4743152 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 2793 2388 233 493 0 2298 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 20324
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20010
/proc/meminfo: memFree=30381560/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1122.12 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2784 0 0 0 112212 0 0 0 20 0 1 0 282694253 13684736 2928 33554432000 4194304 6212839 140734166767696 140734166765848 4685317 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2928 233 493 0 2846 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 22516
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20018
/proc/meminfo: memFree=30378820/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1182.11 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2784 0 0 0 118211 0 0 0 20 0 1 0 282694253 13684736 2928 33554432000 4194304 6212839 140734166767696 140734166765848 4683115 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2928 233 493 0 2846 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 22516
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20042
/proc/meminfo: memFree=30378168/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1242.1 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2786 0 0 0 124210 0 0 0 20 0 1 0 282694253 13684736 2930 33554432000 4194304 6212839 140734166767696 140734166765848 4685339 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2930 233 493 0 2846 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 22516
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 20042
/proc/meminfo: memFree=30378300/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1302.09 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2787 0 0 0 130209 0 0 0 20 0 1 0 282694253 13684736 2931 33554432000 4194304 6212839 140734166767696 140734166765848 4661872 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2931 233 493 0 2846 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 22516
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20042
/proc/meminfo: memFree=30378052/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1362.08 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2790 0 0 0 136208 0 0 0 20 0 1 0 282694253 13684736 2934 33554432000 4194304 6212839 140734166767696 140734166765848 4303910 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2934 233 493 0 2846 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 22516
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20042
/proc/meminfo: memFree=30378176/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1422.08 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2792 0 0 0 142208 0 0 0 20 0 1 0 282694253 13684736 2936 33554432000 4194304 6212839 140734166767696 140734166765848 4685305 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2936 233 493 0 2846 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 22516
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20042
/proc/meminfo: memFree=30378424/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1482.06 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2797 0 0 0 148206 0 0 0 20 0 1 0 282694253 13684736 2941 33554432000 4194304 6212839 140734166767696 140734166765848 4743867 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2941 233 493 0 2846 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 22516
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20043
/proc/meminfo: memFree=30378424/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1542.05 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2797 0 0 0 154205 0 0 0 20 0 1 0 282694253 13684736 2941 33554432000 4194304 6212839 140734166767696 140734166766104 4685328 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2941 233 493 0 2846 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 22516
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20043
/proc/meminfo: memFree=30378424/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1602.04 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2797 0 0 0 160204 0 0 0 20 0 1 0 282694253 13684736 2941 33554432000 4194304 6212839 140734166767696 140734166766104 4674290 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2941 233 493 0 2846 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 22516
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20043
/proc/meminfo: memFree=30378424/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1662.03 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2797 0 0 0 166203 0 0 0 20 0 1 0 282694253 13684736 2941 33554432000 4194304 6212839 140734166767696 140734166766104 4685328 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2941 233 493 0 2846 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 22516
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 20043
/proc/meminfo: memFree=30378424/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1722.02 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2797 0 0 0 172202 0 0 0 20 0 1 0 282694253 13684736 2941 33554432000 4194304 6212839 140734166767696 140734166766104 4685484 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2941 233 493 0 2846 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 22516
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/181 20125
/proc/meminfo: memFree=30358624/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1782.01 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2799 0 0 0 178201 0 0 0 20 0 1 0 282694253 13684736 2943 33554432000 4194304 6212839 140734166767696 140734166766104 4685776 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2943 233 493 0 2846 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 22516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 20125
/proc/meminfo: memFree=30356576/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1800.02 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2799 0 0 0 180002 0 0 0 20 0 1 0 282694253 13684736 2943 33554432000 4194304 6212839 140734166767696 140734166766104 4685347 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2943 233 493 0 2846 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22516
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.06 2.02 2.00 3/181 20125
/proc/meminfo: memFree=30356576/32873844 swapFree=7108/7108
[pid=20006] ppid=20004 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20006/stat : 20006 (clasp-opt.sh) S 20004 20006 19533 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282694253 9371648 274 33554432000 4194304 5064252 140734354043040 140734354041952 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20006/statm: 2288 274 232 213 0 73 0
[pid=20007] ppid=20006 vsize=13364 CPUtime=1800.02 cores=0,2,4,6
/proc/20007/stat : 20007 (clasp-R5325) R 20006 20006 19533 0 -1 4202496 2799 0 0 0 180002 0 0 0 20 0 1 0 282694253 13684736 2943 33554432000 4194304 6212839 140734166767696 140734166766104 4685347 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20007/statm: 3341 2943 233 493 0 2846 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22516
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.010998
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 22516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.010998
maximum resident set size= 11800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3169
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= 9
involuntary context switches= 1884
runsolver used 2.66759 second user time and 7.2099 second system time
The end