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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437574-1722972759/watcher-4437574-1722972759 -o /tmp/evaluation-result-4437574-1722972759/solver-4437574-1722972759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722970960-346528 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437574-1722972759.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=347707, runsolver pid=347699

[startup+0.100947 s]*
/proc/loadavg: 4.08 4.16 4.06 6/262 347718
/proc/meminfo: memFree=127621452/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=29592 memory=16216 CPUtime=0.09 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 3327 0 0 0 9 0 0 0 20 0 1 0 63664095 30302208 4054 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 7398 4054 1105 2753 0 4051 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 20064 KiB

[startup+0.205994 s]*
/proc/loadavg: 4.08 4.16 4.06 6/267 347727
/proc/meminfo: memFree=127589364/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=29592 memory=16660 CPUtime=0.2 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 3328 0 0 0 20 0 0 0 20 0 1 0 63664095 30302208 4165 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 7398 4165 1153 2753 0 4051 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 20508 KiB

[startup+0.305234 s]*
/proc/loadavg: 4.08 4.16 4.06 6/267 347727
/proc/meminfo: memFree=127578812/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33648 memory=20324 CPUtime=0.29 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 4568 0 0 0 29 0 0 0 20 0 1 0 63664095 34455552 5081 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8412 5081 1153 2753 0 5065 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52240 KiB
Current children cumulated memory: 24172 KiB

[startup+0.700223 s]
/proc/loadavg: 4.08 4.16 4.06 6/267 347727
/proc/meminfo: memFree=127535216/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=0.68 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 7317 0 0 0 67 1 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.16 4.06 6/267 347727
/proc/meminfo: memFree=127524716/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=1.48 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 8916 0 0 0 146 2 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+3.10567 s]
/proc/loadavg: 4.07 4.16 4.06 5/263 347739
/proc/meminfo: memFree=127306728/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=3.08 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 9983 0 0 0 303 5 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+6.3002 s]
/proc/loadavg: 4.07 4.16 4.06 6/267 347788
/proc/meminfo: memFree=127285992/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=6.27 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 9983 0 0 0 617 10 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.16 4.06 6/267 347789
/proc/meminfo: memFree=127285996/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=12.64 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 9983 0 0 0 1239 25 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.17 4.07 6/267 347792
/proc/meminfo: memFree=127285724/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=25.41 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 9983 0 0 0 2493 48 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+51.1052 s]
/proc/loadavg: 4.08 4.15 4.06 6/267 347795
/proc/meminfo: memFree=127137328/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 707 631 264 0 134 0
[pid=347712] ppid=347707 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/347712/stat : 347712 (timeout) S 347707 347712 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63664095 8867840 255 134679101440 94341006524416 94341006559432 140720390312352 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94341008656848 94341008658980 94341032697856 140720390321187 140720390321309 140720390321309 140720390328295 0
/proc/347712/statm: 2165 255 230 9 0 87 0
[pid=347713] ppid=347712 vsize=33896 memory=20932 CPUtime=50.94 cores=0,2
/proc/347713/stat : 347713 (LS-MabP) R 347712 347712 346518 0 -1 4194304 9983 0 0 0 5001 93 0 0 20 0 1 0 63664095 34709504 5233 134679101440 4194304 15467897 140729325788960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56360960 140729325790263 140729325790372 140729325790372 140729325797358 0
/proc/347713/statm: 8474 5233 1169 2753 0 5127 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 24780 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.14 4.06 6/266 347803
/proc/meminfo: memFree=127136500/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 240 103 0 0 0 0 0 0 20 0 1 0 63664094 10170368 707 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0

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

/proc/347713/statm: 8474 5310 1169 2753 0 5127 0
Current children cumulated CPU time: 1777.62 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 25088 KiB

