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-3735643-1338725301/watcher-3735643-1338725301 -o /tmp/evaluation-result-3735643-1338725301/solver-3735643-1338725301 -C 1800 -W 1900 -M 15500 pbclasp instance-3735643-1338725301.opb HOME/temp
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 2.00 2.00 3/178 16267
/proc/meminfo: memFree=27501140/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) R 16265 16267 11312 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 338654457 26206208 465 33554432000 4194304 4198148 140733619048960 140733619046408 251069394231 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/16267/statm: 6398 465 345 1 0 193 0
[startup+0.057888 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16267
/proc/meminfo: memFree=27501140/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26276 CPUtime=0.03 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 754 0 0 0 3 0 0 0 20 0 1 0 338654457 26906624 669 33554432000 4194304 4198148 140733619048960 140733619047848 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16267/statm: 6569 669 368 1 0 364 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26276
[startup+0.100283 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16267
/proc/meminfo: memFree=27501140/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26276 CPUtime=0.03 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 754 0 0 0 3 0 0 0 20 0 1 0 338654457 26906624 669 33554432000 4194304 4198148 140733619048960 140733619047848 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16267/statm: 6569 669 368 1 0 364 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26276
[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16267
/proc/meminfo: memFree=27501140/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26276 CPUtime=0.03 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 754 0 0 0 3 0 0 0 20 0 1 0 338654457 26906624 669 33554432000 4194304 4198148 140733619048960 140733619047848 251048027376 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16267/statm: 6569 669 368 1 0 364 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26276
[startup+0.700272 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16267
/proc/meminfo: memFree=27501140/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=0.45 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 930 2100 0 0 3 0 42 0 20 0 1 0 338654457 27176960 734 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16267/statm: 6635 734 387 1 0 430 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 26540
[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16285
/proc/meminfo: memFree=27491356/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=1.4 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 1310 14371 0 0 4 0 133 3 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 26540
[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16317
/proc/meminfo: memFree=27495852/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=2.99 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 1896 34839 0 0 5 0 284 10 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 26540
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16357
/proc/meminfo: memFree=27490800/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=10208 CPUtime=2.64 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 2202 0 0 0 264 0 0 0 20 0 1 0 338654823 10452992 2017 33554432000 134512640 134847168 4289605136 4289603904 134617555 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 2552 2017 270 82 0 1793 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 45896
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 16357
/proc/meminfo: memFree=27486764/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=14184 CPUtime=9.04 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 3187 0 0 0 904 0 0 0 20 0 1 0 338654823 14524416 3002 33554432000 134512640 134847168 4289605136 4289603760 134784608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 3546 3002 270 82 0 2787 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 49872
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 16357
/proc/meminfo: memFree=27483488/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=17740 CPUtime=21.83 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 4090 0 0 0 2183 0 0 0 20 0 1 0 338654823 18165760 3906 33554432000 134512640 134847168 4289605136 4289603760 134784622 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 4435 3906 270 82 0 3676 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 53428
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 16357
/proc/meminfo: memFree=27476660/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=21008 CPUtime=47.42 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 4907 0 0 0 4742 0 0 0 20 0 1 0 338654823 21512192 4727 33554432000 134512640 134847168 4289605136 4289603828 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 5252 4727 270 82 0 4493 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 56696
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 16360
/proc/meminfo: memFree=27462040/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=24460 CPUtime=98.63 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 5750 0 0 0 9862 1 0 0 20 0 1 0 338654823 25047040 5569 33554432000 134512640 134847168 4289605136 4289603760 134784625 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 6115 5569 270 82 0 5356 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 60148
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16360
/proc/meminfo: memFree=27447432/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=27428 CPUtime=158.6 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 6461 0 0 0 15859 1 0 0 20 0 1 0 338654823 28086272 6295 33554432000 134512640 134847168 4289605136 4289603828 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 6857 6295 270 82 0 6098 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 63116
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16360
/proc/meminfo: memFree=27436444/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=30904 CPUtime=218.59 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 7334 0 0 0 21858 1 0 0 20 0 1 0 338654823 31645696 7182 33554432000 134512640 134847168 4289605136 4289603760 134784690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 7726 7182 270 82 0 6967 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 66592
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16360
/proc/meminfo: memFree=27428624/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=3.61 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2131 43025 0 0 5 0 344 12 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16355] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16355/stat : 16355 (sh) S 16267 16267 11312 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338654822 9367552 264 33554432000 4194304 5064252 140736688924272 140736688922528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16355/statm: 2287 264 223 213 0 72 0
[pid=16357] ppid=16355 vsize=31960 CPUtime=278.58 cores=1,3,5,7
/proc/16357/stat : 16357 (clasp-1.0) R 16355 16267 11312 0 -1 4202496 7594 0 0 0 27857 1 0 0 20 0 1 0 338654823 32727040 7442 33554432000 134512640 134847168 4289605136 4289603872 134741030 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16357/statm: 7990 7442 270 82 0 7231 0
Current children cumulated CPU time (s) 282.19
################
# More data... #
################
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=39524 CPUtime=594.85 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 9544 0 0 0 59480 5 0 0 20 0 1 0 338737193 40472576 9288 33554432000 134512640 134847168 4289189056 4289187748 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 9881 9288 270 82 0 9122 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 75212
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16519
/proc/meminfo: memFree=27443992/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=40992 CPUtime=654.83 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 9902 0 0 0 65478 5 0 0 20 0 1 0 338737193 41975808 9646 33554432000 134512640 134847168 4289189056 4289187680 134784806 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10248 9646 270 82 0 9489 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 76680
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 16520
/proc/meminfo: memFree=27441320/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=40408 CPUtime=714.82 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 9902 0 0 0 71477 5 0 0 20 0 1 0 338737193 41377792 9532 33554432000 134512640 134847168 4289189056 4289187748 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10102 9532 270 82 0 9343 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 76096
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 16520
/proc/meminfo: memFree=27438404/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=41268 CPUtime=774.81 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 10094 0 0 0 77476 5 0 0 20 0 1 0 338737193 42258432 9731 33554432000 134512640 134847168 4289189056 4289187440 134735898 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10317 9731 270 82 0 9558 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 76956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16520
/proc/meminfo: memFree=27436540/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=41268 CPUtime=834.8 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 10106 0 0 0 83475 5 0 0 20 0 1 0 338737193 42258432 9743 33554432000 134512640 134847168 4289189056 4289187792 134741032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10317 9743 270 82 0 9558 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 76956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16520
/proc/meminfo: memFree=27436540/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=41268 CPUtime=894.79 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 10114 0 0 0 89474 5 0 0 20 0 1 0 338737193 42258432 9751 33554432000 134512640 134847168 4289189056 4289187680 134784617 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10317 9751 270 82 0 9558 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 76956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16520
/proc/meminfo: memFree=27436044/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=41796 CPUtime=954.78 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 10235 0 0 0 95473 5 0 0 20 0 1 0 338737193 42799104 9872 33554432000 134512640 134847168 4289189056 4289187680 134784643 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10449 9872 270 82 0 9690 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 77484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16520
/proc/meminfo: memFree=27435796/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=827.18 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2233 55068 0 0 5 0 82696 17 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16380] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16380/stat : 16380 (sh) S 16267 16267 11312 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338737192 9367552 264 33554432000 4194304 5064252 140735807777168 140735807775424 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16380/statm: 2287 264 223 213 0 72 0
[pid=16382] ppid=16380 vsize=41928 CPUtime=972.89 cores=1,3,5,7
/proc/16382/stat : 16382 (clasp-1.0) R 16380 16267 11312 0 -1 4202496 10278 0 0 0 97284 5 0 0 20 0 1 0 338737193 42934272 9915 33554432000 134512640 134847168 4289189056 4289187792 134741032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16382/statm: 10482 9915 270 82 0 9723 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 77616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16267
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16539
/proc/meminfo: memFree=27541688/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=1800.11 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2399 68123 0 0 5 1 179981 24 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16530] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16530/stat : 16530 (sh) S 16267 16267 11312 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338834500 9367552 263 33554432000 4194304 5064252 140735455965152 140735455963408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 2287 263 223 213 0 72 0
[pid=16532] ppid=16530 vsize=9940 CPUtime=0.96 cores=1,3,5,7
/proc/16532/stat : 16532 (clasp-1.0) R 16530 16267 11312 0 -1 4202496 2143 0 0 0 96 0 0 0 20 0 1 0 338834500 10178560 1959 33554432000 134512640 134847168 4292943680 4292942448 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16532/statm: 2485 1959 272 82 0 1726 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 45628
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16539
/proc/meminfo: memFree=27525428/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=1800.11 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2399 68123 0 0 5 1 179981 24 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16530] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16530/stat : 16530 (sh) S 16267 16267 11312 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338834500 9367552 263 33554432000 4194304 5064252 140735455965152 140735455963408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 2287 263 223 213 0 72 0
[pid=16532] ppid=16530 vsize=9940 CPUtime=1.76 cores=1,3,5,7
/proc/16532/stat : 16532 (clasp-1.0) R 16530 16267 11312 0 -1 4202496 2145 0 0 0 176 0 0 0 20 0 1 0 338834500 10178560 1961 33554432000 134512640 134847168 4292943680 4292942304 134784541 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16532/statm: 2485 1961 272 82 0 1726 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 45628
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16539
/proc/meminfo: memFree=27525428/32873844 swapFree=7628/7628
[pid=16267] ppid=16265 vsize=26540 CPUtime=1800.11 cores=1,3,5,7
/proc/16267/stat : 16267 (pbclasp) S 16265 16267 11312 0 -1 4202496 2399 68123 0 0 5 1 179981 24 20 0 1 0 338654457 27176960 738 33554432000 4194304 4198148 140733619048960 140733619047888 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16267/statm: 6635 738 387 1 0 430 0
[pid=16530] ppid=16267 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16530/stat : 16530 (sh) S 16267 16267 11312 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338834500 9367552 263 33554432000 4194304 5064252 140735455965152 140735455963408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 2287 263 223 213 0 72 0
[pid=16532] ppid=16530 vsize=9940 CPUtime=1.96 cores=1,3,5,7
/proc/16532/stat : 16532 (clasp-1.0) R 16530 16267 11312 0 -1 4202496 2145 0 0 0 196 0 0 0 20 0 1 0 338834500 10178560 1961 33554432000 134512640 134847168 4292943680 4292942448 134617539 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16532/statm: 2485 1961 272 82 0 1726 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 45628
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1801.85
CPU system time (s): 0.269958
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 77616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.85
system time used= 0.269958
maximum resident set size= 39660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1699
involuntary context switches= 2037
runsolver used 6.75997 second user time and 19.474 second system time
The end