runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394899-1306085139/watcher-3394899-1306085139 -o /tmp/evaluation-result-3394899-1306085139/solver-3394899-1306085139 -C 5000 -W 5100 -M 15500 MPhaseSAT64 HOME/instance-3394899-1306085139.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: 1.01 1.43 1.75 2/517 1565
/proc/meminfo: memFree=8891588/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=16008 CPUtime=0 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 720110612 16392192 346 33554432000 4194304 4479436 140734598585872 18446744073709551615 254500223757 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 4002 346 267 70 0 1122 0

[startup+0.115108 s]
/proc/loadavg: 1.01 1.43 1.75 2/517 1565
/proc/meminfo: memFree=8891588/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=19828 CPUtime=0.11 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 2292 0 0 0 11 0 0 0 21 0 1 0 720110612 20303872 2232 33554432000 4194304 4479436 140734598585872 18446744073709551615 4244440 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 4957 2232 275 70 0 2077 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19828

[startup+0.20109 s]
/proc/loadavg: 1.01 1.43 1.75 2/517 1565
/proc/meminfo: memFree=8891588/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=19132 CPUtime=0.19 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 3252 0 0 0 19 0 0 0 21 0 1 0 720110612 19591168 2140 33554432000 4194304 4479436 140734598585872 18446744073709551615 4264896 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 4783 2140 279 70 0 1903 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19132

[startup+0.301076 s]
/proc/loadavg: 1.01 1.43 1.75 2/517 1565
/proc/meminfo: memFree=8891588/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=32944 CPUtime=0.29 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 6732 0 0 0 29 0 0 0 21 0 1 0 720110612 33734656 5613 33554432000 4194304 4479436 140734598585872 18446744073709551615 4340576 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 8236 5613 299 70 0 5356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32944

[startup+0.70099 s]
/proc/loadavg: 1.01 1.43 1.75 2/517 1565
/proc/meminfo: memFree=8891588/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=27300 CPUtime=0.69 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 6744 0 0 0 69 0 0 0 22 0 1 0 720110612 27955200 4214 33554432000 4194304 4479436 140734598585872 18446744073709551615 4304656 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 6825 4214 311 70 0 3945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27300

[startup+1.50083 s]
/proc/loadavg: 1.09 1.44 1.75 3/518 1566
/proc/meminfo: memFree=8864732/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=27300 CPUtime=1.49 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 6749 0 0 0 149 0 0 0 25 0 1 0 720110612 27955200 4219 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450921 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 6825 4219 316 70 0 3945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27300

[startup+3.10051 s]
/proc/loadavg: 1.09 1.44 1.75 3/518 1566
/proc/meminfo: memFree=8863616/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=27300 CPUtime=3.09 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 6749 0 0 0 309 0 0 0 25 0 1 0 720110612 27955200 4219 33554432000 4194304 4479436 140734598585872 18446744073709551615 4451008 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 6825 4219 316 70 0 3945 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27300

[startup+6.30087 s]
/proc/loadavg: 1.09 1.44 1.75 3/518 1567
/proc/meminfo: memFree=8860768/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=31072 CPUtime=6.29 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 7685 0 0 0 629 0 0 0 25 0 1 0 720110612 31817728 5155 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450979 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 7768 5155 316 70 0 4888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31072

[startup+12.7006 s]
/proc/loadavg: 1.23 1.46 1.75 3/518 1567
/proc/meminfo: memFree=8856000/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=31072 CPUtime=12.69 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 7685 0 0 0 1269 0 0 0 25 0 1 0 720110612 31817728 5155 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450941 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 7768 5155 316 70 0 4888 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31072

[startup+25.501 s]
/proc/loadavg: 1.35 1.48 1.76 3/518 1567
/proc/meminfo: memFree=8850156/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=32312 CPUtime=25.5 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 7995 0 0 0 2549 1 0 0 25 0 1 0 720110612 33087488 5465 33554432000 4194304 4479436 140734598585872 18446744073709551615 4304840 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 8078 5465 316 70 0 5198 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 32312

[startup+51.1009 s]
/proc/loadavg: 1.57 1.52 1.76 3/518 1568
/proc/meminfo: memFree=8848284/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=32312 CPUtime=51.1 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 7999 0 0 0 5109 1 0 0 25 0 1 0 720110612 33087488 5469 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450999 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 8078 5469 316 70 0 5198 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 32312

[startup+102.301 s]
/proc/loadavg: 1.83 1.60 1.77 3/518 1569
/proc/meminfo: memFree=8836232/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=38804 CPUtime=102.3 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 12530 0 0 0 10229 1 0 0 25 0 1 0 720110612 39735296 7098 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450933 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 9701 7098 326 70 0 6821 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38804

[startup+162.301 s]
/proc/loadavg: 1.93 1.67 1.78 3/518 1571
/proc/meminfo: memFree=8832492/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=38804 CPUtime=162.3 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 12530 0 0 0 16229 1 0 0 25 0 1 0 720110612 39735296 7098 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331644 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 9701 7098 326 70 0 6821 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 38804

[startup+222.32 s]
/proc/loadavg: 2.08 1.76 1.81 3/518 1572
/proc/meminfo: memFree=8831348/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=41072 CPUtime=222.32 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 13097 0 0 0 22231 1 0 0 25 0 1 0 720110612 42057728 7665 33554432000 4194304 4479436 140734598585872 18446744073709551615 4451010 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 10268 7665 326 70 0 7388 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 41072

