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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458777-1722989111/watcher-4458777-1722989111 -o /tmp/evaluation-result-4458777-1722989111/solver-4458777-1722989111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722981917-352358 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458777-1722989111.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
Current StackSize limit: 8192 KiB

solver pid=357146, runsolver pid=357143

[startup+0.100915 s]*
/proc/loadavg: 4.04 4.09 4.08 4/254 357178
/proc/meminfo: memFree=127572996/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=39488 memory=20952 CPUtime=0.09 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 4606 0 0 0 9 0 0 0 20 0 1 0 65510108 40435712 5238 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 9872 5238 750 2417 0 6974 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58080 KiB
Current children cumulated memory: 24712 KiB

[startup+0.205501 s]*
/proc/loadavg: 4.04 4.09 4.08 6/260 357203
/proc/meminfo: memFree=127525524/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=57096 memory=38396 CPUtime=0.19 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 8966 0 0 0 18 1 0 0 20 0 1 0 65510108 58466304 9599 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 14274 9599 750 2417 0 11376 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75688 KiB
Current children cumulated memory: 42156 KiB

[startup+0.304922 s]*
/proc/loadavg: 4.04 4.09 4.08 4/260 357205
/proc/meminfo: memFree=127490684/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=74020 memory=55292 CPUtime=0.29 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 13191 0 0 0 28 1 0 0 20 0 1 0 65510108 75796480 13823 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 18505 13823 750 2417 0 15607 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92612 KiB
Current children cumulated memory: 59052 KiB

[startup+0.700241 s]
/proc/loadavg: 4.04 4.09 4.08 6/257 357227
/proc/meminfo: memFree=127417500/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=108556 memory=93780 CPUtime=0.68 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 23632 0 0 0 65 3 0 0 20 0 1 0 65510108 111161344 23445 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 27139 23445 782 2417 0 24241 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 97540 KiB

[startup+1.50022 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127249092/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=108556 memory=93780 CPUtime=1.48 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 23684 0 0 0 145 3 0 0 20 0 1 0 65510108 111161344 23445 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 27139 23445 782 2417 0 24241 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 97540 KiB

[startup+3.10543 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127094484/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=114156 memory=99436 CPUtime=3.07 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 25058 0 0 0 304 3 0 0 20 0 1 0 65510108 116895744 24859 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 28539 24859 798 2417 0 25641 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 132748 KiB
Current children cumulated memory: 103196 KiB

[startup+6.30019 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357240
/proc/meminfo: memFree=127085524/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=116876 memory=101356 CPUtime=6.26 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 25711 0 0 0 622 4 0 0 20 0 1 0 65510108 119681024 25339 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 29219 25339 798 2417 0 26321 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 135468 KiB
Current children cumulated memory: 105116 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357242
/proc/meminfo: memFree=127063492/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=128604 memory=106884 CPUtime=12.64 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 26988 0 0 0 1259 5 0 0 20 0 1 0 65510108 131690496 26721 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 32151 26721 798 2417 0 29253 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147196 KiB
Current children cumulated memory: 110644 KiB

[startup+25.5002 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357244
/proc/meminfo: memFree=127043508/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=128796 memory=112240 CPUtime=25.4 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 27322 0 0 0 2535 5 0 0 20 0 1 0 65510108 131887104 28060 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 32199 28060 798 2417 0 29301 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 147388 KiB
Current children cumulated memory: 116000 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 357494
/proc/meminfo: memFree=127432272/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 695 618 264 0 134 0
[pid=357150] ppid=357146 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/357150/stat : 357150 (timeout) S 357146 357150 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65510107 8867840 245 134679101440 94875799724032 94875799759048 140730507091440 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94875801856464 94875801858596 94875803541504 140730507097113 140730507097245 140730507097245 140730507104231 0
/proc/357150/statm: 2165 245 220 9 0 87 0
[pid=357151] ppid=357150 vsize=140288 memory=117388 CPUtime=50.91 cores=0,2
/proc/357151/stat : 357151 (CASHWMaxSAT-Dis) R 357150 357150 352348 0 -1 4194304 27551 0 0 0 5086 5 0 0 20 0 1 0 65510108 143654912 29347 134679101440 4194304 14093885 140726770350960 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33325056 140726770353183 140726770353302 140726770353302 140726770360288 0
/proc/357151/statm: 35072 29347 798 2417 0 32174 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 158880 KiB
Current children cumulated memory: 121148 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 357559
/proc/meminfo: memFree=127376588/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510107 10170368 695 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0

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

/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3391.19 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/269 359416
/proc/meminfo: memFree=119776236/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1658.64 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183783 0 0 0 165435 429 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3451.03 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/267 359426
/proc/meminfo: memFree=119775900/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1718.49 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183835 0 0 0 171392 457 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/266 359438
/proc/meminfo: memFree=119775564/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1778.33 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183887 0 0 0 177348 485 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

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

# cumulated CPU time of all completed processes:  user=3579.44 s, system=5.01323 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.18 4.12 5/266 359438
/proc/meminfo: memFree=119775576/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1780.03 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183887 0 0 0 177517 486 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.18 4.12 5/266 359439
/proc/meminfo: memFree=119775588/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1786.41 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183913 0 0 0 178152 489 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3578.8 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1789.6 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183913 0 0 0 178470 490 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3581.99 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1791.19 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183913 0 0 0 178628 491 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3583.58 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1791.6 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183913 0 0 0 178668 492 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3583.99 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357146] ppid=357143 vsize=9932 memory=2832 CPUtime=1792.39 cores=0,2
/proc/357146/stat : 357146 (Hybrid-LSMabSP+) S 357143 357146 352348 0 -1 4194304 269 31846 0 0 0 0 179232 7 20 0 1 0 65510107 10170368 708 134679101440 94734692601856 94734693681176 140729958499232 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94734695779632 94734695826820 94734716923904 140729958507470 140729958507629 140729958507629 140729958514644 0
/proc/357146/statm: 2483 708 618 264 0 134 0
[pid=358540] ppid=357146 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/358540/stat : 358540 (timeout) S 357146 358540 352348 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65689908 8867840 244 134679101440 94271717056512 94271717091528 140722237114672 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94271719188944 94271719191076 94271749820416 140722237121577 140722237121693 140722237121693 140722237128679 0
/proc/358540/statm: 2165 244 220 9 0 87 0
[pid=358541] ppid=358540 vsize=903356 memory=803188 CPUtime=1792 cores=0,2
/proc/358541/stat : 358541 (LS-MabSP) R 358540 358540 352348 0 -1 4194304 183913 0 0 0 178708 492 0 0 20 0 1 0 65689908 925036544 200797 134679101440 4194304 15467897 140723358999328 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27746304 140723359007804 140723359007907 140723359007907 140723359014893 0
/proc/358541/statm: 225839 200797 2849 2753 0 222492 0
Current children cumulated CPU time: 3584.39 s
Current children cumulated vsize: 921948 KiB
Current children cumulated memory: 806996 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3584.46
CPU user time (s): 3579.44
CPU system time (s): 5.01323
CPU usage (%): 99.6778
Max. virtual memory (cumulated for all children) (KiB): 1122200
Max. memory (cumulated for all children) (KiB): 985832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.44
system time used= 5.01323
maximum resident set size= 982024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103
involuntary context switches= 25100


# summary of solver processes directly reported to runsolver:
#   pid: 357146
#   total CPU time (s): 3584.46
#   total CPU user time (s): 3579.44
#   total CPU system time (s): 5.01323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87049 second user time and 18.3303 second system time

The end