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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443505-1721308260/watcher-4443505-1721308260 -o /tmp/evaluation-result-4443505-1721308260/solver-4443505-1721308260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721304555-957903 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443505-1721308260.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=961145, runsolver pid=961142

[startup+0.100826 s]*
/proc/loadavg: 4.50 4.39 4.21 5/266 961149
/proc/meminfo: memFree=128318804/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=68848 memory=55704 CPUtime=0.09 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 3247 0 0 0 8 1 0 0 20 0 1 0 182989839 70500352 13926 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 17212 13926 1073 2753 0 13865 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 59352 KiB

[startup+0.205144 s]*
/proc/loadavg: 4.50 4.39 4.21 5/266 961149
/proc/meminfo: memFree=128316416/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=70896 memory=57976 CPUtime=0.19 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 3832 0 0 0 18 1 0 0 20 0 1 0 182989839 72597504 14494 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 17724 14494 1073 2753 0 14377 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 61624 KiB

[startup+0.305752 s]*
/proc/loadavg: 4.50 4.39 4.21 5/266 961149
/proc/meminfo: memFree=128313272/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=74992 memory=60760 CPUtime=0.29 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 3961 0 0 0 28 1 0 0 20 0 1 0 182989839 76791808 15190 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 18748 15190 1073 2753 0 15401 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93584 KiB
Current children cumulated memory: 64408 KiB

[startup+0.700229 s]
/proc/loadavg: 4.50 4.39 4.21 5/266 961149
/proc/meminfo: memFree=128309028/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=83184 memory=68956 CPUtime=0.68 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 4482 0 0 0 66 2 0 0 20 0 1 0 182989839 85180416 17239 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 20796 17239 1073 2753 0 17449 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101776 KiB
Current children cumulated memory: 72604 KiB

[startup+1.50026 s]
/proc/loadavg: 4.50 4.39 4.21 5/266 961149
/proc/meminfo: memFree=128298496/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=99568 memory=85840 CPUtime=1.47 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 5154 0 0 0 145 2 0 0 20 0 1 0 182989839 101957632 21460 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 24892 21460 1073 2753 0 21545 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 89488 KiB

[startup+3.10568 s]
/proc/loadavg: 4.46 4.39 4.21 5/266 961151
/proc/meminfo: memFree=128255408/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=132336 memory=119568 CPUtime=3.08 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 5942 0 0 0 304 4 0 0 20 0 1 0 182989839 135512064 29826 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 33084 29826 1073 2753 0 29737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 123216 KiB

[startup+6.30021 s]
/proc/loadavg: 4.46 4.39 4.21 5/266 961151
/proc/meminfo: memFree=127867964/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=582216 memory=539256 CPUtime=6.27 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 22131 0 0 0 604 23 0 0 20 0 1 0 182989839 596189184 134814 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 145554 134814 1105 2753 0 142207 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 600808 KiB
Current children cumulated memory: 542904 KiB

[startup+12.7003 s]
/proc/loadavg: 4.42 4.38 4.21 5/266 961151
/proc/meminfo: memFree=127795444/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=620324 memory=577316 CPUtime=12.66 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 24058 0 0 0 1242 24 0 0 20 0 1 0 182989839 635211776 144329 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 155081 144329 1153 2753 0 151734 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 638916 KiB
Current children cumulated memory: 580964 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127689880/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=620320 memory=546584 CPUtime=25.43 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 24237 0 0 0 2519 24 0 0 20 0 1 0 182989839 635207680 136646 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 155080 136646 1153 2753 0 151733 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 550232 KiB

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

# cumulated CPU time of all completed processes:  user=27.5412 s, system=0.407221 s

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

[startup+25.6003 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127689880/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=620320 memory=546584 CPUtime=25.53 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 24237 0 0 0 2529 24 0 0 20 0 1 0 182989839 635207680 136646 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 155080 136646 1153 2753 0 151733 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 638912 KiB
Current children cumulated memory: 550232 KiB

[startup+27.2003 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127639796/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=830580 memory=656732 CPUtime=27.13 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 74838 0 0 0 2681 32 0 0 20 0 1 0 182989839 850513920 164183 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 207645 164183 1153 2753 0 204298 0
Current children cumulated CPU time: 27.13 s
Current children cumulated vsize: 849172 KiB
Current children cumulated memory: 660380 KiB

[startup+27.6003 s]
/proc/loadavg: 4.40 4.38 4.21 5/266 961206
/proc/meminfo: memFree=127639796/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
[pid=961149] ppid=961148 vsize=843060 memory=744400 CPUtime=27.52 cores=1,3
/proc/961149/stat : 961149 (LS-MabP) R 961148 961148 957891 0 -1 4194304 82995 0 0 0 2718 34 0 0 20 0 1 0 182989839 863293440 186100 134679101440 4194304 15467897 140726988436656 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 34123776 140726988444726 140726988444835 140726988444835 140726988451822 0
/proc/961149/statm: 210765 186100 1153 2753 0 207418 0
Current children cumulated CPU time: 27.52 s
Current children cumulated vsize: 861652 KiB
Current children cumulated memory: 748048 KiB

[startup+28.0003 s]*
/proc/loadavg: 4.36 4.37 4.21 5/266 961206
/proc/meminfo: memFree=127229624/131524600 swapFree=131071996/131071996
[pid=961145] ppid=961142 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/961145/stat : 961145 (Hybrid-LSMabP+E) S 961142 961145 957891 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 182989838 10170368 683 134679101440 94553006551040 94553007630360 140725645300848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94553009728816 94553009776004 94553011142656 140725645304809 140725645304954 140725645304954 140725645311970 0
/proc/961145/statm: 2483 683 606 264 0 134 0
[pid=961148] ppid=961145 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/961148/stat : 961148 (timeout) S 961145 961148 957891 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182989839 8867840 229 134679101440 94687421341696 94687421376712 140729986143488 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94687423474128 94687423476260 94687447150592 140729986147362 140729986147484 140729986147484 140729986154471 0
/proc/961148/statm: 2165 229 205 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3648 KiB

Child status: 0

Real time (s): 28.0124
CPU time (s): 27.9484
CPU user time (s): 27.5412
CPU system time (s): 0.407221
CPU usage (%): 99.7717
Max. virtual memory (cumulated for all children) (KiB): 1014136
Max. memory (cumulated for all children) (KiB): 909716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5412
system time used= 0.407221
maximum resident set size= 906068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 36


# summary of solver processes directly reported to runsolver:
#   pid: 961145
#   total CPU time (s): 27.9484
#   total CPU user time (s): 27.5412
#   total CPU system time (s): 0.407221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062774 second user time and 0.178419 second system time

The end