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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437881-1722960983/watcher-4437881-1722960983 -o /tmp/evaluation-result-4437881-1722960983/solver-4437881-1722960983 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340139 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437881-1722960983.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=340489, runsolver pid=340486
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 3.99 2.87 2.61 5/264 340493
/proc/meminfo: memFree=126404336/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=41548 memory=32632 CPUtime=0.09 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 6012 0 0 0 9 0 0 0 20 0 1 0 62696764 42545152 8158 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 10387 8158 2730 2726 0 7135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60140 KiB
Current children cumulated memory: 36356 KiB

[startup+0.206017 s]*
/proc/loadavg: 3.99 2.87 2.61 5/264 340493
/proc/meminfo: memFree=126401816/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=44000 memory=35052 CPUtime=0.2 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 6587 0 0 0 20 0 0 0 20 0 1 0 62696764 45056000 8763 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 11000 8763 2746 2726 0 7748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62592 KiB
Current children cumulated memory: 38776 KiB

[startup+0.30587 s]*
/proc/loadavg: 3.99 2.87 2.61 5/264 340493
/proc/meminfo: memFree=126399968/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=47288 memory=38280 CPUtime=0.3 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 7382 0 0 0 30 0 0 0 20 0 1 0 62696764 48422912 9570 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 11822 9570 2762 2726 0 8570 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65880 KiB
Current children cumulated memory: 42004 KiB

[startup+0.700319 s]
/proc/loadavg: 3.99 2.87 2.61 9/264 340493
/proc/meminfo: memFree=126397476/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=48600 memory=39312 CPUtime=0.69 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 7627 0 0 0 69 0 0 0 20 0 1 0 62696764 49766400 9828 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 12150 9828 2762 2726 0 8898 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67192 KiB
Current children cumulated memory: 43036 KiB

[startup+1.50031 s]
/proc/loadavg: 3.99 2.87 2.61 5/264 340495
/proc/meminfo: memFree=126396088/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=50836 memory=40632 CPUtime=1.48 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 7983 0 0 0 148 0 0 0 20 0 1 0 62696764 52056064 10158 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 12709 10158 2762 2726 0 9457 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69428 KiB
Current children cumulated memory: 44356 KiB

[startup+3.1057 s]
/proc/loadavg: 3.99 2.89 2.62 5/264 340495
/proc/meminfo: memFree=126363344/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=84508 memory=73104 CPUtime=3.08 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 16107 0 0 0 307 1 0 0 20 0 1 0 62696764 86536192 18276 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 21127 18276 2762 2726 0 17875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103100 KiB
Current children cumulated memory: 76828 KiB

[startup+6.3003 s]
/proc/loadavg: 3.99 2.89 2.62 5/264 340495
/proc/meminfo: memFree=126308416/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=141396 memory=128528 CPUtime=6.27 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 29971 0 0 0 624 3 0 0 20 0 1 0 62696764 144789504 32132 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 35349 32132 2762 2726 0 32097 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159988 KiB
Current children cumulated memory: 132252 KiB

[startup+12.7003 s]
/proc/loadavg: 3.99 2.91 2.63 5/264 340496
/proc/meminfo: memFree=126298884/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=146848 memory=133652 CPUtime=12.65 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 32358 0 0 0 1262 3 0 0 20 0 1 0 62696764 150372352 33413 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 36712 33413 2762 2726 0 33460 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 165440 KiB
Current children cumulated memory: 137376 KiB

[startup+25.5003 s]
/proc/loadavg: 3.99 2.97 2.65 5/264 340498
/proc/meminfo: memFree=126265240/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=157964 memory=143420 CPUtime=25.42 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 34835 0 0 0 2538 4 0 0 20 0 1 0 62696764 161755136 35855 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 39491 35855 2762 2726 0 36239 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 176556 KiB
Current children cumulated memory: 147144 KiB

[startup+51.1059 s]
/proc/loadavg: 4.06 3.07 2.69 5/264 340502
/proc/meminfo: memFree=126094072/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 676 598 264 0 134 0
[pid=340492] ppid=340489 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/340492/stat : 340492 (timeout) S 340489 340492 340127 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62696764 8867840 255 134679101440 93872381788160 93872381823176 140728572180928 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93872383920592 93872383922724 93872395993088 140728572183550 140728572183709 140728572183709 140728572190695 0
/proc/340492/statm: 2165 255 231 9 0 87 0
[pid=340493] ppid=340492 vsize=232920 memory=214132 CPUtime=50.95 cores=1,3
/proc/340493/stat : 340493 (CASHWMaxSAT-Dis) R 340492 340492 340127 0 -1 4194304 53608 0 0 0 5086 9 0 0 20 0 1 0 62696764 238510080 53533 134679101440 4194304 15356333 140723636197296 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 51376128 140723636204547 140723636204693 140723636204693 140723636211679 0
/proc/340493/statm: 58230 53533 2762 2726 0 54978 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 251512 KiB
Current children cumulated memory: 217856 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.23 2.77 5/264 340512
/proc/meminfo: memFree=125988816/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 62696764 10170368 676 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0

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

