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-3742320-1338787062/watcher-3742320-1338787062 -o /tmp/evaluation-result-3742320-1338787062/solver-3742320-1338787062 -C 1800 -W 1900 -M 15500 pbclasp instance-3742320-1338787062.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.93 1.98 1.99 3/177 8037
/proc/meminfo: memFree=28248280/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) R 8035 8037 5924 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 344831654 26357760 525 33554432000 4194304 4198148 140737151720272 140735918375304 252262715284 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6435 526 355 1 0 230 0
[startup+0.031726 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 8037
/proc/meminfo: memFree=28248280/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.100161 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 8037
/proc/meminfo: memFree=28248280/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.30011 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 8037
/proc/meminfo: memFree=28248280/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.700108 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 8037
/proc/meminfo: memFree=28248280/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+1.50034 s]
/proc/loadavg: 1.93 1.98 1.99 4/182 8042
/proc/meminfo: memFree=28241312/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=16872 CPUtime=0.64 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 4041 0 0 0 64 0 0 0 20 0 1 0 344831656 17276928 3654 33554432000 134512640 134847168 4294393136 4294391904 134617547 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 4218 3654 272 82 0 3459 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 77876
[startup+3.10034 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 8042
/proc/meminfo: memFree=28232100/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=17028 CPUtime=2.24 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 4043 0 0 0 224 0 0 0 20 0 1 0 344831656 17436672 3656 33554432000 134512640 134847168 4294393136 4294391904 134737260 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 4257 3656 272 82 0 3498 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 78032
[startup+6.30034 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 8042
/proc/meminfo: memFree=28232108/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=17028 CPUtime=5.43 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 4076 0 0 0 543 0 0 0 20 0 1 0 344831656 17436672 3689 33554432000 134512640 134847168 4294393136 4294391872 134741030 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 4257 3689 272 82 0 3498 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 78032
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 8042
/proc/meminfo: memFree=28231136/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=17920 CPUtime=11.83 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 4278 0 0 0 1183 0 0 0 20 0 1 0 344831656 18350080 3889 33554432000 134512640 134847168 4294393136 4294391904 134737429 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 4480 3889 272 82 0 3721 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 78924
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 8042
/proc/meminfo: memFree=28223624/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=24484 CPUtime=24.63 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 5883 0 0 0 2462 1 0 0 20 0 1 0 344831656 25071616 5572 33554432000 134512640 134847168 4294393136 4294391776 134782463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 6121 5572 272 82 0 5362 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 85488
[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 8042
/proc/meminfo: memFree=28200992/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=41276 CPUtime=50.22 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 10087 0 0 0 5020 2 0 0 20 0 1 0 344831656 42266624 9776 33554432000 134512640 134847168 4294393136 4294391776 134782673 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 10319 9776 272 82 0 9560 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 102280
[startup+102.306 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 8042
/proc/meminfo: memFree=28159916/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=71356 CPUtime=101.41 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 17470 0 0 0 10137 4 0 0 20 0 1 0 344831656 73068544 17160 33554432000 134512640 134847168 4294393136 4294391776 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 17839 17160 272 82 0 17080 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 132360
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 8046
/proc/meminfo: memFree=28118428/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=82880 CPUtime=161.38 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/182 8056
/proc/meminfo: memFree=27557296/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=251388 CPUtime=1361.13 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 61392 0 0 0 136096 17 0 0 20 0 1 0 344831656 257421312 62053 33554432000 134512640 134847168 4294393136 4294391776 134782476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 62847 62053 272 82 0 62088 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.1
Current children cumulated vsize (KiB) 312392
[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/181 8056
/proc/meminfo: memFree=27542572/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=267216 CPUtime=1421.12 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 65061 0 0 0 142094 18 0 0 20 0 1 0 344831656 273629184 65722 33554432000 134512640 134847168 4294393136 4294391876 134737629 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 66804 65722 272 82 0 66045 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 328220
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 8056
/proc/meminfo: memFree=27538852/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=271624 CPUtime=1481.11 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 66057 0 0 0 148093 18 0 0 20 0 1 0 344831656 278142976 66718 33554432000 134512640 134847168 4294393136 4294391776 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 67906 66718 272 82 0 67147 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 332628
[startup+1542.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/181 8056
/proc/meminfo: memFree=27521104/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=289312 CPUtime=1541.09 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 70260 0 0 0 154089 20 0 0 20 0 1 0 344831656 296255488 71052 33554432000 134512640 134847168 4294393136 4294391876 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 72328 71052 272 82 0 71569 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 350316
[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/181 8056
/proc/meminfo: memFree=27517096/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=291124 CPUtime=1601.07 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 70729 0 0 0 160087 20 0 0 20 0 1 0 344831656 298110976 72058 33554432000 134512640 134847168 4294393136 4294391776 134782363 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 72781 72058 272 82 0 72022 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 352128
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/181 8057
/proc/meminfo: memFree=27514368/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=293980 CPUtime=1661.05 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 71427 0 0 0 166085 20 0 0 20 0 1 0 344831656 301035520 72756 33554432000 134512640 134847168 4294393136 4294391820 134616169 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 73495 72756 272 82 0 72736 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 354984
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/181 8057
/proc/meminfo: memFree=27513624/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=294852 CPUtime=1721.04 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 71611 0 0 0 172084 20 0 0 20 0 1 0 344831656 301928448 72940 33554432000 134512640 134847168 4294393136 4294391776 134782437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 73713 72940 272 82 0 72954 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 355856
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/180 8057
/proc/meminfo: memFree=27514124/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=294852 CPUtime=1781.03 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 71612 0 0 0 178083 20 0 0 20 0 1 0 344831656 301928448 72941 33554432000 134512640 134847168 4294393136 4294391776 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 73713 72941 272 82 0 72954 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 355856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.05 2.00 3/180 8110
/proc/meminfo: memFree=27956860/32873852 swapFree=7624/7624
[pid=8037] ppid=8035 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/8037/stat : 8037 (pbclasp) S 8035 8037 5924 0 -1 4202496 765 0 0 0 1 0 0 0 20 0 1 0 344831654 27029504 678 33554432000 4194304 4198148 140737151720272 140737151719160 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8037/statm: 6599 678 364 1 0 394 0
[pid=8039] ppid=8037 vsize=9148 CPUtime=0.96 cores=0,2,4,6
/proc/8039/stat : 8039 (sh) S 8037 8037 5924 0 -1 4202496 371 626 0 0 0 0 96 0 20 0 1 0 344831656 9367552 263 33554432000 4194304 5064252 140735101267552 140735101265808 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8039/statm: 2287 263 223 213 0 72 0
[pid=8041] ppid=8039 vsize=295168 CPUtime=1799.14 cores=0,2,4,6
/proc/8041/stat : 8041 (clasp-1.0) R 8039 8037 5924 0 -1 4202496 71666 0 0 0 179894 20 0 0 20 0 1 0 344831656 302252032 72995 33554432000 134512640 134847168 4294393136 4294391776 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8041/statm: 73792 72995 272 82 0 73033 0
[pid=8042] ppid=8039 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (pboutclasp.pl) S 8039 8037 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344831656 26071040 437 33554432000 4194304 4198148 140737286020976 140737286011512 252266472688 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/8042/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 356172
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.14
CPU user time (s): 1799.93
CPU system time (s): 0.214967
CPU usage (%): 99.9852
Max. virtual memory (cumulated for all children) (KiB): 356172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.214967
maximum resident set size= 291980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 468
involuntary context switches= 1932
runsolver used 3.81342 second user time and 8.92764 second system time
The end