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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459249-1722990659/watcher-4459249-1722990659 -o /tmp/evaluation-result-4459249-1722990659/solver-4459249-1722990659 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722982399-352756 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4459249-1722990659.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=358074, runsolver pid=358071

[startup+0.100708 s]*
/proc/loadavg: 4.21 4.23 4.17 5/266 358078
/proc/meminfo: memFree=125493736/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=49016 memory=39908 CPUtime=0.09 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 7931 0 0 0 8 1 0 0 20 0 1 0 65665161 50192384 9977 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 12254 9977 2350 2417 0 9356 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67608 KiB
Current children cumulated memory: 43652 KiB

[startup+0.206058 s]*
/proc/loadavg: 4.21 4.23 4.17 5/266 358080
/proc/meminfo: memFree=125483216/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=57456 memory=48068 CPUtime=0.19 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 9877 0 0 0 18 1 0 0 20 0 1 0 65665161 58834944 12017 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 14364 12017 2414 2417 0 11466 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76048 KiB
Current children cumulated memory: 51812 KiB

[startup+0.305944 s]*
/proc/loadavg: 4.21 4.23 4.17 5/266 358080
/proc/meminfo: memFree=125482124/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=58804 memory=48860 CPUtime=0.3 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 10098 0 0 0 28 2 0 0 20 0 1 0 65665161 60215296 12215 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 14701 12215 2414 2417 0 11803 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77396 KiB
Current children cumulated memory: 52604 KiB

[startup+0.700311 s]
/proc/loadavg: 4.21 4.23 4.17 5/266 358080
/proc/meminfo: memFree=125448692/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=98640 memory=86972 CPUtime=0.68 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 19543 0 0 0 65 3 0 0 20 0 1 0 65665161 101007360 21743 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 24660 21743 2526 2417 0 21762 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117232 KiB
Current children cumulated memory: 90716 KiB

[startup+1.50031 s]
/proc/loadavg: 4.21 4.23 4.17 5/266 358080
/proc/meminfo: memFree=125444316/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=98776 memory=87236 CPUtime=1.48 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 19593 0 0 0 145 3 0 0 20 0 1 0 65665161 101146624 21809 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 24694 21809 2526 2417 0 21796 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117368 KiB
Current children cumulated memory: 90980 KiB

[startup+3.10589 s]
/proc/loadavg: 4.21 4.23 4.17 5/266 358082
/proc/meminfo: memFree=125753920/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=98920 memory=87496 CPUtime=3.08 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 19696 0 0 0 305 3 0 0 20 0 1 0 65665161 101294080 21874 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 24730 21874 2526 2417 0 21832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117512 KiB
Current children cumulated memory: 91240 KiB

[startup+6.30029 s]
/proc/loadavg: 4.19 4.22 4.17 5/266 358082
/proc/meminfo: memFree=125748488/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=98920 memory=87728 CPUtime=6.27 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 19735 0 0 0 624 3 0 0 20 0 1 0 65665161 101294080 21932 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 24730 21932 2526 2417 0 21832 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117512 KiB
Current children cumulated memory: 91472 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.22 4.17 5/266 358085
/proc/meminfo: memFree=125740384/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=98920 memory=88044 CPUtime=12.65 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 19770 0 0 0 1262 3 0 0 20 0 1 0 65665161 101294080 22011 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 24730 22011 2542 2417 0 21832 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 117512 KiB
Current children cumulated memory: 91788 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.21 4.17 5/266 358087
/proc/meminfo: memFree=125715192/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=120592 memory=104412 CPUtime=25.42 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 23872 0 0 0 2538 4 0 0 20 0 1 0 65665161 123486208 26103 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 30148 26103 2542 2417 0 27250 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 139184 KiB
Current children cumulated memory: 108156 KiB

[startup+51.1059 s]
/proc/loadavg: 4.17 4.21 4.17 5/266 358091
/proc/meminfo: memFree=125695408/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 676 599 264 0 134 0
[pid=358077] ppid=358074 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/358077/stat : 358077 (timeout) S 358074 358077 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65665161 8867840 260 134679101440 94556466388992 94556466424008 140723484444112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94556468521424 94556468523556 94556484112384 140723484447756 140723484447901 140723484447901 140723484454887 0
/proc/358077/statm: 2165 260 236 9 0 87 0
[pid=358078] ppid=358077 vsize=125016 memory=109948 CPUtime=50.96 cores=5,7
/proc/358078/stat : 358078 (CASHWMaxSAT-Dis) R 358077 358077 352743 0 -1 4194304 25309 0 0 0 5092 4 0 0 20 0 1 0 65665161 128016384 27487 134679101440 4194304 14093885 140732833777040 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41934848 140732833780754 140732833780886 140732833780886 140732833787872 0
/proc/358078/statm: 31254 27487 2542 2417 0 28356 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 143608 KiB
Current children cumulated memory: 113692 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/266 358100
/proc/meminfo: memFree=125670400/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 65665160 10170368 676 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0

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

