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-3737760-1338744151/watcher-3737760-1338744151 -o /tmp/evaluation-result-3737760-1338744151/solver-3737760-1338744151 -C 1800 -W 1900 -M 15500 pbclasp instance-3737760-1338744151.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.19 1.58 1.40 2/174 26776
/proc/meminfo: memFree=28882124/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) R 26774 26776 32725 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 340543692 26071040 449 33554432000 4194304 4198148 140735531342496 140735531339944 245293879188 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6365 450 345 1 0 160 0
[startup+0.0888241 s]
/proc/loadavg: 1.19 1.58 1.40 2/174 26776
/proc/meminfo: memFree=28882124/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+0.10017 s]
/proc/loadavg: 1.19 1.58 1.40 2/174 26776
/proc/meminfo: memFree=28882124/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+0.300114 s]
/proc/loadavg: 1.19 1.58 1.40 2/174 26776
/proc/meminfo: memFree=28882124/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+0.700275 s]
/proc/loadavg: 1.19 1.58 1.40 2/174 26776
/proc/meminfo: memFree=28882124/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+1.50035 s]
/proc/loadavg: 1.19 1.58 1.40 2/178 26781
/proc/meminfo: memFree=28871576/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=12340 CPUtime=0.99 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 2717 0 0 0 99 0 0 0 20 0 1 0 340543694 12636160 2501 33554432000 134512640 134847168 4288153744 4288152320 134714339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 3085 2501 270 82 0 2326 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 72820
[startup+3.10041 s]
/proc/loadavg: 1.19 1.58 1.40 4/178 26788
/proc/meminfo: memFree=28872552/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=15780 CPUtime=2.58 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 3601 0 0 0 258 0 0 0 20 0 1 0 340543694 16158720 3385 33554432000 134512640 134847168 4288153744 4288152384 134715280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 3945 3385 270 82 0 3186 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 76260
[startup+6.30034 s]
/proc/loadavg: 1.26 1.58 1.40 3/178 26794
/proc/meminfo: memFree=28854428/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=26360 CPUtime=5.78 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 6254 0 0 0 577 1 0 0 20 0 1 0 340543694 26992640 6053 33554432000 134512640 134847168 4288153744 4288152000 10347815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 6590 6053 270 82 0 5831 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 86840
[startup+12.7003 s]
/proc/loadavg: 1.31 1.59 1.41 3/183 26889
/proc/meminfo: memFree=28873848/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=36160 CPUtime=12.17 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 8692 0 0 0 1216 1 0 0 20 0 1 0 340543694 37027840 8491 33554432000 134512640 134847168 4288153744 4288152436 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 9040 8491 270 82 0 8281 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 96640
[startup+25.5005 s]
/proc/loadavg: 1.47 1.61 1.42 3/183 26889
/proc/meminfo: memFree=28863864/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=44940 CPUtime=24.96 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 10870 0 0 0 2495 1 0 0 20 0 1 0 340543694 46018560 10698 33554432000 134512640 134847168 4288153744 4288152208 134713648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 11235 10698 270 82 0 10476 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 105420
[startup+51.1004 s]
/proc/loadavg: 1.65 1.64 1.43 3/183 26889
/proc/meminfo: memFree=28849848/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=57548 CPUtime=50.56 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 13991 0 0 0 5054 2 0 0 20 0 1 0 340543694 58929152 13820 33554432000 134512640 134847168 4288153744 4288152440 134616823 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 14387 13820 270 82 0 13628 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 118028
[startup+102.307 s]
/proc/loadavg: 1.85 1.69 1.46 3/183 26889
/proc/meminfo: memFree=28837808/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=67924 CPUtime=101.76 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 16581 0 0 0 10173 3 0 0 20 0 1 0 340543694 69554176 16420 33554432000 134512640 134847168 4288153744 4288152368 134784670 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 16981 16420 270 82 0 16222 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 128404
[startup+162.3 s]
/proc/loadavg: 1.94 1.75 1.49 3/183 26889
/proc/meminfo: memFree=28825520/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=79456 CPUtime=161.75 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.84 3/183 26899
/proc/meminfo: memFree=28755952/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=144568 CPUtime=1421.55 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 40741 0 0 0 142143 12 0 0 20 0 1 0 340543694 148037632 35451 33554432000 134512640 134847168 4288153744 4288152512 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 36142 35451 270 82 0 35383 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.1
Current children cumulated vsize (KiB) 205048
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.85 3/183 26899
/proc/meminfo: memFree=28751660/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=147580 CPUtime=1481.53 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 41936 0 0 0 148141 12 0 0 20 0 1 0 340543694 151121920 36254 33554432000 134512640 134847168 4288153744 4288152368 134784798 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 36895 36254 270 82 0 36136 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 208060
[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 1.86 3/183 26900
/proc/meminfo: memFree=28751412/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=147844 CPUtime=1541.52 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 41978 0 0 0 154140 12 0 0 20 0 1 0 340543694 151392256 36296 33554432000 134512640 134847168 4288153744 4288152448 134616650 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 36961 36296 270 82 0 36202 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 208324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26900
/proc/meminfo: memFree=28751288/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=147844 CPUtime=1601.51 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 41993 0 0 0 160139 12 0 0 20 0 1 0 340543694 151392256 36311 33554432000 134512640 134847168 4288153744 4288152436 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 36961 36311 270 82 0 36202 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 208324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/184 26903
/proc/meminfo: memFree=28744952/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=154104 CPUtime=1661.51 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 43551 0 0 0 166138 13 0 0 20 0 1 0 340543694 157802496 37869 33554432000 134512640 134847168 4288153744 4288152428 134789696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 38526 37869 270 82 0 37767 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 214584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/183 26903
/proc/meminfo: memFree=28745828/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=152760 CPUtime=1721.5 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 43553 0 0 0 172137 13 0 0 20 0 1 0 340543694 156426240 37549 33554432000 134512640 134847168 4288153744 4288152512 134617536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 38190 37549 270 82 0 37431 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 213240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 26903
/proc/meminfo: memFree=28744896/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=153860 CPUtime=1781.48 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 43929 0 0 0 178135 13 0 0 20 0 1 0 340543694 157552640 37803 33554432000 134512640 134847168 4288153744 4288152436 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 38465 37803 270 82 0 37706 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 214340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 26904
/proc/meminfo: memFree=28743532/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=155492 CPUtime=1799.49 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 44303 0 0 0 179936 13 0 0 20 0 1 0 340543694 159223808 38177 33554432000 134512640 134847168 4288153744 4288152092 10350144 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 38873 38177 270 82 0 38114 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 215972
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 26904
/proc/meminfo: memFree=28743532/32873844 swapFree=7372/7372
[pid=26776] ppid=26774 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/26776/stat : 26776 (pbclasp) S 26774 26776 32725 0 -1 4202496 630 0 0 0 1 0 0 0 20 0 1 0 340543692 26492928 541 33554432000 4194304 4198148 140735531342496 140735531341384 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26776/statm: 6468 541 363 1 0 263 0
[pid=26778] ppid=26776 vsize=9148 CPUtime=0.54 cores=0,2,4,6
/proc/26778/stat : 26778 (sh) S 26776 26776 32725 0 -1 4202496 371 641 0 0 0 0 54 0 20 0 1 0 340543694 9367552 264 33554432000 4194304 5064252 140735532431744 140735532430000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26778/statm: 2287 264 223 213 0 72 0
[pid=26780] ppid=26778 vsize=155492 CPUtime=1799.49 cores=0,2,4,6
/proc/26780/stat : 26780 (clasp-1.0) R 26778 26776 32725 0 -1 4202496 44303 0 0 0 179936 13 0 0 20 0 1 0 340543694 159223808 38177 33554432000 134512640 134847168 4288153744 4288152092 10350144 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26780/statm: 38873 38177 270 82 0 38114 0
[pid=26781] ppid=26778 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/26781/stat : 26781 (pboutclasp.pl) S 26778 26776 32725 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 340543694 26071040 437 33554432000 4194304 4198148 140736844986352 140736844976888 245297636592 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26781/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 215972
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.06
CPU user time (s): 1799.92
CPU system time (s): 0.140978
CPU usage (%): 99.9862
Max. virtual memory (cumulated for all children) (KiB): 215972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.140978
maximum resident set size= 152708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46619
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= 220
involuntary context switches= 1965
runsolver used 4.91925 second user time and 15.9546 second system time
The end