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: 63931 MiB (62394 MiB free)
  memory of node 1: 64510 MiB (62505 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437977-1722964498/watcher-4437977-1722964498 -o /tmp/evaluation-result-4437977-1722964498/solver-4437977-1722964498 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340138 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437977-1722964498.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=342610, runsolver pid=342607

[startup+0.1038 s]*
/proc/loadavg: 4.09 4.11 4.09 5/266 342614
/proc/meminfo: memFree=127875280/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=40488 memory=25160 CPUtime=0.09 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 6401 0 0 0 8 1 0 0 20 0 1 0 63048263 41459712 6290 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 10122 6290 1050 2726 0 6870 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59080 KiB
Current children cumulated memory: 28852 KiB

[startup+0.205801 s]*
/proc/loadavg: 4.09 4.11 4.09 5/266 342614
/proc/meminfo: memFree=127822584/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=94980 memory=83552 CPUtime=0.2 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 19473 0 0 0 17 3 0 0 20 0 1 0 63048263 97259520 20888 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 23745 20888 2682 2726 0 20493 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113572 KiB
Current children cumulated memory: 87244 KiB

[startup+0.305748 s]*
/proc/loadavg: 4.09 4.11 4.09 5/266 342614
/proc/meminfo: memFree=127806652/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=110796 memory=99392 CPUtime=0.3 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 23385 0 0 0 26 4 0 0 20 0 1 0 63048263 113455104 24848 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 27699 24848 2682 2726 0 24447 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129388 KiB
Current children cumulated memory: 103084 KiB

[startup+0.700248 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 342614
/proc/meminfo: memFree=127801108/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=115632 memory=104660 CPUtime=0.69 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 24712 0 0 0 65 4 0 0 20 0 1 0 63048263 118407168 26165 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 28908 26165 2698 2726 0 25656 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134224 KiB
Current children cumulated memory: 108352 KiB

[startup+1.50028 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 342614
/proc/meminfo: memFree=127797720/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=124272 memory=113108 CPUtime=1.48 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 26823 0 0 0 144 4 0 0 20 0 1 0 63048263 127254528 28277 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 31068 28277 2698 2726 0 27816 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 142864 KiB
Current children cumulated memory: 116800 KiB

[startup+3.10547 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 342614
/proc/meminfo: memFree=127791152/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=126252 memory=114940 CPUtime=3.08 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 27310 0 0 0 304 4 0 0 20 0 1 0 63048263 129282048 28735 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 31563 28735 2698 2726 0 28311 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 144844 KiB
Current children cumulated memory: 118632 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 342615
/proc/meminfo: memFree=127681236/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=167644 memory=155516 CPUtime=6.27 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 38017 0 0 0 622 5 0 0 20 0 1 0 63048263 171667456 38879 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 41911 38879 2810 2726 0 38659 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186236 KiB
Current children cumulated memory: 159208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 342615
/proc/meminfo: memFree=127677172/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=168460 memory=156044 CPUtime=12.65 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 38154 0 0 0 1260 5 0 0 20 0 1 0 63048263 172503040 39011 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 42115 39011 2810 2726 0 38863 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 187052 KiB
Current children cumulated memory: 159736 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 342617
/proc/meminfo: memFree=127607928/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=270296 memory=225472 CPUtime=25.42 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 54860 0 0 0 2534 8 0 0 20 0 1 0 63048263 276783104 56368 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 67574 56368 2826 2726 0 64322 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 288888 KiB
Current children cumulated memory: 229164 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 342621
/proc/meminfo: memFree=127557908/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=316852 memory=272672 CPUtime=50.97 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 66661 0 0 0 5086 11 0 0 20 0 1 0 63048263 324456448 68168 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 79213 68168 2826 2726 0 75961 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 335444 KiB
Current children cumulated memory: 276364 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 342905
/proc/meminfo: memFree=127333648/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0

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

/proc/342614/statm: 111964 109107 2826 2726 0 108712 0
Current children cumulated CPU time: 820.26 s
Current children cumulated vsize: 466448 KiB
Current children cumulated memory: 440120 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 343648
/proc/meminfo: memFree=127056672/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=462444 memory=450472 CPUtime=880.13 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 104971 0 0 0 87989 24 0 0 20 0 1 0 63048263 473542656 112618 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 115611 112618 2826 2726 0 112359 0
Current children cumulated CPU time: 880.13 s
Current children cumulated vsize: 481036 KiB
Current children cumulated memory: 454164 KiB

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

# cumulated CPU time of all completed processes:  user=905.519 s, system=0.249877 s

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

[startup+883.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 343648
/proc/meminfo: memFree=127056680/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=462444 memory=450472 CPUtime=881.03 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 104971 0 0 0 88079 24 0 0 20 0 1 0 63048263 473542656 112618 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 115611 112618 2826 2726 0 112359 0
Current children cumulated CPU time: 881.03 s
Current children cumulated vsize: 481036 KiB
Current children cumulated memory: 454164 KiB

[startup+896 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 343651
/proc/meminfo: memFree=127044924/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=462444 memory=450472 CPUtime=893.8 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 104976 0 0 0 89356 24 0 0 20 0 1 0 63048263 473542656 112618 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 115611 112618 2826 2726 0 112359 0
Current children cumulated CPU time: 893.8 s
Current children cumulated vsize: 481036 KiB
Current children cumulated memory: 454164 KiB

[startup+902.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 343652
/proc/meminfo: memFree=127046688/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=456236 memory=444768 CPUtime=900.18 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 105064 0 0 0 89994 24 0 0 20 0 1 0 63048263 467185664 111192 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 114059 111192 2826 2726 0 110807 0
Current children cumulated CPU time: 900.18 s
Current children cumulated vsize: 474828 KiB
Current children cumulated memory: 448460 KiB

[startup+905.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 343652
/proc/meminfo: memFree=127046712/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=456236 memory=444768 CPUtime=903.37 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 105064 0 0 0 90313 24 0 0 20 0 1 0 63048263 467185664 111192 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 114059 111192 2826 2726 0 110807 0
Current children cumulated CPU time: 903.37 s
Current children cumulated vsize: 474828 KiB
Current children cumulated memory: 448460 KiB

[startup+907.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 343653
/proc/meminfo: memFree=127046124/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=456236 memory=444768 CPUtime=904.97 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 105064 0 0 0 90473 24 0 0 20 0 1 0 63048263 467185664 111192 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 114059 111192 2826 2726 0 110807 0
Current children cumulated CPU time: 904.97 s
Current children cumulated vsize: 474828 KiB
Current children cumulated memory: 448460 KiB

[startup+907.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 343653
/proc/meminfo: memFree=127046124/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=456236 memory=444768 CPUtime=905.36 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 105064 0 0 0 90512 24 0 0 20 0 1 0 63048263 467185664 111192 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 114059 111192 2826 2726 0 110807 0
Current children cumulated CPU time: 905.36 s
Current children cumulated vsize: 474828 KiB
Current children cumulated memory: 448460 KiB

[startup+907.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 343653
/proc/meminfo: memFree=127046124/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=456236 memory=444768 CPUtime=905.56 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 105064 0 0 0 90532 24 0 0 20 0 1 0 63048263 467185664 111192 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 114059 111192 2826 2726 0 110807 0
Current children cumulated CPU time: 905.56 s
Current children cumulated vsize: 474828 KiB
Current children cumulated memory: 448460 KiB

[startup+907.9 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 343653
/proc/meminfo: memFree=127046124/131524600 swapFree=131071996/131071996
[pid=342610] ppid=342607 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/342610/stat : 342610 (Hybrid-CASHWMax) S 342607 342610 340127 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 63048262 10170368 687 134679101440 94855989493760 94855990573080 140732491957952 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94855992671536 94855992718724 94856007131136 140732491961294 140732491961453 140732491961453 140732491968468 0
/proc/342610/statm: 2483 687 594 264 0 134 0
[pid=342613] ppid=342610 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/342613/stat : 342613 (timeout) S 342610 342613 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63048263 8867840 236 134679101440 94898496823296 94898496858312 140726313676144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94898498955728 94898498957860 94898524176384 140726313677822 140726313677981 140726313677981 140726313684967 0
/proc/342613/statm: 2165 236 212 9 0 87 0
[pid=342614] ppid=342613 vsize=456236 memory=444768 CPUtime=905.66 cores=4,6
/proc/342614/stat : 342614 (CASHWMaxSAT-Dis) R 342613 342613 340127 0 -1 4194304 105064 0 0 0 90542 24 0 0 20 0 1 0 63048263 467185664 111192 134679101440 4194304 15356333 140726175077152 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 45199360 140726175081475 140726175081621 140726175081621 140726175088607 0
/proc/342614/statm: 114059 111192 2826 2726 0 110807 0
Current children cumulated CPU time: 905.66 s
Current children cumulated vsize: 474828 KiB
Current children cumulated memory: 448460 KiB

Child status: 0

Real time (s): 907.993
CPU time (s): 905.769
CPU user time (s): 905.519
CPU system time (s): 0.249877
CPU usage (%): 99.755
Max. virtual memory (cumulated for all children) (KiB): 481036
Max. memory (cumulated for all children) (KiB): 454368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 905.519
system time used= 0.249877
maximum resident set size= 450940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105770
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= 52
involuntary context switches= 475


# summary of solver processes directly reported to runsolver:
#   pid: 342610
#   total CPU time (s): 905.769
#   total CPU user time (s): 905.519
#   total CPU system time (s): 0.249877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89222 second user time and 4.34523 second system time

The end