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: 63665 MiB (36085 MiB free)
  memory of node 1: 64507 MiB (49938 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523542-1751590098/watcher-4523542-1751590098 -o /tmp/evaluation-result-4523542-1751590098/solver-4523542-1751590098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751588898-87922 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4523542-1751590098.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=88249, runsolver pid=88246

[startup+0.100066 s]*
/proc/loadavg: 4.11 4.07 3.95 5/271 88253
/proc/meminfo: memFree=88088968/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=26108 memory=11392 CPUtime=0.08 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 2106 0 0 0 8 0 0 0 20 0 1 0 74687524 26734592 2848 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 6527 2848 864 2593 0 3420 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33092 KiB
Current children cumulated memory: 15872 KiB

[startup+0.205927 s]*
/proc/loadavg: 4.11 4.07 3.95 5/271 88253
/proc/meminfo: memFree=88101028/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=34628 memory=19840 CPUtime=0.18 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 4217 0 0 0 18 0 0 0 20 0 1 0 74687524 35459072 4960 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 8657 4960 864 2593 0 5550 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41612 KiB
Current children cumulated memory: 24320 KiB

[startup+0.305824 s]*
/proc/loadavg: 4.11 4.07 3.95 5/271 88253
/proc/meminfo: memFree=88032484/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=42840 memory=27776 CPUtime=0.28 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 6203 0 0 0 28 0 0 0 20 0 1 0 74687524 43868160 6944 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 10710 6944 864 2593 0 7603 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49824 KiB
Current children cumulated memory: 32256 KiB

[startup+0.70024 s]
/proc/loadavg: 4.11 4.07 3.95 5/271 88253
/proc/meminfo: memFree=87943780/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=74644 memory=58112 CPUtime=0.66 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 13789 0 0 0 65 1 0 0 20 0 1 0 74687524 76435456 14528 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 18661 14528 864 2593 0 15554 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 81628 KiB
Current children cumulated memory: 62592 KiB

[startup+1.50024 s]
/proc/loadavg: 4.11 4.07 3.95 5/271 88253
/proc/meminfo: memFree=87528068/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=197916 memory=174972 CPUtime=1.47 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 30192 0 0 0 141 6 0 0 20 0 1 0 74687524 202665984 43743 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 49479 43743 896 2593 0 46372 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 204900 KiB
Current children cumulated memory: 179452 KiB

[startup+3.10574 s]
/proc/loadavg: 4.11 4.07 3.95 5/271 88253
/proc/meminfo: memFree=86981080/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=325724 memory=292800 CPUtime=3.07 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 40340 0 0 0 296 11 0 0 20 0 1 0 74687524 333541376 73200 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 81431 73200 1152 2593 0 78324 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 332708 KiB
Current children cumulated memory: 297280 KiB

[startup+6.30024 s]
/proc/loadavg: 4.10 4.07 3.95 5/271 88253
/proc/meminfo: memFree=86296156/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=612736 memory=588036 CPUtime=6.26 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 63724 0 0 0 606 20 0 0 20 0 1 0 74687524 627441664 147009 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 153184 147009 1152 2593 0 150077 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 619720 KiB
Current children cumulated memory: 592516 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.06 3.95 5/271 88253
/proc/meminfo: memFree=85750368/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=1159240 memory=1036916 CPUtime=12.64 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 94025 0 0 0 1229 35 0 0 20 0 1 0 74687524 1187061760 259229 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 289810 259229 1152 2593 0 286703 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1166224 KiB
Current children cumulated memory: 1041396 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.06 3.96 5/271 88253
/proc/meminfo: memFree=81459176/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=4766924 memory=4360848 CPUtime=25.4 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 506298 0 0 0 2380 160 0 0 20 0 1 0 74687524 4881330176 1090212 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 1191731 1090212 1216 2593 0 1188624 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4773908 KiB
Current children cumulated memory: 4365328 KiB

[startup+51.1058 s]
/proc/loadavg: 4.05 4.05 3.96 5/271 88254
/proc/meminfo: memFree=81132924/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88252/stat : 88252 (timeout) S 88249 88252 87909 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74687524 2723840 352 18446744073709551615 94438053003264 94438053019777 140720563099472 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94438053034544 94438053036632 94438076719104 140720563108246 140720563108386 140720563108386 140720563113959 0
/proc/88252/statm: 665 352 352 5 0 90 0
[pid=88253] ppid=88252 vsize=4887792 memory=4473652 CPUtime=50.92 cores=5,7
/proc/88253/stat : 88253 (CASHWMaxSAT-Dis) R 88252 88252 87909 0 -1 4194304 524509 0 0 0 4922 170 0 0 20 0 1 0 74687524 5005099008 1118413 18446744073709551615 4198400 14817773 140732153259280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23990272 140732153268636 140732153268763 140732153268763 140732153274336 0
/proc/88253/statm: 1221948 1118413 1216 2593 0 1218841 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4894776 KiB
Current children cumulated memory: 4478132 KiB

[startup+102.3 s]
/proc/loadavg: 4.02 4.05 3.96 5/272 88369
/proc/meminfo: memFree=109611060/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88252] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1299.92 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 129940 52 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2494.17 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2562.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 88683
/proc/meminfo: memFree=123045508/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1359.73 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 135918 55 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2553.98 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

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

