runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62413 MiB free)
  memory of node 1: 64510 MiB (61236 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443805-1721308379/watcher-4443805-1721308379 -o /tmp/evaluation-result-4443805-1721308379/solver-4443805-1721308379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972503 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443805-1721308379.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=974860, runsolver pid=974857

[startup+0.10025 s]*
/proc/loadavg: 4.44 4.21 4.12 5/266 974864
/proc/meminfo: memFree=126596124/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=37080 memory=24524 CPUtime=0.09 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 2595 0 0 0 9 0 0 0 20 0 1 0 183006196 37969920 6131 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 9270 6131 1073 2753 0 5923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 28320 KiB

[startup+0.205865 s]*
/proc/loadavg: 4.44 4.21 4.12 5/266 974864
/proc/meminfo: memFree=126588460/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=43224 memory=27820 CPUtime=0.19 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 3391 0 0 0 19 0 0 0 20 0 1 0 183006196 44261376 6955 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 10806 6955 1073 2753 0 7459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 31616 KiB

[startup+0.305704 s]*
/proc/loadavg: 4.44 4.21 4.12 5/266 974864
/proc/meminfo: memFree=126590252/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=43224 memory=29868 CPUtime=0.29 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 3392 0 0 0 29 0 0 0 20 0 1 0 183006196 44261376 7467 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 10806 7467 1073 2753 0 7459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 33664 KiB

[startup+0.700217 s]
/proc/loadavg: 4.44 4.21 4.12 5/266 974864
/proc/meminfo: memFree=126585988/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=51416 memory=38064 CPUtime=0.68 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 3913 0 0 0 67 1 0 0 20 0 1 0 183006196 52649984 9516 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 12854 9516 1073 2753 0 9507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 41860 KiB

[startup+1.50024 s]
/proc/loadavg: 4.44 4.21 4.12 5/266 974864
/proc/meminfo: memFree=126575692/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=67800 memory=54452 CPUtime=1.48 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 4442 0 0 0 146 2 0 0 20 0 1 0 183006196 69427200 13613 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 16950 13613 1073 2753 0 13603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 58248 KiB

[startup+3.10527 s]
/proc/loadavg: 4.44 4.21 4.12 5/266 974864
/proc/meminfo: memFree=126391728/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=266728 memory=222720 CPUtime=3.08 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 14884 0 0 0 301 7 0 0 20 0 1 0 183006196 273129472 55680 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 66682 55680 1105 2753 0 63335 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226516 KiB

[startup+6.30028 s]
/proc/loadavg: 4.48 4.22 4.13 5/266 974864
/proc/meminfo: memFree=126391504/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=266728 memory=222964 CPUtime=6.26 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 14934 0 0 0 619 7 0 0 20 0 1 0 183006196 273129472 55741 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 66682 55741 1153 2753 0 63335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226760 KiB

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

# cumulated CPU time of all completed processes:  user=7.56895 s, system=0.123319 s

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

[startup+6.40033 s]
/proc/loadavg: 4.48 4.22 4.13 5/266 974864
/proc/meminfo: memFree=126391504/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=266728 memory=222964 CPUtime=6.36 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 14934 0 0 0 629 7 0 0 20 0 1 0 183006196 273129472 55741 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 66682 55741 1153 2753 0 63335 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226760 KiB

[startup+7.20025 s]
/proc/loadavg: 4.48 4.22 4.13 6/266 974864
/proc/meminfo: memFree=126390888/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=250024 memory=206260 CPUtime=7.16 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 14979 0 0 0 709 7 0 0 20 0 1 0 183006196 256024576 51565 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 62506 51565 1153 2753 0 59159 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 268616 KiB
Current children cumulated memory: 210056 KiB

[startup+7.60027 s]
/proc/loadavg: 4.48 4.22 4.13 6/266 974864
/proc/meminfo: memFree=126390888/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=316864 memory=262844 CPUtime=7.56 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 34894 0 0 0 746 10 0 0 20 0 1 0 183006196 324468736 65711 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 79216 65711 1153 2753 0 75869 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 335456 KiB
Current children cumulated memory: 266640 KiB

[startup+7.70027 s]
/proc/loadavg: 4.48 4.22 4.13 6/266 974864
/proc/meminfo: memFree=126390888/131524600 swapFree=131071996/131071996
[pid=974860] ppid=974857 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/974860/stat : 974860 (Hybrid-LSMabP+E) S 974857 974860 972493 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 183006195 10170368 703 134679101440 94011321942016 94011323021336 140726944262400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94011325119792 94011325166980 94011334279168 140726944265193 140726944265338 140726944265338 140726944272354 0
/proc/974860/statm: 2483 703 627 264 0 134 0
[pid=974863] ppid=974860 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/974863/stat : 974863 (timeout) S 974860 974863 972493 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183006196 8867840 246 134679101440 94358900740096 94358900775112 140733959192912 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94358902872528 94358902874660 94358934548480 140733959201826 140733959201948 140733959201948 140733959208935 0
/proc/974863/statm: 2165 246 221 9 0 87 0
[pid=974864] ppid=974863 vsize=368092 memory=314176 CPUtime=7.66 cores=0,2
/proc/974864/stat : 974864 (LS-MabP) R 974863 974863 972493 0 -1 4194304 41061 0 0 0 755 11 0 0 20 0 1 0 183006196 376926208 78544 134679101440 4194304 15467897 140721451672624 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 38182912 140721451676726 140721451676835 140721451676835 140721451683822 0
/proc/974864/statm: 92023 78544 1153 2753 0 88676 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 386684 KiB
Current children cumulated memory: 317972 KiB

Child status: 0

Real time (s): 7.71884
CPU time (s): 7.69227
CPU user time (s): 7.56895
CPU system time (s): 0.123319
CPU usage (%): 99.6557
Max. virtual memory (cumulated for all children) (KiB): 386684
Max. memory (cumulated for all children) (KiB): 317972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.56895
system time used= 0.123319
maximum resident set size= 314176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 974860
#   total CPU time (s): 7.69227
#   total CPU user time (s): 7.56895
#   total CPU system time (s): 0.123319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033288 second user time and 0.055439 second system time

The end