runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62116 MiB free)
  memory of node 1: 64465 MiB (63806 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518622-1751532359/watcher-4518622-1751532359 -o /tmp/evaluation-result-4518622-1751532359/solver-4518622-1751532359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751523362-82961 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4518622-1751532359.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85488, runsolver pid=85485
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.17 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128943576/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=24616 memory=10260 CPUtime=0.08 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 2144 0 0 0 8 0 0 0 20 0 1 0 68914685 25206784 2565 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 6154 2565 800 2416 0 3256 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31600 KiB
Current children cumulated memory: 14740 KiB

[startup+0.205916 s]*
/proc/loadavg: 4.17 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128940552/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=27304 memory=12180 CPUtime=0.18 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 2629 0 0 0 18 0 0 0 20 0 1 0 68914685 27959296 3045 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 6826 3045 800 2416 0 3928 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34288 KiB
Current children cumulated memory: 16660 KiB

[startup+0.305549 s]*
/proc/loadavg: 4.17 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128936520/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=34380 memory=19196 CPUtime=0.28 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 3342 0 0 0 28 0 0 0 20 0 1 0 68914685 35205120 4799 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 8595 4799 800 2416 0 5697 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41364 KiB
Current children cumulated memory: 23676 KiB

[startup+0.700246 s]
/proc/loadavg: 4.17 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128936520/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=45984 memory=31824 CPUtime=0.67 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 4908 0 0 0 66 1 0 0 20 0 1 0 68914685 47087616 7956 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 11496 7956 800 2416 0 8598 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 52968 KiB
Current children cumulated memory: 36304 KiB

[startup+1.50022 s]
/proc/loadavg: 4.17 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128932740/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=57588 memory=38332 CPUtime=1.47 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 5432 0 0 0 146 1 0 0 20 0 1 0 68914685 58970112 9583 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 14397 9583 800 2416 0 11499 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64572 KiB
Current children cumulated memory: 42812 KiB

[startup+3.10571 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128925052/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=57588 memory=41464 CPUtime=3.07 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 5991 0 0 0 305 2 0 0 20 0 1 0 68914685 58970112 10366 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 14397 10366 800 2416 0 11499 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64572 KiB
Current children cumulated memory: 45944 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 85492
/proc/meminfo: memFree=128917208/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=76264 memory=55544 CPUtime=6.26 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 6450 0 0 0 624 2 0 0 20 0 1 0 68914685 78094336 13886 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 19066 13886 800 2416 0 16168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83248 KiB
Current children cumulated memory: 60024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.11 5/274 85492
/proc/meminfo: memFree=128908040/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=88128 memory=65928 CPUtime=12.64 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 8397 0 0 0 1260 4 0 0 20 0 1 0 68914685 90243072 16482 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 22032 16482 800 2416 0 19134 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 95112 KiB
Current children cumulated memory: 70408 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 4.11 5/274 85492
/proc/meminfo: memFree=128867224/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=99620 memory=85572 CPUtime=25.41 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 13470 0 0 0 2534 7 0 0 20 0 1 0 68914685 102010880 21393 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 24905 21393 800 2416 0 22007 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106604 KiB
Current children cumulated memory: 90052 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.15 4.11 5/272 85493
/proc/meminfo: memFree=128888928/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85491] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85491/stat : 85491 (timeout) S 85488 85491 82945 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68914684 2723840 352 18446744073709551615 94722371207168 94722371223681 140734776237440 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94722371238448 94722371240536 94722373824512 140734776240536 140734776240674 140734776240674 140734776246247 0
/proc/85491/statm: 665 352 352 5 0 90 0
[pid=85492] ppid=85491 vsize=119180 memory=100424 CPUtime=50.95 cores=1,3
/proc/85492/stat : 85492 (CASHWMaxSAT-Dis) R 85491 85491 82945 0 -1 4194304 18237 0 0 0 5081 14 0 0 20 0 1 0 68914685 122040320 25106 18446744073709551615 4198400 14093885 140730840448016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140730840455581 140730840455707 140730840455707 140730840461280 0
/proc/85492/statm: 29795 25106 800 2416 0 26897 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 126164 KiB
Current children cumulated memory: 104904 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/271 85495
/proc/meminfo: memFree=128841728/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0

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

/proc/85700/statm: 148867 140943 3392 2271 0 143505 0
Current children cumulated CPU time: 1896.88 s
Current children cumulated vsize: 602452 KiB
Current children cumulated memory: 568252 KiB

[startup+1962.3 s]
/proc/loadavg: 3.08 3.41 3.78 4/264 85806
/proc/meminfo: memFree=127635204/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=595468 memory=570044 CPUtime=1059.97 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232497 0 0 0 100823 5174 0 0 20 0 1 0 69004586 609759232 142511 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 148867 142511 3424 2271 0 143505 0
Current children cumulated CPU time: 1956.75 s
Current children cumulated vsize: 602452 KiB
Current children cumulated memory: 574524 KiB

[startup+1989.57 s]
# the end of solver process 85488 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1928.45 s, system=55.4945 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1971.2 s]
/proc/loadavg: 3.08 3.40 3.77 4/264 85806
/proc/meminfo: memFree=127605716/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=601060 CPUtime=1068.85 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232812 0 0 0 101701 5184 0 0 20 0 1 0 69004586 646201344 150265 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150265 3424 2271 0 152402 0
Current children cumulated CPU time: 1965.63 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 605540 KiB

[startup+1977.6 s]
/proc/loadavg: 3.15 3.41 3.77 4/264 85806
/proc/meminfo: memFree=127593912/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1075.23 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 102333 5190 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1972.01 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

[startup+1984 s]*
/proc/loadavg: 3.13 3.40 3.77 4/264 85806
/proc/meminfo: memFree=127585848/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1081.62 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 102967 5195 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1978.4 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

[startup+1987.2 s]
/proc/loadavg: 3.12 3.39 3.76 4/264 85806
/proc/meminfo: memFree=127584316/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1084.8 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 103283 5197 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1981.58 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

[startup+1988.8 s]
/proc/loadavg: 3.12 3.39 3.76 4/264 85806
/proc/meminfo: memFree=127584316/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1086.4 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 103441 5199 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1983.18 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

[startup+1989.2 s]
/proc/loadavg: 3.12 3.39 3.76 4/264 85806
/proc/meminfo: memFree=127584316/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1086.8 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 103481 5199 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1983.58 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

[startup+1989.4 s]
/proc/loadavg: 3.12 3.39 3.76 4/264 85806
/proc/meminfo: memFree=127584316/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1087 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 103501 5199 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1983.78 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

[startup+1989.5 s]
/proc/loadavg: 3.12 3.39 3.76 4/264 85806
/proc/meminfo: memFree=127584316/131249992 swapFree=33010160/33010684
[pid=85488] ppid=85485 vsize=4324 memory=3072 CPUtime=896.78 cores=1,3
/proc/85488/stat : 85488 (Hybrid-CASHWMax) S 85485 85488 82945 0 -1 4194304 283 144645 0 0 0 0 89331 347 20 0 1 0 68914683 4427776 768 18446744073709551615 94455390470144 94455391364677 140723514242432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94455391603728 94455391651472 94455421407232 140723514251605 140723514251760 140723514251760 140723514257362 0
/proc/85488/statm: 1081 768 704 219 0 143 0
[pid=85699] ppid=85488 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85699/stat : 85699 (timeout) S 85488 85699 82945 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 69004585 2723840 352 18446744073709551615 94724196069376 94724196085889 140723932570416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94724196100656 94724196102744 94724221403136 140723932576133 140723932576290 140723932576290 140723932581863 0
/proc/85699/statm: 665 352 352 5 0 90 0
[pid=85700] ppid=85699 vsize=631056 memory=603108 CPUtime=1087.1 cores=1,3
/proc/85700/stat : 85700 (ExactPR-S9) R 85699 85699 82945 0 -1 4194304 232813 0 0 0 103511 5199 0 0 20 0 1 0 69004586 646201344 150777 18446744073709551615 94483530203136 94483539503237 140725105819552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94483541289280 94483541328360 94483579236352 140725105822108 140725105822246 140725105822246 140725105827819 0
/proc/85700/statm: 157764 150777 3424 2271 0 152402 0
Current children cumulated CPU time: 1983.88 s
Current children cumulated vsize: 638040 KiB
Current children cumulated memory: 607588 KiB

Child status: 0

Real time (s): 1989.57
CPU time (s): 1983.95
CPU user time (s): 1928.45
CPU system time (s): 55.4945
CPU usage (%): 99.7176
Max. virtual memory (cumulated for all children) (KiB): 950420
Max. memory (cumulated for all children) (KiB): 910412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1928.45
system time used= 55.4945
maximum resident set size= 905932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 887
involuntary context switches= 3664


# summary of solver processes directly reported to runsolver:
#   pid: 85488
#   total CPU time (s): 1983.95
#   total CPU user time (s): 1928.45
#   total CPU system time (s): 55.4945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.20371 second user time and 9.34817 second system time

The end