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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437538-1722948202/watcher-4437538-1722948202 -o /tmp/evaluation-result-4437538-1722948202/solver-4437538-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722948202-337145 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437538-1722948202.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

solver pid=337212, runsolver pid=337206
Current StackSize limit: 8192 KiB


[startup+0.100616 s]*
/proc/loadavg: 0.10 0.09 0.09 7/267 337222
/proc/meminfo: memFree=127736916/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=25884 memory=12856 CPUtime=0.06 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 2235 0 0 0 6 0 0 0 20 0 1 0 61416043 26505216 3214 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 6471 3214 1073 2753 0 3124 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 44476 KiB
Current children cumulated memory: 16588 KiB

[startup+0.205615 s]*
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127723428/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=27932 memory=15164 CPUtime=0.17 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 2814 0 0 0 17 0 0 0 20 0 1 0 61416043 28602368 3791 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 6983 3791 1073 2753 0 3636 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46524 KiB
Current children cumulated memory: 18896 KiB

[startup+0.305279 s]*
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127704312/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=32028 memory=18740 CPUtime=0.26 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 3167 0 0 0 26 0 0 0 20 0 1 0 61416043 32796672 4685 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 8007 4685 1073 2753 0 4660 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 50620 KiB
Current children cumulated memory: 22472 KiB

[startup+0.700292 s]
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127649436/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=67628 memory=54344 CPUtime=0.66 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 10307 0 0 0 64 2 0 0 20 0 1 0 61416043 69251072 13586 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 16907 13586 1105 2753 0 13560 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 86220 KiB
Current children cumulated memory: 58076 KiB

[startup+1.50028 s]
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127641512/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=67628 memory=54344 CPUtime=1.45 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 10307 0 0 0 143 2 0 0 20 0 1 0 61416043 69251072 13586 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 16907 13586 1105 2753 0 13560 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 86220 KiB
Current children cumulated memory: 58076 KiB

