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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523682-1751592760/watcher-4523682-1751592760 -o /tmp/evaluation-result-4523682-1751592760/solver-4523682-1751592760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751589980-80804 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4523682-1751592760.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 4.00 4.10 4.03 5/274 81354
/proc/meminfo: memFree=105989884/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=28948 memory=10496 CPUtime=0.07 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 1957 0 0 0 7 0 0 0 20 0 1 0 74953567 29642752 2624 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 7237 2624 736 2416 0 4339 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35932 KiB
Current children cumulated memory: 14848 KiB

[startup+0.205784 s]*
/proc/loadavg: 4.00 4.10 4.03 5/274 81354
/proc/meminfo: memFree=105981372/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=37296 memory=18560 CPUtime=0.17 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 3976 0 0 0 17 0 0 0 20 0 1 0 74953567 38191104 4640 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 9324 4640 736 2416 0 6426 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 22912 KiB

[startup+0.30563 s]*
/proc/loadavg: 4.00 4.10 4.03 5/274 81354
/proc/meminfo: memFree=105973308/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=44856 memory=25984 CPUtime=0.26 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 5845 0 0 0 26 0 0 0 20 0 1 0 74953567 45932544 6496 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 11214 6496 736 2416 0 8316 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 51840 KiB
Current children cumulated memory: 30336 KiB

[startup+0.700187 s]
/proc/loadavg: 4.00 4.10 4.03 5/274 81354
/proc/meminfo: memFree=105957180/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=75652 memory=54784 CPUtime=0.63 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 13038 0 0 0 62 1 0 0 20 0 1 0 74953567 77467648 13696 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 18913 13696 736 2416 0 16015 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 82636 KiB
Current children cumulated memory: 59136 KiB

[startup+1.50019 s]
/proc/loadavg: 4.00 4.10 4.03 5/274 81354
/proc/meminfo: memFree=105902304/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=205736 memory=181912 CPUtime=1.43 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 31684 0 0 0 137 6 0 0 20 0 1 0 74953567 210673664 45478 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 51434 45478 768 2416 0 48536 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 212720 KiB
Current children cumulated memory: 186264 KiB

[startup+3.10596 s]
/proc/loadavg: 4.00 4.10 4.03 5/274 81354
/proc/meminfo: memFree=105686656/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=336328 memory=309032 CPUtime=3.03 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 42145 0 0 0 292 11 0 0 20 0 1 0 74953567 344399872 77258 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 84082 77258 992 2416 0 81184 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 343312 KiB
Current children cumulated memory: 313384 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.12 4.04 5/274 81354
/proc/meminfo: memFree=105382512/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=730164 memory=607272 CPUtime=6.21 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 66826 0 0 0 598 23 0 0 20 0 1 0 74953567 747687936 151818 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 182541 151818 992 2416 0 179643 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 737148 KiB
Current children cumulated memory: 611624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.04 5/274 81354
/proc/meminfo: memFree=104885624/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=1171692 memory=1056996 CPUtime=12.6 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 96731 0 0 0 1222 38 0 0 20 0 1 0 74953567 1199812608 264249 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 292923 264249 992 2416 0 290025 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1178676 KiB
Current children cumulated memory: 1061348 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.04 5/274 81354
/proc/meminfo: memFree=101787768/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4591536 memory=3897200 CPUtime=25.37 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 272943 0 0 0 2421 116 0 0 20 0 1 0 74953567 4701732864 974300 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1147884 974300 992 2416 0 1144986 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 4598520 KiB
Current children cumulated memory: 3901552 KiB

[startup+51.106 s]
/proc/loadavg: 4.17 4.13 4.05 5/273 81354
/proc/meminfo: memFree=101932948/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4591536 memory=3899396 CPUtime=50.91 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 273016 0 0 0 4974 117 0 0 20 0 1 0 74953567 4701732864 974849 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1147884 974849 992 2416 0 1144986 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 4598520 KiB
Current children cumulated memory: 3903748 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/273 81356
/proc/meminfo: memFree=101295640/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4382776 CPUtime=101.96 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350259 0 0 0 10015 181 0 0 20 0 1 0 74953567 5108584448 1095694 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1095694 992 2416 0 1244315 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4387128 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/273 81358
/proc/meminfo: memFree=100777768/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4385088 CPUtime=161.8 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350620 0 0 0 15998 182 0 0 20 0 1 0 74953567 5108584448 1096272 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096272 1024 2416 0 1244315 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4389440 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/273 81360
/proc/meminfo: memFree=100361820/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=221.63 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350774 0 0 0 21981 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

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

