runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3276387-1307648704/watcher-3276387-1307648704 -o /tmp/evaluation-result-3276387-1307648704/solver-3276387-1307648704 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3276387-1307648704.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 5.76 5.95 5.91 4/180 9796
/proc/meminfo: memFree=31999252/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 15107800218210369796 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0

[startup+0.015378 s]
/proc/loadavg: 5.76 5.95 5.91 4/180 9796
/proc/meminfo: memFree=31999252/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 15107800218210369796 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100429 s]
/proc/loadavg: 5.76 5.95 5.91 4/180 9796
/proc/meminfo: memFree=31999252/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 15107800218210369796 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300391 s]
/proc/loadavg: 5.76 5.95 5.91 4/180 9796
/proc/meminfo: memFree=31999252/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 23 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103221592113020928 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700267 s]
/proc/loadavg: 5.76 5.95 5.91 4/180 9796
/proc/meminfo: memFree=31999252/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 23 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103221592113020928 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50113 s]
/proc/loadavg: 5.76 5.95 5.91 7/184 9800
/proc/meminfo: memFree=31934060/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 23 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103221592113020928 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=65484 CPUtime=0.54 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 11743 0 0 0 53 1 0 0 25 0 1 0 876469167 67055616 10108 33554432000 4194304 4587354 140734841092608 18446744073709551615 4383880 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 16371 10108 315 96 0 12933 0
[pid=9798] ppid=9796 vsize=28388 CPUtime=0.41 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 5519 0 0 0 41 0 0 0 25 0 1 0 876469167 29069312 4246 33554432000 4194304 4785740 140735331482912 18446744073709551615 4495743 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 7097 4246 313 145 0 4142 0
[pid=9799] ppid=9796 vsize=463876 CPUtime=0.51 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 4247 0 0 0 51 0 0 0 25 0 1 0 876469167 475009024 4144 33554432000 134512640 134534564 4290242960 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 115969 4144 91 6 0 114635 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 576072

[startup+3.10093 s]
/proc/loadavg: 5.76 5.95 5.91 7/184 9800
/proc/meminfo: memFree=31928604/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=61896 CPUtime=1.04 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 15569 0 0 0 103 1 0 0 25 0 1 0 876469167 63381504 10260 33554432000 4194304 4587354 140734841092608 18446744073709551615 4245490 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 15474 10260 326 96 0 12036 0
[pid=9798] ppid=9796 vsize=28388 CPUtime=0.92 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 5536 0 0 0 92 0 0 0 25 0 1 0 876469167 29069312 4263 33554432000 4194304 4785740 140735331482912 18446744073709551615 4484282 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 7097 4263 316 145 0 4142 0
[pid=9799] ppid=9796 vsize=463876 CPUtime=1.1 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 4247 0 0 0 110 0 0 0 25 0 1 0 876469167 475009024 4144 33554432000 134512640 134534564 4290242960 18446744073709551615 134524491 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 115969 4144 91 6 0 114635 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 572484

[startup+6.30038 s]
/proc/loadavg: 5.78 5.95 5.91 7/184 9800
/proc/meminfo: memFree=31920532/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103222416746741760 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=99400 CPUtime=2.14 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 17085 0 0 0 212 2 0 0 25 0 1 0 876469167 101785600 11764 33554432000 4194304 4587354 140734841092608 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 24850 11764 326 96 0 21412 0
[pid=9798] ppid=9796 vsize=27540 CPUtime=2.01 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 5951 0 0 0 201 0 0 0 25 0 1 0 876469167 28200960 4177 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 6885 4177 340 145 0 3930 0
[pid=9799] ppid=9796 vsize=465856 CPUtime=2.11 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6119 0 0 0 211 0 0 0 25 0 1 0 876469167 477036544 6016 33554432000 134512640 134534564 4290242960 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 116464 6016 95 6 0 115130 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 611120

[startup+12.7013 s]
/proc/loadavg: 5.80 5.95 5.91 7/184 9800
/proc/meminfo: memFree=31898528/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103220767479300096 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=1763996 CPUtime=4.24 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 19863 0 0 0 422 2 0 0 25 0 1 0 876469167 1806331904 11248 33554432000 4194304 4587354 140734841092608 18446744073709551615 4238595 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 440999 11248 331 96 0 437561 0
[pid=9798] ppid=9796 vsize=42916 CPUtime=4.13 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 9829 0 0 0 412 1 0 0 25 0 1 0 876469167 43945984 8055 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287042 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 10729 8055 340 145 0 7774 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=4.3 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 430 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2294924

