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

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


[startup+0.100091 s]*
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123730672/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=29592 memory=16220 CPUtime=0.09 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 3328 0 0 0 9 0 0 0 20 0 1 0 63787948 30302208 4055 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 7398 4055 1105 2753 0 4051 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 19992 KiB

[startup+0.206969 s]*
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123706880/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=29592 memory=16220 CPUtime=0.2 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 3328 0 0 0 20 0 0 0 20 0 1 0 63787948 30302208 4055 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 7398 4055 1105 2753 0 4051 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 19992 KiB

[startup+0.306745 s]*
/proc/loadavg: 2.63 3.81 4.06 5/265 346460
/proc/meminfo: memFree=123671192/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=67832 memory=58028 CPUtime=0.29 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 12535 0 0 0 28 1 0 0 20 0 1 0 63787948 69459968 14507 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 16958 14507 2689 2753 0 13611 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86424 KiB
Current children cumulated memory: 61800 KiB

[startup+0.700257 s]
/proc/loadavg: 2.63 3.81 4.06 5/265 346460
/proc/meminfo: memFree=123552632/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=129404 memory=117084 CPUtime=0.68 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 27202 0 0 0 64 4 0 0 20 0 1 0 63787948 132509696 29271 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 32351 29271 2833 2753 0 29004 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 147996 KiB
Current children cumulated memory: 120856 KiB

[startup+1.50032 s]
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123308344/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=145332 memory=134552 CPUtime=1.48 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 31581 0 0 0 143 5 0 0 20 0 1 0 63787948 148819968 33638 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 36333 33638 2849 2753 0 32986 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 163924 KiB
Current children cumulated memory: 138324 KiB

[startup+3.10715 s]
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123070764/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=172276 memory=156196 CPUtime=3.08 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 37039 0 0 0 302 6 0 0 20 0 1 0 63787948 176410624 39049 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 43069 39049 2849 2753 0 39722 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 190868 KiB
Current children cumulated memory: 159968 KiB

[startup+6.3003 s]
/proc/loadavg: 2.74 3.82 4.05 8/265 346460
/proc/meminfo: memFree=123029048/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=203496 memory=180188 CPUtime=6.27 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 43052 0 0 0 620 7 0 0 20 0 1 0 63787948 208379904 45047 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 50874 45047 2849 2753 0 47527 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 222088 KiB
Current children cumulated memory: 183960 KiB

[startup+12.7003 s]
/proc/loadavg: 2.84 3.82 4.05 8/265 346462
/proc/meminfo: memFree=122928292/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=205992 memory=184132 CPUtime=12.64 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 43992 0 0 0 1257 7 0 0 20 0 1 0 63787948 210935808 46033 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 51498 46033 2849 2753 0 48151 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 224584 KiB
Current children cumulated memory: 187904 KiB

[startup+25.5003 s]
/proc/loadavg: 3.18 3.85 4.06 8/265 346463
/proc/meminfo: memFree=122877524/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=205992 memory=184648 CPUtime=25.41 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 44143 0 0 0 2533 8 0 0 20 0 1 0 63787948 210935808 46162 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 51498 46162 2849 2753 0 48151 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 224584 KiB
Current children cumulated memory: 188420 KiB

[startup+51.1071 s]
/proc/loadavg: 3.46 3.86 4.06 7/265 346468
/proc/meminfo: memFree=122870852/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 683 606 264 0 134 0
[pid=346453] ppid=346443 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/346453/stat : 346453 (timeout) S 346443 346453 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 260 134679101440 93894373519360 93894373554376 140731761591024 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93894375651792 93894375653924 93894397616128 140731761599529 140731761599645 140731761599645 140731761606631 0
/proc/346453/statm: 2165 260 236 9 0 87 0
[pid=346457] ppid=346453 vsize=205992 memory=184648 CPUtime=50.93 cores=0,2
/proc/346457/stat : 346457 (LS-MabSP) R 346453 346453 346373 0 -1 4194304 44177 0 0 0 5085 8 0 0 20 0 1 0 63787948 210935808 46162 134679101440 4194304 15467897 140730125949072 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 55771136 140730125952060 140730125952163 140730125952163 140730125959149 0
/proc/346457/statm: 51498 46162 2849 2753 0 48151 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 224584 KiB
Current children cumulated memory: 188420 KiB

[startup+102.3 s]
/proc/loadavg: 3.82 3.90 4.06 8/265 346477
/proc/meminfo: memFree=122788840/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 235 102 0 0 0 0 0 0 20 0 1 0 63787948 10170368 683 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0

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

