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-3731470-1338696322/watcher-3731470-1338696322 -o /tmp/evaluation-result-3731470-1338696322/solver-3731470-1338696322 -C 1800 -W 1900 -M 15500 pbclasp instance-3731470-1338696322.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: 2.00 2.00 1.91 3/176 30289
/proc/meminfo: memFree=29034236/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) R 30287 30289 22814 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 335760628 26071040 449 33554432000 4194304 4198148 140733459360784 140733459358232 226329333652 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6365 450 345 1 0 160 0
[startup+0.103977 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30289
/proc/meminfo: memFree=29034236/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.07 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) R 30287 30289 22814 0 -1 4202496 965 7044 0 0 0 0 6 1 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359672 226329520973 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25724
[startup+0.200232 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30289
/proc/meminfo: memFree=29034236/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.1 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1100 9536 0 0 0 0 8 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25724
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30289
/proc/meminfo: memFree=29034236/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.1 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1100 9536 0 0 0 0 8 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25724
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30289
/proc/meminfo: memFree=29034236/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.1 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1100 9536 0 0 0 0 8 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25724
[startup+1.50026 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 30331
/proc/meminfo: memFree=29030956/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.71 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1230 12243 0 0 0 0 69 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30329] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30329/stat : 30329 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335760703 9367552 264 33554432000 4194304 5064252 140735311716320 140735311714576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30329/statm: 2287 264 223 213 0 72 0
[pid=30331] ppid=30329 vsize=4764 CPUtime=0.74 cores=0,2,4,6
/proc/30331/stat : 30331 (clasp-1.0) R 30329 30289 22814 0 -1 4202496 782 0 0 0 74 0 0 0 20 0 1 0 335760703 4878336 680 33554432000 134512640 134847168 4289974784 4289973044 134792553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30331/statm: 1191 680 272 82 0 432 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 39636
[startup+3.10025 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 30331
/proc/meminfo: memFree=29030460/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.71 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1230 12243 0 0 0 0 69 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30329] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30329/stat : 30329 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335760703 9367552 264 33554432000 4194304 5064252 140735311716320 140735311714576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30329/statm: 2287 264 223 213 0 72 0
[pid=30331] ppid=30329 vsize=5160 CPUtime=2.34 cores=0,2,4,6
/proc/30331/stat : 30331 (clasp-1.0) R 30329 30289 22814 0 -1 4202496 890 0 0 0 234 0 0 0 20 0 1 0 335760703 5283840 788 33554432000 134512640 134847168 4289974784 4289973504 134741435 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30331/statm: 1290 788 272 82 0 531 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40032
[startup+6.30025 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 30331
/proc/meminfo: memFree=29029344/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.71 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1230 12243 0 0 0 0 69 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30329] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30329/stat : 30329 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335760703 9367552 264 33554432000 4194304 5064252 140735311716320 140735311714576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30329/statm: 2287 264 223 213 0 72 0
[pid=30331] ppid=30329 vsize=5676 CPUtime=5.54 cores=0,2,4,6
/proc/30331/stat : 30331 (clasp-1.0) R 30329 30289 22814 0 -1 4202496 994 0 0 0 554 0 0 0 20 0 1 0 335760703 5812224 892 33554432000 134512640 134847168 4289974784 4289973216 3352384 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30331/statm: 1419 892 272 82 0 660 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40548
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 30331
/proc/meminfo: memFree=29028292/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=0.71 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1230 12243 0 0 0 0 69 2 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30329] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30329/stat : 30329 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335760703 9367552 264 33554432000 4194304 5064252 140735311716320 140735311714576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30329/statm: 2287 264 223 213 0 72 0
[pid=30331] ppid=30329 vsize=6032 CPUtime=11.94 cores=0,2,4,6
/proc/30331/stat : 30331 (clasp-1.0) R 30329 30289 22814 0 -1 4202496 1109 0 0 0 1194 0 0 0 20 0 1 0 335760703 6176768 1007 33554432000 134512640 134847168 4289974784 4289973488 134616608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30331/statm: 1508 1007 272 82 0 749 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 40904
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 30339
/proc/meminfo: memFree=29028548/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=19.14 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1357 15359 0 0 0 0 1911 3 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30337] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30337/stat : 30337 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335762546 9367552 264 33554432000 4194304 5064252 140733571162432 140733571160688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30337/statm: 2287 264 223 213 0 72 0
[pid=30339] ppid=30337 vsize=5864 CPUtime=6.31 cores=0,2,4,6
/proc/30339/stat : 30339 (clasp-1.0) R 30337 30289 22814 0 -1 4202496 1044 0 0 0 631 0 0 0 20 0 1 0 335762547 6004736 942 33554432000 134512640 134847168 4291521696 4291520388 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30339/statm: 1466 942 272 82 0 707 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 40736
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 30339
/proc/meminfo: memFree=29026012/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=19.14 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1357 15359 0 0 0 0 1911 3 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30337] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30337/stat : 30337 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335762546 9367552 264 33554432000 4194304 5064252 140733571162432 140733571160688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30337/statm: 2287 264 223 213 0 72 0
[pid=30339] ppid=30337 vsize=7068 CPUtime=31.9 cores=0,2,4,6
/proc/30339/stat : 30339 (clasp-1.0) R 30337 30289 22814 0 -1 4202496 1354 0 0 0 3190 0 0 0 20 0 1 0 335762547 7237632 1252 33554432000 134512640 134847168 4291521696 4291520320 134784653 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30339/statm: 1767 1252 272 82 0 1008 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 41940
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 30339
/proc/meminfo: memFree=29025140/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=19.14 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1357 15359 0 0 0 0 1911 3 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30337] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30337/stat : 30337 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335762546 9367552 264 33554432000 4194304 5064252 140733571162432 140733571160688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30337/statm: 2287 264 223 213 0 72 0
[pid=30339] ppid=30337 vsize=8024 CPUtime=83.1 cores=0,2,4,6
/proc/30339/stat : 30339 (clasp-1.0) R 30337 30289 22814 0 -1 4202496 1623 0 0 0 8310 0 0 0 20 0 1 0 335762547 8216576 1501 33554432000 134512640 134847168 4291521696 4291520320 134784651 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30339/statm: 2006 1501 272 82 0 1247 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 42896
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30339
/proc/meminfo: memFree=29024024/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=19.14 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1357 15359 0 0 0 0 1911 3 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30337] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30337/stat : 30337 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335762546 9367552 264 33554432000 4194304 5064252 140733571162432 140733571160688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30337/statm: 2287 264 223 213 0 72 0
[pid=30339] ppid=30337 vsize=8608 CPUtime=143.08 cores=0,2,4,6
/proc/30339/stat : 30339 (clasp-1.0) R 30337 30289 22814 0 -1 4202496 1775 0 0 0 14308 0 0 0 20 0 1 0 335762547 8814592 1653 33554432000 134512640 134847168 4291521696 4291520320 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30339/statm: 2152 1653 272 82 0 1393 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 43480
[startup+222.306 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 30339
/proc/meminfo: memFree=29022720/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=19.14 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1357 15359 0 0 0 0 1911 3 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30337] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30337/stat : 30337 (sh) S 30289 30289 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335762546 9367552 264 33554432000 4194304 5064252 140733571162432 140733571160688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30337/statm: 2287 264 223 213 0 72 0
[pid=30339] ppid=30337 vsize=9272 CPUtime=203.08 cores=0,2,4,6
/proc/30339/stat : 30339 (clasp-1.0) R 30337 30289 22814 0 -1 4202496 1949 0 0 0 20308 0 0 0 20 0 1 0 335762547 9494528 1805 33554432000 134512640 134847168 4291521696 4291520336 134715248 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30339/statm: 2318 1805 272 82 0 1559 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44144
[startup+282.3 s]
################
# More data... #
################
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=10476 CPUtime=349.16 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 2304 0 0 0 34915 1 0 0 20 0 1 0 335873935 10727424 2110 33554432000 134512640 134847168 4294217056 4294215632 134714368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2619 2110 270 82 0 1860 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 45348
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30477
/proc/meminfo: memFree=29018944/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1132.84 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1835 29898 0 0 1 1 113275 7 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30389] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=10964 CPUtime=409.16 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 2452 0 0 0 40915 1 0 0 20 0 1 0 335873935 11227136 2225 33554432000 134512640 134847168 4294217056 4294215776 134741381 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2741 2225 270 82 0 1982 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 45836
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 30477
/proc/meminfo: memFree=29018012/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1132.84 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1835 29898 0 0 1 1 113275 7 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30389] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=11108 CPUtime=469.14 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 2622 0 0 0 46913 1 0 0 20 0 1 0 335873935 11374592 2277 33554432000 134512640 134847168 4294217056 4294215696 134783056 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2777 2277 270 82 0 2018 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 45980
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 30477
/proc/meminfo: memFree=29018136/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1132.84 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1835 29898 0 0 1 1 113275 7 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30389] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=11280 CPUtime=529.13 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 2829 0 0 0 52912 1 0 0 20 0 1 0 335873935 11550720 2305 33554432000 134512640 134847168 4294217056 4294215740 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2820 2305 270 82 0 2061 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 46152
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 30477
/proc/meminfo: memFree=29018012/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1132.84 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1835 29898 0 0 1 1 113275 7 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30389] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=11304 CPUtime=589.13 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 2962 0 0 0 58912 1 0 0 20 0 1 0 335873935 11575296 2326 33554432000 134512640 134847168 4294217056 4294215684 134616088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2826 2326 270 82 0 2067 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 46176
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 30477
/proc/meminfo: memFree=29017268/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1132.84 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1835 29898 0 0 1 1 113275 7 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30389] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=11696 CPUtime=649.12 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 3038 0 0 0 64911 1 0 0 20 0 1 0 335873935 11976704 2395 33554432000 134512640 134847168 4294217056 4294215680 134784800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2924 2395 270 82 0 2165 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 46568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 30477
/proc/meminfo: memFree=29016896/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1132.84 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 1835 29898 0 0 1 1 113275 7 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30389] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30389/stat : 30389 (sh) S 30289 30289 22814 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140733466432384 140733466430640 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30389/statm: 2287 263 223 213 0 72 0
[pid=30391] ppid=30389 vsize=11744 CPUtime=667.22 cores=0,2,4,6
/proc/30391/stat : 30391 (clasp-1.0) R 30389 30289 22814 0 -1 4202496 3113 0 0 0 66721 1 0 0 20 0 1 0 335873935 12025856 2436 33554432000 134512640 134847168 4294217056 4294215632 134714864 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30391/statm: 2936 2436 270 82 0 2177 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 46616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30289
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 30496
/proc/meminfo: memFree=29031252/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1800.07 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 2003 35774 0 0 1 1 179996 9 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30490] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30490/stat : 30490 (sh) S 30289 30289 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335940671 9367552 264 33554432000 4194304 5064252 140734732944480 140734732942736 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30490/statm: 2287 264 223 213 0 72 0
[pid=30493] ppid=30490 vsize=5032 CPUtime=1.06 cores=0,2,4,6
/proc/30493/stat : 30493 (clasp-1.0) R 30490 30289 22814 0 -1 4202496 836 0 0 0 106 0 0 0 20 0 1 0 335940671 5152768 734 33554432000 134512640 134847168 4292746336 4292744960 134784653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 1258 734 270 82 0 499 0
Current children cumulated CPU time (s) 1801.13
Current children cumulated vsize (KiB) 39904
[startup+1801.91 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 30496
/proc/meminfo: memFree=29030136/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1800.07 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 2003 35774 0 0 1 1 179996 9 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30490] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30490/stat : 30490 (sh) S 30289 30289 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335940671 9367552 264 33554432000 4194304 5064252 140734732944480 140734732942736 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30490/statm: 2287 264 223 213 0 72 0
[pid=30493] ppid=30490 vsize=5032 CPUtime=1.47 cores=0,2,4,6
/proc/30493/stat : 30493 (clasp-1.0) R 30490 30289 22814 0 -1 4202496 852 0 0 0 147 0 0 0 20 0 1 0 335940671 5152768 750 33554432000 134512640 134847168 4292746336 4292745076 134737633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 1258 750 270 82 0 499 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 39904
[startup+1802.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 30496
/proc/meminfo: memFree=29030136/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1800.07 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 2003 35774 0 0 1 1 179996 9 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30490] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30490/stat : 30490 (sh) S 30289 30289 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335940671 9367552 264 33554432000 4194304 5064252 140734732944480 140734732942736 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30490/statm: 2287 264 223 213 0 72 0
[pid=30493] ppid=30490 vsize=5160 CPUtime=1.86 cores=0,2,4,6
/proc/30493/stat : 30493 (clasp-1.0) R 30490 30289 22814 0 -1 4202496 890 0 0 0 186 0 0 0 20 0 1 0 335940671 5283840 788 33554432000 134512640 134847168 4292746336 4292744976 134715324 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 1290 788 270 82 0 531 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 40032
[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 30496
/proc/meminfo: memFree=29030136/32873844 swapFree=6088/6088
[pid=30289] ppid=30287 vsize=25724 CPUtime=1800.07 cores=0,2,4,6
/proc/30289/stat : 30289 (pbclasp) S 30287 30289 22814 0 -1 4202496 2003 35774 0 0 1 1 179996 9 20 0 1 0 335760628 26341376 552 33554432000 4194304 4198148 140733459360784 140733459359712 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30289/statm: 6431 552 387 1 0 226 0
[pid=30490] ppid=30289 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30490/stat : 30490 (sh) S 30289 30289 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335940671 9367552 264 33554432000 4194304 5064252 140734732944480 140734732942736 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30490/statm: 2287 264 223 213 0 72 0
[pid=30493] ppid=30490 vsize=5288 CPUtime=1.96 cores=0,2,4,6
/proc/30493/stat : 30493 (clasp-1.0) R 30490 30289 22814 0 -1 4202496 893 0 0 0 196 0 0 0 20 0 1 0 335940671 5414912 791 33554432000 134512640 134847168 4292746336 4292745056 134741432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30493/statm: 1322 791 270 82 0 563 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 40160
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.08
CPU user time (s): 1801.96
CPU system time (s): 0.117982
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 46748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.96
system time used= 0.117982
maximum resident set size= 9784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39400
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317
involuntary context switches= 2269
runsolver used 4.14537 second user time and 7.67383 second system time
The end