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: 63968 MiB (58270 MiB free)
  memory of node 1: 64473 MiB (63019 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=349135, runsolver pid=349132
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.16 4.19 4.18 5/267 349139
/proc/meminfo: memFree=124171816/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=48860 memory=31640 CPUtime=0.1 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 6058 0 0 0 9 1 0 0 20 0 1 0 62969997 50032640 7910 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 12215 7910 954 2726 0 8963 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67452 KiB
Current children cumulated memory: 35320 KiB

[startup+0.20605 s]*
/proc/loadavg: 4.16 4.19 4.18 5/267 349139
/proc/meminfo: memFree=124171816/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=48860 memory=32084 CPUtime=0.2 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 6080 0 0 0 19 1 0 0 20 0 1 0 62969997 50032640 8021 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 12215 8021 1002 2726 0 8963 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67452 KiB
Current children cumulated memory: 35764 KiB

[startup+0.305878 s]*
/proc/loadavg: 4.16 4.19 4.18 5/267 349139
/proc/meminfo: memFree=124162072/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=59292 memory=42500 CPUtime=0.3 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 8678 0 0 0 29 1 0 0 20 0 1 0 62969997 60715008 10625 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 14823 10625 1034 2726 0 11571 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77884 KiB
Current children cumulated memory: 46180 KiB

[startup+0.700298 s]
/proc/loadavg: 4.16 4.19 4.18 5/267 349139
/proc/meminfo: memFree=124143936/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=85528 memory=68688 CPUtime=0.69 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 14702 0 0 0 67 2 0 0 20 0 1 0 62969997 87580672 17172 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 21382 17172 1066 2726 0 18130 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 104120 KiB
Current children cumulated memory: 72368 KiB

[startup+1.50029 s]
/proc/loadavg: 4.14 4.18 4.18 5/267 349139
/proc/meminfo: memFree=124105652/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=219460 memory=188448 CPUtime=1.49 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 30170 0 0 0 144 5 0 0 20 0 1 0 62969997 224727040 47112 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 54865 47112 1066 2726 0 51613 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 238052 KiB
Current children cumulated memory: 192128 KiB

[startup+3.1058 s]
/proc/loadavg: 4.14 4.18 4.18 5/267 349140
/proc/meminfo: memFree=123874152/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=382076 memory=338704 CPUtime=3.08 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 52222 0 0 0 298 10 0 0 20 0 1 0 62969997 391245824 84676 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 95519 84676 1146 2726 0 92267 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 400668 KiB
Current children cumulated memory: 342384 KiB

[startup+6.30028 s]
/proc/loadavg: 4.13 4.18 4.18 5/267 349140
/proc/meminfo: memFree=123814888/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=430780 memory=388036 CPUtime=6.27 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 53383 0 0 0 616 11 0 0 20 0 1 0 62969997 441118720 97009 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 107695 97009 1146 2726 0 104443 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 449372 KiB
Current children cumulated memory: 391716 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.18 4.18 5/267 349140
/proc/meminfo: memFree=123795668/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=468780 memory=415172 CPUtime=12.65 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 65267 0 0 0 1245 20 0 0 20 0 1 0 62969997 480030720 103793 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 117195 103793 1146 2726 0 113943 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 487372 KiB
Current children cumulated memory: 418852 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.17 4.17 5/267 349143
/proc/meminfo: memFree=123774464/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=469000 memory=419856 CPUtime=25.41 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 66092 0 0 0 2520 21 0 0 20 0 1 0 62969997 480256000 104964 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 117250 104964 1146 2726 0 113998 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 487592 KiB
Current children cumulated memory: 423536 KiB

[startup+51.106 s]
/proc/loadavg: 4.18 4.18 4.18 5/267 349147
/proc/meminfo: memFree=123756636/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=349138] ppid=349135 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/349138/stat : 349138 (timeout) S 349135 349138 345726 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62969997 8867840 236 134679101440 94354560499712 94354560534728 140721995598864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94354562632144 94354562634276 94354582487040 140721995600894 140721995601053 140721995601053 140721995608039 0
/proc/349138/statm: 2165 236 212 9 0 87 0
[pid=349139] ppid=349138 vsize=479188 memory=430064 CPUtime=50.95 cores=1,3
/proc/349139/stat : 349139 (CASHWMaxSAT-Dis) R 349138 349138 345726 0 -1 4194304 67290 0 0 0 5073 22 0 0 20 0 1 0 62969997 490688512 107516 134679101440 4194304 15356333 140727906846624 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41930752 140727906853891 140727906854037 140727906854037 140727906861023 0
/proc/349139/statm: 119797 107516 1146 2726 0 116545 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 497780 KiB
Current children cumulated memory: 433744 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/265 349155
/proc/meminfo: memFree=123753064/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=0 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0

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