[startup+25.5011 s]
/proc/loadavg: 5.84 5.95 5.91 7/184 9800
/proc/meminfo: memFree=31890080/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103221592113020928 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=1763996 CPUtime=8.54 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 19933 0 0 0 852 2 0 0 25 0 1 0 876469167 1806331904 11318 33554432000 4194304 4587354 140734841092608 18446744073709551615 4365352 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 440999 11318 337 96 0 437561 0
[pid=9798] ppid=9796 vsize=74344 CPUtime=8.41 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 17594 0 0 0 839 2 0 0 25 0 1 0 876469167 76128256 15820 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 18586 15820 340 145 0 15631 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=8.51 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 851 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2326352

[startup+51.1008 s]
/proc/loadavg: 5.89 5.96 5.91 7/184 9801
/proc/meminfo: memFree=31799880/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103222141868834816 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=1816896 CPUtime=17.03 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 32034 0 0 0 1700 3 0 0 25 0 1 0 876469167 1860501504 23419 33554432000 4194304 4587354 140734841092608 18446744073709551615 4365356 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 454224 23419 337 96 0 450786 0
[pid=9798] ppid=9796 vsize=116756 CPUtime=16.93 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 27964 0 0 0 1689 4 0 0 25 0 1 0 876469167 119558144 26190 33554432000 4194304 4785740 140735331482912 18446744073709551615 4286927 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 29189 26190 340 145 0 26234 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=17.09 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 1709 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2421664

[startup+102.307 s]
/proc/loadavg: 5.95 5.96 5.91 7/184 9802
/proc/meminfo: memFree=31761912/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103222004429881344 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=1869184 CPUtime=34.13 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 35053 0 0 0 3409 4 0 0 25 0 1 0 876469167 1914044416 23789 33554432000 4194304 4587354 140734841092608 18446744073709551615 4365356 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 467296 23789 337 96 0 463858 0
[pid=9798] ppid=9796 vsize=144176 CPUtime=34.01 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 34526 0 0 0 3395 6 0 0 25 0 1 0 876469167 147636224 32752 33554432000 4194304 4785740 140735331482912 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 36044 32752 340 145 0 33089 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=34.13 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 3413 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2501372

[startup+162.301 s]
/proc/loadavg: 5.98 5.97 5.91 7/184 9804
/proc/meminfo: memFree=31706568/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 876469167 18763776 394 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 5103222279307788288 0 0 17 3 0 0 0
/proc/9796/statm: 4581 394 345 23 0 91 0
[pid=9797] ppid=9796 vsize=1870816 CPUtime=54.13 cores=1
/proc/9797/stat : 9797 (cryptominisat) R 9796 9796 9477 0 -1 4202496 37500 0 0 0 5409 4 0 0 25 0 1 0 876469167 1915715584 26233 33554432000 4194304 4587354 140734841092608 18446744073709551615 4365232 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9797/statm: 467704 26233 337 96 0 464266 0
[pid=9798] ppid=9796 vsize=177900 CPUtime=54 cores=1

################
# More data... #
################

/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 2634348

[startup+522.301 s]
/proc/loadavg: 5.61 5.89 5.89 6/183 9813
/proc/meminfo: memFree=31727660/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=244972 CPUtime=179.58 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 58384 0 0 0 17947 11 0 0 25 0 1 0 876469167 250851328 56610 33554432000 4194304 4785740 140735331482912 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 61243 56610 340 145 0 58288 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=179.74 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 17974 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 732984

[startup+582.301 s]
/proc/loadavg: 5.22 5.73 5.83 6/183 9815
/proc/meminfo: memFree=31695396/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=278100 CPUtime=209.58 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 66405 0 0 0 20945 13 0 0 25 0 1 0 876469167 284774400 64631 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 69525 64631 340 145 0 66570 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=209.75 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 20975 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530344 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 766112

[startup+642.301 s]
/proc/loadavg: 5.08 5.59 5.78 6/183 9817
/proc/meminfo: memFree=31681588/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=292664 CPUtime=239.58 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 69812 0 0 0 23944 14 0 0 25 0 1 0 876469167 299687936 68038 33554432000 4194304 4785740 140735331482912 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 73166 68038 340 145 0 70211 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=239.76 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 23976 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 780676

Solver just ended. Dumping a history of the last processes samples

[startup+665.507 s]
/proc/loadavg: 5.05 5.54 5.75 6/183 9817
/proc/meminfo: memFree=31672512/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=294052 CPUtime=251.18 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 70151 0 0 0 25104 14 0 0 25 0 1 0 876469167 301109248 68377 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 73513 68377 340 145 0 70558 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=251.36 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 25136 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 665.48
Current children cumulated vsize (KiB) 782064

