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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488522-1751330826/watcher-4488522-1751330826 -o /tmp/evaluation-result-4488522-1751330826/solver-4488522-1751330826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751326314-45394 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4488522-1751330826.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47869, runsolver pid=47866

[startup+0.100066 s]*
/proc/loadavg: 4.12 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126416688/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=21312 memory=7424 CPUtime=0.07 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 1164 0 0 0 7 0 0 0 20 0 1 0 48759183 21823488 1856 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/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.20581 s]*
/proc/loadavg: 4.12 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126412592/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=21312 memory=7424 CPUtime=0.17 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 1164 0 0 0 17 0 0 0 20 0 1 0 48759183 21823488 1856 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11904 KiB

[startup+0.305729 s]*
/proc/loadavg: 4.12 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126412592/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=22500 memory=8704 CPUtime=0.26 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 1496 0 0 0 26 0 0 0 20 0 1 0 48759183 23040000 2176 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 5625 2176 768 2416 0 2727 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 29484 KiB
Current children cumulated memory: 13184 KiB

[startup+0.700256 s]
/proc/loadavg: 4.12 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126404780/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=32988 memory=18816 CPUtime=0.63 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 4048 0 0 0 63 0 0 0 20 0 1 0 48759183 33779712 4704 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 8247 4704 768 2416 0 5349 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 39972 KiB
Current children cumulated memory: 23296 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126396716/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=40740 memory=26484 CPUtime=1.42 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 5476 0 0 0 142 0 0 0 20 0 1 0 48759183 41717760 6621 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 10185 6621 768 2416 0 7287 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 47724 KiB
Current children cumulated memory: 30964 KiB

[startup+3.10555 s]
/proc/loadavg: 4.11 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126394288/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=45260 memory=31160 CPUtime=3.03 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 6499 0 0 0 302 1 0 0 20 0 1 0 48759183 46346240 7790 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 11315 7790 768 2416 0 8417 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 52244 KiB
Current children cumulated memory: 35640 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126464436/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=52336 memory=38144 CPUtime=6.21 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 6741 0 0 0 620 1 0 0 20 0 1 0 48759183 53592064 9536 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 13084 9536 768 2416 0 10186 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 42624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.11 5/273 47873
/proc/meminfo: memFree=126492664/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=52336 memory=38144 CPUtime=12.6 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 6747 0 0 0 1259 1 0 0 20 0 1 0 48759183 53592064 9536 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 13084 9536 768 2416 0 10186 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 42624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.10 5/273 47874
/proc/meminfo: memFree=126517208/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=71056 memory=45788 CPUtime=25.36 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 9049 0 0 0 2534 2 0 0 20 0 1 0 48759183 72761344 11447 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 17764 11447 768 2416 0 14866 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 78040 KiB
Current children cumulated memory: 50268 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.13 4.10 5/273 47874
/proc/meminfo: memFree=126489680/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47872] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47872/stat : 47872 (timeout) S 47869 47872 45381 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 48759182 2723840 352 18446744073709551615 94506284081152 94506284097665 140723574043408 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94506284112432 94506284114520 94506317430784 140723574045080 140723574045218 140723574045218 140723574050791 0
/proc/47872/statm: 665 352 352 5 0 90 0
[pid=47873] ppid=47872 vsize=71056 memory=54860 CPUtime=50.9 cores=5,7
/proc/47873/stat : 47873 (CASHWMaxSAT-Dis) R 47872 47872 45381 0 -1 4194304 9282 0 0 0 5088 2 0 0 20 0 1 0 48759183 72761344 13715 18446744073709551615 4198400 14093885 140733151925264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 45662208 140733151926685 140733151926811 140733151926811 140733151932384 0
/proc/47873/statm: 17764 13715 768 2416 0 14866 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 78040 KiB
Current children cumulated memory: 59340 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/272 47880
/proc/meminfo: memFree=125965608/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0

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

/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2556.47 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126519 0 0 0 249858 5789 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 48213
/proc/meminfo: memFree=127959804/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2616.27 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 255818 5809 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/270 48215
/proc/meminfo: memFree=127959716/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2676.07 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 261779 5828 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

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

# cumulated CPU time of all completed processes:  user=3527.85 s, system=58.4286 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.12 4.10 5/270 48215
/proc/meminfo: memFree=127959716/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2677.77 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 261948 5829 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3574.22 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/270 48215
/proc/meminfo: memFree=127959732/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2684.14 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 262582 5832 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3580.59 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 48215
/proc/meminfo: memFree=127959732/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2687.33 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 262900 5833 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3583.78 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 48215
/proc/meminfo: memFree=127959732/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2688.93 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 263059 5834 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 48215
/proc/meminfo: memFree=127959732/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2689.33 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 263099 5834 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.11 4.09 5/270 48215
/proc/meminfo: memFree=127959732/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=896.45 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 283 12978 0 0 0 0 89640 5 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
[pid=47986] ppid=47869 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/47986/stat : 47986 (timeout) S 47869 47986 45381 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 48849083 2723840 352 18446744073709551615 94763368943616 94763368960129 140722517634640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94763368974896 94763368976984 94763399630848 140722517641605 140722517641762 140722517641762 140722517647335 0
/proc/47986/statm: 665 352 352 5 0 90 0
[pid=47987] ppid=47986 vsize=438448 memory=423368 CPUtime=2689.73 cores=5,7
/proc/47987/stat : 47987 (ExactPR-S9) R 47986 47986 45381 0 -1 4194304 126520 0 0 0 263139 5834 0 0 20 0 1 0 48849084 448970752 105842 18446744073709551615 94165080821760 94165090121861 140727785117216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94165091907904 94165091946984 94165130715136 140727785122204 140727785122342 140727785122342 140727785127915 0
/proc/47987/statm: 109612 105842 3392 2271 0 104250 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 445432 KiB
Current children cumulated memory: 427848 KiB

[startup+3596.11 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 48215
/proc/meminfo: memFree=127959732/131250000 swapFree=33010684/33010684
[pid=47869] ppid=47866 vsize=4324 memory=3072 CPUtime=3586.25 cores=5,7
/proc/47869/stat : 47869 (Hybrid-CASHWMax) S 47866 47869 45381 0 -1 4194304 403 141317 0 0 0 0 352784 5841 20 0 1 0 48759180 4427776 768 18446744073709551615 94906486382592 94906487277125 140734155590176 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94906487516176 94906487563920 94906518040576 140734155598165 140734155598320 140734155598320 140734155603922 0
/proc/47869/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3586.28
CPU user time (s): 3527.85
CPU system time (s): 58.4286
CPU usage (%): 99.7258
Max. virtual memory (cumulated for all children) (KiB): 536224
Max. memory (cumulated for all children) (KiB): 491064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3527.85
system time used= 58.4286
maximum resident set size= 486584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143003
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= 1948
involuntary context switches= 1501


# summary of solver processes directly reported to runsolver:
#   pid: 47869
#   total CPU time (s): 3586.28
#   total CPU user time (s): 3527.85
#   total CPU system time (s): 58.4286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59161 second user time and 15.6958 second system time

The end