/proc/350092/statm: 11089 8029 804 745 0 10154 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 62948 KiB
Current children cumulated memory: 35824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 351275
/proc/meminfo: memFree=112403532/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44416 memory=32176 CPUtime=1658.96 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 46697 0 0 0 165888 8 0 0 20 0 1 0 63149798 45481984 8044 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11104 8044 804 745 0 10169 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 63008 KiB
Current children cumulated memory: 35884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 351289
/proc/meminfo: memFree=113502072/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44676 memory=32436 CPUtime=1718.76 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 48059 0 0 0 171868 8 0 0 20 0 1 0 63149798 45748224 8109 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11169 8109 804 745 0 10234 0
Current children cumulated CPU time: 3511.34 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 36144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 351312
/proc/meminfo: memFree=113402504/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44672 memory=32432 CPUtime=1778.57 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49373 0 0 0 177848 9 0 0 20 0 1 0 63149798 45744128 8108 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11168 8108 804 745 0 10233 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 63264 KiB
Current children cumulated memory: 36140 KiB

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

# cumulated CPU time of all completed processes:  user=3583.87 s, system=0.983173 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 351314
/proc/meminfo: memFree=113397904/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44672 memory=32432 CPUtime=1780.27 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49373 0 0 0 178018 9 0 0 20 0 1 0 63149798 45744128 8108 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11168 8108 804 745 0 10233 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 63264 KiB
Current children cumulated memory: 36140 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 351314
/proc/meminfo: memFree=113389800/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44672 memory=32432 CPUtime=1786.65 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49547 0 0 0 178656 9 0 0 20 0 1 0 63149798 45744128 8108 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11168 8108 804 745 0 10233 0
Current children cumulated CPU time: 3579.23 s
Current children cumulated vsize: 63264 KiB
Current children cumulated memory: 36140 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 351316
/proc/meminfo: memFree=113384772/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44676 memory=32436 CPUtime=1789.84 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49635 0 0 0 178975 9 0 0 20 0 1 0 63149798 45748224 8109 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11169 8109 804 745 0 10234 0
Current children cumulated CPU time: 3582.42 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 36144 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.09 6/266 351316
/proc/meminfo: memFree=113380568/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44676 memory=32436 CPUtime=1791.43 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49635 0 0 0 179134 9 0 0 20 0 1 0 63149798 45748224 8109 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11169 8109 804 745 0 10234 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 36144 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.10 4.09 6/266 351316
/proc/meminfo: memFree=113380568/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44676 memory=32436 CPUtime=1791.83 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49635 0 0 0 179174 9 0 0 20 0 1 0 63149798 45748224 8109 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11169 8109 804 745 0 10234 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 36144 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.09 5/266 351316
/proc/meminfo: memFree=113380260/131524600 swapFree=131071996/131071996
[pid=349135] ppid=349132 vsize=9932 memory=2736 CPUtime=1792.58 cores=1,3
/proc/349135/stat : 349135 (Hybrid-CASHWMax) S 349132 349135 345726 0 -1 4194304 273 160550 0 0 0 0 179170 88 20 0 1 0 62969997 10170368 684 134679101440 94900075208704 94900076288024 140730138699392 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94900078386480 94900078433668 94900080836608 140730138702798 140730138702957 140730138702957 140730138709972 0
/proc/349135/statm: 2483 684 591 264 0 134 0
[pid=350091] ppid=349135 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/350091/stat : 350091 (timeout) S 349135 350091 345726 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63149798 8867840 243 134679101440 94121341202432 94121341237448 140733723199104 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94121343334864 94121343336996 94121367629824 140733723206644 140733723206813 140733723206813 140733723213799 0
/proc/350091/statm: 2165 243 219 9 0 87 0
[pid=350092] ppid=350091 vsize=44676 memory=32436 CPUtime=1792.23 cores=1,3
/proc/350092/stat : 350092 (Exact) R 350091 350091 345726 0 -1 4194304 49635 0 0 0 179214 9 0 0 20 0 1 0 63149798 45748224 8109 134679101440 4194304 7243121 140728341348528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 15364096 140728341357584 140728341357734 140728341357734 140728341364720 0
/proc/350092/statm: 11169 8109 804 745 0 10234 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 36144 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3584.86
CPU user time (s): 3583.87
CPU system time (s): 0.983173
CPU usage (%): 99.6894
Max. virtual memory (cumulated for all children) (KiB): 831252
Max. memory (cumulated for all children) (KiB): 732552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.87
system time used= 0.983173
maximum resident set size= 744456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187
involuntary context switches= 3935


# summary of solver processes directly reported to runsolver:
#   pid: 349135
#   total CPU time (s): 3584.86
#   total CPU user time (s): 3583.87
#   total CPU system time (s): 0.983173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90895 second user time and 17.9492 second system time

The end