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-3709652-1338179138/watcher-3709652-1338179138 -o /tmp/evaluation-result-3709652-1338179138/solver-3709652-1338179138 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709652-1338179138.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 21443
/proc/meminfo: memFree=30304852/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[startup+0.0412899 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21443
/proc/meminfo: memFree=30304852/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21443
/proc/meminfo: memFree=30304852/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21443
/proc/meminfo: memFree=30304852/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21443
/proc/meminfo: memFree=30304852/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30297868/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=9228 CPUtime=1.49 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 2100 0 0 0 149 0 0 0 20 0 1 0 284042301 9449472 1999 33554432000 4194304 6212839 140733509543856 140733509542024 4683079 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 2307 1999 237 493 0 1812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18380
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30296008/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=10648 CPUtime=3.09 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 2462 0 0 0 309 0 0 0 20 0 1 0 284042301 10903552 2361 33554432000 4194304 6212839 140733509543856 140733509542024 4335617 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 2662 2361 237 493 0 2167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19800
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30293032/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=13320 CPUtime=6.29 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 3126 0 0 0 629 0 0 0 20 0 1 0 284042301 13639680 3025 33554432000 4194304 6212839 140733509543856 140733509542152 5437001 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 3330 3025 237 493 0 2835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22472
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30289352/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=16496 CPUtime=12.69 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 3911 0 0 0 1269 0 0 0 20 0 1 0 284042301 16891904 3798 33554432000 4194304 6212839 140733509543856 140733509541864 4661313 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 4124 3798 237 493 0 3629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25648
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30285508/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=20584 CPUtime=25.48 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 5025 0 0 0 2548 0 0 0 20 0 1 0 284042301 21078016 4808 33554432000 4194304 6212839 140733509543856 140733509541864 4674583 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 5146 4808 237 493 0 4651 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29736
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30280176/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=24992 CPUtime=51.08 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 6211 0 0 0 5108 0 0 0 20 0 1 0 284042301 25591808 5911 33554432000 4194304 6212839 140733509543856 140733509542024 4681518 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 6248 5911 237 493 0 5753 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34144
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21445
/proc/meminfo: memFree=30272464/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=30820 CPUtime=102.27 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 7768 0 0 0 10227 0 0 0 20 0 1 0 284042301 31559680 7389 33554432000 4194304 6212839 140733509543856 140733509542008 4308157 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 7705 7389 237 493 0 7210 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39972
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 21445
/proc/meminfo: memFree=30267188/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=36188 CPUtime=162.26 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 8998 0 0 0 16225 1 0 0 20 0 1 0 284042301 37056512 8596 33554432000 4194304 6212839 140733509543856 140733509542152 4334949 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 9047 8596 237 493 0 8552 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 45340
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21445
/proc/meminfo: memFree=30259244/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=39908 CPUtime=222.25 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 10019 0 0 0 22224 1 0 0 20 0 1 0 284042301 40865792 9650 33554432000 4194304 6212839 140733509543856 140733509542008 4661322 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 9977 9650 237 493 0 9482 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 49060
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21448
/proc/meminfo: memFree=30256016/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=43180 CPUtime=282.24 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 10900 0 0 0 28223 1 0 0 20 0 1 0 284042301 44216320 10412 33554432000 4194304 6212839 140733509543856 140733509542008 4334647 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 10795 10412 237 493 0 10300 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 52332
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21449
/proc/meminfo: memFree=30251672/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=44664 CPUtime=342.22 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 11236 0 0 0 34221 1 0 0 20 0 1 0 284042301 45735936 10816 33554432000 4194304 6212839 140733509543856 140733509542152 4705146 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 11166 10816 237 493 0 10671 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 53816
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21449
/proc/meminfo: memFree=30247700/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=63620 CPUtime=1122.11 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 15662 0 0 0 112208 3 0 0 20 0 1 0 284042301 65146880 15463 33554432000 4194304 6212839 140733509543856 140733509542008 4685433 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 15905 15463 237 493 0 15410 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 72772
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21455
/proc/meminfo: memFree=30210836/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=64380 CPUtime=1182.1 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 15815 0 0 0 118207 3 0 0 20 0 1 0 284042301 65925120 15616 33554432000 4194304 6212839 140733509543856 140733509542008 4411597 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 16095 15616 237 493 0 15600 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 73532
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 21496
/proc/meminfo: memFree=30327756/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=64520 CPUtime=1242.09 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 15875 0 0 0 124206 3 0 0 20 0 1 0 284042301 66068480 15816 33554432000 4194304 6212839 140733509543856 140733509542008 4334798 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 16130 15816 237 493 0 15635 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 73672
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 21496
/proc/meminfo: memFree=30324900/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=65532 CPUtime=1302.09 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16053 0 0 0 130206 3 0 0 20 0 1 0 284042301 67104768 15994 33554432000 4194304 6212839 140733509543856 140733509542008 4685283 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 16383 15994 237 493 0 15888 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 74684
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21496
/proc/meminfo: memFree=30323100/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=66372 CPUtime=1362.07 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16227 0 0 0 136204 3 0 0 20 0 1 0 284042301 67964928 16168 33554432000 4194304 6212839 140733509543856 140733509542008 4705168 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 16593 16168 237 493 0 16098 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 75524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21496
/proc/meminfo: memFree=30321484/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=66544 CPUtime=1422.07 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16262 0 0 0 142204 3 0 0 20 0 1 0 284042301 68141056 16294 33554432000 4194304 6212839 140733509543856 140733509542008 4681500 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 16636 16294 237 493 0 16141 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 75696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 21499
/proc/meminfo: memFree=30320732/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=67564 CPUtime=1482.05 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16484 0 0 0 148202 3 0 0 20 0 1 0 284042301 69185536 16507 33554432000 4194304 6212839 140733509543856 140733509542152 4334784 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 16891 16507 237 493 0 16396 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 76716
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21500
/proc/meminfo: memFree=30319252/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=68660 CPUtime=1542.05 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16716 0 0 0 154202 3 0 0 20 0 1 0 284042301 70307840 16707 33554432000 4194304 6212839 140733509543856 140733509542008 4333789 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 17165 16707 237 493 0 16670 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 77812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21500
/proc/meminfo: memFree=30318632/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=69036 CPUtime=1602.04 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16786 0 0 0 160201 3 0 0 20 0 1 0 284042301 70692864 16772 33554432000 4194304 6212839 140733509543856 140733509542008 4308147 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 17259 16772 237 493 0 16764 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 78188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21500
/proc/meminfo: memFree=30317140/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=69656 CPUtime=1662.03 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 16929 0 0 0 166200 3 0 0 20 0 1 0 284042301 71327744 16989 33554432000 4194304 6212839 140733509543856 140733509542008 4674896 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 17414 16989 237 493 0 16919 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 78808
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 21500
/proc/meminfo: memFree=30316768/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=69876 CPUtime=1722.02 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 17026 0 0 0 172199 3 0 0 20 0 1 0 284042301 71553024 17055 33554432000 4194304 6212839 140733509543856 140733509542152 4683122 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 17469 17055 237 493 0 16974 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 79028
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21500
/proc/meminfo: memFree=30314968/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=72104 CPUtime=1782.01 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 17420 0 0 0 178198 3 0 0 20 0 1 0 284042301 73834496 17564 33554432000 4194304 6212839 140733509543856 140733509542200 4674496 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 18026 17564 237 493 0 17531 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 81256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21500
/proc/meminfo: memFree=30314844/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=72104 CPUtime=1800.01 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 17421 0 0 0 179998 3 0 0 20 0 1 0 284042301 73834496 17565 33554432000 4194304 6212839 140733509543856 140733509542200 4335560 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 18026 17565 237 493 0 17531 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 81256
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.01 2.00 2.00 3/179 21500
/proc/meminfo: memFree=30314844/32873844 swapFree=7108/7108
[pid=21443] ppid=21441 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/21443/stat : 21443 (clasp-opt.sh) S 21441 21443 19533 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284042300 9371648 275 33554432000 4194304 5064252 140733936375392 140733936374304 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21443/statm: 2288 275 232 213 0 73 0
[pid=21444] ppid=21443 vsize=72104 CPUtime=1800.01 cores=0,2,4,6
/proc/21444/stat : 21444 (clasp-R5325) R 21443 21443 19533 0 -1 4202496 17421 0 0 0 179998 3 0 0 20 0 1 0 284042301 73834496 17565 33554432000 4194304 6212839 140733509543856 140733509542200 4335560 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/21444/statm: 18026 17565 237 493 0 17531 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 81256
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.035994
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 81256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.035994
maximum resident set size= 70292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17794
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= 36
involuntary context switches= 2106
runsolver used 2.6046 second user time and 7.2239 second system time
The end