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-3709133-1338158043/watcher-3709133-1338158043 -o /tmp/evaluation-result-3709133-1338158043/solver-3709133-1338158043 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709133-1338158043.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 15828
/proc/meminfo: memFree=29923840/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[startup+0.089825 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15828
/proc/meminfo: memFree=29923840/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15828
/proc/meminfo: memFree=29923840/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15828
/proc/meminfo: memFree=29923840/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15828
/proc/meminfo: memFree=29923840/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15838
/proc/meminfo: memFree=29961184/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=5752 CPUtime=1.49 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 1192 0 0 0 149 0 0 0 20 0 1 0 281928419 5890048 1134 33554432000 4194304 6212839 140733334423328 140733334421336 4674290 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 1438 1134 238 493 0 943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14904
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29944380/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=6808 CPUtime=3.09 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 1445 0 0 0 309 0 0 0 20 0 1 0 281928419 6971392 1387 33554432000 4194304 6212839 140733334423328 140733334421336 4421920 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 1702 1387 238 493 0 1207 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15960
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29929272/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=8372 CPUtime=6.29 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 1843 0 0 0 629 0 0 0 20 0 1 0 281928419 8572928 1785 33554432000 4194304 6212839 140733334423328 140733334421336 4743928 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 2093 1785 238 493 0 1598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17524
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29914380/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=10616 CPUtime=12.69 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 2396 0 0 0 1269 0 0 0 20 0 1 0 281928419 10870784 2338 33554432000 4194304 6212839 140733334423328 140733334421336 4411603 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 2654 2338 238 493 0 2159 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19768
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29892100/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=13268 CPUtime=25.48 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 3059 0 0 0 2548 0 0 0 20 0 1 0 281928419 13586432 3001 33554432000 4194304 6212839 140733334423328 140733334421480 4737442 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 3317 3001 238 493 0 2822 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22420
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29872972/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=17832 CPUtime=51.08 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 4358 0 0 0 5108 0 0 0 20 0 1 0 281928419 18259968 4136 33554432000 4194304 6212839 140733334423328 140733334421624 4411578 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 4458 4136 238 493 0 3963 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26984
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29854840/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=22840 CPUtime=102.27 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 5956 0 0 0 10226 1 0 0 20 0 1 0 281928419 23388160 5386 33554432000 4194304 6212839 140733334423328 140733334421336 4683100 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 5710 5386 238 493 0 5215 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31992
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15870
/proc/meminfo: memFree=29820896/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=27404 CPUtime=162.26 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 7091 0 0 0 16225 1 0 0 20 0 1 0 281928419 28061696 6463 33554432000 4194304 6212839 140733334423328 140733334421336 4683066 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 6851 6463 238 493 0 6356 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36556
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15871
/proc/meminfo: memFree=29809064/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=32028 CPUtime=222.24 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 8292 0 0 0 22223 1 0 0 20 0 1 0 281928419 32796672 7654 33554432000 4194304 6212839 140733334423328 140733334421480 4683144 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 8007 7654 238 493 0 7512 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 41180
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15871
/proc/meminfo: memFree=29799932/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=35140 CPUtime=282.24 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 9034 0 0 0 28222 2 0 0 20 0 1 0 281928419 35983360 8376 33554432000 4194304 6212839 140733334423328 140733334421480 4307897 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 8785 8376 238 493 0 8290 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 44292
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15871
/proc/meminfo: memFree=29790028/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=37220 CPUtime=342.23 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 9549 0 0 0 34221 2 0 0 20 0 1 0 281928419 38113280 8943 33554432000 4194304 6212839 140733334423328 140733334421624 4674914 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 9305 8943 238 493 0 8810 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 46372
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15874
/proc/meminfo: memFree=29767740/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=57584 CPUtime=1122.11 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14202 0 0 0 112208 3 0 0 20 0 1 0 281928419 58966016 13988 33554432000 4194304 6212839 140733334423328 140733334421480 4421856 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 14396 13988 238 493 0 13901 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 66736
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15881
/proc/meminfo: memFree=29679832/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=58596 CPUtime=1182.1 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14394 0 0 0 118207 3 0 0 20 0 1 0 281928419 60002304 14266 33554432000 4194304 6212839 140733334423328 140733334421480 4307880 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 14649 14266 238 493 0 14154 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 67748
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 15881
/proc/meminfo: memFree=29677724/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=59384 CPUtime=1242.09 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14553 0 0 0 124206 3 0 0 20 0 1 0 281928419 60809216 14425 33554432000 4194304 6212839 140733334423328 140733334421480 4421869 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 14846 14425 238 493 0 14351 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 68536
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 15881
/proc/meminfo: memFree=29675284/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=59696 CPUtime=1302.08 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14646 0 0 0 130205 3 0 0 20 0 1 0 281928419 61128704 14518 33554432000 4194304 6212839 140733334423328 140733334421480 4661310 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 14924 14518 238 493 0 14429 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 68848
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15881
/proc/meminfo: memFree=29668652/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=60368 CPUtime=1362.07 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14753 0 0 0 136204 3 0 0 20 0 1 0 281928419 61816832 14702 33554432000 4194304 6212839 140733334423328 140733334421480 4411603 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15092 14702 238 493 0 14597 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 69520
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15881
/proc/meminfo: memFree=29662328/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=60536 CPUtime=1422.06 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14800 0 0 0 142203 3 0 0 20 0 1 0 281928419 61988864 14749 33554432000 4194304 6212839 140733334423328 140733334421480 4421867 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15134 14749 238 493 0 14639 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 69688
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15882
/proc/meminfo: memFree=29660952/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=61184 CPUtime=1482.05 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 14936 0 0 0 148202 3 0 0 20 0 1 0 281928419 62652416 14885 33554432000 4194304 6212839 140733334423328 140733334421480 4333818 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15296 14885 238 493 0 14801 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 70336
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15882
/proc/meminfo: memFree=29653548/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=62168 CPUtime=1542.04 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15136 0 0 0 154201 3 0 0 20 0 1 0 281928419 63660032 15182 33554432000 4194304 6212839 140733334423328 140733334421480 4685331 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15542 15182 238 493 0 15047 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 71320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15885
/proc/meminfo: memFree=29653192/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=62644 CPUtime=1602.03 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15225 0 0 0 160200 3 0 0 20 0 1 0 281928419 64147456 15271 33554432000 4194304 6212839 140733334423328 140733334421480 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15661 15271 238 493 0 15166 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 71796
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15907
/proc/meminfo: memFree=29653036/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=63292 CPUtime=1662.02 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15356 0 0 0 166199 3 0 0 20 0 1 0 281928419 64811008 15402 33554432000 4194304 6212839 140733334423328 140733334421480 4674862 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15823 15402 238 493 0 15328 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 72444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15907
/proc/meminfo: memFree=29651200/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=63460 CPUtime=1722.01 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15390 0 0 0 172198 3 0 0 20 0 1 0 281928419 64983040 15524 33554432000 4194304 6212839 140733334423328 140733334421480 4705037 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15865 15524 238 493 0 15370 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 72612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15908
/proc/meminfo: memFree=29648844/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=63968 CPUtime=1782 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15491 0 0 0 178197 3 0 0 20 0 1 0 281928419 65503232 15625 33554432000 4194304 6212839 140733334423328 140733334421480 4744763 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 15992 15625 238 493 0 15497 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 73120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15908
/proc/meminfo: memFree=29648472/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=64276 CPUtime=1800 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15556 0 0 0 179997 3 0 0 20 0 1 0 281928419 65818624 15690 33554432000 4194304 6212839 140733334423328 140733334421480 4743808 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 16069 15690 238 493 0 15574 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 73428
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/179 15908
/proc/meminfo: memFree=29648472/32873648 swapFree=7368/7368
[pid=15828] ppid=15826 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/15828/stat : 15828 (clasp-opt.sh) S 15826 15828 15493 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281928419 9371648 275 33554432000 4194304 5064252 140734235427072 140734235425984 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15828/statm: 2288 275 232 213 0 73 0
[pid=15829] ppid=15828 vsize=64276 CPUtime=1800 cores=0,2,4,6
/proc/15829/stat : 15829 (clasp-R5325) R 15828 15828 15493 0 -1 4202496 15556 0 0 0 179997 3 0 0 20 0 1 0 281928419 65818624 15690 33554432000 4194304 6212839 140733334423328 140733334421480 4743808 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/15829/statm: 16069 15690 238 493 0 15574 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 73428
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.038994
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 73428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.038994
maximum resident set size= 62792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15929
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= 32
involuntary context switches= 1877
runsolver used 2.79458 second user time and 7.03493 second system time
The end