[startup+678.301 s]
/proc/loadavg: 5.04 5.52 5.75 6/183 9818
/proc/meminfo: memFree=31670400/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=296828 CPUtime=257.57 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 70730 0 0 0 25743 14 0 0 25 0 1 0 876469167 303951872 68956 33554432000 4194304 4785740 140735331482912 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74207 68956 340 145 0 71252 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=257.75 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 25775 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 678.26
Current children cumulated vsize (KiB) 784840

[startup+681.501 s]
/proc/loadavg: 5.04 5.51 5.74 6/183 9818
/proc/meminfo: memFree=31669900/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=298088 CPUtime=259.17 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 71003 0 0 0 25903 14 0 0 25 0 1 0 876469167 305242112 69229 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74522 69229 340 145 0 71567 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=259.35 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 25935 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 681.46
Current children cumulated vsize (KiB) 786100

[startup+683.107 s]
/proc/loadavg: 5.04 5.51 5.74 6/183 9818
/proc/meminfo: memFree=31667792/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=299792 CPUtime=259.98 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 71361 0 0 0 25984 14 0 0 25 0 1 0 876469167 306987008 69587 33554432000 4194304 4785740 140735331482912 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74948 69587 340 145 0 71993 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=260.16 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 26016 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530339 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 683.08
Current children cumulated vsize (KiB) 787804

[startup+684.701 s]
/proc/loadavg: 5.04 5.51 5.74 6/183 9818
/proc/meminfo: memFree=31667664/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=299792 CPUtime=260.77 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 71373 0 0 0 26063 14 0 0 25 0 1 0 876469167 306987008 69599 33554432000 4194304 4785740 140735331482912 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74948 69599 340 145 0 71993 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=260.95 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 26095 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134529651 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 684.66
Current children cumulated vsize (KiB) 787804

[startup+685.101 s]
/proc/loadavg: 5.04 5.51 5.74 6/183 9818
/proc/meminfo: memFree=31667664/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=299792 CPUtime=260.97 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 71373 0 0 0 26083 14 0 0 25 0 1 0 876469167 306987008 69599 33554432000 4194304 4785740 140735331482912 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74948 69599 340 145 0 71993 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=261.15 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 26115 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 685.06
Current children cumulated vsize (KiB) 787804

[startup+685.306 s]
/proc/loadavg: 5.04 5.51 5.74 6/183 9818
/proc/meminfo: memFree=31667664/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=299792 CPUtime=261.08 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 71373 0 0 0 26094 14 0 0 25 0 1 0 876469167 306987008 69599 33554432000 4194304 4785740 140735331482912 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74948 69599 340 145 0 71993 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=261.26 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 26126 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 685.28
Current children cumulated vsize (KiB) 787804

[startup+685.401 s]
/proc/loadavg: 5.04 5.51 5.74 6/183 9818
/proc/meminfo: memFree=31667664/32950928 swapFree=67050640/67111528
[pid=9796] ppid=9794 vsize=18324 CPUtime=162.94 cores=1,3,5,7
/proc/9796/stat : 9796 (ppfolio) S 9794 9796 9477 0 -1 4202496 502 57035 0 0 0 0 16286 8 15 0 1 0 876469167 18763776 395 33554432000 4194304 4287625 140734866698800 18446744073709551615 251814260239 0 0 4096 65536 4546924650407362817 0 0 17 3 0 0 0
/proc/9796/statm: 4581 395 346 23 0 91 0
[pid=9798] ppid=9796 vsize=299792 CPUtime=261.17 cores=1
/proc/9798/stat : 9798 (clasp) R 9796 9796 9477 0 -1 4202496 71374 0 0 0 26103 14 0 0 25 0 1 0 876469167 306987008 69600 33554432000 4194304 4785740 140735331482912 18446744073709551615 4287042 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9798/statm: 74948 69600 340 145 0 71993 0
[pid=9799] ppid=9796 vsize=469688 CPUtime=261.26 cores=1
/proc/9799/stat : 9799 (TNM) R 9796 9796 9477 0 -1 4202496 6121 0 0 0 26126 0 0 0 25 0 1 0 876469167 480960512 6018 33554432000 134512640 134534564 4290242960 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9799/statm: 117422 6018 95 6 0 116088 0
Current children cumulated CPU time (s) 685.37
Current children cumulated vsize (KiB) 787804

Child status: 0
Real time (s): 685.435
CPU time (s): 685.449
CPU user time (s): 685.19
CPU system time (s): 0.25896
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 11453796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 685.19
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196
involuntary context switches= 7503

runsolver used 1.12783 second user time and 2.6166 second system time

The end