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-3709053-1338146821/watcher-3709053-1338146821 -o /tmp/evaluation-result-3709053-1338146821/solver-3709053-1338146821 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709053-1338146821.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 17645
/proc/meminfo: memFree=31437016/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[startup+0.0452909 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 17645
/proc/meminfo: memFree=31437016/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100277 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 17645
/proc/meminfo: memFree=31437016/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300195 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 17645
/proc/meminfo: memFree=31437016/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70021 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 17645
/proc/meminfo: memFree=31437016/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 17647
/proc/meminfo: memFree=31433148/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=6120 CPUtime=1.49 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 1259 0 0 0 149 0 0 0 20 0 1 0 280807479 6266880 1208 33554432000 4194304 6212839 140733757866240 140733757864248 4330637 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 1530 1208 232 493 0 1035 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15272
[startup+3.10025 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 17647
/proc/meminfo: memFree=31432280/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=7224 CPUtime=3.09 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 1536 0 0 0 309 0 0 0 20 0 1 0 280807479 7397376 1485 33554432000 4194304 6212839 140733757866240 140733757864248 4737658 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 1806 1485 232 493 0 1311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16376
[startup+6.30027 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 17647
/proc/meminfo: memFree=31430544/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=8784 CPUtime=6.29 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 1929 0 0 0 629 0 0 0 20 0 1 0 280807479 8994816 1878 33554432000 4194304 6212839 140733757866240 140733757864248 4326128 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 2196 1878 232 493 0 1701 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17936
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 17647
/proc/meminfo: memFree=31427700/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=10764 CPUtime=12.69 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 2474 0 0 0 1269 0 0 0 20 0 1 0 280807479 11022336 2360 33554432000 4194304 6212839 140733757866240 140733757864536 4676484 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 2691 2360 232 493 0 2196 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19916
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 17647
/proc/meminfo: memFree=31425344/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=13312 CPUtime=25.48 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 3124 0 0 0 2548 0 0 0 20 0 1 0 280807479 13631488 3003 33554432000 4194304 6212839 140733757866240 140733757864392 4683129 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 3328 3003 232 493 0 2833 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22464
[startup+51.1003 s]
/proc/loadavg: 2.13 2.02 1.86 3/181 17688
/proc/meminfo: memFree=31438944/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=16652 CPUtime=51.07 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 4074 0 0 0 5107 0 0 0 20 0 1 0 280807479 17051648 3852 33554432000 4194304 6212839 140733757866240 140733757864392 4685283 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 4163 3852 232 493 0 3668 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25804
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 1.87 3/181 17688
/proc/meminfo: memFree=31428272/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=20632 CPUtime=102.28 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 5050 0 0 0 10227 1 0 0 20 0 1 0 280807479 21127168 4841 33554432000 4194304 6212839 140733757866240 140733757864536 4674896 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 5158 4841 232 493 0 4663 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29784
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/181 17688
/proc/meminfo: memFree=31421628/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=23488 CPUtime=162.26 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 5704 0 0 0 16225 1 0 0 20 0 1 0 280807479 24051712 5527 33554432000 4194304 6212839 140733757866240 140733757864392 4298175 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/17646/statm: 5872 5527 232 493 0 5377 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 32640
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/182 17691
/proc/meminfo: memFree=31416840/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=25588 CPUtime=222.24 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 6219 0 0 0 22223 1 0 0 20 0 1 0 280807479 26202112 6046 33554432000 4194304 6212839 140733757866240 140733757864392 4683100 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 6397 6046 232 493 0 5902 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34740
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/181 17691
/proc/meminfo: memFree=31411760/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=27992 CPUtime=282.23 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 6796 0 0 0 28222 1 0 0 20 0 1 0 280807479 28663808 6651 33554432000 4194304 6212839 140733757866240 140733757864392 4737667 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 6998 6651 232 493 0 6503 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37144
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/180 17692
/proc/meminfo: memFree=31408788/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=29852 CPUtime=342.22 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 7236 0 0 0 34221 1 0 0 20 0 1 0 280807479 30568448 7120 33554432000 4194304 6212839 140733757866240 140733757864248 4298171 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 7463 7120 232 493 0 6968 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 39004
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 17693
/proc/meminfo: memFree=31404684/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=40720 CPUtime=1122.1 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 9912 0 0 0 112208 2 0 0 20 0 1 0 280807479 41697280 9847 33554432000 4194304 6212839 140733757866240 140733757864392 4662616 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10180 9847 232 493 0 9685 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 49872
[startup+1182.3 s]
/proc/loadavg: 2.12 2.05 1.94 3/181 17698
/proc/meminfo: memFree=31384576/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=41412 CPUtime=1182.1 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10039 0 0 0 118208 2 0 0 20 0 1 0 280807479 42405888 9974 33554432000 4194304 6212839 140733757866240 140733757864392 4421925 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10353 9974 232 493 0 9858 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 50564
[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 1.95 3/182 17699
/proc/meminfo: memFree=31383328/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=41720 CPUtime=1242.09 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10114 0 0 0 124207 2 0 0 20 0 1 0 280807479 42721280 10049 33554432000 4194304 6212839 140733757866240 140733757864392 4744141 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10430 10049 232 493 0 9935 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 50872
[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 1.95 3/181 17700
/proc/meminfo: memFree=31382900/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=41720 CPUtime=1302.08 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10125 0 0 0 130206 2 0 0 20 0 1 0 280807479 42721280 10060 33554432000 4194304 6212839 140733757866240 140733757864392 4307907 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10430 10060 232 493 0 9935 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 50872
[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 1.96 3/181 17700
/proc/meminfo: memFree=31382900/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=42060 CPUtime=1362.07 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10180 0 0 0 136205 2 0 0 20 0 1 0 280807479 43069440 10115 33554432000 4194304 6212839 140733757866240 140733757864392 4421920 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10515 10115 232 493 0 10020 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 51212
[startup+1422.31 s]
/proc/loadavg: 2.11 2.07 1.96 3/182 17703
/proc/meminfo: memFree=31382272/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=42424 CPUtime=1422.07 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10251 0 0 0 142205 2 0 0 20 0 1 0 280807479 43442176 10186 33554432000 4194304 6212839 140733757866240 140733757864392 4298110 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10606 10186 232 493 0 10111 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 51576
[startup+1482.3 s]
/proc/loadavg: 2.17 2.08 1.97 3/181 17703
/proc/meminfo: memFree=31381472/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=42424 CPUtime=1482.05 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10275 0 0 0 148203 2 0 0 20 0 1 0 280807479 43442176 10292 33554432000 4194304 6212839 140733757866240 140733757864392 4685336 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10606 10292 232 493 0 10111 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 51576
[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 1.97 3/181 17703
/proc/meminfo: memFree=31380604/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=43156 CPUtime=1542.04 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10458 0 0 0 154202 2 0 0 20 0 1 0 280807479 44191744 10475 33554432000 4194304 6212839 140733757866240 140733757864536 4421933 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10789 10475 232 493 0 10294 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 52308
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 1.97 3/181 17704
/proc/meminfo: memFree=31380232/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=43560 CPUtime=1602.03 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10546 0 0 0 160201 2 0 0 20 0 1 0 280807479 44605440 10563 33554432000 4194304 6212839 140733757866240 140733757864536 4298163 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10890 10563 232 493 0 10395 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 52712
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 1.98 3/181 17704
/proc/meminfo: memFree=31379736/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=43700 CPUtime=1662.02 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10568 0 0 0 166200 2 0 0 20 0 1 0 280807479 44748800 10585 33554432000 4194304 6212839 140733757866240 140733757864392 4685291 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10925 10585 232 493 0 10430 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 52852
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/181 17704
/proc/meminfo: memFree=31379240/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=43872 CPUtime=1722.01 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10619 0 0 0 172199 2 0 0 20 0 1 0 280807479 44924928 10636 33554432000 4194304 6212839 140733757866240 140733757864536 4411581 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 10968 10636 232 493 0 10473 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 53024
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 1.98 3/181 17704
/proc/meminfo: memFree=31378556/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=44232 CPUtime=1782 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10679 0 0 0 178198 2 0 0 20 0 1 0 280807479 45293568 10696 33554432000 4194304 6212839 140733757866240 140733757864392 4333789 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 11058 10696 232 493 0 10563 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 53384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 2.05 1.98 3/181 17704
/proc/meminfo: memFree=31378432/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=44232 CPUtime=1800.01 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10679 0 0 0 179999 2 0 0 20 0 1 0 280807479 45293568 10696 33554432000 4194304 6212839 140733757866240 140733757864392 4743859 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 11058 10696 232 493 0 10563 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 53384
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.05 1.98 3/181 17704
/proc/meminfo: memFree=31378432/32873844 swapFree=7112/7112
[pid=17645] ppid=17643 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17645/stat : 17645 (clasp-opt.sh) S 17643 17645 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280807479 9371648 275 33554432000 4194304 5064252 140734850365744 140734850364656 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17645/statm: 2288 275 232 213 0 73 0
[pid=17646] ppid=17645 vsize=44232 CPUtime=1800.01 cores=1,3,5,7
/proc/17646/stat : 17646 (clasp-R5325) R 17645 17645 4091 0 -1 4202496 10679 0 0 0 179999 2 0 0 20 0 1 0 280807479 45293568 10696 33554432000 4194304 6212839 140733757866240 140733757864392 4743859 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/17646/statm: 11058 10696 232 493 0 10563 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 53384
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.023996
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 53384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.023996
maximum resident set size= 42816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11052
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= 24
involuntary context switches= 2058
runsolver used 3.00954 second user time and 8.47771 second system time
The end