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

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


[startup+0.100092 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 347067
/proc/meminfo: memFree=126033368/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=30532 memory=15356 CPUtime=0.09 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 2973 0 0 0 9 0 0 0 20 0 1 0 63139981 31264768 3839 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 7633 3839 922 2726 0 4381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49124 KiB
Current children cumulated memory: 18880 KiB

[startup+0.206077 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 347067
/proc/meminfo: memFree=126000792/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=61552 memory=46176 CPUtime=0.19 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 9650 0 0 0 18 1 0 0 20 0 1 0 63139981 63029248 11544 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 15388 11544 954 2726 0 12136 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80144 KiB
Current children cumulated memory: 49700 KiB

[startup+0.30612 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 347067
/proc/meminfo: memFree=125999448/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=63840 memory=48876 CPUtime=0.3 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 11479 0 0 0 28 2 0 0 20 0 1 0 63139981 65372160 12219 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 15960 12219 1034 2726 0 12708 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82432 KiB
Current children cumulated memory: 52400 KiB

[startup+0.700293 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 347067
/proc/meminfo: memFree=125957960/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=192392 memory=181536 CPUtime=0.69 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 43165 0 0 0 62 7 0 0 20 0 1 0 63139981 197009408 45384 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 48098 45384 2618 2726 0 44846 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 210984 KiB
Current children cumulated memory: 185060 KiB

[startup+1.5003 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 347067
/proc/meminfo: memFree=125836224/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=291428 memory=277936 CPUtime=1.48 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 66716 0 0 0 138 10 0 0 20 0 1 0 63139981 298422272 69484 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 72857 69484 2714 2726 0 69605 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 310020 KiB
Current children cumulated memory: 281460 KiB

[startup+3.1059 s]
/proc/loadavg: 4.08 4.08 4.09 6/265 347067
/proc/meminfo: memFree=125774972/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=291716 memory=278252 CPUtime=3.08 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 66801 0 0 0 298 10 0 0 20 0 1 0 63139981 298717184 69563 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 72929 69563 2730 2726 0 69677 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 310308 KiB
Current children cumulated memory: 281776 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.08 4.09 6/268 347128
/proc/meminfo: memFree=125773468/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=292832 memory=279036 CPUtime=6.26 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 66977 0 0 0 616 10 0 0 20 0 1 0 63139981 299859968 69759 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 73208 69759 2730 2726 0 69956 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 311424 KiB
Current children cumulated memory: 282560 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.09 6/267 347128
/proc/meminfo: memFree=125768560/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=293816 memory=280132 CPUtime=12.66 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 67235 0 0 0 1255 11 0 0 20 0 1 0 63139981 300867584 70033 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 73454 70033 2746 2726 0 70202 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 312408 KiB
Current children cumulated memory: 283656 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.09 6/267 347131
/proc/meminfo: memFree=125765948/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=293816 memory=280132 CPUtime=25.42 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 67240 0 0 0 2531 11 0 0 20 0 1 0 63139981 300867584 70033 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 73454 70033 2746 2726 0 70202 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 312408 KiB
Current children cumulated memory: 283656 KiB

[startup+51.1061 s]
/proc/loadavg: 4.09 4.09 4.09 6/267 347136
/proc/meminfo: memFree=125759744/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=293816 memory=280132 CPUtime=50.95 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 67246 0 0 0 5084 11 0 0 20 0 1 0 63139981 300867584 70033 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 73454 70033 2746 2726 0 70202 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 312408 KiB
Current children cumulated memory: 283656 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/268 347197
/proc/meminfo: memFree=125898416/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0

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

/proc/347067/statm: 89868 82756 2762 2726 0 86616 0
Current children cumulated CPU time: 760.22 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 334548 KiB

[startup+822.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 347435
/proc/meminfo: memFree=125166732/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=359472 memory=331024 CPUtime=820.06 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 77272 0 0 0 81993 13 0 0 20 0 1 0 63139981 368099328 82756 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 89868 82756 2762 2726 0 86616 0
Current children cumulated CPU time: 820.06 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 334548 KiB

[startup+882.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 347446
/proc/meminfo: memFree=125154088/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=359472 memory=331024 CPUtime=879.91 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 77324 0 0 0 87978 13 0 0 20 0 1 0 63139981 368099328 82756 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 89868 82756 2762 2726 0 86616 0
Current children cumulated CPU time: 879.91 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 334548 KiB

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

# cumulated CPU time of all completed processes:  user=899.924 s, system=0.14417 s

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

[startup+883.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 347446
/proc/meminfo: memFree=125154088/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=359472 memory=331024 CPUtime=880.81 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 77324 0 0 0 88068 13 0 0 20 0 1 0 63139981 368099328 82756 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 89868 82756 2762 2726 0 86616 0
Current children cumulated CPU time: 880.81 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 334548 KiB

[startup+896 s]*
/proc/loadavg: 4.22 4.13 4.10 5/265 347450
/proc/meminfo: memFree=125153756/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=359472 memory=331024 CPUtime=893.58 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 77324 0 0 0 89345 13 0 0 20 0 1 0 63139981 368099328 82756 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 89868 82756 2762 2726 0 86616 0
Current children cumulated CPU time: 893.58 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 334548 KiB

[startup+899.2 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 347450
/proc/meminfo: memFree=125153784/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=359472 memory=331024 CPUtime=896.77 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 77325 0 0 0 89664 13 0 0 20 0 1 0 63139981 368099328 82756 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 89868 82756 2762 2726 0 86616 0
Current children cumulated CPU time: 896.77 s
Current children cumulated vsize: 378064 KiB
Current children cumulated memory: 334548 KiB

[startup+900.8 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 347450
/proc/meminfo: memFree=125239652/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=204732 memory=197288 CPUtime=898.37 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 79654 0 0 0 89823 14 0 0 20 0 1 0 63139981 209645568 49322 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 51183 49322 2826 2726 0 47931 0
Current children cumulated CPU time: 898.37 s
Current children cumulated vsize: 223324 KiB
Current children cumulated memory: 200812 KiB

[startup+901.6 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 347450
/proc/meminfo: memFree=125286792/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=204732 memory=197288 CPUtime=899.16 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 79654 0 0 0 89902 14 0 0 20 0 1 0 63139981 209645568 49322 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 51183 49322 2826 2726 0 47931 0
Current children cumulated CPU time: 899.16 s
Current children cumulated vsize: 223324 KiB
Current children cumulated memory: 200812 KiB

[startup+902 s]*
/proc/loadavg: 4.27 4.14 4.10 5/265 347450
/proc/meminfo: memFree=125286800/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=204732 memory=197288 CPUtime=899.57 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 79654 0 0 0 89943 14 0 0 20 0 1 0 63139981 209645568 49322 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 51183 49322 2826 2726 0 47931 0
Current children cumulated CPU time: 899.57 s
Current children cumulated vsize: 223324 KiB
Current children cumulated memory: 200812 KiB

[startup+902.4 s]
/proc/loadavg: 4.27 4.14 4.10 5/265 347450
/proc/meminfo: memFree=125286800/131524600 swapFree=131071216/131071996
[pid=347063] ppid=347060 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/347063/stat : 347063 (Hybrid-CASHWMax) S 347060 347063 342211 0 -1 4194304 240 106 0 0 0 0 0 0 20 0 1 0 63139981 10170368 653 134679101440 94243525615616 94243526694936 140727346994624 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243528793392 94243528840580 94243531563008 140727347000270 140727347000429 140727347000429 140727347007444 0
/proc/347063/statm: 2483 653 573 264 0 134 0
[pid=347066] ppid=347063 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/347066/stat : 347066 (timeout) S 347063 347066 342211 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63139981 8867840 228 134679101440 94735506694144 94735506729160 140721822469392 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94735508826576 94735508828708 94735523467264 140721822471166 140721822471325 140721822471325 140721822478311 0
/proc/347066/statm: 2165 228 204 9 0 87 0
[pid=347067] ppid=347066 vsize=204732 memory=197288 CPUtime=899.96 cores=1,3
/proc/347067/stat : 347067 (CASHWMaxSAT-Dis) R 347066 347066 342211 0 -1 4194304 79654 0 0 0 89982 14 0 0 20 0 1 0 63139981 209645568 49322 134679101440 4194304 15356333 140720894967984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 26034176 140720894972931 140720894973077 140720894973077 140720894980063 0
/proc/347067/statm: 51183 49322 2826 2726 0 47931 0
Current children cumulated CPU time: 899.96 s
Current children cumulated vsize: 223324 KiB
Current children cumulated memory: 200812 KiB

Child status: 0

Real time (s): 902.496
CPU time (s): 900.068
CPU user time (s): 899.924
CPU system time (s): 0.14417
CPU usage (%): 99.731
Max. virtual memory (cumulated for all children) (KiB): 387020
Max. memory (cumulated for all children) (KiB): 343472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 899.924
system time used= 0.14417
maximum resident set size= 339980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 344


# summary of solver processes directly reported to runsolver:
#   pid: 347063
#   total CPU time (s): 900.068
#   total CPU user time (s): 899.924
#   total CPU system time (s): 0.14417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.51952 second user time and 4.26985 second system time

The end