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 (60584 MiB free)
  memory of node 1: 64465 MiB (61925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502398-1751434960/watcher-4502398-1751434960 -o /tmp/evaluation-result-4502398-1751434960/solver-4502398-1751434960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751434956-60911 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4502398-1751434960.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61147, runsolver pid=61143

[startup+0.100062 s]*
/proc/loadavg: 1.49 3.04 3.72 3/259 61158
/proc/meminfo: memFree=125437696/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=36460 memory=18100 CPUtime=0.07 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 4161 0 0 0 7 0 0 0 20 0 1 0 59174655 37335040 4525 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 9115 4525 768 2416 0 6217 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43444 KiB
Current children cumulated memory: 22580 KiB

[startup+0.205553 s]*
/proc/loadavg: 1.49 3.04 3.72 3/259 61158
/proc/meminfo: memFree=125429632/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=35656 memory=19988 CPUtime=0.17 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 5693 0 0 0 17 0 0 0 20 0 1 0 59174655 36511744 4997 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 8914 4997 800 2416 0 6016 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 24468 KiB

[startup+0.305401 s]*
/proc/loadavg: 1.49 3.04 3.72 3/259 61158
/proc/meminfo: memFree=125429588/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=38332 memory=20628 CPUtime=0.27 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 5849 0 0 0 27 0 0 0 20 0 1 0 59174655 39251968 5157 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 9583 5157 800 2416 0 6685 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 45316 KiB
Current children cumulated memory: 25108 KiB

[startup+0.700144 s]
/proc/loadavg: 1.49 3.04 3.72 3/259 61158
/proc/meminfo: memFree=125413460/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=38332 memory=22164 CPUtime=0.66 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 6236 0 0 0 66 0 0 0 20 0 1 0 59174655 39251968 5541 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 9583 5541 800 2416 0 6685 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45316 KiB
Current children cumulated memory: 26644 KiB

[startup+1.50015 s]
/proc/loadavg: 1.49 3.04 3.72 3/259 61158
/proc/meminfo: memFree=125369044/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=45432 memory=27460 CPUtime=1.46 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 6617 0 0 0 146 0 0 0 20 0 1 0 59174655 46522368 6865 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 11358 6865 800 2416 0 8460 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 52416 KiB
Current children cumulated memory: 31940 KiB

[startup+3.10534 s]
/proc/loadavg: 1.61 3.04 3.72 3/259 61158
/proc/meminfo: memFree=125227608/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=48352 memory=31956 CPUtime=3.06 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 7422 0 0 0 305 1 0 0 20 0 1 0 59174655 49512448 7989 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 12088 7989 800 2416 0 9190 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 55336 KiB
Current children cumulated memory: 36436 KiB

[startup+6.30015 s]
/proc/loadavg: 1.61 3.04 3.72 3/259 61158
/proc/meminfo: memFree=124881736/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=59844 memory=44520 CPUtime=6.24 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 8011 0 0 0 623 1 0 0 20 0 1 0 59174655 61280256 11130 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 14961 11130 800 2416 0 12063 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 66828 KiB
Current children cumulated memory: 49000 KiB

[startup+12.7002 s]
/proc/loadavg: 1.67 3.01 3.70 3/259 61158
/proc/meminfo: memFree=124207508/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=59844 memory=44520 CPUtime=12.63 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 8018 0 0 0 1262 1 0 0 20 0 1 0 59174655 61280256 11130 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 14961 11130 800 2416 0 12063 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 66828 KiB
Current children cumulated memory: 49000 KiB

[startup+25.5002 s]
/proc/loadavg: 1.72 2.97 3.68 3/258 61158
/proc/meminfo: memFree=123154112/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=64264 memory=48744 CPUtime=25.39 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 8561 0 0 0 2538 1 0 0 20 0 1 0 59174655 65806336 12186 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 16066 12186 800 2416 0 13168 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 71248 KiB
Current children cumulated memory: 53224 KiB

[startup+51.1053 s]
/proc/loadavg: 1.90 2.91 3.64 3/258 61158
/proc/meminfo: memFree=122883288/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/61154/stat : 61154 (timeout) S 61147 61154 59758 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59174654 2723840 352 18446744073709551615 94472963747840 94472963764353 140734125997856 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94472963779120 94472963781208 94472973639680 140734126000536 140734126000674 140734126000674 140734126006247 0
/proc/61154/statm: 665 352 352 5 0 90 0
[pid=61156] ppid=61154 vsize=90344 memory=70440 CPUtime=50.93 cores=0,2
/proc/61156/stat : 61156 (CASHWMaxSAT-Dis) R 61154 61154 59758 0 -1 4194304 9396 0 0 0 5091 2 0 0 20 0 1 0 59174655 92512256 17610 18446744073709551615 4198400 14093885 140727523910080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40779776 140727523912093 140727523912219 140727523912219 140727523917792 0
/proc/61156/statm: 22586 17610 800 2416 0 19688 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 97328 KiB
Current children cumulated memory: 74920 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.77 3.55 3/257 61160
/proc/meminfo: memFree=113778080/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61154] ppid=61147 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2557.87 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 251023 4764 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3454.44 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.08 1.18 2/247 61377
/proc/meminfo: memFree=125368092/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2617.74 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 256999 4775 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3514.31 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.10 1.18 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2677.61 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 262974 4787 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3574.18 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

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