/proc/359119/statm: 41242 32629 748 737 0 40330 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 183560 KiB
Current children cumulated memory: 134296 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.12 3.29 4/258 360049
/proc/meminfo: memFree=127148332/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=167096 memory=132460 CPUtime=1659.92 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 19583 0 0 0 165984 8 0 0 20 0 1 0 65844961 171106304 33115 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 41774 33115 748 737 0 40862 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 185688 KiB
Current children cumulated memory: 136240 KiB

[startup+3522.3 s]
/proc/loadavg: 3.05 3.10 3.27 4/258 360059
/proc/meminfo: memFree=127144840/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168152 memory=133428 CPUtime=1719.79 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 19875 0 0 0 171971 8 0 0 20 0 1 0 65844961 172187648 33357 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42038 33357 748 737 0 41126 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 186744 KiB
Current children cumulated memory: 137208 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.11 3.26 4/257 360125
/proc/meminfo: memFree=127133196/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1779.65 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20020 0 0 0 177957 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

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

# cumulated CPU time of all completed processes:  user=3586.13 s, system=0.298326 s

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

[startup+3584 s]*
/proc/loadavg: 3.14 3.11 3.26 4/257 360125
/proc/meminfo: memFree=127124676/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1781.35 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20026 0 0 0 178127 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

[startup+3590.4 s]
/proc/loadavg: 3.12 3.10 3.26 4/257 360125
/proc/meminfo: memFree=127124664/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1787.73 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20026 0 0 0 178765 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3580.78 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

[startup+3593.6 s]
/proc/loadavg: 3.11 3.10 3.26 4/257 360127
/proc/meminfo: memFree=127124716/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1790.92 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20026 0 0 0 179084 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3583.97 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

[startup+3595.2 s]
/proc/loadavg: 3.11 3.10 3.26 4/257 360127
/proc/meminfo: memFree=127122024/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1792.52 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20026 0 0 0 179244 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

[startup+3595.6 s]
/proc/loadavg: 3.11 3.10 3.26 4/257 360127
/proc/meminfo: memFree=127122024/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1792.92 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20026 0 0 0 179284 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

[startup+3596 s]*
/proc/loadavg: 3.10 3.10 3.26 4/257 360127
/proc/meminfo: memFree=127121780/131524600 swapFree=131071996/131071996
[pid=358074] ppid=358071 vsize=9932 memory=2768 CPUtime=1793.05 cores=5,7
/proc/358074/stat : 358074 (Hybrid-CASHWMax) S 358071 358074 352743 0 -1 4194304 274 98048 0 0 0 0 179285 20 20 0 1 0 65665160 10170368 692 134679101440 93920581861376 93920582940696 140736950765680 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93920585039152 93920585086340 93920606253056 140736950772688 140736950772846 140736950772846 140736950779861 0
/proc/358074/statm: 2483 692 599 264 0 134 0
[pid=359118] ppid=358074 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/359118/stat : 359118 (timeout) S 358074 359118 352743 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65844961 8867840 253 134679101440 93848781942784 93848781977800 140724235577520 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93848784075216 93848784077348 93848809738240 140724235580404 140724235580573 140724235580573 140724235587559 0
/proc/359118/statm: 2165 253 229 9 0 87 0
[pid=359119] ppid=359118 vsize=168536 memory=133824 CPUtime=1793.32 cores=5,7
/proc/359119/stat : 359119 (Exact) R 359118 359118 352743 0 -1 4194304 20026 0 0 0 179324 8 0 0 20 0 1 0 65844961 172580864 33456 134679101440 4194304 7210733 140726158447296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18505728 140726158451728 140726158451878 140726158451878 140726158458864 0
/proc/359119/statm: 42134 33456 748 737 0 41222 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 187128 KiB
Current children cumulated memory: 137604 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.43
CPU user time (s): 3586.13
CPU system time (s): 0.298326
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 431868
Max. memory (cumulated for all children) (KiB): 403880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.13
system time used= 0.298326
maximum resident set size= 400152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 2190


# summary of solver processes directly reported to runsolver:
#   pid: 358074
#   total CPU time (s): 3586.43
#   total CPU user time (s): 3586.13
#   total CPU system time (s): 0.298326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26795 second user time and 17.1123 second system time

The end