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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437070-1722953605/watcher-4437070-1722953605 -o /tmp/evaluation-result-4437070-1722953605/solver-4437070-1722953605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722948202-325129 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437070-1722953605.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=328311, runsolver pid=328308

[startup+0.100102 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129376772/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=21512 memory=9288 CPUtime=0.1 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 960 0 0 0 10 0 0 0 20 0 1 0 61731073 22028288 2322 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 5378 2322 1105 2753 0 2031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 12924 KiB

[startup+0.214152 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129347752/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=42132 memory=34536 CPUtime=0.21 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 5887 0 0 0 21 0 0 0 20 0 1 0 61731073 43143168 8634 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 10533 8634 2737 2753 0 7186 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60724 KiB
Current children cumulated memory: 38172 KiB

[startup+0.313853 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129308860/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=47020 memory=39512 CPUtime=0.31 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 7182 0 0 0 31 0 0 0 20 0 1 0 61731073 48148480 9878 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 11755 9878 2817 2753 0 8408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65612 KiB
Current children cumulated memory: 43148 KiB

[startup+0.700511 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129280476/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=50128 memory=42436 CPUtime=0.68 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 7901 0 0 0 68 0 0 0 20 0 1 0 61731073 51331072 10609 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 12532 10609 2833 2753 0 9185 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68720 KiB
Current children cumulated memory: 46072 KiB

[startup+1.50049 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 328330
/proc/meminfo: memFree=129223020/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=53068 memory=44548 CPUtime=1.48 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 8417 0 0 0 148 0 0 0 20 0 1 0 61731073 54341632 11137 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 13267 11137 2833 2753 0 9920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71660 KiB
Current children cumulated memory: 48184 KiB

[startup+3.11358 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129093616/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=63984 memory=55104 CPUtime=3.09 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 11060 0 0 0 308 1 0 0 20 0 1 0 61731073 65519616 13776 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 15996 13776 2833 2753 0 12649 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 82576 KiB
Current children cumulated memory: 58740 KiB

[startup+6.30046 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=128977816/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=101364 memory=91512 CPUtime=6.26 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 20375 0 0 0 624 2 0 0 20 0 1 0 61731073 103796736 22878 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 25341 22878 2833 2753 0 21994 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 119956 KiB
Current children cumulated memory: 95148 KiB

[startup+12.7005 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328391
/proc/meminfo: memFree=128786676/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=168244 memory=155976 CPUtime=12.65 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 37215 0 0 0 1260 5 0 0 20 0 1 0 61731073 172281856 38994 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 42061 38994 2833 2753 0 38714 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 186836 KiB
Current children cumulated memory: 159612 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.12 4.12 5/249 328392
/proc/meminfo: memFree=128573464/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=168244 memory=156232 CPUtime=25.42 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 37273 0 0 0 2537 5 0 0 20 0 1 0 61731073 172281856 39058 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 42061 39058 2833 2753 0 38714 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 186836 KiB
Current children cumulated memory: 159868 KiB

[startup+51.1134 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328397
/proc/meminfo: memFree=128432364/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 666 588 264 0 134 0
[pid=328314] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/328314/stat : 328314 (timeout) S 328311 328314 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731073 8867840 243 134679101440 94145069350912 94145069385928 140736559641632 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94145071483344 94145071485476 94145075953664 140736559649837 140736559649953 140736559649953 140736559656935 0
/proc/328314/statm: 2165 243 219 9 0 87 0
[pid=328315] ppid=328314 vsize=212764 memory=196420 CPUtime=50.96 cores=5,7
/proc/328315/stat : 328315 (LS-MabSP) R 328314 328314 325114 0 -1 4194304 49691 0 0 0 5089 7 0 0 20 0 1 0 61731073 217870336 49105 134679101440 4194304 15467897 140724942105120 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42549248 140724942107712 140724942107815 140724942107815 140724942114797 0
/proc/328315/statm: 53191 49105 2833 2753 0 49844 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 231356 KiB
Current children cumulated memory: 200056 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/249 328406
/proc/meminfo: memFree=128324836/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 238 106 0 0 0 0 0 0 20 0 1 0 61731072 10170368 666 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0

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

/proc/329328/statm: 69493 55336 748 737 0 68581 0
Current children cumulated CPU time: 3394.62 s
Current children cumulated vsize: 296564 KiB
Current children cumulated memory: 225028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/248 330274
/proc/meminfo: memFree=128156472/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=279892 memory=223088 CPUtime=1660.26 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28340 0 0 0 166014 12 0 0 20 0 1 0 61910875 286609408 55772 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 69973 55772 748 737 0 69061 0
Current children cumulated CPU time: 3454.48 s
Current children cumulated vsize: 298484 KiB
Current children cumulated memory: 226772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/248 330284
/proc/meminfo: memFree=128153840/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280468 memory=223588 CPUtime=1720.12 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28517 0 0 0 172000 12 0 0 20 0 1 0 61910875 287199232 55897 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70117 55897 748 737 0 69205 0
Current children cumulated CPU time: 3514.34 s
Current children cumulated vsize: 299060 KiB
Current children cumulated memory: 227272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.12 4.16 5/248 330296
/proc/meminfo: memFree=128152380/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1779.97 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28694 0 0 0 177985 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

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

# cumulated CPU time of all completed processes:  user=3539.18 s, system=48.7663 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.11 4.16 5/248 330296
/proc/meminfo: memFree=128152380/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1781.68 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28694 0 0 0 178156 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3575.9 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128152132/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1788.05 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28694 0 0 0 178793 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3582.27 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128152112/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1791.25 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28695 0 0 0 179113 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128151216/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1792.84 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28697 0 0 0 179272 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128151216/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1793.24 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28698 0 0 0 179312 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128150376/131655788 swapFree=131071216/131071996
[pid=328311] ppid=328308 vsize=9932 memory=2712 CPUtime=1794.22 cores=5,7
/proc/328311/stat : 328311 (Hybrid-LSMabSP+) S 328308 328311 325114 0 -1 4194304 269 132123 0 0 0 0 174561 4861 20 0 1 0 61731072 10170368 678 134679101440 94276280647680 94276281727000 140734529287264 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94276283825456 94276283872644 94276310032384 140734529295340 140734529295486 140734529295486 140734529302497 0
/proc/328311/statm: 2483 678 588 264 0 134 0
[pid=329327] ppid=328311 vsize=8660 memory=972 CPUtime=0 cores=5,7
/proc/329327/stat : 329327 (timeout) S 328311 329327 325114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61910874 8867840 243 134679101440 93892599779328 93892599814344 140734691710880 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93892601911760 93892601913892 93892617633792 140734691714040 140734691714209 140734691714209 140734691721191 0
/proc/329327/statm: 2165 243 219 9 0 87 0
[pid=329328] ppid=329327 vsize=280916 memory=224168 CPUtime=1793.65 cores=5,7
/proc/329328/stat : 329328 (Exact) R 329327 329327 325114 0 -1 4194304 28698 0 0 0 179353 12 0 0 20 0 1 0 61910875 287657984 56042 134679101440 4194304 7210733 140731875699488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18513920 140731875705876 140731875706026 140731875706026 140731875713008 0
/proc/329328/statm: 70229 56042 748 737 0 69317 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227852 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3587.95
CPU user time (s): 3539.18
CPU system time (s): 48.7663
CPU usage (%): 99.7747
Max. virtual memory (cumulated for all children) (KiB): 560104
Max. memory (cumulated for all children) (KiB): 531488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3539.18
system time used= 48.7663
maximum resident set size= 527852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134
involuntary context switches= 5526


# summary of solver processes directly reported to runsolver:
#   pid: 328311
#   total CPU time (s): 3587.95
#   total CPU user time (s): 3539.18
#   total CPU system time (s): 48.7663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5039 second user time and 38.3829 second system time

The end