# cumulated CPU time of all completed processes:  user=3539.94 s, system=48.0214 s

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

[startup+3584 s]*
/proc/loadavg: 1.13 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2679.32 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 263144 4788 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3575.89 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3590.4 s]
/proc/loadavg: 1.12 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2685.7 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 263780 4790 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3582.27 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3593.6 s]
/proc/loadavg: 1.11 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2688.89 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 264099 4790 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3595.2 s]
/proc/loadavg: 1.11 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2690.49 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 264259 4790 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3595.6 s]
/proc/loadavg: 1.11 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2690.89 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 264299 4790 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3596 s]*
/proc/loadavg: 1.11 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=896.57 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 282 14853 0 0 0 0 89649 8 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
[pid=61195] ppid=61147 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/61195/stat : 61195 (timeout) S 61147 61195 59758 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59264555 2723840 320 18446744073709551615 94034733576192 94034733592705 140722384161840 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94034733607472 94034733609560 94034761560064 140722384169349 140722384169506 140722384169506 140722384175079 0
/proc/61195/statm: 665 320 320 5 0 90 0
[pid=61196] ppid=61195 vsize=244768 memory=231508 CPUtime=2691.29 cores=0,2
/proc/61196/stat : 61196 (ExactPR-S9) R 61195 61195 59758 0 -1 4194304 66185 0 0 0 264339 4790 0 0 20 0 1 0 59264556 250642432 57877 18446744073709551615 94197067087872 94197076387973 140730593475008 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94197078174016 94197078213096 94197100011520 140730593479068 140730593479206 140730593479206 140730593484779 0
/proc/61196/statm: 61192 57877 3392 2271 0 55830 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 251752 KiB
Current children cumulated memory: 235860 KiB

[startup+3596.11 s]
/proc/loadavg: 1.11 1.09 1.17 2/247 61379
/proc/meminfo: memFree=125367920/131250000 swapFree=33010684/33010684
[pid=61147] ppid=61143 vsize=4324 memory=3072 CPUtime=3587.94 cores=0,2
/proc/61147/stat : 61147 (Hybrid-CASHWMax) S 61143 61147 59758 0 -1 4194304 431 83494 0 0 0 0 353993 4801 20 0 1 0 59174652 4427776 768 18446744073709551615 94694631997440 94694632891973 140734896477360 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94694633131024 94694633178768 94694654611456 140734896482645 140734896482800 140734896482800 140734896488402 0
/proc/61147/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3587.96
CPU user time (s): 3539.94
CPU system time (s): 48.0214
CPU usage (%): 99.7731
Max. virtual memory (cumulated for all children) (KiB): 293884
Max. memory (cumulated for all children) (KiB): 258616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3539.94
system time used= 48.0214
maximum resident set size= 254264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1988
involuntary context switches= 7853


# summary of solver processes directly reported to runsolver:
#   pid: 61147
#   total CPU time (s): 3587.96
#   total CPU user time (s): 3539.94
#   total CPU system time (s): 48.0214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57676 second user time and 13.7787 second system time

The end