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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437075-1722953604/watcher-4437075-1722953604 -o /tmp/evaluation-result-4437075-1722953604/solver-4437075-1722953604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722948202-331105 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437075-1722953604.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
Current StackSize limit: 8192 KiB

solver pid=334258, runsolver pid=334255

[startup+0.100516 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 334262
/proc/meminfo: memFree=129078084/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=21508 memory=9284 CPUtime=0.09 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 959 0 0 0 9 0 0 0 20 0 1 0 61962341 22024192 2321 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 5377 2321 1105 2753 0 2030 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 13048 KiB

[startup+0.205756 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 334262
/proc/meminfo: memFree=129062708/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=36912 memory=29256 CPUtime=0.2 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 4583 0 0 0 20 0 0 0 20 0 1 0 61962341 37797888 7314 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 9228 7314 2737 2753 0 5881 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55504 KiB
Current children cumulated memory: 33020 KiB

[startup+0.305844 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 334262
/proc/meminfo: memFree=129054408/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=43756 memory=36308 CPUtime=0.29 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 6367 0 0 0 29 0 0 0 20 0 1 0 61962341 44806144 9077 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 10939 9077 2817 2753 0 7592 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 40072 KiB

[startup+0.700216 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 334262
/proc/meminfo: memFree=129050908/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=48108 memory=40564 CPUtime=0.68 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 7365 0 0 0 68 0 0 0 20 0 1 0 61962341 49262592 10141 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 12027 10141 2833 2753 0 8680 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66700 KiB
Current children cumulated memory: 44328 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.11 4.09 7/263 334262
/proc/meminfo: memFree=129047032/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=49036 memory=41092 CPUtime=1.48 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 7557 0 0 0 148 0 0 0 20 0 1 0 61962341 50212864 10273 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 12259 10273 2833 2753 0 8912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67628 KiB
Current children cumulated memory: 44856 KiB

[startup+3.10585 s]
/proc/loadavg: 4.08 4.11 4.09 7/263 334262
/proc/meminfo: memFree=129024616/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=63180 memory=54288 CPUtime=3.08 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 10801 0 0 0 307 1 0 0 20 0 1 0 61962341 64696320 13572 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 15795 13572 2833 2753 0 12448 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81772 KiB
Current children cumulated memory: 58052 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.11 4.09 7/263 334264
/proc/meminfo: memFree=128969728/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=116232 memory=105764 CPUtime=6.27 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 23712 0 0 0 624 3 0 0 20 0 1 0 61962341 119021568 26441 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 29058 26441 2833 2753 0 25711 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 134824 KiB
Current children cumulated memory: 109528 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 7/263 334264
/proc/meminfo: memFree=128940488/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=131848 memory=118924 CPUtime=12.64 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 28139 0 0 0 1261 3 0 0 20 0 1 0 61962341 135012352 29731 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 32962 29731 2833 2753 0 29615 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 150440 KiB
Current children cumulated memory: 122688 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 7/263 334267
/proc/meminfo: memFree=128927292/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=142236 memory=128676 CPUtime=25.41 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 30535 0 0 0 2537 4 0 0 20 0 1 0 61962341 145649664 32169 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 35559 32169 2833 2753 0 32212 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 160828 KiB
Current children cumulated memory: 132440 KiB

[startup+51.1059 s]
/proc/loadavg: 4.21 4.14 4.10 7/263 334270
/proc/meminfo: memFree=128855944/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 681 603 264 0 134 0
[pid=334261] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/334261/stat : 334261 (timeout) S 334258 334261 331095 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61962341 8867840 260 134679101440 94354008293376 94354008328392 140723218917264 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94354010425808 94354010427940 94354039869440 140723218924589 140723218924705 140723218924705 140723218931687 0
/proc/334261/statm: 2165 260 236 9 0 87 0
[pid=334262] ppid=334261 vsize=203792 memory=184516 CPUtime=50.92 cores=0,2
/proc/334262/stat : 334262 (LS-MabSP) R 334261 334261 331095 0 -1 4194304 46346 0 0 0 5086 6 0 0 20 0 1 0 61962341 208683008 46129 134679101440 4194304 15467897 140722292992752 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26927104 140722292999232 140722292999335 140722292999335 140722293006317 0
/proc/334262/statm: 50948 46129 2833 2753 0 47601 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 222384 KiB
Current children cumulated memory: 188280 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 7/263 334279
/proc/meminfo: memFree=128826008/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61962340 10170368 681 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0

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

/proc/335416/statm: 69847 51973 748 737 0 68935 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 297980 KiB
Current children cumulated memory: 211704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 336295
/proc/meminfo: memFree=127439584/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=280028 memory=208620 CPUtime=1718.17 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28393 0 0 0 171804 13 0 0 20 0 1 0 62142141 286748672 52155 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70007 52155 748 737 0 69095 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 298620 KiB
Current children cumulated memory: 212432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 336305
/proc/meminfo: memFree=127438184/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1777.98 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 177785 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

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

# cumulated CPU time of all completed processes:  user=3537.15 s, system=47.2281 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/261 336306
/proc/meminfo: memFree=127438156/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1779.68 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 177955 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 336306
/proc/meminfo: memFree=127438176/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1786.05 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 178592 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3578.58 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 336306
/proc/meminfo: memFree=127438176/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1789.24 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 178911 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3581.77 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 336314
/proc/meminfo: memFree=128777616/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1790.84 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 179071 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3583.37 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 336314
/proc/meminfo: memFree=128777616/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1791.24 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 179111 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3583.77 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.11 4.09 5/261 336314
/proc/meminfo: memFree=128578036/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1791.64 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 179151 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3584.17 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

[startup+3596.11 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 336314
/proc/meminfo: memFree=128578036/131524600 swapFree=131071996/131071996
[pid=334258] ppid=334255 vsize=9932 memory=2772 CPUtime=1792.53 cores=0,2
/proc/334258/stat : 334258 (Hybrid-LSMabSP+) S 334255 334258 331095 0 -1 4194304 271 119626 0 0 0 0 174545 4708 20 0 1 0 61962340 10170368 693 134679101440 94770306224128 94770307303448 140722067342768 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94770309401904 94770309449092 94770319142912 140722067350508 140722067350654 140722067350654 140722067357665 0
/proc/334258/statm: 2483 693 603 264 0 134 0
[pid=335415] ppid=334258 vsize=8660 memory=1040 CPUtime=0 cores=0,2
/proc/335415/stat : 335415 (timeout) S 334258 335415 331095 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62142141 8867840 260 134679101440 94912496427008 94912496462024 140729080595568 0 0 0 0 3293184 73735 0 0 0 17 2 0 0 0 0 0 94912498559440 94912498561572 94912525746176 140729080599544 140729080599713 140729080599713 140729080606695 0
/proc/335415/statm: 2165 260 236 9 0 87 0
[pid=335416] ppid=335415 vsize=281180 memory=209676 CPUtime=1791.74 cores=0,2
/proc/335416/stat : 335416 (Exact) R 335415 335415 331095 0 -1 4194304 28682 0 0 0 179161 13 0 0 20 0 1 0 62142141 287928320 52419 134679101440 4194304 7210733 140725560990848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 32362496 140725560996884 140725560997034 140725560997034 140725561004016 0
/proc/335416/statm: 70295 52419 748 737 0 69383 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213488 KiB

Child status: 0

Real time (s): 3596.19
CPU time (s): 3584.37
CPU user time (s): 3537.15
CPU system time (s): 47.2281
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 486824
Max. memory (cumulated for all children) (KiB): 465376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.15
system time used= 47.2281
maximum resident set size= 461612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133
involuntary context switches= 25317


# summary of solver processes directly reported to runsolver:
#   pid: 334258
#   total CPU time (s): 3584.37
#   total CPU user time (s): 3537.15
#   total CPU system time (s): 47.2281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53749 second user time and 18.4275 second system time

The end