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-3709064-1338147404/watcher-3709064-1338147404 -o /tmp/evaluation-result-3709064-1338147404/solver-3709064-1338147404 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709064-1338147404.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: 0.94 1.43 1.76 4/175 30526
/proc/meminfo: memFree=31426280/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (runsolver) D 30522 30524 30483 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 280866093 12095488 51 33554432000 4194304 5436572 140734938390928 140734938387224 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/30524/statm: 2953 51 31 304 0 2645 0
[startup+0.101878 s]
/proc/loadavg: 0.94 1.43 1.76 4/175 30526
/proc/meminfo: memFree=31426280/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.200272 s]
/proc/loadavg: 0.94 1.43 1.76 4/175 30526
/proc/meminfo: memFree=31426280/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300248 s]
/proc/loadavg: 0.94 1.43 1.76 4/175 30526
/proc/meminfo: memFree=31426280/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700228 s]
/proc/loadavg: 0.94 1.43 1.76 4/175 30526
/proc/meminfo: memFree=31426280/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/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: 1.02 1.44 1.76 3/179 30530
/proc/meminfo: memFree=31418304/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=6240 CPUtime=1.43 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 1306 0 0 0 143 0 0 0 20 0 1 0 280866099 6389760 1257 33554432000 4194304 6212839 140734600565712 140734600563864 4661310 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 1560 1257 232 493 0 1065 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 15392
[startup+3.10027 s]
/proc/loadavg: 1.02 1.44 1.76 3/179 30530
/proc/meminfo: memFree=31415428/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=7444 CPUtime=3.03 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 1585 0 0 0 303 0 0 0 20 0 1 0 280866099 7622656 1536 33554432000 4194304 6212839 140734600565712 140734600563720 4745652 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 1861 1536 232 493 0 1366 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 16596
[startup+6.30026 s]
/proc/loadavg: 1.02 1.44 1.76 3/179 30530
/proc/meminfo: memFree=31411956/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=8644 CPUtime=6.22 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 1897 0 0 0 622 0 0 0 20 0 1 0 280866099 8851456 1833 33554432000 4194304 6212839 140734600565712 140734600563720 4356866 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 2161 1833 232 493 0 1666 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 17796
[startup+12.7003 s]
/proc/loadavg: 1.17 1.46 1.77 3/179 30530
/proc/meminfo: memFree=31407812/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=10308 CPUtime=12.62 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 2328 0 0 0 1262 0 0 0 20 0 1 0 280866099 10555392 2264 33554432000 4194304 6212839 140734600565712 140734600564008 4298183 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 2577 2264 232 493 0 2082 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 19460
[startup+25.5003 s]
/proc/loadavg: 1.30 1.48 1.77 3/179 30530
/proc/meminfo: memFree=31402720/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=12388 CPUtime=25.42 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 2854 0 0 0 2542 0 0 0 20 0 1 0 280866099 12685312 2784 33554432000 4194304 6212839 140734600565712 140734600563864 4308037 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 3097 2784 232 493 0 2602 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 21540
[startup+51.1004 s]
/proc/loadavg: 1.54 1.52 1.77 3/179 30530
/proc/meminfo: memFree=31397016/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=15876 CPUtime=51.01 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 3762 0 0 0 5101 0 0 0 20 0 1 0 280866099 16257024 3653 33554432000 4194304 6212839 140734600565712 140734600563864 4674407 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 3969 3653 232 493 0 3474 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 25028
[startup+102.3 s]
/proc/loadavg: 1.81 1.60 1.78 3/179 30530
/proc/meminfo: memFree=31387832/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=20104 CPUtime=102.2 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 4774 0 0 0 10220 0 0 0 20 0 1 0 280866099 20586496 4674 33554432000 4194304 6212839 140734600565712 140734600563864 4674405 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 5026 4674 232 493 0 4531 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 29256
[startup+162.3 s]
/proc/loadavg: 1.93 1.67 1.79 3/179 30531
/proc/meminfo: memFree=31380940/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=23020 CPUtime=162.19 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 5487 0 0 0 16219 0 0 0 20 0 1 0 280866099 23572480 5414 33554432000 4194304 6212839 140734600565712 140734600563720 4685458 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 5755 5414 232 493 0 5260 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 32172
[startup+222.307 s]
/proc/loadavg: 1.97 1.73 1.81 3/180 30534
/proc/meminfo: memFree=31376152/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=25380 CPUtime=222.19 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 6050 0 0 0 22218 1 0 0 20 0 1 0 280866099 25989120 6020 33554432000 4194304 6212839 140734600565712 140734600563720 4674569 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 6345 6020 232 493 0 5850 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 34532
[startup+282.3 s]
/proc/loadavg: 1.99 1.77 1.82 3/179 30534
/proc/meminfo: memFree=31372744/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=27064 CPUtime=282.18 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 6457 0 0 0 28217 1 0 0 20 0 1 0 280866099 27713536 6430 33554432000 4194304 6212839 140734600565712 140734600563864 4674896 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 6766 6430 232 493 0 6271 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 36216
[startup+342.3 s]
/proc/loadavg: 1.99 1.81 1.82 3/179 30534
/proc/meminfo: memFree=31369024/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=28852 CPUtime=342.16 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 6974 0 0 0 34215 1 0 0 20 0 1 0 280866099 29544448 6835 33554432000 4194304 6212839 140734600565712 140734600564008 4421925 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 7213 6835 232 493 0 6718 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 38004
[startup+402.3 s]
/proc/loadavg: 1.99 1.84 1.83 3/179 30534
/proc/meminfo: memFree=31365484/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=41100 CPUtime=1122.04 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 9830 0 0 0 112202 2 0 0 20 0 1 0 280866099 42086400 9939 33554432000 4194304 6212839 140734600565712 140734600563864 4421873 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10275 9939 232 493 0 9780 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 50252
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 30540
/proc/meminfo: memFree=31344444/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=41736 CPUtime=1182.04 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 9956 0 0 0 118201 3 0 0 20 0 1 0 280866099 42737664 10065 33554432000 4194304 6212839 140734600565712 140734600563864 4683100 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10434 10065 232 493 0 9939 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 50888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30540
/proc/meminfo: memFree=31343576/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=41904 CPUtime=1242.03 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 9974 0 0 0 124200 3 0 0 20 0 1 0 280866099 42909696 10083 33554432000 4194304 6212839 140734600565712 140734600563864 4676492 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10476 10083 232 493 0 9981 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 51056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30540
/proc/meminfo: memFree=31343452/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=41904 CPUtime=1302.02 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 9997 0 0 0 130199 3 0 0 20 0 1 0 280866099 42909696 10106 33554432000 4194304 6212839 140734600565712 140734600563864 4411578 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10476 10106 232 493 0 9981 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 51056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/179 30541
/proc/meminfo: memFree=31342832/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=42220 CPUtime=1362.01 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10060 0 0 0 136198 3 0 0 20 0 1 0 280866099 43233280 10169 33554432000 4194304 6212839 140734600565712 140734600563864 4676484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10555 10169 232 493 0 10060 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 51372
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 30544
/proc/meminfo: memFree=31342140/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=42448 CPUtime=1422.01 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10121 0 0 0 142198 3 0 0 20 0 1 0 280866099 43466752 10306 33554432000 4194304 6212839 140734600565712 140734600563864 4298186 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10612 10306 232 493 0 10117 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 51600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 30567
/proc/meminfo: memFree=31341388/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=42988 CPUtime=1481.99 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10216 0 0 0 148196 3 0 0 20 0 1 0 280866099 44019712 10401 33554432000 4194304 6212839 140734600565712 140734600563864 4681562 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10747 10401 232 493 0 10252 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 52140
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30567
/proc/meminfo: memFree=31340900/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=43128 CPUtime=1541.99 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10252 0 0 0 154196 3 0 0 20 0 1 0 280866099 44163072 10437 33554432000 4194304 6212839 140734600565712 140734600563864 4357006 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10782 10437 232 493 0 10287 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 52280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30567
/proc/meminfo: memFree=31340652/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=43492 CPUtime=1601.97 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10322 0 0 0 160194 3 0 0 20 0 1 0 280866099 44535808 10507 33554432000 4194304 6212839 140734600565712 140734600564008 4674290 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10873 10507 232 493 0 10378 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 52644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30568
/proc/meminfo: memFree=31339844/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=43632 CPUtime=1661.96 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10352 0 0 0 166193 3 0 0 20 0 1 0 280866099 44679168 10537 33554432000 4194304 6212839 140734600565712 140734600563864 4307907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10908 10537 232 493 0 10413 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 52784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/179 30568
/proc/meminfo: memFree=31339472/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=43688 CPUtime=1721.95 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10388 0 0 0 172192 3 0 0 20 0 1 0 280866099 44736512 10573 33554432000 4194304 6212839 140734600565712 140734600564008 4424505 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10922 10573 232 493 0 10427 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 52840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30568
/proc/meminfo: memFree=31338976/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=43940 CPUtime=1781.94 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10426 0 0 0 178191 3 0 0 20 0 1 0 280866099 44994560 10611 33554432000 4194304 6212839 140734600565712 140734600563864 4743856 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 10985 10611 232 493 0 10490 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 53092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 4/179 30568
/proc/meminfo: memFree=31338728/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=44080 CPUtime=1800.05 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10453 0 0 0 180002 3 0 0 20 0 1 0 280866099 45137920 10638 33554432000 4194304 6212839 140734600565712 140734600563864 4298193 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 11020 10638 232 493 0 10525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 53232
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 4/179 30568
/proc/meminfo: memFree=31338728/32873844 swapFree=7112/7112
[pid=30524] ppid=30522 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30524/stat : 30524 (clasp-opt.sh) S 30522 30524 30483 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280866093 9371648 274 33554432000 4194304 5064252 140737003109536 140737003108448 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 6 0 0
/proc/30524/statm: 2288 274 232 213 0 73 0
[pid=30530] ppid=30524 vsize=44080 CPUtime=1800.05 cores=0,2,4,6
/proc/30530/stat : 30530 (clasp-R5325) R 30524 30524 30483 0 -1 4202496 10453 0 0 0 180002 3 0 0 20 0 1 0 280866099 45137920 10638 33554432000 4194304 6212839 140734600565712 140734600563864 4298193 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30530/statm: 11020 10638 232 493 0 10525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 53232
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1800.02
CPU system time (s): 0.038994
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 53232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.038994
maximum resident set size= 42584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10824
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= 1946
runsolver used 7.74282 second user time and 18.3632 second system time
The end