# cumulated CPU time of all completed processes:  user=250.776 s, system=1.8996 s

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

[startup+230.4 s]
/proc/loadavg: 4.13 4.12 4.05 5/273 81360
/proc/meminfo: memFree=100301012/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=229.7 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350890 0 0 0 22788 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 229.7 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

[startup+243.2 s]
/proc/loadavg: 4.11 4.11 4.05 5/273 81367
/proc/meminfo: memFree=100272572/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=242.47 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350908 0 0 0 24065 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 242.47 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

[startup+249.6 s]
/proc/loadavg: 4.10 4.11 4.05 5/273 81367
/proc/meminfo: memFree=100244312/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=248.85 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350943 0 0 0 24703 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 248.85 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

[startup+251.2 s]
/proc/loadavg: 4.09 4.11 4.05 5/273 81367
/proc/meminfo: memFree=100232024/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=250.45 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350958 0 0 0 24863 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 250.45 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

[startup+252.8 s]
/proc/loadavg: 4.09 4.11 4.05 5/273 81367
/proc/meminfo: memFree=100227928/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=252.04 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350958 0 0 0 25022 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

[startup+253.2 s]
/proc/loadavg: 4.09 4.11 4.05 5/273 81367
/proc/meminfo: memFree=100223832/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
[pid=81354] ppid=81353 vsize=4988852 memory=4387180 CPUtime=252.44 cores=4,6
/proc/81354/stat : 81354 (CASHWMaxSAT-Dis) R 81353 81353 80793 0 -1 4194304 350958 0 0 0 25062 182 0 0 20 0 1 0 74953567 5108584448 1096795 18446744073709551615 4198400 14093885 140733584206240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45150208 140733584210333 140733584210459 140733584210459 140733584216032 0
/proc/81354/statm: 1247213 1096795 1024 2416 0 1244315 0
Current children cumulated CPU time: 252.44 s
Current children cumulated vsize: 4995836 KiB
Current children cumulated memory: 4391532 KiB

[startup+253.4 s]
/proc/loadavg: 4.09 4.11 4.05 5/273 81367
/proc/meminfo: memFree=100223832/131250000 swapFree=33007332/33010684
[pid=81350] ppid=81347 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/81350/stat : 81350 (Hybrid-CASHWMax) S 81347 81350 80793 0 -1 4194304 252 106 0 0 0 0 0 0 20 0 1 0 74953565 4427776 736 18446744073709551615 94339093950464 94339094844997 140730718521248 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339095084048 94339095131792 94339116478464 140730718529877 140730718530032 140730718530032 140730718535634 0
/proc/81350/statm: 1081 736 672 219 0 143 0
[pid=81353] ppid=81350 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/81353/stat : 81353 (timeout) S 81350 81353 80793 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 74953567 2723840 352 18446744073709551615 94440829591552 94440829608065 140728745421856 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94440829622832 94440829624920 94440857178112 140728745429400 140728745429538 140728745429538 140728745435111 0
/proc/81353/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

Child status: 0

Real time (s): 253.434
CPU time (s): 252.676
CPU user time (s): 250.776
CPU system time (s): 1.8996
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 6192864
Max. memory (cumulated for all children) (KiB): 5490072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.776
system time used= 1.8996
maximum resident set size= 5485720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351736
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= 328
involuntary context switches= 255


# summary of solver processes directly reported to runsolver:
#   pid: 81350
#   total CPU time (s): 252.676
#   total CPU user time (s): 250.776
#   total CPU system time (s): 1.8996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.565194 second user time and 1.18422 second system time

The end