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 (61685 MiB free)
  memory of node 1: 64510 MiB (59449 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437208-1722973451/watcher-4437208-1722973451 -o /tmp/evaluation-result-4437208-1722973451/solver-4437208-1722973451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722971653-349578 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437208-1722973451.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
solver pid=350661, runsolver pid=350658
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.35 4.28 4.18 5/264 350665
/proc/meminfo: memFree=124024196/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=22952 memory=10340 CPUtime=0.09 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 1587 0 0 0 9 0 0 0 20 0 1 0 63942246 23502848 2585 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 5738 2585 1073 2753 0 2391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41544 KiB
Current children cumulated memory: 14048 KiB

[startup+0.205657 s]*
/proc/loadavg: 4.35 4.28 4.18 5/264 350665
/proc/meminfo: memFree=124000276/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=38920 memory=25036 CPUtime=0.19 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 5920 0 0 0 19 0 0 0 20 0 1 0 63942246 39854080 6259 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 9730 6259 1105 2753 0 6383 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 28744 KiB

[startup+0.305915 s]*
/proc/loadavg: 4.35 4.28 4.18 5/264 350665
/proc/meminfo: memFree=123990656/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=38920 memory=25036 CPUtime=0.29 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 5920 0 0 0 29 0 0 0 20 0 1 0 63942246 39854080 6259 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 9730 6259 1105 2753 0 6383 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 28744 KiB

[startup+0.700184 s]
/proc/loadavg: 4.32 4.28 4.18 5/264 350665
/proc/meminfo: memFree=123970792/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=38920 memory=25036 CPUtime=0.68 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 5920 0 0 0 68 0 0 0 20 0 1 0 63942246 39854080 6259 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 9730 6259 1105 2753 0 6383 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 28744 KiB

[startup+1.50023 s]
/proc/loadavg: 4.32 4.28 4.18 5/264 350665
/proc/meminfo: memFree=123942220/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=38920 memory=25036 CPUtime=1.48 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 5920 0 0 0 148 0 0 0 20 0 1 0 63942246 39854080 6259 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 9730 6259 1105 2753 0 6383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 28744 KiB

[startup+3.10561 s]
/proc/loadavg: 4.32 4.28 4.18 5/264 350665
/proc/meminfo: memFree=123758284/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=104168 memory=93128 CPUtime=3.08 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 21994 0 0 0 306 2 0 0 20 0 1 0 63942246 106668032 23282 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 26042 23282 2705 2753 0 22695 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122760 KiB
Current children cumulated memory: 96836 KiB

[startup+6.30023 s]
/proc/loadavg: 4.29 4.27 4.18 5/264 350666
/proc/meminfo: memFree=123639892/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=135408 memory=123444 CPUtime=6.27 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 30263 0 0 0 623 4 0 0 20 0 1 0 63942246 138657792 30861 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 33852 30861 2817 2753 0 30505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 154000 KiB
Current children cumulated memory: 127152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.27 4.17 5/264 350666
/proc/meminfo: memFree=123532900/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=159508 memory=141768 CPUtime=12.64 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 34832 0 0 0 1260 4 0 0 20 0 1 0 63942246 163336192 35442 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 39877 35442 2849 2753 0 36530 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 178100 KiB
Current children cumulated memory: 145476 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.26 4.17 5/264 350669
/proc/meminfo: memFree=123322604/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=193624 memory=170996 CPUtime=25.41 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 41637 0 0 0 2535 6 0 0 20 0 1 0 63942246 198270976 42749 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 48406 42749 2849 2753 0 45059 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 212216 KiB
Current children cumulated memory: 174704 KiB

[startup+51.1058 s]
/proc/loadavg: 4.19 4.25 4.17 5/264 350674
/proc/meminfo: memFree=123094812/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=257292 memory=212880 CPUtime=50.93 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 51605 0 0 0 5085 8 0 0 20 0 1 0 63942246 263467008 53220 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 64323 53220 2849 2753 0 60976 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 275884 KiB
Current children cumulated memory: 216588 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.21 4.16 5/264 350682
/proc/meminfo: memFree=122491316/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0

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

/proc/350665/statm: 96954 95217 2849 2753 0 93607 0
Current children cumulated CPU time: 1717.19 s
Current children cumulated vsize: 406408 KiB
Current children cumulated memory: 384576 KiB

[startup+1782.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 351616
/proc/meminfo: memFree=122280468/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 63942246 10170368 670 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 670 592 264 0 134 0
[pid=350664] ppid=350661 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/350664/stat : 350664 (timeout) S 350661 350664 349568 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63942246 8867840 257 134679101440 94178300862464 94178300897480 140724702200704 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178302994896 94178302997028 94178325626880 140724702209065 140724702209181 140724702209181 140724702216167 0
/proc/350664/statm: 2165 257 233 9 0 87 0
[pid=350665] ppid=350664 vsize=387816 memory=380868 CPUtime=1777.04 cores=0,2
/proc/350665/stat : 350665 (LS-MabSP) R 350664 350664 349568 0 -1 4194304 85334 0 0 0 173674 4030 0 0 20 0 1 0 63942246 397123584 95217 134679101440 4194304 15467897 140724223738416 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48570368 140724223747132 140724223747235 140724223747235 140724223754221 0
/proc/350665/statm: 96954 95217 2849 2753 0 93607 0
Current children cumulated CPU time: 1777.04 s
Current children cumulated vsize: 406408 KiB
Current children cumulated memory: 384576 KiB

[startup+1842.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 351772
/proc/meminfo: memFree=123110812/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=42768 memory=28656 CPUtime=44.11 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 10718 0 0 0 4409 2 0 0 20 0 1 0 64122048 43794432 7164 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10692 7164 748 737 0 9780 0
Current children cumulated CPU time: 1836.82 s
Current children cumulated vsize: 61360 KiB
Current children cumulated memory: 32400 KiB

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

# cumulated CPU time of all completed processes:  user=1805.33 s, system=40.9184 s

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

[startup+1843.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 351772
/proc/meminfo: memFree=123110672/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=42796 memory=28828 CPUtime=45 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 11026 0 0 0 4498 2 0 0 20 0 1 0 64122048 43823104 7207 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10699 7207 748 737 0 9787 0
Current children cumulated CPU time: 1837.71 s
Current children cumulated vsize: 61388 KiB
Current children cumulated memory: 32572 KiB

[startup+1846.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 351773
/proc/meminfo: memFree=123110132/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=42956 memory=28984 CPUtime=48.19 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 11418 0 0 0 4817 2 0 0 20 0 1 0 64122048 43986944 7246 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10739 7246 748 737 0 9827 0
Current children cumulated CPU time: 1840.9 s
Current children cumulated vsize: 61548 KiB
Current children cumulated memory: 32728 KiB

[startup+1849.6 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 351773
/proc/meminfo: memFree=123110032/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=43228 memory=29096 CPUtime=51.38 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 11743 0 0 0 5136 2 0 0 20 0 1 0 64122048 44265472 7274 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10807 7274 748 737 0 9895 0
Current children cumulated CPU time: 1844.09 s
Current children cumulated vsize: 61820 KiB
Current children cumulated memory: 32840 KiB

[startup+1850.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 351773
/proc/meminfo: memFree=123110028/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=43228 memory=29096 CPUtime=52.17 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 11750 0 0 0 5215 2 0 0 20 0 1 0 64122048 44265472 7274 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10807 7274 748 737 0 9895 0
Current children cumulated CPU time: 1844.88 s
Current children cumulated vsize: 61820 KiB
Current children cumulated memory: 32840 KiB

[startup+1851.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 351773
/proc/meminfo: memFree=123110028/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=43556 memory=29400 CPUtime=52.97 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 12143 0 0 0 5295 2 0 0 20 0 1 0 64122048 44601344 7350 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10889 7350 748 737 0 9977 0
Current children cumulated CPU time: 1845.68 s
Current children cumulated vsize: 62148 KiB
Current children cumulated memory: 33144 KiB

[startup+1851.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 351773
/proc/meminfo: memFree=123110028/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=43876 memory=29660 CPUtime=53.37 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 12214 0 0 0 5335 2 0 0 20 0 1 0 64122048 44929024 7415 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10969 7415 748 737 0 10057 0
Current children cumulated CPU time: 1846.08 s
Current children cumulated vsize: 62468 KiB
Current children cumulated memory: 33404 KiB

[startup+1851.7 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 351773
/proc/meminfo: memFree=123110028/131524592 swapFree=131071996/131071996
[pid=350661] ppid=350658 vsize=9932 memory=2728 CPUtime=1792.71 cores=0,2
/proc/350661/stat : 350661 (Hybrid-LSMabSP+) S 350658 350661 349568 0 -1 4194304 273 85602 0 0 0 0 175183 4088 20 0 1 0 63942246 10170368 682 134679101440 94820759617536 94820760696856 140722448118640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94820762795312 94820762842500 94820765245440 140722448122856 140722448123002 140722448123002 140722448130017 0
/proc/350661/statm: 2483 682 592 264 0 134 0
[pid=351716] ppid=350661 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/351716/stat : 351716 (timeout) S 350661 351716 349568 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64122047 8867840 254 134679101440 94132941910016 94132941945032 140721288983664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94132944042448 94132944044580 94132962275328 140721288987636 140721288987805 140721288987805 140721288994791 0
/proc/351716/statm: 2165 254 230 9 0 87 0
[pid=351717] ppid=351716 vsize=43876 memory=29660 CPUtime=53.47 cores=0,2
/proc/351717/stat : 351717 (Exact) R 351716 351716 349568 0 -1 4194304 12216 0 0 0 5345 2 0 0 20 0 1 0 64122048 44929024 7415 134679101440 4194304 7210733 140727955170160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 21463040 140727955178512 140727955178662 140727955178662 140727955185648 0
/proc/351717/statm: 10969 7415 748 737 0 10057 0
Current children cumulated CPU time: 1846.18 s
Current children cumulated vsize: 62468 KiB
Current children cumulated memory: 33404 KiB

Child status: 0

Real time (s): 1851.76
CPU time (s): 1846.25
CPU user time (s): 1805.33
CPU system time (s): 40.9184
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 445016
Max. memory (cumulated for all children) (KiB): 384576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1805.33
system time used= 40.9184
maximum resident set size= 380868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74
involuntary context switches= 12922


# summary of solver processes directly reported to runsolver:
#   pid: 350661
#   total CPU time (s): 1846.25
#   total CPU user time (s): 1805.33
#   total CPU system time (s): 40.9184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74171 second user time and 8.75881 second system time

The end