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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488752-1751334584/watcher-4488752-1751334584 -o /tmp/evaluation-result-4488752-1751334584/solver-4488752-1751334584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751326314-45393 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4488752-1751334584.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
Starting watchdog thread
solver pid=48362, runsolver pid=48359
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.11 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128451240/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=21312 memory=7424 CPUtime=0.07 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 1162 0 0 0 7 0 0 0 20 0 1 0 49135018 21823488 1856 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.205719 s]*
/proc/loadavg: 4.11 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128451240/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=21312 memory=7424 CPUtime=0.18 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 1163 0 0 0 18 0 0 0 20 0 1 0 49135018 21823488 1856 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.305413 s]*
/proc/loadavg: 4.11 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128451240/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=23952 memory=10112 CPUtime=0.28 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 1850 0 0 0 28 0 0 0 20 0 1 0 49135018 24526848 2528 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 5988 2528 768 2416 0 3090 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30936 KiB
Current children cumulated memory: 14592 KiB

[startup+0.700229 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128451240/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=35024 memory=20096 CPUtime=0.67 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 4346 0 0 0 66 1 0 0 20 0 1 0 49135018 35864576 5024 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 8756 5024 768 2416 0 5858 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42008 KiB
Current children cumulated memory: 24576 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128443492/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=41740 memory=27392 CPUtime=1.46 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 6182 0 0 0 145 1 0 0 20 0 1 0 49135018 42741760 6848 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 10435 6848 768 2416 0 7537 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 48724 KiB
Current children cumulated memory: 31872 KiB

[startup+3.10547 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128435876/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=50496 memory=35776 CPUtime=3.07 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 7258 0 0 0 305 2 0 0 20 0 1 0 49135018 51707904 8944 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 12624 8944 768 2416 0 9726 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 40256 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 48366
/proc/meminfo: memFree=128431936/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=51096 memory=34612 CPUtime=6.24 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 8464 0 0 0 622 2 0 0 20 0 1 0 49135018 52322304 8653 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 12774 8653 768 2416 0 9876 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 58080 KiB
Current children cumulated memory: 39092 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 48367
/proc/meminfo: memFree=128432016/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=55560 memory=41000 CPUtime=12.64 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 9062 0 0 0 1261 3 0 0 20 0 1 0 49135018 56893440 10250 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 13890 10250 768 2416 0 10992 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 62544 KiB
Current children cumulated memory: 45480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 48367
/proc/meminfo: memFree=128432016/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=55560 memory=41000 CPUtime=25.4 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 9068 0 0 0 2537 3 0 0 20 0 1 0 49135018 56893440 10250 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 13890 10250 768 2416 0 10992 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 62544 KiB
Current children cumulated memory: 45480 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48367
/proc/meminfo: memFree=128413204/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48365/stat : 48365 (timeout) S 48362 48365 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 49135018 2723840 352 18446744073709551615 94312396599296 94312396615809 140727056327648 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94312396630576 94312396632664 94312421740544 140727056333208 140727056333346 140727056333346 140727056338919 0
/proc/48365/statm: 665 352 352 5 0 90 0
[pid=48366] ppid=48365 vsize=58280 memory=42388 CPUtime=50.93 cores=1,3
/proc/48366/stat : 48366 (CASHWMaxSAT-Dis) R 48365 48365 45381 0 -1 4194304 10893 0 0 0 5090 3 0 0 20 0 1 0 49135018 59678720 10597 18446744073709551615 4198400 14093885 140730356940528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28291072 140730356943261 140730356943387 140730356943387 140730356948960 0
/proc/48366/statm: 14570 10597 768 2416 0 11672 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 65264 KiB
Current children cumulated memory: 46868 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48373
/proc/meminfo: memFree=128355996/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48365] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2556.92 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 249954 5738 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3522.3 s]
/proc/loadavg: 2.32 2.91 3.35 3/255 48730
/proc/meminfo: memFree=128515280/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2616.79 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 255919 5760 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3582.3 s]
/proc/loadavg: 2.29 2.79 3.28 3/255 48732
/proc/meminfo: memFree=128515724/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2676.66 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 261886 5780 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

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

# cumulated CPU time of all completed processes:  user=3529.17 s, system=57.9876 s

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

[startup+3584 s]*
/proc/loadavg: 2.26 2.78 3.27 3/255 48732
/proc/meminfo: memFree=128515724/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2678.36 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 262056 5780 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3590.4 s]
/proc/loadavg: 2.24 2.76 3.27 3/256 48733
/proc/meminfo: memFree=128515472/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2684.74 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 262691 5783 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3581.46 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3593.6 s]
/proc/loadavg: 2.24 2.76 3.27 3/256 48733
/proc/meminfo: memFree=128515472/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2687.94 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 263008 5786 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3595.2 s]
/proc/loadavg: 2.22 2.75 3.26 3/256 48733
/proc/meminfo: memFree=128515472/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2689.54 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 263167 5787 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3595.6 s]
/proc/loadavg: 2.22 2.75 3.26 3/256 48733
/proc/meminfo: memFree=128515472/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2689.93 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 263206 5787 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3596 s]*
/proc/loadavg: 2.22 2.75 3.26 3/256 48733
/proc/meminfo: memFree=128515472/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=896.72 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 283 17191 0 0 0 0 89665 7 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
[pid=48495] ppid=48362 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48495/stat : 48495 (timeout) S 48362 48495 45381 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49224919 2723840 352 18446744073709551615 94069538492416 94069538508929 140735846911728 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94069538523696 94069538525784 94069556383744 140735846918533 140735846918690 140735846918690 140735846924263 0
/proc/48495/statm: 665 352 352 5 0 90 0
[pid=48496] ppid=48495 vsize=284684 memory=269304 CPUtime=2690.34 cores=1,3
/proc/48496/stat : 48496 (ExactPR-S9) R 48495 48495 45381 0 -1 4194304 81018 0 0 0 263247 5787 0 0 20 0 1 0 49224919 291516416 67326 18446744073709551615 94411727990784 94411737290885 140723625299216 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94411739076928 94411739116008 94411761389568 140723625306524 140723625306662 140723625306662 140723625312235 0
/proc/48496/statm: 71171 67326 3456 2271 0 65809 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 273784 KiB

[startup+3596.11 s]
/proc/loadavg: 2.22 2.75 3.26 3/256 48733
/proc/meminfo: memFree=128515472/131250000 swapFree=33010684/33010684
[pid=48362] ppid=48359 vsize=4324 memory=3072 CPUtime=3587.12 cores=1,3
/proc/48362/stat : 48362 (Hybrid-CASHWMax) S 48359 48362 45381 0 -1 4194304 376 99462 0 0 0 0 352916 5796 20 0 1 0 49135016 4427776 768 18446744073709551615 94202103214080 94202104108613 140736120464976 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 94202104347664 94202104395408 94202111492096 140736120473941 140736120474096 140736120474096 140736120479698 0
/proc/48362/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3587.16
CPU user time (s): 3529.17
CPU system time (s): 57.9876
CPU usage (%): 99.7494
Max. virtual memory (cumulated for all children) (KiB): 378088
Max. memory (cumulated for all children) (KiB): 336308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.17
system time used= 57.9876
maximum resident set size= 332084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1984
involuntary context switches= 4947


# summary of solver processes directly reported to runsolver:
#   pid: 48362
#   total CPU time (s): 3587.16
#   total CPU user time (s): 3529.17
#   total CPU system time (s): 57.9876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99531 second user time and 16.334 second system time

The end