/proc/347407/statm: 31853 26297 748 737 0 30941 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 146004 KiB
Current children cumulated memory: 108948 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 8/265 348286
/proc/meminfo: memFree=123218324/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=129532 memory=107300 CPUtime=1659.24 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 18935 0 0 0 165906 18 0 0 20 0 1 0 63967749 132640768 26825 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 32383 26825 748 737 0 31471 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 148124 KiB
Current children cumulated memory: 111060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/264 348297
/proc/meminfo: memFree=123214752/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=130728 memory=108556 CPUtime=1719.05 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19242 0 0 0 171887 18 0 0 20 0 1 0 63967749 133865472 27139 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 32682 27139 748 737 0 31770 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 149320 KiB
Current children cumulated memory: 112316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/264 348308
/proc/meminfo: memFree=123212492/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132148 memory=109808 CPUtime=1778.87 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19618 0 0 0 177868 19 0 0 20 0 1 0 63967749 135319552 27452 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33037 27452 748 737 0 32125 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 150740 KiB
Current children cumulated memory: 113568 KiB

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

# cumulated CPU time of all completed processes:  user=3568.97 s, system=16.4065 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 8/264 348308
/proc/meminfo: memFree=123212484/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132148 memory=109808 CPUtime=1780.58 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19618 0 0 0 178039 19 0 0 20 0 1 0 63967749 135319552 27452 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33037 27452 748 737 0 32125 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 150740 KiB
Current children cumulated memory: 113568 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123212492/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132148 memory=109808 CPUtime=1786.95 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19618 0 0 0 178676 19 0 0 20 0 1 0 63967749 135319552 27452 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33037 27452 748 737 0 32125 0
Current children cumulated CPU time: 3579.7 s
Current children cumulated vsize: 150740 KiB
Current children cumulated memory: 113568 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123212336/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132148 memory=109808 CPUtime=1790.14 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19618 0 0 0 178995 19 0 0 20 0 1 0 63967749 135319552 27452 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33037 27452 748 737 0 32125 0
Current children cumulated CPU time: 3582.89 s
Current children cumulated vsize: 150740 KiB
Current children cumulated memory: 113568 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123211916/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132580 memory=110072 CPUtime=1791.74 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19724 0 0 0 179155 19 0 0 20 0 1 0 63967749 135761920 27518 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33145 27518 748 737 0 32233 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 151172 KiB
Current children cumulated memory: 113832 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123211916/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132580 memory=110072 CPUtime=1792.14 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19724 0 0 0 179195 19 0 0 20 0 1 0 63967749 135761920 27518 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33145 27518 748 737 0 32233 0
Current children cumulated CPU time: 3584.89 s
Current children cumulated vsize: 151172 KiB
Current children cumulated memory: 113832 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123212044/131524600 swapFree=131071996/131071996
[pid=346443] ppid=346429 vsize=9932 memory=2780 CPUtime=1792.75 cores=0,2
/proc/346443/stat : 346443 (Hybrid-LSMabSP+) S 346429 346443 346373 0 -1 4194304 268 82714 0 0 0 0 177656 1619 20 0 1 0 63787948 10170368 695 134679101440 94288573534208 94288574613528 140727902157232 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94288576711984 94288576759172 94288585293824 140727902163944 140727902164090 140727902164090 140727902171105 0
/proc/346443/statm: 2483 695 606 264 0 134 0
[pid=347404] ppid=346443 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/347404/stat : 347404 (timeout) S 346443 347404 346373 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 245 134679101440 94914458996736 94914459031752 140725014367424 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94914461129168 94914461131300 94914485411840 140725014373364 140725014373533 140725014373533 140725014380519 0
/proc/347404/statm: 2165 245 220 9 0 87 0
[pid=347407] ppid=347404 vsize=132580 memory=110072 CPUtime=1792.54 cores=0,2
/proc/347407/stat : 347407 (Exact) R 347404 347404 346373 0 -1 4194304 19724 0 0 0 179235 19 0 0 20 0 1 0 63967749 135761920 27518 134679101440 4194304 7210733 140735176729328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 23777280 140735176733712 140735176733862 140735176733862 140735176740848 0
/proc/347407/statm: 33145 27518 748 737 0 32233 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 151172 KiB
Current children cumulated memory: 113832 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3585.37
CPU user time (s): 3568.97
CPU system time (s): 16.4065
CPU usage (%): 99.7029
Max. virtual memory (cumulated for all children) (KiB): 498260
Max. memory (cumulated for all children) (KiB): 472956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.97
system time used= 16.4065
maximum resident set size= 469184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 24673


# summary of solver processes directly reported to runsolver:
#   pid: 346443
#   total CPU time (s): 3585.37
#   total CPU user time (s): 3568.97
#   total CPU system time (s): 16.4065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42997 second user time and 21.2268 second system time

The end