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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523590-1751592077/watcher-4523590-1751592077 -o /tmp/evaluation-result-4523590-1751592077/solver-4523590-1751592077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751588478-84410 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523590-1751592077.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=85031, runsolver pid=85028
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.11 4.15 4.11 5/273 85035
/proc/meminfo: memFree=124528648/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=29504 memory=10880 CPUtime=0.07 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 2071 0 0 0 7 0 0 0 20 0 1 0 74885193 30212096 2720 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 7376 2720 736 2416 0 4478 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36488 KiB
Current children cumulated memory: 15104 KiB

[startup+0.205735 s]*
/proc/loadavg: 4.11 4.15 4.11 5/273 85035
/proc/meminfo: memFree=124500424/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=38288 memory=19456 CPUtime=0.17 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 4218 0 0 0 17 0 0 0 20 0 1 0 74885193 39206912 4864 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 9572 4864 736 2416 0 6674 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 45272 KiB
Current children cumulated memory: 23680 KiB

[startup+0.305614 s]*
/proc/loadavg: 4.11 4.15 4.11 5/273 85035
/proc/meminfo: memFree=124476232/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=46380 memory=27520 CPUtime=0.28 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 6229 0 0 0 27 1 0 0 20 0 1 0 74885193 47493120 6880 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 11595 6880 736 2416 0 8697 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53364 KiB
Current children cumulated memory: 31744 KiB

[startup+0.70024 s]
/proc/loadavg: 4.11 4.15 4.11 5/273 85035
/proc/meminfo: memFree=124427848/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=78652 memory=56704 CPUtime=0.67 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 13506 0 0 0 65 2 0 0 20 0 1 0 74885193 80539648 14176 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 19663 14176 736 2416 0 16765 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 85636 KiB
Current children cumulated memory: 60928 KiB

[startup+1.50024 s]
/proc/loadavg: 4.11 4.15 4.11 5/273 85035
/proc/meminfo: memFree=124214728/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=222444 memory=191128 CPUtime=1.46 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 28523 0 0 0 140 6 0 0 20 0 1 0 74885193 227782656 47782 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 55611 47782 768 2416 0 52713 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 229428 KiB
Current children cumulated memory: 195352 KiB

[startup+3.10566 s]
/proc/loadavg: 4.10 4.15 4.11 5/273 85035
/proc/meminfo: memFree=123631808/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=367972 memory=322784 CPUtime=3.07 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 37921 0 0 0 296 11 0 0 20 0 1 0 74885193 376803328 80696 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 91993 80696 992 2416 0 89095 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 374956 KiB
Current children cumulated memory: 327008 KiB

[startup+6.30024 s]
/proc/loadavg: 4.10 4.15 4.11 5/273 85035
/proc/meminfo: memFree=122728672/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=615504 memory=581964 CPUtime=6.25 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 62337 0 0 0 604 21 0 0 20 0 1 0 74885193 630276096 145491 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 153876 145491 992 2416 0 150978 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 622488 KiB
Current children cumulated memory: 586188 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.11 5/273 85035
/proc/meminfo: memFree=121152484/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=1444316 memory=1248040 CPUtime=12.63 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 98896 0 0 0 1223 40 0 0 20 0 1 0 74885193 1478979584 312010 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 361079 312010 992 2416 0 358181 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1451300 KiB
Current children cumulated memory: 1252264 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.11 5/273 85035
/proc/meminfo: memFree=112496788/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=3970420 memory=3441764 CPUtime=25.4 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 232177 0 0 0 2439 101 0 0 20 0 1 0 74885193 4065710080 860441 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 992605 860441 992 2416 0 989707 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3977404 KiB
Current children cumulated memory: 3445988 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.14 4.10 5/273 85036
/proc/meminfo: memFree=111174780/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4194144 memory=3774780 CPUtime=50.93 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 249173 0 0 0 4985 108 0 0 20 0 1 0 74885193 4294803456 943695 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1048536 943695 992 2416 0 1045638 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4201128 KiB
Current children cumulated memory: 3779004 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 85037
/proc/meminfo: memFree=111966100/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/85035/statm: 1085178 963397 1024 2416 0 1082280 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3857812 KiB

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

# cumulated CPU time of all completed processes:  user=265.157 s, system=1.58586 s

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

[startup+230.4 s]
/proc/loadavg: 4.17 4.15 4.10 5/271 85042
/proc/meminfo: memFree=111881216/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3853588 CPUtime=229.67 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294801 0 0 0 22816 151 0 0 20 0 1 0 74885193 4444889088 963397 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 963397 1024 2416 0 1082280 0
Current children cumulated CPU time: 229.67 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3857812 KiB

