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-3735698-1338725929/watcher-3735698-1338725929 -o /tmp/evaluation-result-3735698-1338725929/solver-3735698-1338725929 -C 1800 -W 1900 -M 15500 pbclasp instance-3735698-1338725929.opb HOME/temp
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: 1.92 1.99 1.99 3/176 21873
/proc/meminfo: memFree=23394852/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) D 21871 21873 27890 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 338721443 26071040 361 33554432000 4194304 4198148 140735904454336 140735904451784 235374722741 0 0 4224 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6365 361 277 1 0 160 0
[startup+0.0725701 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 21873
/proc/meminfo: memFree=23394852/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26136 CPUtime=0.02 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 697 0 0 0 2 0 0 0 20 0 1 0 338721443 26763264 611 33554432000 4194304 4198148 140735904454336 140735904453224 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6534 611 368 1 0 329 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26136
[startup+0.100212 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 21873
/proc/meminfo: memFree=23394852/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26136 CPUtime=0.02 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 697 0 0 0 2 0 0 0 20 0 1 0 338721443 26763264 611 33554432000 4194304 4198148 140735904454336 140735904453224 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6534 611 368 1 0 329 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26136
[startup+0.300177 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 21873
/proc/meminfo: memFree=23394852/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26136 CPUtime=0.02 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 697 0 0 0 2 0 0 0 20 0 1 0 338721443 26763264 611 33554432000 4194304 4198148 140735904454336 140735904453224 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6534 611 368 1 0 329 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26136
[startup+0.700127 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 21873
/proc/meminfo: memFree=23394852/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=0.59 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 1122 9380 0 0 2 0 55 2 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 26264
[startup+1.50013 s]
/proc/loadavg: 1.92 1.99 1.99 3/180 21923
/proc/meminfo: memFree=23391048/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=1.43 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 1949 34928 0 0 3 0 132 8 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 26264
[startup+3.10013 s]
/proc/loadavg: 1.92 1.99 1.99 3/180 21995
/proc/meminfo: memFree=23389544/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=2.97 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 3490 82363 0 0 5 1 271 20 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 26264
[startup+6.30013 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 22235
/proc/meminfo: memFree=23389188/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=6.24 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 7163 195525 0 0 8 3 563 50 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 26264
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 22387
/proc/meminfo: memFree=23385188/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=7.28 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8347 232013 0 0 9 4 655 60 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22385] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (sh) S 21873 21873 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338722175 9367552 264 33554432000 4194304 5064252 140734724077600 140734724075856 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22385/statm: 2287 264 223 213 0 72 0
[pid=22387] ppid=22385 vsize=8972 CPUtime=5.36 cores=0,2,4,6
/proc/22387/stat : 22387 (clasp-1.0) R 22385 21873 27890 0 -1 4202496 1877 0 0 0 536 0 0 0 20 0 1 0 338722175 9187328 1679 33554432000 134512640 134847168 4294570784 4294569552 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22387/statm: 2243 1679 272 82 0 1484 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 44384
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 22387
/proc/meminfo: memFree=23381680/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=7.28 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8347 232013 0 0 9 4 655 60 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22385] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (sh) S 21873 21873 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338722175 9367552 264 33554432000 4194304 5064252 140734724077600 140734724075856 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22385/statm: 2287 264 223 213 0 72 0
[pid=22387] ppid=22385 vsize=10244 CPUtime=18.16 cores=0,2,4,6
/proc/22387/stat : 22387 (clasp-1.0) R 22385 21873 27890 0 -1 4202496 2197 0 0 0 1816 0 0 0 20 0 1 0 338722175 10489856 1999 33554432000 134512640 134847168 4294570784 4294569408 134784617 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22387/statm: 2561 1999 272 82 0 1802 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45656
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 22387
/proc/meminfo: memFree=23375104/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=7.28 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8347 232013 0 0 9 4 655 60 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22385] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (sh) S 21873 21873 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338722175 9367552 264 33554432000 4194304 5064252 140734724077600 140734724075856 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22385/statm: 2287 264 223 213 0 72 0
[pid=22387] ppid=22385 vsize=11608 CPUtime=43.75 cores=0,2,4,6
/proc/22387/stat : 22387 (clasp-1.0) R 22385 21873 27890 0 -1 4202496 2546 0 0 0 4375 0 0 0 20 0 1 0 338722175 11886592 2363 33554432000 134512640 134847168 4294570784 4294569168 1582375 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22387/statm: 2902 2363 272 82 0 2143 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 47020
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 22390
/proc/meminfo: memFree=23359024/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=7.28 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8347 232013 0 0 9 4 655 60 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22385] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (sh) S 21873 21873 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338722175 9367552 264 33554432000 4194304 5064252 140734724077600 140734724075856 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22385/statm: 2287 264 223 213 0 72 0
[pid=22387] ppid=22385 vsize=13632 CPUtime=94.95 cores=0,2,4,6
/proc/22387/stat : 22387 (clasp-1.0) R 22385 21873 27890 0 -1 4202496 3020 0 0 0 9495 0 0 0 20 0 1 0 338722175 13959168 2837 33554432000 134512640 134847168 4294570784 4294569520 134741020 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22387/statm: 3408 2837 272 82 0 2649 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 49044
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 22390
/proc/meminfo: memFree=23355364/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=7.28 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8347 232013 0 0 9 4 655 60 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22385] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (sh) S 21873 21873 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338722175 9367552 264 33554432000 4194304 5064252 140734724077600 140734724075856 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22385/statm: 2287 264 223 213 0 72 0
[pid=22387] ppid=22385 vsize=16548 CPUtime=154.93 cores=0,2,4,6
/proc/22387/stat : 22387 (clasp-1.0) R 22385 21873 27890 0 -1 4202496 3758 0 0 0 15493 0 0 0 20 0 1 0 338722175 16945152 3592 33554432000 134512640 134847168 4294570784 4294569248 134713707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22387/statm: 4137 3592 272 82 0 3378 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 51960
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22390
/proc/meminfo: memFree=23345628/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=7.28 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8347 232013 0 0 9 4 655 60 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22385] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22385/stat : 22385 (sh) S 21873 21873 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338722175 9367552 264 33554432000 4194304 5064252 140734724077600 140734724075856 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22385/statm: 2287 264 223 213 0 72 0
[pid=22387] ppid=22385 vsize=17444 CPUtime=214.92 cores=0,2,4,6
/proc/22387/stat : 22387 (clasp-1.0) R 22385 21873 27890 0 -1 4202496 3964 0 0 0 21492 0 0 0 20 0 1 0 338722175 17862656 3798 33554432000 134512640 134847168 4294570784 4294569408 134784505 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22387/statm: 4361 3798 272 82 0 3602 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 52856
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22571
/proc/meminfo: memFree=23384524/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=12004 CPUtime=54 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 2641 0 0 0 5400 0 0 0 20 0 1 0 338744270 12292096 2461 33554432000 134512640 134847168 4287696320 4287694944 134784634 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 3001 2461 272 82 0 2242 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 47416
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22571
/proc/meminfo: memFree=23375088/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
################
# More data... #
################
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=29724 CPUtime=1193.83 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 6901 0 0 0 119381 2 0 0 20 0 1 0 338744270 30437376 6858 33554432000 134512640 134847168 4287696320 4287694944 134784608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 7431 6858 272 82 0 6672 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 65136
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22621
/proc/meminfo: memFree=23340940/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=30324 CPUtime=1253.81 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7048 0 0 0 125379 2 0 0 20 0 1 0 338744270 31051776 7005 33554432000 134512640 134847168 4287696320 4287694944 134784617 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 7581 7005 272 82 0 6822 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 65736
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22621
/proc/meminfo: memFree=23340940/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=30460 CPUtime=1313.8 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7054 0 0 0 131378 2 0 0 20 0 1 0 338744270 31191040 7011 33554432000 134512640 134847168 4287696320 4287694944 134784673 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 7615 7011 272 82 0 6856 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 65872
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 22621
/proc/meminfo: memFree=23340072/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=31036 CPUtime=1373.79 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7186 0 0 0 137377 2 0 0 20 0 1 0 338744270 31780864 7143 33554432000 134512640 134847168 4287696320 4287694944 134784617 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 7759 7143 272 82 0 7000 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 66448
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22621
/proc/meminfo: memFree=23337964/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=31488 CPUtime=1433.79 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7279 0 0 0 143377 2 0 0 20 0 1 0 338744270 32243712 7236 33554432000 134512640 134847168 4287696320 4287694944 134784634 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 7872 7236 272 82 0 7113 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 66900
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22621
/proc/meminfo: memFree=23337900/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=31620 CPUtime=1493.78 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7309 0 0 0 149376 2 0 0 20 0 1 0 338744270 32378880 7266 33554432000 134512640 134847168 4287696320 4287694944 134784628 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 7905 7266 272 82 0 7146 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 67032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22622
/proc/meminfo: memFree=23336224/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=32868 CPUtime=1553.77 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7606 0 0 0 155375 2 0 0 20 0 1 0 338744270 33656832 7598 33554432000 134512640 134847168 4287696320 4287695012 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 8217 7598 272 82 0 7458 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 68280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22622
/proc/meminfo: memFree=23334240/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=228.18 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8451 237935 0 0 9 4 22744 61 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22408] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22408/stat : 22408 (sh) S 21873 21873 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744270 9367552 263 33554432000 4194304 5064252 140736000912512 140736000910768 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22408/statm: 2287 263 223 213 0 72 0
[pid=22410] ppid=22408 vsize=33224 CPUtime=1571.87 cores=0,2,4,6
/proc/22410/stat : 22410 (clasp-1.0) R 22408 21873 27890 0 -1 4202496 7689 0 0 0 157185 2 0 0 20 0 1 0 338744270 34021376 7681 33554432000 134512640 134847168 4287696320 4287695088 134737333 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22410/statm: 8306 7681 272 82 0 7547 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 68636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21873
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22641
/proc/meminfo: memFree=23394224/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=1800.08 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8617 248399 0 0 9 4 179930 65 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22632] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22632/stat : 22632 (sh) S 21873 21873 27890 0 -1 4202496 376 220 0 0 0 0 0 0 20 0 1 0 338901485 9367552 264 33554432000 4194304 5064252 140736024479856 140736024478112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22632/statm: 2287 264 223 213 0 72 0
[pid=22634] ppid=22632 vsize=8304 CPUtime=0.96 cores=0,2,4,6
/proc/22634/stat : 22634 (clasp-1.0) R 22632 21873 27890 0 -1 4202496 1702 0 0 0 96 0 0 0 20 0 1 0 338901485 8503296 1508 33554432000 134512640 134847168 4287588912 4287587296 134735909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2076 1508 272 82 0 1317 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 43716
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22641
/proc/meminfo: memFree=23394100/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=1800.08 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8617 248399 0 0 9 4 179930 65 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22632] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22632/stat : 22632 (sh) S 21873 21873 27890 0 -1 4202496 376 220 0 0 0 0 0 0 20 0 1 0 338901485 9367552 264 33554432000 4194304 5064252 140736024479856 140736024478112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22632/statm: 2287 264 223 213 0 72 0
[pid=22634] ppid=22632 vsize=8304 CPUtime=1.76 cores=0,2,4,6
/proc/22634/stat : 22634 (clasp-1.0) R 22632 21873 27890 0 -1 4202496 1702 0 0 0 176 0 0 0 20 0 1 0 338901485 8503296 1508 33554432000 134512640 134847168 4287588912 4287587536 134784634 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2076 1508 272 82 0 1317 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 43716
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22641
/proc/meminfo: memFree=23394100/32873844 swapFree=7112/7112
[pid=21873] ppid=21871 vsize=26264 CPUtime=1800.08 cores=0,2,4,6
/proc/21873/stat : 21873 (pbclasp) S 21871 21873 27890 0 -1 4202496 8617 248399 0 0 9 4 179930 65 20 0 1 0 338721443 26894336 667 33554432000 4194304 4198148 140735904454336 140735904453264 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21873/statm: 6566 667 387 1 0 361 0
[pid=22632] ppid=21873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22632/stat : 22632 (sh) S 21873 21873 27890 0 -1 4202496 376 220 0 0 0 0 0 0 20 0 1 0 338901485 9367552 264 33554432000 4194304 5064252 140736024479856 140736024478112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22632/statm: 2287 264 223 213 0 72 0
[pid=22634] ppid=22632 vsize=8304 CPUtime=1.96 cores=0,2,4,6
/proc/22634/stat : 22634 (clasp-1.0) R 22632 21873 27890 0 -1 4202496 1704 0 0 0 196 0 0 0 20 0 1 0 338901485 8503296 1510 33554432000 134512640 134847168 4287588912 4287587536 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22634/statm: 2076 1510 272 82 0 1317 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 43716
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.08
CPU user time (s): 1801.38
CPU system time (s): 0.704892
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 68636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.38
system time used= 0.704892
maximum resident set size= 30724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6061
involuntary context switches= 2665
runsolver used 2.90156 second user time and 6.95994 second system time
The end