[startup+3.10626 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337222
/proc/meminfo: memFree=127619060/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=82176 memory=66416 CPUtime=3.05 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 127178 0 0 0 288 17 0 0 20 0 1 0 61416043 84148224 16604 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 20544 16604 1153 2753 0 17197 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 100768 KiB
Current children cumulated memory: 70148 KiB

[startup+6.30027 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337224
/proc/meminfo: memFree=127619044/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=82176 memory=66700 CPUtime=6.24 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 139010 0 0 0 597 27 0 0 20 0 1 0 61416043 84148224 16675 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 20544 16675 1169 2753 0 17197 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 100768 KiB
Current children cumulated memory: 70432 KiB

[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 6/267 337224
/proc/meminfo: memFree=127618900/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=82176 memory=66700 CPUtime=12.62 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 139016 0 0 0 1222 40 0 0 20 0 1 0 61416043 84148224 16675 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 20544 16675 1169 2753 0 17197 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 100768 KiB
Current children cumulated memory: 70432 KiB

[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 6/267 337227
/proc/meminfo: memFree=127618548/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=82176 memory=66700 CPUtime=25.38 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 141980 0 0 0 2473 65 0 0 20 0 1 0 61416043 84148224 16675 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 20544 16675 1169 2753 0 17197 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 100768 KiB
Current children cumulated memory: 70432 KiB

[startup+51.1061 s]
/proc/loadavg: 2.31 0.69 0.30 6/267 337230
/proc/meminfo: memFree=127615464/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 689 610 264 0 134 0
[pid=337218] ppid=337212 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/337218/stat : 337218 (timeout) S 337212 337218 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 244 134679101440 94903031488512 94903031523528 140736230147216 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 2 0 0 94903033620944 94903033623076 94903038296064 140736230151203 140736230151325 140736230151325 140736230158311 0
/proc/337218/statm: 2165 244 220 9 0 87 0
[pid=337222] ppid=337218 vsize=82176 memory=66700 CPUtime=50.92 cores=0,2
/proc/337222/stat : 337222 (LS-MabP) R 337218 337218 337135 0 -1 4194304 141989 0 0 0 4988 104 0 0 20 0 1 0 61416043 84148224 16675 134679101440 4194304 15467897 140729681607024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 37789696 140729681609783 140729681609892 140729681609892 140729681616878 0
/proc/337222/statm: 20544 16675 1169 2753 0 17197 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 100768 KiB
Current children cumulated memory: 70432 KiB

[startup+102.3 s]
/proc/loadavg: 3.31 1.22 0.50 6/267 337238
/proc/meminfo: memFree=127610724/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 241 98 0 0 0 0 0 0 20 0 1 0 61416039 10170368 689 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0

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

/proc/338133/statm: 41071 37742 820 745 0 40136 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 182876 KiB
Current children cumulated memory: 154792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.10 6/267 339059
/proc/meminfo: memFree=125845408/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169136 memory=155480 CPUtime=1658.71 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21405 0 0 0 165856 15 0 0 20 0 1 0 61595845 173195264 38870 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42284 38870 820 745 0 41349 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 187728 KiB
Current children cumulated memory: 159304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.10 6/267 339070
/proc/meminfo: memFree=125838624/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169532 memory=156036 CPUtime=1718.52 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21605 0 0 0 171837 15 0 0 20 0 1 0 61595845 173600768 39009 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42383 39009 820 745 0 41448 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 188124 KiB
Current children cumulated memory: 159860 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.10 6/267 339080
/proc/meminfo: memFree=125828064/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1778.33 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21709 0 0 0 177818 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

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

# cumulated CPU time of all completed processes:  user=3556.42 s, system=29.3205 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.10 6/267 339082
/proc/meminfo: memFree=125827808/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1780.03 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21740 0 0 0 177988 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820696/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1786.4 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21751 0 0 0 178625 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820700/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1789.59 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21755 0 0 0 178944 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1791.18 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21757 0 0 0 179103 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3584.84 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1791.58 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21757 0 0 0 179143 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820420/131524600 swapFree=131071996/131071996
[pid=337212] ppid=337206 vsize=9932 memory=2800 CPUtime=1793.66 cores=0,2
/proc/337212/stat : 337212 (Hybrid-LSMabP+E) S 337206 337212 337135 0 -1 4194304 274 148756 0 0 0 0 176451 2915 20 0 1 0 61416039 10170368 700 134679101440 94179289219072 94179290298392 140722372690528 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94179292396848 94179292444036 94179324108800 140722372699114 140722372699259 140722372699259 140722372706274 0
/proc/337212/statm: 2483 700 610 264 0 134 0
[pid=338132] ppid=337212 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/338132/stat : 338132 (timeout) S 337212 338132 337135 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61595845 8867840 256 134679101440 94009156624384 94009156659400 140722640822656 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94009158756816 94009158758948 94009169014784 140722640831476 140722640831645 140722640831645 140722640838631 0
/proc/338132/statm: 2165 256 231 9 0 87 0
[pid=338133] ppid=338132 vsize=169728 memory=156324 CPUtime=1791.99 cores=0,2
/proc/338133/stat : 338133 (Exact) R 338132 338132 337135 0 -1 4194304 21757 0 0 0 179184 15 0 0 20 0 1 0 61595845 173801472 39081 134679101440 4194304 7243121 140726131576480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 42319872 140726131577872 140726131578022 140726131578022 140726131585008 0
/proc/338133/statm: 42432 39081 820 745 0 41497 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 188320 KiB
Current children cumulated memory: 160148 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3585.74
CPU user time (s): 3556.42
CPU system time (s): 29.3205
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 188320
Max. memory (cumulated for all children) (KiB): 160148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.42
system time used= 29.3205
maximum resident set size= 156324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173802
page faults= 1
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 24554


# summary of solver processes directly reported to runsolver:
#   pid: 337212
#   total CPU time (s): 3585.74
#   total CPU user time (s): 3556.42
#   total CPU system time (s): 29.3205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77323 second user time and 19.6538 second system time

The end