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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=348015, runsolver pid=348012
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 4.14 4.14 4.14 5/267 348045
/proc/meminfo: memFree=123721672/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=23260 memory=9040 CPUtime=0.09 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 1477 0 0 0 9 0 0 0 20 0 1 0 62862172 23818240 2260 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 5815 2260 1066 2726 0 2563 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 12760 KiB

[startup+0.206116 s]*
/proc/loadavg: 4.14 4.14 4.14 5/267 348045
/proc/meminfo: memFree=123621516/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=85200 memory=75184 CPUtime=0.2 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 17124 0 0 0 18 2 0 0 20 0 1 0 62862172 87244800 18796 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 21300 18796 2538 2726 0 18048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103792 KiB
Current children cumulated memory: 78904 KiB

[startup+0.30653 s]*
/proc/loadavg: 4.14 4.14 4.14 5/267 348045
/proc/meminfo: memFree=123476876/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=116364 memory=103528 CPUtime=0.29 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 24155 0 0 0 27 2 0 0 20 0 1 0 62862172 119156736 25882 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 29091 25882 2634 2726 0 25839 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134956 KiB
Current children cumulated memory: 107248 KiB

[startup+0.700303 s]
/proc/loadavg: 4.14 4.14 4.14 5/267 348045
/proc/meminfo: memFree=123384672/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=142728 memory=130984 CPUtime=0.68 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 30981 0 0 0 65 3 0 0 20 0 1 0 62862172 146153472 32746 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 35682 32746 2634 2726 0 32430 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161320 KiB
Current children cumulated memory: 134704 KiB

[startup+1.5003 s]
/proc/loadavg: 4.14 4.14 4.14 5/267 348047
/proc/meminfo: memFree=123367564/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=150000 memory=137908 CPUtime=1.48 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 32726 0 0 0 144 4 0 0 20 0 1 0 62862172 153600000 34477 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 37500 34477 2666 2726 0 34248 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168592 KiB
Current children cumulated memory: 141628 KiB

[startup+3.10608 s]
/proc/loadavg: 4.14 4.14 4.14 5/267 348047
/proc/meminfo: memFree=123216880/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=193752 memory=175668 CPUtime=3.07 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 38116 0 0 0 302 5 0 0 20 0 1 0 62862172 198402048 43917 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 48438 43917 2666 2726 0 45186 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 212344 KiB
Current children cumulated memory: 179388 KiB

[startup+6.30026 s]
/proc/loadavg: 4.13 4.14 4.13 5/267 348047
/proc/meminfo: memFree=123044744/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=271196 memory=250344 CPUtime=6.26 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 57356 0 0 0 618 8 0 0 20 0 1 0 62862172 277704704 62586 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 67799 62586 2778 2726 0 64547 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 289788 KiB
Current children cumulated memory: 254064 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.13 5/267 348048
/proc/meminfo: memFree=123038164/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=272040 memory=251400 CPUtime=12.63 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 57659 0 0 0 1255 8 0 0 20 0 1 0 62862172 278568960 62850 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 68010 62850 2778 2726 0 64758 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 290632 KiB
Current children cumulated memory: 255120 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.13 5/267 348050
/proc/meminfo: memFree=122890320/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=336792 memory=301104 CPUtime=25.38 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 69563 0 0 0 2527 11 0 0 20 0 1 0 62862172 344875008 75276 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 84198 75276 2778 2726 0 80946 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 355384 KiB
Current children cumulated memory: 304824 KiB

[startup+51.1062 s]
/proc/loadavg: 4.13 4.13 4.13 5/267 348056
/proc/meminfo: memFree=122651224/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 672 593 264 0 134 0
[pid=348018] ppid=348015 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/348018/stat : 348018 (timeout) S 348015 348018 345726 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62862172 8867840 258 134679101440 94483328729088 94483328764104 140722288864720 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94483330861520 94483330863652 94483334119424 140722288870398 140722288870557 140722288870557 140722288877543 0
/proc/348018/statm: 2165 258 233 9 0 87 0
[pid=348019] ppid=348018 vsize=439948 memory=380608 CPUtime=50.88 cores=0,2
/proc/348019/stat : 348019 (CASHWMaxSAT-Dis) R 348018 348018 345726 0 -1 4194304 88418 0 0 0 5073 15 0 0 20 0 1 0 62862172 450506752 95152 134679101440 4194304 15356333 140734586850928 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31248384 140734586852355 140734586852501 140734586852501 140734586859487 0
/proc/348019/statm: 109987 95152 2778 2726 0 106735 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 458540 KiB
Current children cumulated memory: 384328 KiB

[startup+102.3 s]
/proc/loadavg: 4.51 4.22 4.16 5/267 348066
/proc/meminfo: memFree=122520860/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 243 106 0 0 0 0 0 0 20 0 1 0 62862172 10170368 672 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0

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

