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

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


[startup+0.100059 s]*
/proc/loadavg: 1.54 3.38 3.84 5/271 45464
/proc/meminfo: memFree=129074008/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=32760 memory=14080 CPUtime=0.06 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 2895 0 0 0 6 0 0 0 20 0 1 0 48308018 33546240 3520 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 8190 3520 736 2416 0 5292 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 39744 KiB
Current children cumulated memory: 18432 KiB

[startup+0.204651 s]*
/proc/loadavg: 1.54 3.38 3.84 5/269 45472
/proc/meminfo: memFree=129053440/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=47264 memory=28800 CPUtime=0.16 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 6558 0 0 0 16 0 0 0 20 0 1 0 48308018 48398336 7200 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 11816 7200 736 2416 0 8918 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 54248 KiB
Current children cumulated memory: 33152 KiB

[startup+0.304815 s]*
/proc/loadavg: 1.54 3.38 3.84 5/269 45472
/proc/meminfo: memFree=129037312/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=59260 memory=40576 CPUtime=0.26 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 9522 0 0 0 25 1 0 0 20 0 1 0 48308018 60682240 10144 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 14815 10144 736 2416 0 11917 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 66244 KiB
Current children cumulated memory: 44928 KiB

[startup+0.70018 s]
/proc/loadavg: 1.54 3.38 3.84 5/269 45472
/proc/meminfo: memFree=129008836/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=109332 memory=87196 CPUtime=0.65 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 21139 0 0 0 63 2 0 0 20 0 1 0 48308018 111955968 21799 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 27333 21799 768 2416 0 24435 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 116316 KiB
Current children cumulated memory: 91548 KiB

[startup+1.50018 s]
/proc/loadavg: 1.54 3.38 3.84 5/269 45472
/proc/meminfo: memFree=128947732/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=316536 memory=263320 CPUtime=1.44 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 36583 0 0 0 136 8 0 0 20 0 1 0 48308018 324132864 65830 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 79134 65830 768 2416 0 76236 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 323520 KiB
Current children cumulated memory: 267672 KiB

[startup+3.10487 s]
/proc/loadavg: 1.82 3.41 3.85 6/275 45512
/proc/meminfo: memFree=128761152/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=285572 memory=241788 CPUtime=3.04 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 37720 0 0 0 295 9 0 0 20 0 1 0 48308018 292425728 60447 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 71393 60447 800 2416 0 68495 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 292556 KiB
Current children cumulated memory: 246140 KiB

[startup+6.30018 s]
/proc/loadavg: 1.82 3.41 3.85 6/275 45512
/proc/meminfo: memFree=128736032/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=285572 memory=241788 CPUtime=6.23 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 37749 0 0 0 614 9 0 0 20 0 1 0 48308018 292425728 60447 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 71393 60447 800 2416 0 68495 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 292556 KiB
Current children cumulated memory: 246140 KiB

[startup+12.7002 s]
/proc/loadavg: 2.15 3.43 3.85 6/275 45662
/proc/meminfo: memFree=128725840/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=296580 memory=252752 CPUtime=12.62 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 37950 0 0 0 1252 10 0 0 20 0 1 0 48308018 303697920 63188 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 74145 63188 800 2416 0 71247 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 303564 KiB
Current children cumulated memory: 257104 KiB

[startup+25.5002 s]
/proc/loadavg: 2.44 3.44 3.85 6/275 45762
/proc/meminfo: memFree=128650816/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=296580 memory=252752 CPUtime=25.38 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 37970 0 0 0 2528 10 0 0 20 0 1 0 48308018 303697920 63188 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 74145 63188 800 2416 0 71247 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 303564 KiB
Current children cumulated memory: 257104 KiB

