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: 64096 MiB (62828 MiB free)
  memory of node 1: 64473 MiB (63506 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=331765, runsolver pid=331759

[startup+0.100111 s]*
/proc/loadavg: 2.80 3.87 4.08 7/248 331790
/proc/meminfo: memFree=129321028/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=38020 memory=28556 CPUtime=0.09 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 4916 0 0 0 8 1 0 0 20 0 1 0 62273179 38932480 7139 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 9505 7139 2586 2726 0 6253 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56612 KiB
Current children cumulated memory: 32284 KiB

[startup+0.214853 s]*
/proc/loadavg: 2.80 3.87 4.08 6/253 331799
/proc/meminfo: memFree=129297680/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=42748 memory=33152 CPUtime=0.2 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 6019 0 0 0 19 1 0 0 20 0 1 0 62273179 43773952 8288 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 10687 8288 2618 2726 0 7435 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61340 KiB
Current children cumulated memory: 36880 KiB

[startup+0.314697 s]*
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129280224/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=44572 memory=35104 CPUtime=0.3 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 6476 0 0 0 29 1 0 0 20 0 1 0 62273179 45641728 8776 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 11143 8776 2650 2726 0 7891 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63164 KiB
Current children cumulated memory: 38832 KiB

[startup+0.700475 s]
/proc/loadavg: 2.80 3.87 4.08 5/253 331799
/proc/meminfo: memFree=129232820/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=62572 memory=50884 CPUtime=0.67 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 10603 0 0 0 65 2 0 0 20 0 1 0 62273179 64073728 12721 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 15643 12721 2714 2726 0 12391 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81164 KiB
Current children cumulated memory: 54612 KiB

[startup+1.50052 s]
/proc/loadavg: 2.80 3.87 4.08 6/253 331799
/proc/meminfo: memFree=129147520/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=65460 memory=53328 CPUtime=1.48 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 11209 0 0 0 145 3 0 0 20 0 1 0 62273179 67031040 13332 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 16365 13332 2746 2726 0 13113 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84052 KiB
Current children cumulated memory: 57056 KiB

[startup+3.11466 s]
/proc/loadavg: 2.90 3.87 4.08 6/253 331799
/proc/meminfo: memFree=128425628/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=100716 memory=87312 CPUtime=3.08 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 19778 0 0 0 304 4 0 0 20 0 1 0 62273179 103133184 21828 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 25179 21828 2762 2726 0 21927 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119308 KiB
Current children cumulated memory: 91040 KiB

[startup+6.30037 s]
/proc/loadavg: 2.90 3.87 4.08 6/253 331801
/proc/meminfo: memFree=128201388/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=168980 memory=149352 CPUtime=6.25 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 35284 0 0 0 619 6 0 0 20 0 1 0 62273179 173035520 37338 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 42245 37338 2762 2726 0 38993 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 187572 KiB
Current children cumulated memory: 153080 KiB

[startup+12.7004 s]
/proc/loadavg: 2.99 3.87 4.08 6/253 331801
/proc/meminfo: memFree=128141024/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=190424 memory=164400 CPUtime=12.63 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 39020 0 0 0 1256 7 0 0 20 0 1 0 62273179 194994176 41100 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 47606 41100 2762 2726 0 44354 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 209016 KiB
Current children cumulated memory: 168128 KiB

[startup+25.5004 s]
/proc/loadavg: 3.29 3.90 4.08 6/253 331802
/proc/meminfo: memFree=128039220/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=198972 memory=171816 CPUtime=25.39 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 42286 0 0 0 2530 9 0 0 20 0 1 0 62273179 203747328 42954 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 49743 42954 2762 2726 0 46491 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 217564 KiB
Current children cumulated memory: 175544 KiB

[startup+51.1139 s]
/proc/loadavg: 3.60 3.92 4.09 6/253 331807
/proc/meminfo: memFree=127938408/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 684 605 264 0 134 0
[pid=331771] ppid=331765 vsize=8660 memory=992 CPUtime=0 cores=5,7
/proc/331771/stat : 331771 (timeout) S 331765 331771 331710 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62273178 8867840 248 134679101440 94777924952064 94777924987080 140729771658944 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94777927084496 94777927086628 94777955655680 140729771664386 140729771664545 140729771664545 140729771671527 0
/proc/331771/statm: 2165 248 223 9 0 87 0
[pid=331773] ppid=331771 vsize=209492 memory=180788 CPUtime=50.92 cores=5,7
/proc/331773/stat : 331773 (CASHWMaxSAT-Dis) R 331771 331771 331710 0 -1 4194304 44512 0 0 0 5080 12 0 0 20 0 1 0 62273179 214519808 45197 134679101440 4194304 15356333 140721797357088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26791936 140721797358599 140721797358745 140721797358745 140721797365727 0
/proc/331773/statm: 52373 45197 2762 2726 0 49121 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 228084 KiB
Current children cumulated memory: 184516 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 3.95 4.09 6/250 331815
/proc/meminfo: memFree=127765112/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62273178 10170368 684 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0

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

/proc/332694/statm: 30783 25621 804 745 0 29848 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 106220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.16 6/248 333609
/proc/meminfo: memFree=128839788/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=123320 memory=103920 CPUtime=1659.37 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 16602 0 0 0 165933 4 0 0 20 0 1 0 62452980 126279680 25980 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 30830 25980 804 745 0 29895 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 107656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.16 6/248 333619
/proc/meminfo: memFree=128836212/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=123516 memory=104112 CPUtime=1719.22 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 16696 0 0 0 171918 4 0 0 20 0 1 0 62452980 126480384 26028 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 30879 26028 804 745 0 29944 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 142108 KiB
Current children cumulated memory: 107848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/248 333631
/proc/meminfo: memFree=128831012/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1779.07 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17053 0 0 0 177903 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

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

# cumulated CPU time of all completed processes:  user=3585.46 s, system=0.395526 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.15 6/248 333631
/proc/meminfo: memFree=128831040/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1780.78 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17053 0 0 0 178074 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3573.82 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.16 7/248 333633
/proc/meminfo: memFree=128830608/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1787.15 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17054 0 0 0 178711 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3580.19 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.13 4.16 6/248 333633
/proc/meminfo: memFree=128830600/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1790.34 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17054 0 0 0 179030 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3583.38 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.13 4.16 6/248 333633
/proc/meminfo: memFree=128830660/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1791.94 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17054 0 0 0 179190 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.13 4.16 6/248 333633
/proc/meminfo: memFree=128830660/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1792.34 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17054 0 0 0 179230 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.13 4.16 6/248 333634
/proc/meminfo: memFree=128830688/131655788 swapFree=131071216/131071996
[pid=331765] ppid=331759 vsize=9932 memory=2792 CPUtime=1793.04 cores=5,7
/proc/331765/stat : 331765 (Hybrid-CASHWMax) S 331759 331765 331710 0 -1 4194304 277 99412 0 0 0 0 179272 32 20 0 1 0 62273178 10170368 698 134679101440 94285823246336 94285824325656 140731198185776 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94285826424112 94285826471300 94285837365248 140731198190546 140731198190705 140731198190705 140731198197716 0
/proc/331765/statm: 2483 698 605 264 0 134 0
[pid=332692] ppid=331765 vsize=8660 memory=944 CPUtime=0 cores=5,7
/proc/332692/stat : 332692 (timeout) S 331765 332692 331710 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62452979 8867840 236 134679101440 94656724840448 94656724875464 140722309240096 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94656726972880 94656726975012 94656745693184 140722309243896 140722309244065 140722309244065 140722309251047 0
/proc/332692/statm: 2165 236 212 9 0 87 0
[pid=332694] ppid=332692 vsize=124988 memory=105340 CPUtime=1792.75 cores=5,7
/proc/332694/stat : 332694 (Exact) R 332692 332692 331710 0 -1 4194304 17054 0 0 0 179271 4 0 0 20 0 1 0 62452980 127987712 26335 134679101440 4194304 7243121 140737109228960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 43474944 140737109234708 140737109234858 140737109234858 140737109241840 0
/proc/332694/statm: 31247 26335 804 745 0 30312 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 109076 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3585.86
CPU user time (s): 3585.46
CPU system time (s): 0.395526
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 460296
Max. memory (cumulated for all children) (KiB): 398532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.46
system time used= 0.395526
maximum resident set size= 396132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116
involuntary context switches= 5674


# summary of solver processes directly reported to runsolver:
#   pid: 331765
#   total CPU time (s): 3585.86
#   total CPU user time (s): 3585.46
#   total CPU system time (s): 0.395526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1643 second user time and 38.8303 second system time

The end