/proc/349275/statm: 24088 22134 820 745 0 23153 0
Current children cumulated CPU time: 3389.84 s
Current children cumulated vsize: 114944 KiB
Current children cumulated memory: 92316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 350209
/proc/meminfo: memFree=125303052/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=96352 memory=88620 CPUtime=1658.16 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15362 0 0 0 165805 11 0 0 20 0 1 0 63041973 98664448 22155 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24088 22155 820 745 0 23153 0
Current children cumulated CPU time: 3449.66 s
Current children cumulated vsize: 114944 KiB
Current children cumulated memory: 92400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 350219
/proc/meminfo: memFree=125300964/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97056 memory=89112 CPUtime=1717.96 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15564 0 0 0 171785 11 0 0 20 0 1 0 63041973 99385344 22278 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24264 22278 820 745 0 23329 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 115648 KiB
Current children cumulated memory: 92892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 350229
/proc/meminfo: memFree=125298808/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97056 memory=89376 CPUtime=1777.77 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15620 0 0 0 177766 11 0 0 20 0 1 0 63041973 99385344 22344 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24264 22344 820 745 0 23329 0
Current children cumulated CPU time: 3569.27 s
Current children cumulated vsize: 115648 KiB
Current children cumulated memory: 93156 KiB

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

# cumulated CPU time of all completed processes:  user=3582.56 s, system=0.410736 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 350229
/proc/meminfo: memFree=125298836/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97056 memory=89376 CPUtime=1779.47 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15620 0 0 0 177936 11 0 0 20 0 1 0 63041973 99385344 22344 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24264 22344 820 745 0 23329 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 115648 KiB
Current children cumulated memory: 93156 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 350229
/proc/meminfo: memFree=125298836/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97056 memory=89376 CPUtime=1785.84 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15620 0 0 0 178573 11 0 0 20 0 1 0 63041973 99385344 22344 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24264 22344 820 745 0 23329 0
Current children cumulated CPU time: 3577.34 s
Current children cumulated vsize: 115648 KiB
Current children cumulated memory: 93156 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 350231
/proc/meminfo: memFree=125297772/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97572 memory=89744 CPUtime=1789.03 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15731 0 0 0 178892 11 0 0 20 0 1 0 63041973 99913728 22436 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24393 22436 820 745 0 23458 0
Current children cumulated CPU time: 3580.53 s
Current children cumulated vsize: 116164 KiB
Current children cumulated memory: 93524 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 350231
/proc/meminfo: memFree=125297744/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97572 memory=89744 CPUtime=1790.62 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15731 0 0 0 179051 11 0 0 20 0 1 0 63041973 99913728 22436 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24393 22436 820 745 0 23458 0
Current children cumulated CPU time: 3582.12 s
Current children cumulated vsize: 116164 KiB
Current children cumulated memory: 93524 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 350231
/proc/meminfo: memFree=125297744/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97572 memory=89744 CPUtime=1791.02 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15731 0 0 0 179091 11 0 0 20 0 1 0 63041973 99913728 22436 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24393 22436 820 745 0 23458 0
Current children cumulated CPU time: 3582.52 s
Current children cumulated vsize: 116164 KiB
Current children cumulated memory: 93524 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 350231
/proc/meminfo: memFree=125297744/131524600 swapFree=131071996/131071996
[pid=348015] ppid=348012 vsize=9932 memory=2744 CPUtime=1791.5 cores=0,2
/proc/348015/stat : 348015 (Hybrid-CASHWMax) S 348012 348015 345726 0 -1 4194304 273 125295 0 0 0 0 179122 28 20 0 1 0 62862172 10170368 686 134679101440 94883076100096 94883077179416 140734505962960 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94883079277872 94883079325060 94883095695360 140734505968590 140734505968749 140734505968749 140734505975764 0
/proc/348015/statm: 2483 686 593 264 0 134 0
[pid=349274] ppid=348015 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/349274/stat : 349274 (timeout) S 348015 349274 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041973 8867840 259 134679101440 93982724919296 93982724954312 140728365682576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93982727051728 93982727053860 93982732300288 140728365687796 140728365687965 140728365687965 140728365694951 0
/proc/349274/statm: 2165 259 234 9 0 87 0
[pid=349275] ppid=349274 vsize=97572 memory=89744 CPUtime=1791.43 cores=0,2
/proc/349275/stat : 349275 (Exact) R 349274 349274 345726 0 -1 4194304 15731 0 0 0 179132 11 0 0 20 0 1 0 63041973 99913728 22436 134679101440 4194304 7243121 140725664942032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12111872 140725664949264 140725664949414 140725664949414 140725664956400 0
/proc/349275/statm: 24393 22436 820 745 0 23458 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 116164 KiB
Current children cumulated memory: 93524 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3582.98
CPU user time (s): 3582.56
CPU system time (s): 0.410736
CPU usage (%): 99.6371
Max. virtual memory (cumulated for all children) (KiB): 627632
Max. memory (cumulated for all children) (KiB): 574752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.56
system time used= 0.410736
maximum resident set size= 571032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 24561


# summary of solver processes directly reported to runsolver:
#   pid: 348015
#   total CPU time (s): 3582.98
#   total CPU user time (s): 3582.56
#   total CPU system time (s): 0.410736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21682 second user time and 18.6012 second system time

The end