[startup+282.301 s]
/proc/loadavg: 2.03 1.80 1.82 3/518 1574
/proc/meminfo: memFree=8828716/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=44112 CPUtime=282.3 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 13857 0 0 0 28229 1 0 0 25 0 1 0 720110612 45170688 8425 33554432000 4194304 4479436 140734598585872 18446744073709551615 4451008 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 11028 8425 326 70 0 8148 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44112

[startup+342.301 s]
/proc/loadavg: 2.01 1.83 1.82 3/518 1575
/proc/meminfo: memFree=8812320/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=342.31 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 34229 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450905 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 60500

[startup+402.301 s]
/proc/loadavg: 2.07 1.89 1.84 3/518 1577
/proc/meminfo: memFree=8812424/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=402.31 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 40229 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450949 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 60500

[startup+462.301 s]
/proc/loadavg: 2.06 1.92 1.85 3/518 1579
/proc/meminfo: memFree=8813504/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=462.32 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 46230 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4451020 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 60500

[startup+522.301 s]
/proc/loadavg: 2.02 1.93 1.86 3/518 1580
/proc/meminfo: memFree=8813728/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=522.32 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 52230 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450933 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 60500

[startup+582.301 s]
/proc/loadavg: 2.00 1.94 1.86 3/518 1582
/proc/meminfo: memFree=8813456/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=582.32 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 58230 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450918 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 60500

[startup+642.301 s]

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

/proc/meminfo: memFree=8846096/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3042.44 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 304242 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331639 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3042.44
Current children cumulated vsize (KiB) 60500

[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/512 1678
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3102.44 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 310242 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331677 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3102.44
Current children cumulated vsize (KiB) 60500

[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/512 1680
/proc/meminfo: memFree=8845672/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3162.44 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 316242 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331413 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3162.44
Current children cumulated vsize (KiB) 60500

[startup+3222.3 s]
/proc/loadavg: 1.07 1.03 1.14 2/512 1681
/proc/meminfo: memFree=8846260/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3222.44 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 322242 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450921 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3222.44
Current children cumulated vsize (KiB) 60500

[startup+3282.3 s]
/proc/loadavg: 1.06 1.03 1.14 2/512 1683
/proc/meminfo: memFree=8846112/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3282.45 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 328243 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450952 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3282.45
Current children cumulated vsize (KiB) 60500

[startup+3342.3 s]
/proc/loadavg: 1.02 1.02 1.13 2/512 1684
/proc/meminfo: memFree=8846072/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3342.45 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 334243 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450905 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3342.45
Current children cumulated vsize (KiB) 60500

[startup+3402.3 s]
/proc/loadavg: 1.00 1.02 1.11 2/512 1686
/proc/meminfo: memFree=8845680/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3402.46 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 340244 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4307240 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3402.46
Current children cumulated vsize (KiB) 60500

[startup+3462.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/512 1688
/proc/meminfo: memFree=8844528/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3462.46 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 346244 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331454 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3462.46
Current children cumulated vsize (KiB) 60500

[startup+3522.32 s]
/proc/loadavg: 1.00 1.01 1.09 2/512 1689
/proc/meminfo: memFree=8845872/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3522.48 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 352246 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331653 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3522.48
Current children cumulated vsize (KiB) 60500

[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1691
/proc/meminfo: memFree=8846212/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3582.46 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 358244 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450905 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3582.46
Current children cumulated vsize (KiB) 60500

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

[startup+3584 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1691
/proc/meminfo: memFree=8845716/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3584.16 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 358414 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450905 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3584.16
Current children cumulated vsize (KiB) 60500

[startup+3609.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846200/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3609.76 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 360974 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4331442 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3609.76
Current children cumulated vsize (KiB) 60500

[startup+3622.42 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846196/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3622.58 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 362256 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4451013 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3622.58
Current children cumulated vsize (KiB) 60500

[startup+3628.8 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3628.96 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 362894 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4452267 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3628.96
Current children cumulated vsize (KiB) 60500

[startup+3630.4 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3630.56 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 363054 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4451020 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3630.56
Current children cumulated vsize (KiB) 60500

[startup+3631.22 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3631.38 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 363136 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450996 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3631.38
Current children cumulated vsize (KiB) 60500

[startup+3631.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3631.76 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 363174 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4306804 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3631.76
Current children cumulated vsize (KiB) 60500

[startup+3632 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=60500 CPUtime=3632.16 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17954 0 0 0 363214 2 0 0 25 0 1 0 720110612 61952000 12522 33554432000 4194304 4479436 140734598585872 18446744073709551615 4450921 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 15125 12522 326 70 0 12245 0
Current children cumulated CPU time (s) 3632.16
Current children cumulated vsize (KiB) 60500

[startup+3632.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/512 1692
/proc/meminfo: memFree=8846192/32950928 swapFree=45358860/67111528
[pid=1565] ppid=1563 vsize=44116 CPUtime=3632.26 cores=1,3,5,7
/proc/1565/stat : 1565 (MPhaseSAT64) R 1563 1565 758 0 -1 4202496 17955 0 0 0 363224 2 0 0 25 0 1 0 720110612 45174784 8426 33554432000 4194304 4479436 140734598585872 18446744073709551615 254500691712 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/1565/statm: 11029 8426 326 70 0 8149 0
Current children cumulated CPU time (s) 3632.26
Current children cumulated vsize (KiB) 44116

Child status: 10
Real time (s): 3632.13
CPU time (s): 3632.3
CPU user time (s): 3632.28
CPU system time (s): 0.027995
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 60500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3632.28
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17962
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= 8
involuntary context switches= 11385

runsolver used 17.0384 second user time and 45.1821 second system time

The end