/proc/341489/statm: 53135 49888 820 745 0 52200 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 231132 KiB
Current children cumulated memory: 203300 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342553
/proc/meminfo: memFree=127798012/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=214396 memory=201092 CPUtime=1660.23 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 28782 0 0 0 166013 10 0 0 20 0 1 0 62876565 219541504 50273 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 53599 50273 820 745 0 52664 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 232988 KiB
Current children cumulated memory: 204840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 342615
/proc/meminfo: memFree=127680656/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=215424 memory=210428 CPUtime=1720.06 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29130 0 0 0 171996 10 0 0 20 0 1 0 62876565 220594176 52607 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 53856 52607 820 745 0 52921 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 234016 KiB
Current children cumulated memory: 214176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 342625
/proc/meminfo: memFree=127544312/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211376 CPUtime=1779.87 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29457 0 0 0 177977 10 0 0 20 0 1 0 62876565 221708288 52844 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52844 820 745 0 53193 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215124 KiB

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

# cumulated CPU time of all completed processes:  user=3586.08 s, system=0.726593 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 342625
/proc/meminfo: memFree=127544268/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211376 CPUtime=1781.57 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29457 0 0 0 178147 10 0 0 20 0 1 0 62876565 221708288 52844 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52844 820 745 0 53193 0
Current children cumulated CPU time: 3574.78 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215124 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 342625
/proc/meminfo: memFree=127544132/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211760 CPUtime=1787.95 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29479 0 0 0 178785 10 0 0 20 0 1 0 62876565 221708288 52940 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52940 852 745 0 53193 0
Current children cumulated CPU time: 3581.16 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215508 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 342627
/proc/meminfo: memFree=127541952/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211760 CPUtime=1791.14 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29479 0 0 0 179104 10 0 0 20 0 1 0 62876565 221708288 52940 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52940 852 745 0 53193 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215508 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 342627
/proc/meminfo: memFree=127541840/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211760 CPUtime=1792.73 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29480 0 0 0 179263 10 0 0 20 0 1 0 62876565 221708288 52940 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52940 852 745 0 53193 0
Current children cumulated CPU time: 3585.94 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215508 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 342627
/proc/meminfo: memFree=127541840/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211760 CPUtime=1793.13 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29480 0 0 0 179303 10 0 0 20 0 1 0 62876565 221708288 52940 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52940 852 745 0 53193 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215508 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.09 5/264 342627
/proc/meminfo: memFree=127541840/131524600 swapFree=131071996/131071996
[pid=340489] ppid=340486 vsize=9932 memory=2764 CPUtime=1793.21 cores=1,3
/proc/340489/stat : 340489 (Hybrid-CASHWMax) S 340486 340489 340127 0 -1 4194304 275 114169 0 0 0 0 179261 60 20 0 1 0 62696764 10170368 691 134679101440 94802234843136 94802235922456 140725055824304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94802238020912 94802238068100 94802243928064 140725055828942 140725055829101 140725055829101 140725055836116 0
/proc/340489/statm: 2483 691 598 264 0 134 0
[pid=341488] ppid=340489 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/341488/stat : 341488 (timeout) S 340489 341488 340127 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62876565 8867840 246 134679101440 94379840217088 94379840252104 140727045201584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94379842349520 94379842351652 94379858931712 140727045207028 140727045207197 140727045207197 140727045214183 0
/proc/341488/statm: 2165 246 221 9 0 87 0
[pid=341489] ppid=341488 vsize=216512 memory=211760 CPUtime=1793.54 cores=1,3
/proc/341489/stat : 341489 (Exact) R 341488 341488 340127 0 -1 4194304 29480 0 0 0 179344 10 0 0 20 0 1 0 62876565 221708288 52940 134679101440 4194304 7243121 140731328284336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19410944 140731328291856 140731328292006 140731328292006 140731328298992 0
/proc/341489/statm: 54128 52940 852 745 0 53193 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 235104 KiB
Current children cumulated memory: 215508 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3586.8
CPU user time (s): 3586.08
CPU system time (s): 0.726593
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 454232
Max. memory (cumulated for all children) (KiB): 399264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.08
system time used= 0.726593
maximum resident set size= 402644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 2169


# summary of solver processes directly reported to runsolver:
#   pid: 340489
#   total CPU time (s): 3586.8
#   total CPU user time (s): 3586.08
#   total CPU system time (s): 0.726593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59223 second user time and 19.6982 second system time

The end