[startup+51.1048 s]
/proc/loadavg: 3.05 3.51 3.86 6/275 45763
/proc/meminfo: memFree=128637112/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/45458/stat : 45458 (timeout) S 45450 45458 45381 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 48308016 2723840 320 18446744073709551615 94390993620992 94390993637505 140734656256112 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94390993652272 94390993654360 94391019528192 140734656264600 140734656264738 140734656264738 140734656270311 0
/proc/45458/statm: 665 320 320 5 0 90 0
[pid=45461] ppid=45458 vsize=315432 memory=271572 CPUtime=50.92 cores=1,3
/proc/45461/stat : 45461 (CASHWMaxSAT-Dis) R 45458 45458 45381 0 -1 4194304 39272 0 0 0 5081 11 0 0 20 0 1 0 48308018 323002368 67893 18446744073709551615 4198400 14093885 140720748144992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35561472 140720748153245 140720748153371 140720748153371 140720748158944 0
/proc/45461/statm: 78858 67893 800 2416 0 75960 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 322416 KiB
Current children cumulated memory: 275924 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 3.61 3.88 6/274 45764
/proc/meminfo: memFree=128594100/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45458] ppid=45450 vsize=2660 memory=1280 CPUtime=0 cores=1,3

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

/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2497.43 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107821 0 0 0 246157 3586 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.12 6/272 45956
/proc/meminfo: memFree=127378796/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2557.29 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107821 0 0 0 252141 3588 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 6/271 45958
/proc/meminfo: memFree=127378912/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2617.14 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107821 0 0 0 258125 3589 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.11 6/270 45960
/proc/meminfo: memFree=127379012/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2676.99 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107821 0 0 0 264108 3591 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

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

# cumulated CPU time of all completed processes:  user=3548.63 s, system=38.7763 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.11 6/270 45960
/proc/meminfo: memFree=127379012/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2678.69 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107821 0 0 0 264278 3591 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3575.31 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.13 4.11 6/270 45960
/proc/meminfo: memFree=127378776/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2685.07 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107821 0 0 0 264916 3591 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.12 4.11 6/270 45960
/proc/meminfo: memFree=127378776/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2688.26 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107854 0 0 0 265235 3591 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.11 6/270 45960
/proc/meminfo: memFree=127378776/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2689.86 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107854 0 0 0 265395 3591 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.11 6/270 45960
/proc/meminfo: memFree=127378776/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=896.62 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 284 160359 0 1 0 0 89380 282 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
[pid=45812] ppid=45450 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45812/stat : 45812 (timeout) S 45450 45812 45381 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 48397918 2723840 352 18446744073709551615 94186868772864 94186868789377 140727334011664 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94186868804144 94186868806232 94186892980224 140727334017413 140727334017570 140727334017570 140727334023143 0
/proc/45812/statm: 665 352 352 5 0 90 0
[pid=45815] ppid=45812 vsize=512136 memory=471896 CPUtime=2690.66 cores=1,3
/proc/45815/stat : 45815 (ExactPR-S9) R 45812 45812 45381 0 -1 4194304 107854 0 0 0 265475 3591 0 0 20 0 1 0 48397919 524427264 117974 18446744073709551615 94036479406080 94036488706181 140721183699456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94036490492224 94036490531304 94036525412352 140721183705500 140721183705638 140721183705638 140721183711211 0
/proc/45815/statm: 128034 117974 3424 2271 0 122672 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 519120 KiB
Current children cumulated memory: 476376 KiB

[startup+3596.2 s]
/proc/loadavg: 4.12 4.12 4.11 6/270 45960
/proc/meminfo: memFree=127378776/131250000 swapFree=33010684/33010684
[pid=45450] ppid=45434 vsize=4324 memory=3072 CPUtime=3587.37 cores=1,3
/proc/45450/stat : 45450 (Hybrid-CASHWMax) S 45434 45450 45381 0 -1 4194304 375 269482 0 5 0 0 354862 3875 20 0 1 0 48308014 4427776 768 18446744073709551615 94898304770048 94898305664581 140729122617872 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 94898305903632 94898305951376 94898339119104 140729122625877 140729122626032 140729122626032 140729122631634 0
/proc/45450/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.28
CPU time (s): 3587.4
CPU user time (s): 3548.63
CPU system time (s): 38.7763
CPU usage (%): 99.7532
Max. virtual memory (cumulated for all children) (KiB): 678484
Max. memory (cumulated for all children) (KiB): 574744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.63
system time used= 38.7763
maximum resident set size= 570264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271754
page faults= 6
swaps= 0
block input operations= 296
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2605
involuntary context switches= 5401


# summary of solver processes directly reported to runsolver:
#   pid: 45450
#   total CPU time (s): 3587.4
#   total CPU user time (s): 3548.63
#   total CPU system time (s): 38.7763

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80766 second user time and 13.2364 second system time

The end