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-3734440-1338718102/watcher-3734440-1338718102 -o /tmp/evaluation-result-3734440-1338718102/solver-3734440-1338718102 -C 1800 -W 1900 -M 15500 pbclasp instance-3734440-1338718102.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.09 2.07 1.93 3/178 11661
/proc/meminfo: memFree=27572196/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) R 11659 11661 11312 0 -1 4202496 561 0 0 0 0 0 0 0 20 0 1 0 337934609 26206208 491 33554432000 4194304 4198148 140735195153296 140735195150744 251069610054 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6398 492 361 1 0 193 0
[startup+0.0761271 s]
/proc/loadavg: 2.09 2.07 1.93 3/178 11661
/proc/meminfo: memFree=27572196/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.04 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1070 9226 0 0 0 0 3 1 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25724
[startup+0.10022 s]
/proc/loadavg: 2.09 2.07 1.93 3/178 11661
/proc/meminfo: memFree=27572196/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.07 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1197 11618 0 0 0 0 5 2 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25724
[startup+0.300187 s]
/proc/loadavg: 2.09 2.07 1.93 3/178 11661
/proc/meminfo: memFree=27572196/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.08 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1327 14004 0 0 0 0 6 2 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25724
[startup+0.700165 s]
/proc/loadavg: 2.09 2.07 1.93 3/178 11661
/proc/meminfo: memFree=27572196/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.63 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1456 16464 0 0 0 0 60 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 25724
[startup+1.50025 s]
/proc/loadavg: 2.09 2.07 1.93 3/181 11719
/proc/meminfo: memFree=27570916/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.63 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1456 16464 0 0 0 0 60 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11717] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11717/stat : 11717 (sh) S 11661 11661 11312 0 -1 4202496 369 217 0 0 0 0 0 0 20 0 1 0 337934676 9367552 263 33554432000 4194304 5064252 140736714595040 140736714593296 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11717/statm: 2287 263 223 213 0 72 0
[pid=11719] ppid=11717 vsize=3712 CPUtime=0.83 cores=0,2,4,6
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11661 11312 0 -1 4202496 523 0 0 0 83 0 0 0 20 0 1 0 337934676 3801088 421 33554432000 134512640 134847168 4287513968 4287512500 134713620 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11719/statm: 928 421 272 82 0 169 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38584
[startup+3.10025 s]
/proc/loadavg: 2.09 2.07 1.93 3/181 11719
/proc/meminfo: memFree=27570420/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.63 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1456 16464 0 0 0 0 60 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11717] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11717/stat : 11717 (sh) S 11661 11661 11312 0 -1 4202496 369 217 0 0 0 0 0 0 20 0 1 0 337934676 9367552 263 33554432000 4194304 5064252 140736714595040 140736714593296 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11717/statm: 2287 263 223 213 0 72 0
[pid=11719] ppid=11717 vsize=3844 CPUtime=2.43 cores=0,2,4,6
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11661 11312 0 -1 4202496 561 0 0 0 243 0 0 0 20 0 1 0 337934676 3936256 459 33554432000 134512640 134847168 4287513968 4287512688 134741381 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11719/statm: 961 459 272 82 0 202 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38716
[startup+6.30025 s]
/proc/loadavg: 2.09 2.07 1.93 3/181 11719
/proc/meminfo: memFree=27570048/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.63 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1456 16464 0 0 0 0 60 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11717] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11717/stat : 11717 (sh) S 11661 11661 11312 0 -1 4202496 369 217 0 0 0 0 0 0 20 0 1 0 337934676 9367552 263 33554432000 4194304 5064252 140736714595040 140736714593296 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11717/statm: 2287 263 223 213 0 72 0
[pid=11719] ppid=11717 vsize=4104 CPUtime=5.63 cores=0,2,4,6
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11661 11312 0 -1 4202496 598 0 0 0 563 0 0 0 20 0 1 0 337934676 4202496 496 33554432000 134512640 134847168 4287513968 4287512592 134784651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11719/statm: 1026 496 272 82 0 267 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 38976
[startup+12.7003 s]
/proc/loadavg: 2.08 2.07 1.93 3/181 11719
/proc/meminfo: memFree=27569212/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=0.63 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1456 16464 0 0 0 0 60 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11717] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11717/stat : 11717 (sh) S 11661 11661 11312 0 -1 4202496 369 217 0 0 0 0 0 0 20 0 1 0 337934676 9367552 263 33554432000 4194304 5064252 140736714595040 140736714593296 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11717/statm: 2287 263 223 213 0 72 0
[pid=11719] ppid=11717 vsize=4236 CPUtime=12.03 cores=0,2,4,6
/proc/11719/stat : 11719 (clasp-1.0) R 11717 11661 11312 0 -1 4202496 652 0 0 0 1203 0 0 0 20 0 1 0 337934676 4337664 550 33554432000 134512640 134847168 4287513968 4287512592 134784656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11719/statm: 1059 550 272 82 0 300 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39108
[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 1.93 3/181 11727
/proc/meminfo: memFree=27569096/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=22.13 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1581 19094 0 0 0 0 2210 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11725] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11725/stat : 11725 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 337936827 9367552 264 33554432000 4194304 5064252 140735683620816 140735683619072 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11725/statm: 2287 264 223 213 0 72 0
[pid=11727] ppid=11725 vsize=3964 CPUtime=3.32 cores=0,2,4,6
/proc/11727/stat : 11727 (clasp-1.0) R 11725 11661 11312 0 -1 4202496 584 0 0 0 332 0 0 0 20 0 1 0 337936827 4059136 482 33554432000 134512640 134847168 4294389632 4294388316 134616124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11727/statm: 991 482 272 82 0 232 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 38836
[startup+51.1003 s]
/proc/loadavg: 2.04 2.06 1.93 3/181 11727
/proc/meminfo: memFree=27568856/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=22.13 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1581 19094 0 0 0 0 2210 3 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11725] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11725/stat : 11725 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 337936827 9367552 264 33554432000 4194304 5064252 140735683620816 140735683619072 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11725/statm: 2287 264 223 213 0 72 0
[pid=11727] ppid=11725 vsize=4616 CPUtime=28.91 cores=0,2,4,6
/proc/11727/stat : 11727 (clasp-1.0) R 11725 11661 11312 0 -1 4202496 730 0 0 0 2891 0 0 0 20 0 1 0 337936827 4726784 628 33554432000 134512640 134847168 4294389632 4294388400 134617536 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11727/statm: 1154 628 272 82 0 395 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 39488
[startup+102.306 s]
/proc/loadavg: 2.13 2.08 1.95 3/182 11738
/proc/meminfo: memFree=27567948/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=74.15 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1706 21824 0 0 0 0 7411 4 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11733] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 337942030 9367552 264 33554432000 4194304 5064252 140736872472400 140736872470656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 264 223 213 0 72 0
[pid=11735] ppid=11733 vsize=4480 CPUtime=28.08 cores=0,2,4,6
/proc/11735/stat : 11735 (clasp-1.0) R 11733 11661 11312 0 -1 4202496 711 0 0 0 2808 0 0 0 20 0 1 0 337942030 4587520 609 33554432000 134512640 134847168 4292624352 4292622976 134784615 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11735/statm: 1120 609 270 82 0 361 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 39352
[startup+162.3 s]
/proc/loadavg: 2.04 2.06 1.95 3/181 11738
/proc/meminfo: memFree=27567740/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=74.15 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1706 21824 0 0 0 0 7411 4 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11733] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 337942030 9367552 264 33554432000 4194304 5064252 140736872472400 140736872470656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 264 223 213 0 72 0
[pid=11735] ppid=11733 vsize=4872 CPUtime=88.07 cores=0,2,4,6
/proc/11735/stat : 11735 (clasp-1.0) R 11733 11661 11312 0 -1 4202496 809 0 0 0 8807 0 0 0 20 0 1 0 337942030 4988928 707 33554432000 134512640 134847168 4292624352 4292623120 134617331 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11735/statm: 1218 707 270 82 0 459 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 39744
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 1.95 3/181 11739
/proc/meminfo: memFree=27567616/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=74.15 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1706 21824 0 0 0 0 7411 4 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11733] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 337942030 9367552 264 33554432000 4194304 5064252 140736872472400 140736872470656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 264 223 213 0 72 0
[pid=11735] ppid=11733 vsize=5116 CPUtime=148.06 cores=0,2,4,6
/proc/11735/stat : 11735 (clasp-1.0) R 11733 11661 11312 0 -1 4202496 873 0 0 0 14806 0 0 0 20 0 1 0 337942030 5238784 771 33554432000 134512640 134847168 4292624352 4292622976 134784619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11735/statm: 1279 771 270 82 0 520 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 39988
[startup+282.3 s]
################
# More data... #
################
/proc/11758/stat : 11758 (sh) S 11661 11661 11312 0 -1 4202496 370 218 0 0 0 0 0 0 20 0 1 0 338042529 9367552 264 33554432000 4194304 5064252 140736106318224 140736106316480 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11758/statm: 2287 264 223 213 0 72 0
[pid=11760] ppid=11758 vsize=5804 CPUtime=343.05 cores=0,2,4,6
/proc/11760/stat : 11760 (clasp-1.0) R 11758 11661 11312 0 -1 4202496 1027 0 0 0 34305 0 0 0 20 0 1 0 338042529 5943296 924 33554432000 134512640 134847168 4293626240 4293624880 134616320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11760/statm: 1451 924 272 82 0 692 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 40676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11765
/proc/meminfo: memFree=27565392/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1078.98 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1959 27576 0 0 0 0 107892 6 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11758] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (sh) S 11661 11661 11312 0 -1 4202496 370 218 0 0 0 0 0 0 20 0 1 0 338042529 9367552 264 33554432000 4194304 5064252 140736106318224 140736106316480 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11758/statm: 2287 264 223 213 0 72 0
[pid=11760] ppid=11758 vsize=5804 CPUtime=403.03 cores=0,2,4,6
/proc/11760/stat : 11760 (clasp-1.0) R 11758 11661 11312 0 -1 4202496 1050 0 0 0 40303 0 0 0 20 0 1 0 338042529 5943296 947 33554432000 134512640 134847168 4293626240 4293624864 134784608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11760/statm: 1451 947 272 82 0 692 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 40676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11765
/proc/meminfo: memFree=27565268/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1078.98 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1959 27576 0 0 0 0 107892 6 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11758] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (sh) S 11661 11661 11312 0 -1 4202496 370 218 0 0 0 0 0 0 20 0 1 0 338042529 9367552 264 33554432000 4194304 5064252 140736106318224 140736106316480 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11758/statm: 2287 264 223 213 0 72 0
[pid=11760] ppid=11758 vsize=5940 CPUtime=463.02 cores=0,2,4,6
/proc/11760/stat : 11760 (clasp-1.0) R 11758 11661 11312 0 -1 4202496 1083 0 0 0 46302 0 0 0 20 0 1 0 338042529 6082560 980 33554432000 134512640 134847168 4293626240 4293624880 134715257 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11760/statm: 1485 980 272 82 0 726 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 40812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11765
/proc/meminfo: memFree=27565144/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1078.98 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1959 27576 0 0 0 0 107892 6 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11758] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (sh) S 11661 11661 11312 0 -1 4202496 370 218 0 0 0 0 0 0 20 0 1 0 338042529 9367552 264 33554432000 4194304 5064252 140736106318224 140736106316480 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11758/statm: 2287 264 223 213 0 72 0
[pid=11760] ppid=11758 vsize=6072 CPUtime=523.01 cores=0,2,4,6
/proc/11760/stat : 11760 (clasp-1.0) R 11758 11661 11312 0 -1 4202496 1091 0 0 0 52301 0 0 0 20 0 1 0 338042529 6217728 988 33554432000 134512640 134847168 4293626240 4293624880 134715290 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11760/statm: 1518 988 272 82 0 759 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 40944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11765
/proc/meminfo: memFree=27565516/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1078.98 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1959 27576 0 0 0 0 107892 6 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11758] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (sh) S 11661 11661 11312 0 -1 4202496 370 218 0 0 0 0 0 0 20 0 1 0 338042529 9367552 264 33554432000 4194304 5064252 140736106318224 140736106316480 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11758/statm: 2287 264 223 213 0 72 0
[pid=11760] ppid=11758 vsize=6072 CPUtime=583 cores=0,2,4,6
/proc/11760/stat : 11760 (clasp-1.0) R 11758 11661 11312 0 -1 4202496 1094 0 0 0 58300 0 0 0 20 0 1 0 338042529 6217728 991 33554432000 134512640 134847168 4293626240 4293624864 134784656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11760/statm: 1518 991 272 82 0 759 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 40944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11766
/proc/meminfo: memFree=27565020/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1078.98 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 1959 27576 0 0 0 0 107892 6 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11758] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (sh) S 11661 11661 11312 0 -1 4202496 370 218 0 0 0 0 0 0 20 0 1 0 338042529 9367552 264 33554432000 4194304 5064252 140736106318224 140736106316480 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11758/statm: 2287 264 223 213 0 72 0
[pid=11760] ppid=11758 vsize=6212 CPUtime=643 cores=0,2,4,6
/proc/11760/stat : 11760 (clasp-1.0) R 11758 11661 11312 0 -1 4202496 1129 0 0 0 64300 0 0 0 20 0 1 0 338042529 6361088 1026 33554432000 134512640 134847168 4293626240 4293624880 134715264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11760/statm: 1553 1026 272 82 0 794 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 41084
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 1.98 3/181 11900
/proc/meminfo: memFree=27568492/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1729.59 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 2069 30635 0 0 0 0 172952 7 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11783] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11783/stat : 11783 (sh) S 11661 11661 11312 0 -1 4202496 372 218 0 0 0 0 0 0 20 0 1 0 338107601 9367552 264 33554432000 4194304 5064252 140737462363536 140737462361792 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11783/statm: 2287 264 223 213 0 72 0
[pid=11785] ppid=11783 vsize=4756 CPUtime=52.37 cores=0,2,4,6
/proc/11785/stat : 11785 (clasp-1.0) R 11783 11661 11312 0 -1 4202496 766 0 0 0 5237 0 0 0 20 0 1 0 338107601 4870144 663 33554432000 134512640 134847168 4294742432 4294740924 134789936 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11785/statm: 1189 663 270 82 0 430 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 39628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.03 1.98 3/181 11900
/proc/meminfo: memFree=27568368/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1729.59 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 2069 30635 0 0 0 0 172952 7 20 0 1 0 337934609 26341376 538 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11661/statm: 6431 538 387 1 0 226 0
[pid=11783] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11783/stat : 11783 (sh) S 11661 11661 11312 0 -1 4202496 372 218 0 0 0 0 0 0 20 0 1 0 338107601 9367552 264 33554432000 4194304 5064252 140737462363536 140737462361792 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11783/statm: 2287 264 223 213 0 72 0
[pid=11785] ppid=11783 vsize=4888 CPUtime=70.47 cores=0,2,4,6
/proc/11785/stat : 11785 (clasp-1.0) R 11783 11661 11312 0 -1 4202496 799 0 0 0 7047 0 0 0 20 0 1 0 338107601 5005312 696 33554432000 134512640 134847168 4294742432 4294741056 134784702 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11785/statm: 1222 696 270 82 0 463 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 39760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11661
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.07 2.03 1.98 3/182 11919
/proc/meminfo: memFree=27569404/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1800.09 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 2245 34202 0 0 0 0 180000 9 20 0 1 0 337934609 26341376 539 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 539 387 1 0 226 0
[pid=11909] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 338114652 9367552 264 33554432000 4194304 5064252 140734822530640 140734822528896 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11909/statm: 2287 264 223 213 0 72 0
[pid=11912] ppid=11909 vsize=3708 CPUtime=0.97 cores=0,2,4,6
/proc/11912/stat : 11912 (clasp-1.0) R 11909 11661 11312 0 -1 4202496 528 0 0 0 97 0 0 0 20 0 1 0 338114652 3796992 426 33554432000 134512640 134847168 4291205792 4291204408 134789702 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11912/statm: 927 426 270 82 0 168 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 38580
[startup+1802.2 s]
/proc/loadavg: 2.07 2.03 1.98 3/182 11919
/proc/meminfo: memFree=27568832/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1800.09 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 2245 34202 0 0 0 0 180000 9 20 0 1 0 337934609 26341376 539 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 539 387 1 0 226 0
[pid=11909] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 338114652 9367552 264 33554432000 4194304 5064252 140734822530640 140734822528896 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11909/statm: 2287 264 223 213 0 72 0
[pid=11912] ppid=11909 vsize=3832 CPUtime=1.76 cores=0,2,4,6
/proc/11912/stat : 11912 (clasp-1.0) R 11909 11661 11312 0 -1 4202496 547 0 0 0 176 0 0 0 20 0 1 0 338114652 3923968 445 33554432000 134512640 134847168 4291205792 4291204032 12828584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11912/statm: 958 445 270 82 0 199 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 38704
[startup+1802.4 s]
/proc/loadavg: 2.07 2.03 1.98 3/182 11919
/proc/meminfo: memFree=27568832/32873844 swapFree=7628/7628
[pid=11661] ppid=11659 vsize=25724 CPUtime=1800.09 cores=0,2,4,6
/proc/11661/stat : 11661 (pbclasp) S 11659 11661 11312 0 -1 4202496 2245 34202 0 0 0 0 180000 9 20 0 1 0 337934609 26341376 539 33554432000 4194304 4198148 140735195153296 140735195152224 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11661/statm: 6431 539 387 1 0 226 0
[pid=11909] ppid=11661 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11909/stat : 11909 (sh) S 11661 11661 11312 0 -1 4202496 370 217 0 0 0 0 0 0 20 0 1 0 338114652 9367552 264 33554432000 4194304 5064252 140734822530640 140734822528896 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11909/statm: 2287 264 223 213 0 72 0
[pid=11912] ppid=11909 vsize=3832 CPUtime=1.96 cores=0,2,4,6
/proc/11912/stat : 11912 (clasp-1.0) R 11909 11661 11312 0 -1 4202496 553 0 0 0 196 0 0 0 20 0 1 0 338114652 3923968 451 33554432000 134512640 134847168 4291205792 4291204560 134617542 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11912/statm: 958 451 270 82 0 199 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 38704
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1802
CPU system time (s): 0.102984
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 41316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802
system time used= 0.102984
maximum resident set size= 4480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 374
involuntary context switches= 2200
runsolver used 2.73558 second user time and 7.10392 second system time
The end