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: 63794 MiB (59938 MiB free)
  memory of node 1: 64507 MiB (59238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488658-1751333421/watcher-4488658-1751333421 -o /tmp/evaluation-result-4488658-1751333421/solver-4488658-1751333421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45920 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488658-1751333421.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
Current StackSize limit: 8192 KiB

solver pid=48671, runsolver pid=48668

[startup+0.100075 s]*
/proc/loadavg: 4.07 4.09 4.10 5/258 48675
/proc/meminfo: memFree=122038092/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=22180 memory=8064 CPUtime=0.07 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 1178 0 0 0 7 0 0 0 20 0 1 0 49021938 22712320 2016 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 5545 2016 928 2593 0 2438 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12544 KiB

[startup+0.213843 s]*
/proc/loadavg: 4.07 4.09 4.10 5/258 48675
/proc/meminfo: memFree=122038092/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=22180 memory=8192 CPUtime=0.18 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 1179 0 0 0 18 0 0 0 20 0 1 0 49021938 22712320 2048 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+0.313739 s]*
/proc/loadavg: 4.07 4.09 4.10 5/258 48675
/proc/meminfo: memFree=122038092/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=22180 memory=8192 CPUtime=0.28 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 1179 0 0 0 28 0 0 0 20 0 1 0 49021938 22712320 2048 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+0.700476 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 48675
/proc/meminfo: memFree=122038092/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=22180 memory=8192 CPUtime=0.65 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 1179 0 0 0 64 1 0 0 20 0 1 0 49021938 22712320 2048 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12672 KiB

[startup+1.50045 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 48675
/proc/meminfo: memFree=122038092/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=31928 memory=17920 CPUtime=1.45 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 3631 0 0 0 142 3 0 0 20 0 1 0 49021938 32694272 4480 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 7982 4480 960 2593 0 4875 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 38912 KiB
Current children cumulated memory: 22400 KiB

[startup+3.11335 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 48675
/proc/meminfo: memFree=122023224/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=38952 memory=24916 CPUtime=3.06 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 7352 0 0 0 302 4 0 0 20 0 1 0 49021938 39886848 6229 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 9738 6229 992 2593 0 6631 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 45936 KiB
Current children cumulated memory: 29396 KiB

[startup+6.30042 s]
/proc/loadavg: 4.14 4.10 4.10 5/258 48675
/proc/meminfo: memFree=122020200/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=42024 memory=27920 CPUtime=6.23 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 10777 0 0 0 619 4 0 0 20 0 1 0 49021938 43032576 6980 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 10506 6980 992 2593 0 7399 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 32400 KiB

[startup+12.7005 s]
/proc/loadavg: 4.13 4.10 4.10 5/258 48675
/proc/meminfo: memFree=122019444/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=46056 memory=32116 CPUtime=12.62 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 16178 0 0 0 1257 5 0 0 20 0 1 0 49021938 47161344 8029 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 11514 8029 992 2593 0 8407 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 53040 KiB
Current children cumulated memory: 36596 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 48676
/proc/meminfo: memFree=122013628/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=48912 memory=34484 CPUtime=25.39 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 22384 0 0 0 2532 7 0 0 20 0 1 0 49021938 50085888 8621 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 12228 8621 992 2593 0 9121 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 55896 KiB
Current children cumulated memory: 38964 KiB

[startup+51.1135 s]
/proc/loadavg: 4.15 4.10 4.10 5/258 48677
/proc/meminfo: memFree=121986660/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48674/stat : 48674 (timeout) S 48671 48674 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49021937 2723840 352 18446744073709551615 93892103168000 93892103184513 140728803445216 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93892103199280 93892103201368 93892129554432 140728803449238 140728803449378 140728803449378 140728803454951 0
/proc/48674/statm: 665 352 352 5 0 90 0
[pid=48675] ppid=48674 vsize=83244 memory=69284 CPUtime=50.93 cores=1,3
/proc/48675/stat : 48675 (CASHWMaxSAT-Dis) R 48674 48674 45908 0 -1 4194304 28429 0 0 0 5085 8 0 0 20 0 1 0 49021938 85241856 17321 18446744073709551615 4198400 14817773 140728619859072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37912576 140728619866524 140728619866651 140728619866651 140728619872224 0
/proc/48675/statm: 20811 17321 992 2593 0 17704 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 90228 KiB
Current children cumulated memory: 73764 KiB

[startup+102.301 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 48678
/proc/meminfo: memFree=121992728/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48674] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2257.59 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103668 0 0 0 224171 1588 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 49065
/proc/meminfo: memFree=121824128/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2317.41 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103769 0 0 0 230130 1611 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 49067
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2377.22 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 236087 1635 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

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

# cumulated CPU time of all completed processes:  user=3568.87 s, system=16.6885 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/258 49067
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2378.93 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 236256 1637 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 49067
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2385.29 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 236889 1640 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3579.84 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 49068
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2388.48 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 237206 1642 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3583.03 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3595.2 s]
/proc/loadavg: 4.05 4.09 4.09 5/258 49068
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2390.08 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 237366 1642 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3595.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/258 49068
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2390.47 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 237405 1642 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3596 s]*
/proc/loadavg: 4.05 4.09 4.09 5/258 49068
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=1194.55 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 285 50213 0 0 0 0 119435 20 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
[pid=48872] ppid=48671 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/48872/stat : 48872 (timeout) S 48671 48872 45908 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 49141738 2723840 352 18446744073709551615 94093807570944 94093807587457 140731641883920 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94093807602224 94093807604312 94093837086720 140731641891206 140731641891362 140731641891362 140731641896935 0
/proc/48872/statm: 665 352 352 5 0 90 0
[pid=48873] ppid=48872 vsize=457340 memory=435388 CPUtime=2390.89 cores=1,3
/proc/48873/stat : 48873 (ExactPR-S) R 48872 48872 45908 0 -1 4194304 103772 0 0 0 237446 1643 0 0 20 0 1 0 49141739 468316160 108847 18446744073709551615 94035585282048 94035594582085 140728008189408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94035596368192 94035596407272 94035630960640 140728008194462 140728008194599 140728008194599 140728008200172 0
/proc/48873/statm: 114335 108847 3360 2271 0 108973 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 464324 KiB
Current children cumulated memory: 439868 KiB

[startup+3596.11 s]
/proc/loadavg: 4.05 4.09 4.09 5/258 49068
/proc/meminfo: memFree=121803664/131382112 swapFree=33010684/33010684
[pid=48671] ppid=48668 vsize=4324 memory=3072 CPUtime=3585.52 cores=1,3
/proc/48671/stat : 48671 (Hybrid-CASHWMax) S 48668 48671 45908 0 -1 4194304 406 155823 0 0 0 0 356886 1666 20 0 1 0 49021934 4427776 768 18446744073709551615 94838375059456 94838375953989 140737106168064 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94838376193040 94838376240784 94838384308224 140737106172247 140737106172401 140737106172401 140737106178003 0
/proc/48671/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.16
CPU time (s): 3585.56
CPU user time (s): 3568.87
CPU system time (s): 16.6885
CPU usage (%): 99.7052
Max. virtual memory (cumulated for all children) (KiB): 473400
Max. memory (cumulated for all children) (KiB): 439868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.87
system time used= 16.6885
maximum resident set size= 435900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2002
involuntary context switches= 1734


# summary of solver processes directly reported to runsolver:
#   pid: 48671
#   total CPU time (s): 3585.56
#   total CPU user time (s): 3568.87
#   total CPU system time (s): 16.6885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3564 second user time and 37.7252 second system time

The end