[startup+1842.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/265 348698
/proc/meminfo: memFree=127151012/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=72384 memory=60880 CPUtime=44.11 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 8984 0 0 0 4408 3 0 0 20 0 1 0 63843896 74121216 15220 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18096 15220 804 745 0 17161 0
Current children cumulated CPU time: 1837.41 s
Current children cumulated vsize: 90976 KiB
Current children cumulated memory: 64744 KiB

[startup+1902.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/264 348708
/proc/meminfo: memFree=127069692/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=74116 memory=62624 CPUtime=103.88 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9448 0 0 0 10385 3 0 0 20 0 1 0 63843896 75894784 15656 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18529 15656 804 745 0 17594 0
Current children cumulated CPU time: 1897.18 s
Current children cumulated vsize: 92708 KiB
Current children cumulated memory: 66488 KiB

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

# cumulated CPU time of all completed processes:  user=1900.4 s, system=32.5963 s

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

[startup+1920 s]*
/proc/loadavg: 4.14 4.13 4.09 6/264 348713
/proc/meminfo: memFree=127007988/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=74620 memory=63304 CPUtime=121.51 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9629 0 0 0 12148 3 0 0 20 0 1 0 63843896 76410880 15826 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18655 15826 804 745 0 17720 0
Current children cumulated CPU time: 1914.81 s
Current children cumulated vsize: 93212 KiB
Current children cumulated memory: 67168 KiB

[startup+1926.4 s]
/proc/loadavg: 4.13 4.13 4.09 6/264 348716
/proc/meminfo: memFree=126997372/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=74932 memory=63508 CPUtime=127.88 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9678 0 0 0 12785 3 0 0 20 0 1 0 63843896 76730368 15877 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18733 15877 804 745 0 17798 0
Current children cumulated CPU time: 1921.18 s
Current children cumulated vsize: 93524 KiB
Current children cumulated memory: 67372 KiB

[startup+1932.8 s]
/proc/loadavg: 4.11 4.12 4.09 6/264 348716
/proc/meminfo: memFree=126982180/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=75484 memory=65292 CPUtime=134.25 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9825 0 0 0 13422 3 0 0 20 0 1 0 63843896 77295616 16323 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18871 16323 804 745 0 17936 0
Current children cumulated CPU time: 1927.55 s
Current children cumulated vsize: 94076 KiB
Current children cumulated memory: 69156 KiB

[startup+1936 s]*
/proc/loadavg: 4.11 4.12 4.09 6/264 348718
/proc/meminfo: memFree=126967236/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=75484 memory=65556 CPUtime=137.45 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9849 0 0 0 13742 3 0 0 20 0 1 0 63843896 77295616 16389 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18871 16389 804 745 0 17936 0
Current children cumulated CPU time: 1930.75 s
Current children cumulated vsize: 94076 KiB
Current children cumulated memory: 69420 KiB

[startup+1937.6 s]
/proc/loadavg: 4.10 4.12 4.09 6/264 348718
/proc/meminfo: memFree=126962008/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=75484 memory=66228 CPUtime=139.03 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9853 0 0 0 13900 3 0 0 20 0 1 0 63843896 77295616 16557 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18871 16557 804 745 0 17936 0
Current children cumulated CPU time: 1932.33 s
Current children cumulated vsize: 94076 KiB
Current children cumulated memory: 70092 KiB

[startup+1938 s]*
/proc/loadavg: 4.10 4.12 4.09 6/264 348718
/proc/meminfo: memFree=126957276/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=75484 memory=66228 CPUtime=139.44 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9853 0 0 0 13941 3 0 0 20 0 1 0 63843896 77295616 16557 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18871 16557 804 745 0 17936 0
Current children cumulated CPU time: 1932.74 s
Current children cumulated vsize: 94076 KiB
Current children cumulated memory: 70092 KiB

[startup+1938.2 s]
/proc/loadavg: 4.10 4.12 4.09 6/264 348718
/proc/meminfo: memFree=126957276/131524600 swapFree=131071996/131071996
[pid=347707] ppid=347699 vsize=9932 memory=2884 CPUtime=1793.3 cores=0,2
/proc/347707/stat : 347707 (Hybrid-LSMabP+E) S 347699 347707 346518 0 -1 4194304 271 11469 0 0 0 0 176075 3255 20 0 1 0 63664094 10170368 721 134679101440 93842432761856 93842433841176 140725481868512 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93842435939632 93842435986820 93842436030464 140725481874410 140725481874555 140725481874555 140725481881570 0
/proc/347707/statm: 2483 721 631 264 0 134 0
[pid=348682] ppid=347707 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/348682/stat : 348682 (timeout) S 347707 348682 346518 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63843896 8867840 245 134679101440 94897592950784 94897592985800 140732638809184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94897595083216 94897595085348 94897601634304 140732638815220 140732638815389 140732638815389 140732638822375 0
/proc/348682/statm: 2165 245 220 9 0 87 0
[pid=348683] ppid=348682 vsize=75484 memory=66228 CPUtime=139.63 cores=0,2
/proc/348683/stat : 348683 (Exact) R 348682 348682 346518 0 -1 4194304 9853 0 0 0 13960 3 0 0 20 0 1 0 63843896 77295616 16557 134679101440 4194304 7243121 140721966592544 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 35061760 140721966601232 140721966601382 140721966601382 140721966608368 0
/proc/348683/statm: 18871 16557 804 745 0 17936 0
Current children cumulated CPU time: 1932.93 s
Current children cumulated vsize: 94076 KiB
Current children cumulated memory: 70092 KiB

Child status: 0

Real time (s): 1938.27
CPU time (s): 1933
CPU user time (s): 1900.4
CPU system time (s): 32.5963
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 94076
Max. memory (cumulated for all children) (KiB): 70092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1900.4
system time used= 32.5963
maximum resident set size= 66228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 13301


# summary of solver processes directly reported to runsolver:
#   pid: 347707
#   total CPU time (s): 1933
#   total CPU user time (s): 1900.4
#   total CPU system time (s): 32.5963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90321 second user time and 7.33848 second system time

The end