[startup+243.2 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 85046
/proc/meminfo: memFree=111907028/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3855640 CPUtime=242.43 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294875 0 0 0 24092 151 0 0 20 0 1 0 74885193 4444889088 963910 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 963910 1024 2416 0 1082280 0
Current children cumulated CPU time: 242.43 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3859864 KiB

[startup+256 s]*
/proc/loadavg: 4.11 4.14 4.10 5/272 85046
/proc/meminfo: memFree=111903020/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3855640 CPUtime=255.2 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294875 0 0 0 25369 151 0 0 20 0 1 0 74885193 4444889088 963910 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 963910 1024 2416 0 1082280 0
Current children cumulated CPU time: 255.2 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3859864 KiB

[startup+262.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 85046
/proc/meminfo: memFree=111903148/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3857688 CPUtime=261.57 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294878 0 0 0 26006 151 0 0 20 0 1 0 74885193 4444889088 964422 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 964422 1024 2416 0 1082280 0
Current children cumulated CPU time: 261.57 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3861912 KiB

[startup+265.6 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 85046
/proc/meminfo: memFree=111903180/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3857688 CPUtime=264.76 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294896 0 0 0 26325 151 0 0 20 0 1 0 74885193 4444889088 964422 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 964422 1024 2416 0 1082280 0
Current children cumulated CPU time: 264.76 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3861912 KiB

[startup+266.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 85046
/proc/meminfo: memFree=111903180/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3857688 CPUtime=265.56 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294898 0 0 0 26405 151 0 0 20 0 1 0 74885193 4444889088 964422 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 964422 1024 2416 0 1082280 0
Current children cumulated CPU time: 265.56 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3861912 KiB

[startup+267.2 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 85046
/proc/meminfo: memFree=111903244/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3857688 CPUtime=266.36 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294914 0 0 0 26485 151 0 0 20 0 1 0 74885193 4444889088 964422 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 964422 1024 2416 0 1082280 0
Current children cumulated CPU time: 266.36 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3861912 KiB

[startup+267.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 85046
/proc/meminfo: memFree=111903244/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3857688 CPUtime=266.56 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294914 0 0 0 26505 151 0 0 20 0 1 0 74885193 4444889088 964422 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 964422 1024 2416 0 1082280 0
Current children cumulated CPU time: 266.56 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3861912 KiB

[startup+267.5 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 85046
/proc/meminfo: memFree=111903244/131249996 swapFree=33006296/33010684
[pid=85031] ppid=85028 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85031/stat : 85031 (Hybrid-CASHWMax) S 85028 85031 84400 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 74885190 4427776 736 18446744073709551615 94809103482880 94809104377413 140721685943824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94809104616464 94809104664208 94809118027776 140721685948757 140721685948912 140721685948912 140721685954514 0
/proc/85031/statm: 1081 736 672 219 0 143 0
[pid=85034] ppid=85031 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/85034/stat : 85034 (timeout) S 85031 85034 84400 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 74885192 2723840 320 18446744073709551615 94280772509696 94280772526209 140726706764128 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94280772540976 94280772543064 94280802877440 140726706768280 140726706768418 140726706768418 140726706773991 0
/proc/85034/statm: 665 320 320 5 0 90 0
[pid=85035] ppid=85034 vsize=4340712 memory=3857688 CPUtime=266.66 cores=0,2
/proc/85035/stat : 85035 (CASHWMaxSAT-Dis) R 85034 85034 84400 0 -1 4194304 294914 0 0 0 26515 151 0 0 20 0 1 0 74885193 4444889088 964422 18446744073709551615 4198400 14093885 140725114997056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28291072 140725115005341 140725115005467 140725115005467 140725115011040 0
/proc/85035/statm: 1085178 964422 1024 2416 0 1082280 0
Current children cumulated CPU time: 266.66 s
Current children cumulated vsize: 4347696 KiB
Current children cumulated memory: 3861912 KiB

Child status: 0

Real time (s): 267.587
CPU time (s): 266.743
CPU user time (s): 265.157
CPU system time (s): 1.58586
CPU usage (%): 99.6846
Max. virtual memory (cumulated for all children) (KiB): 5499124
Max. memory (cumulated for all children) (KiB): 4788188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.157
system time used= 1.58586
maximum resident set size= 4783964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 326
involuntary context switches= 358


# summary of solver processes directly reported to runsolver:
#   pid: 85031
#   total CPU time (s): 266.743
#   total CPU user time (s): 265.157
#   total CPU system time (s): 1.58586

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.7118 second user time and 1.25903 second system time

The end