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-3709206-1338163845/watcher-3709206-1338163845 -o /tmp/evaluation-result-3709206-1338163845/solver-3709206-1338163845 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709206-1338163845.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 2/178 31985
/proc/meminfo: memFree=31407796/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[startup+0.0415411 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 31985
/proc/meminfo: memFree=31407796/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 31985
/proc/meminfo: memFree=31407796/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 31985
/proc/meminfo: memFree=31407796/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 31985
/proc/meminfo: memFree=31407796/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/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/180 31987
/proc/meminfo: memFree=31399116/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=10796 CPUtime=1.49 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 2427 0 0 0 149 0 0 0 20 0 1 0 282510197 11055104 2363 33554432000 4194304 6212839 140734565112896 140734565111192 4683144 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 2699 2363 234 493 0 2204 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19948
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31987
/proc/meminfo: memFree=31397256/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=12052 CPUtime=3.09 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 2753 0 0 0 309 0 0 0 20 0 1 0 282510197 12341248 2689 33554432000 4194304 6212839 140734565112896 140734565110904 5437001 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 3013 2689 234 493 0 2518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21204
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31987
/proc/meminfo: memFree=31392172/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=15740 CPUtime=6.28 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 3654 0 0 0 628 0 0 0 20 0 1 0 282510197 16117760 3601 33554432000 4194304 6212839 140734565112896 140734565111192 4683420 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 3935 3601 234 493 0 3440 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24892
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31987
/proc/meminfo: memFree=31388516/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=17792 CPUtime=12.68 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 4139 0 0 0 1268 0 0 0 20 0 1 0 282510197 18219008 4086 33554432000 4194304 6212839 140734565112896 140734565111064 4328957 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 4448 4086 234 493 0 3953 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26944
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31987
/proc/meminfo: memFree=31381720/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=22972 CPUtime=25.48 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 5336 0 0 0 2548 0 0 0 20 0 1 0 282510197 23523328 5283 33554432000 4194304 6212839 140734565112896 140734565111064 4333776 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 5743 5283 234 493 0 5248 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32124
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31987
/proc/meminfo: memFree=31373892/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=27144 CPUtime=51.07 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 6475 0 0 0 5107 0 0 0 20 0 1 0 282510197 27795456 6476 33554432000 4194304 6212839 140734565112896 140734565111192 4356900 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 6786 6476 234 493 0 6291 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36296
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31987
/proc/meminfo: memFree=31359812/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=38328 CPUtime=102.27 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 8857 0 0 0 10226 1 0 0 20 0 1 0 282510197 39247872 8864 33554432000 4194304 6212839 140734565112896 140734565111192 4307696 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 9582 8864 234 493 0 9087 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47480
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31987
/proc/meminfo: memFree=31351988/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=41464 CPUtime=162.25 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 9730 0 0 0 16224 1 0 0 20 0 1 0 282510197 42459136 9913 33554432000 4194304 6212839 140734565112896 140734565111064 4421920 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 10366 9913 234 493 0 9871 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50616
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31988
/proc/meminfo: memFree=31344664/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=44824 CPUtime=222.25 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 10626 0 0 0 22223 2 0 0 20 0 1 0 282510197 45899776 10880 33554432000 4194304 6212839 140734565112896 140734565111064 4421925 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 11206 10880 234 493 0 10711 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 53976
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31988
/proc/meminfo: memFree=31339820/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=47348 CPUtime=282.23 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 11265 0 0 0 28221 2 0 0 20 0 1 0 282510197 48484352 11519 33554432000 4194304 6212839 140734565112896 140734565111048 4674599 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 11837 11519 234 493 0 11342 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 56500
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 31988
/proc/meminfo: memFree=31333864/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=50952 CPUtime=342.22 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 12139 0 0 0 34220 2 0 0 20 0 1 0 282510197 52174848 12384 33554432000 4194304 6212839 140734565112896 140734565111064 4335016 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 12738 12384 234 493 0 12243 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 60104
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 31988
/proc/meminfo: memFree=31331192/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=75772 CPUtime=1062.1 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 17521 0 0 0 106207 3 0 0 20 0 1 0 282510197 77590528 18587 33554432000 4194304 6212839 140734565112896 140734565111048 4307687 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 18943 18587 234 493 0 18448 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 84924
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31995
/proc/meminfo: memFree=31294020/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=77204 CPUtime=1122.1 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 17856 0 0 0 112206 4 0 0 20 0 1 0 282510197 79056896 18977 33554432000 4194304 6212839 140734565112896 140734565110904 4421959 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 19301 18977 234 493 0 18806 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 86356
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31998
/proc/meminfo: memFree=31292956/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=78340 CPUtime=1182.09 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 18115 0 0 0 118205 4 0 0 20 0 1 0 282510197 80220160 19233 33554432000 4194304 6212839 140734565112896 140734565111192 4307720 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 19585 19233 234 493 0 19090 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 87492
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31998
/proc/meminfo: memFree=31291040/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=79436 CPUtime=1242.08 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 18367 0 0 0 124204 4 0 0 20 0 1 0 282510197 81342464 19521 33554432000 4194304 6212839 140734565112896 140734565111192 4307846 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 19859 19521 234 493 0 19364 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 88588
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31998
/proc/meminfo: memFree=31289924/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=80136 CPUtime=1302.08 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 18516 0 0 0 130204 4 0 0 20 0 1 0 282510197 82059264 19670 33554432000 4194304 6212839 140734565112896 140734565111192 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 20034 19670 234 493 0 19539 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 89288
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 31998
/proc/meminfo: memFree=31288560/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=81444 CPUtime=1362.06 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 18799 0 0 0 136202 4 0 0 20 0 1 0 282510197 83398656 19953 33554432000 4194304 6212839 140734565112896 140734565111048 4307767 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 20361 19953 234 493 0 19866 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 90596
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31999
/proc/meminfo: memFree=31287316/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=81880 CPUtime=1422.06 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 18904 0 0 0 142202 4 0 0 20 0 1 0 282510197 83845120 20114 33554432000 4194304 6212839 140734565112896 140734565111304 4670461 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 20470 20114 234 493 0 19975 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 91032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31999
/proc/meminfo: memFree=31285888/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=82724 CPUtime=1482.04 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19099 0 0 0 148200 4 0 0 20 0 1 0 282510197 84709376 20356 33554432000 4194304 6212839 140734565112896 140734565111048 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 20681 20356 234 493 0 20186 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 91876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31999
/proc/meminfo: memFree=31285144/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=83548 CPUtime=1542.03 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19248 0 0 0 154199 4 0 0 20 0 1 0 282510197 85553152 20505 33554432000 4194304 6212839 140734565112896 140734565111048 4356934 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 20887 20505 234 493 0 20392 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 92700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31999
/proc/meminfo: memFree=31284028/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=84300 CPUtime=1602.02 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19445 0 0 0 160198 4 0 0 20 0 1 0 282510197 86323200 20692 33554432000 4194304 6212839 140734565112896 140734565111048 4357173 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 21075 20692 234 493 0 20580 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 93452
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31999
/proc/meminfo: memFree=31283220/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=84952 CPUtime=1662.01 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19573 0 0 0 166197 4 0 0 20 0 1 0 282510197 86990848 20891 33554432000 4194304 6212839 140734565112896 140734565111048 4307708 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 21238 20891 234 493 0 20743 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 94104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32000
/proc/meminfo: memFree=31282600/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=85792 CPUtime=1722.01 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19775 0 0 0 172196 5 0 0 20 0 1 0 282510197 87851008 21093 33554432000 4194304 6212839 140734565112896 140734565111048 4683079 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 21448 21093 234 493 0 20953 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 94944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32003
/proc/meminfo: memFree=31281228/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=86272 CPUtime=1782 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19851 0 0 0 178195 5 0 0 20 0 1 0 282510197 88342528 21169 33554432000 4194304 6212839 140734565112896 140734565111048 4334688 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 21568 21169 234 493 0 21073 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 95424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32043
/proc/meminfo: memFree=31323476/32873844 swapFree=7112/7112
[pid=31985] ppid=31983 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/31985/stat : 31985 (clasp-opt.sh) S 31983 31985 30483 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282510197 9371648 275 33554432000 4194304 5064252 140736537254288 140736537253200 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31985/statm: 2288 275 232 213 0 73 0
[pid=31986] ppid=31985 vsize=86272 CPUtime=1800.1 cores=0,2,4,6
/proc/31986/stat : 31986 (clasp-R5325) R 31985 31985 30483 0 -1 4202496 19866 0 0 0 180005 5 0 0 20 0 1 0 282510197 88342528 21184 33554432000 4194304 6212839 140734565112896 140734565111048 4411590 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/31986/statm: 21568 21184 234 493 0 21073 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 95424
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.06
CPU system time (s): 0.054991
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 95424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.054991
maximum resident set size= 84764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20238
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= 37
involuntary context switches= 1867
runsolver used 3.60445 second user time and 9.34258 second system time
The end