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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488567-1751330947/watcher-4488567-1751330947 -o /tmp/evaluation-result-4488567-1751330947/solver-4488567-1751330947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42698 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488567-1751330947.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=45211, runsolver pid=45208

[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 45215
/proc/meminfo: memFree=127200124/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=21312 memory=7424 CPUtime=0.07 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 1161 0 0 0 7 0 0 0 20 0 1 0 48717265 21823488 1856 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/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: 11776 KiB

[startup+0.205668 s]*
/proc/loadavg: 4.07 4.08 4.09 7/272 45215
/proc/meminfo: memFree=127200124/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=21312 memory=7424 CPUtime=0.18 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 1163 0 0 0 18 0 0 0 20 0 1 0 48717265 21823488 1856 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/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: 11776 KiB

[startup+0.305662 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 45215
/proc/meminfo: memFree=127200444/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=23952 memory=10112 CPUtime=0.28 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 1857 0 0 0 28 0 0 0 20 0 1 0 48717265 24526848 2528 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/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: 14464 KiB

[startup+0.70018 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 45215
/proc/meminfo: memFree=127200444/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=34976 memory=20992 CPUtime=0.66 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 4560 0 0 0 66 0 0 0 20 0 1 0 48717265 35815424 5248 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 8744 5248 768 2416 0 5846 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 25344 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 45215
/proc/meminfo: memFree=127200444/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=42588 memory=27804 CPUtime=1.46 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 5746 0 0 0 146 0 0 0 20 0 1 0 48717265 43610112 6951 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 10647 6951 768 2416 0 7749 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 32156 KiB

[startup+3.10556 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 45215
/proc/meminfo: memFree=127196572/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=42588 memory=27868 CPUtime=3.06 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 7039 0 0 0 305 1 0 0 20 0 1 0 48717265 43610112 6967 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 10647 6967 768 2416 0 7749 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 32220 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 45215
/proc/meminfo: memFree=127203672/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=49688 memory=35808 CPUtime=6.25 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 8580 0 0 0 624 1 0 0 20 0 1 0 48717265 50880512 8952 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 12422 8952 768 2416 0 9524 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 56672 KiB
Current children cumulated memory: 40160 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.11 4.10 5/272 45215
/proc/meminfo: memFree=127211656/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=52292 memory=38368 CPUtime=12.63 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 9207 0 0 0 1261 2 0 0 20 0 1 0 48717265 53547008 9592 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 13073 9592 768 2416 0 10175 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59276 KiB
Current children cumulated memory: 42720 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.11 4.09 5/272 45215
/proc/meminfo: memFree=127209964/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=55332 memory=40544 CPUtime=25.39 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 9748 0 0 0 2537 2 0 0 20 0 1 0 48717265 56659968 10136 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 13833 10136 768 2416 0 10935 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62316 KiB
Current children cumulated memory: 44896 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 45216
/proc/meminfo: memFree=127203184/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45214] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45214/stat : 45214 (timeout) S 45211 45214 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48717264 2723840 352 18446744073709551615 93889216299008 93889216315521 140734606486960 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93889216330288 93889216332376 93889225011200 140734606494102 140734606494242 140734606494242 140734606499815 0
/proc/45214/statm: 665 352 352 5 0 90 0
[pid=45215] ppid=45214 vsize=66824 memory=52832 CPUtime=50.93 cores=1,3
/proc/45215/stat : 45215 (CASHWMaxSAT-Dis) R 45214 45214 42686 0 -1 4194304 12116 0 0 0 5090 3 0 0 20 0 1 0 48717265 68427776 13208 18446744073709551615 4198400 14093885 140733268563392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29159424 140733268572572 140733268572699 140733268572699 140733268578272 0
/proc/45215/statm: 16706 13208 768 2416 0 13808 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 57184 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/271 45220
/proc/meminfo: memFree=127188628/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0

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

/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2197.36 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 218238 1498 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 45500
/proc/meminfo: memFree=128708220/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2257.17 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 224196 1521 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 45572
/proc/meminfo: memFree=129069548/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2316.97 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 230154 1543 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3511.36 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 45577
/proc/meminfo: memFree=129042324/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2376.77 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 236113 1564 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

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

# cumulated CPU time of all completed processes:  user=3569.12 s, system=15.7929 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/273 45577
/proc/meminfo: memFree=129042592/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2378.47 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 236282 1565 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 45577
/proc/meminfo: memFree=129042360/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2384.84 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 236918 1566 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3579.23 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45577
/proc/meminfo: memFree=129042360/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2388.04 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 237236 1568 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3582.43 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45577
/proc/meminfo: memFree=129042376/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2389.63 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 237394 1569 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.09 5/273 45577
/proc/meminfo: memFree=129042376/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=1194.39 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 282 16750 0 0 0 0 119432 7 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
[pid=45338] ppid=45211 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45338/stat : 45338 (timeout) S 45211 45338 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48837065 2723840 352 18446744073709551615 94354960003072 94354960019585 140727035268080 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94354960034352 94354960036440 94354963845120 140727035271558 140727035271714 140727035271714 140727035277287 0
/proc/45338/statm: 665 352 352 5 0 90 0
[pid=45339] ppid=45338 vsize=383252 memory=364048 CPUtime=2390.43 cores=1,3
/proc/45339/stat : 45339 (ExactPR-S) R 45338 45338 42686 0 -1 4194304 112577 0 0 0 237474 1569 0 0 20 0 1 0 48837066 392450048 91012 18446744073709551615 94776224395264 94776233695301 140722402057264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94776235481408 94776235520488 94776272142336 140722402064798 140722402064935 140722402064935 140722402070508 0
/proc/45339/statm: 95813 91012 3360 2271 0 90451 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 390236 KiB
Current children cumulated memory: 368400 KiB

[startup+3596.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45577
/proc/meminfo: memFree=129042376/131250000 swapFree=33010684/33010684
[pid=45211] ppid=45208 vsize=4324 memory=2944 CPUtime=3584.9 cores=1,3
/proc/45211/stat : 45211 (Hybrid-CASHWMax) S 45208 45211 42686 0 -1 4194304 537 132219 0 0 0 0 356911 1579 20 0 1 0 48717262 4427776 736 18446744073709551615 94307062419456 94307063313989 140730384529536 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94307063553040 94307063600784 94307071934464 140730384537943 140730384538097 140730384538097 140730384543699 0
/proc/45211/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.2
CPU time (s): 3584.91
CPU user time (s): 3569.12
CPU system time (s): 15.7929
CPU usage (%): 99.6861
Max. virtual memory (cumulated for all children) (KiB): 508940
Max. memory (cumulated for all children) (KiB): 471744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.12
system time used= 15.7929
maximum resident set size= 467392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2009
involuntary context switches= 4930


# summary of solver processes directly reported to runsolver:
#   pid: 45211
#   total CPU time (s): 3584.91
#   total CPU user time (s): 3569.12
#   total CPU system time (s): 15.7929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64587 second user time and 16.5426 second system time

The end