# cumulated CPU time of all completed processes:  user=2574.54 s, system=10.5774 s

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

[startup+2572.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 88683
/proc/meminfo: memFree=123035304/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1370.2 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 136964 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2564.45 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2585.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123034704/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1382.96 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 138240 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2577.21 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2588.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123034704/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1386.15 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 138559 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2580.4 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2592 s]*
/proc/loadavg: 4.09 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123036524/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1389.34 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 138878 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2583.59 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2592.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123036524/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1390.13 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 138957 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2584.38 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2593.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123036524/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1390.53 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 138997 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2584.78 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2593.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123036524/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=1194.25 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 283 699117 0 0 0 0 118425 1000 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
[pid=88491] ppid=88249 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/88491/stat : 88491 (timeout) S 88249 88491 87909 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74807332 2723840 352 18446744073709551615 94699684982784 94699684999297 140729809934832 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94699685014064 94699685016152 94699694284800 140729809942918 140729809943074 140729809943074 140729809948647 0
/proc/88491/statm: 665 352 352 5 0 90 0
[pid=88492] ppid=88491 vsize=780472 memory=765236 CPUtime=1390.73 cores=5,7
/proc/88492/stat : 88492 (ExactPR-S) R 88491 88491 87909 0 -1 4194304 207703 0 0 0 139017 56 0 0 20 0 1 0 74807332 799203328 191309 18446744073709551615 94616697573376 94616706873413 140723495413920 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94616708659520 94616708698600 94616751054848 140723495422366 140723495422503 140723495422503 140723495428076 0
/proc/88492/statm: 195118 191309 3360 2271 0 189756 0
Current children cumulated CPU time: 2584.98 s
Current children cumulated vsize: 787456 KiB
Current children cumulated memory: 769716 KiB

[startup+2593.5 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 88684
/proc/meminfo: memFree=123036524/131249996 swapFree=33010672/33010684
[pid=88249] ppid=88246 vsize=4324 memory=3072 CPUtime=2585.1 cores=5,7
/proc/88249/stat : 88249 (Hybrid-CASHWMax) S 88246 88249 87909 0 -1 4194304 301 906956 0 0 0 0 257453 1057 20 0 1 0 74687522 4427776 768 18446744073709551615 94455214186496 94455215081029 140736096595472 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94455215320080 94455215367824 94455237038080 140736096602455 140736096602609 140736096602609 140736096608211 0
/proc/88249/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2585.1 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2593.53
CPU time (s): 2585.11
CPU user time (s): 2574.54
CPU system time (s): 10.5774
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 6878476
Max. memory (cumulated for all children) (KiB): 6354116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2574.54
system time used= 10.5774
maximum resident set size= 6394296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 907978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 832
involuntary context switches= 14069


# summary of solver processes directly reported to runsolver:
#   pid: 88249
#   total CPU time (s): 2585.11
#   total CPU user time (s): 2574.54
#   total CPU system time (s): 10.5774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60964 second user time and 12.7632 second system time

The end