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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428673-1722769582/watcher-4428673-1722769582 -o /tmp/evaluation-result-4428673-1722769582/solver-4428673-1722769582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722769582-238409 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428673-1722769582.opb -t 3558 -s 787304997 --no-s 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=238450, runsolver pid=238447

[startup+0.100185 s]*
/proc/loadavg: 0.20 0.12 0.10 5/254 238471
/proc/meminfo: memFree=129655764/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=25884 memory=13376 CPUtime=0.09 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 1897 0 0 0 9 0 0 0 20 0 1 0 43558729 26505216 3344 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 6471 3344 1073 2753 0 3124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25884 KiB
Current children cumulated memory: 13376 KiB

[startup+0.205233 s]*
/proc/loadavg: 0.20 0.12 0.10 5/254 238471
/proc/meminfo: memFree=129639912/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=32028 memory=15856 CPUtime=0.19 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 2481 0 0 0 19 0 0 0 20 0 1 0 43558729 32796672 3964 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 8007 3964 1073 2753 0 4660 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32028 KiB
Current children cumulated memory: 15856 KiB

[startup+0.304712 s]*
/proc/loadavg: 0.20 0.12 0.10 5/254 238471
/proc/meminfo: memFree=129560268/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=46064 memory=30364 CPUtime=0.29 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 4065 0 0 0 29 0 0 0 20 0 1 0 43558729 47169536 7591 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 11516 7591 1073 2753 0 8169 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46064 KiB
Current children cumulated memory: 30364 KiB

[startup+0.700225 s]
/proc/loadavg: 0.20 0.12 0.10 5/254 238471
/proc/meminfo: memFree=129514064/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=67652 memory=53456 CPUtime=0.69 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 9631 0 0 0 68 1 0 0 20 0 1 0 43558729 69275648 13364 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 16913 13364 1105 2753 0 13566 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67652 KiB
Current children cumulated memory: 53456 KiB

[startup+1.50022 s]
/proc/loadavg: 0.20 0.12 0.10 5/254 238471
/proc/meminfo: memFree=129513952/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=67652 memory=53456 CPUtime=1.48 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 9631 0 0 0 147 1 0 0 20 0 1 0 43558729 69275648 13364 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 16913 13364 1105 2753 0 13566 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67652 KiB
Current children cumulated memory: 53456 KiB

[startup+3.10534 s]
/proc/loadavg: 0.20 0.12 0.10 5/254 238473
/proc/meminfo: memFree=129459188/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=94168 memory=65880 CPUtime=3.08 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 107119 0 0 0 291 17 0 0 20 0 1 0 43558729 96428032 16470 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 23542 16470 1169 2753 0 20195 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 94168 KiB
Current children cumulated memory: 65880 KiB

[startup+6.30021 s]
/proc/loadavg: 0.51 0.19 0.12 5/255 238474
/proc/meminfo: memFree=129470512/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=65904 CPUtime=6.28 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 114471 0 0 0 603 25 0 0 20 0 1 0 43558729 84180992 16476 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 16476 1169 2753 0 17205 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 65904 KiB

[startup+12.7002 s]
/proc/loadavg: 0.79 0.25 0.14 5/255 238475
/proc/meminfo: memFree=129470416/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=65904 CPUtime=12.66 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 114477 0 0 0 1229 37 0 0 20 0 1 0 43558729 84180992 16476 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 16476 1169 2753 0 17205 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 65904 KiB

[startup+25.5002 s]
/proc/loadavg: 1.50 0.43 0.20 5/255 238477
/proc/meminfo: memFree=129470292/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=65904 CPUtime=25.42 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 116932 0 0 0 2485 57 0 0 20 0 1 0 43558729 84180992 16476 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 16476 1169 2753 0 17205 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 65904 KiB

[startup+51.1053 s]
/proc/loadavg: 2.41 0.74 0.31 5/255 238480
/proc/meminfo: memFree=129469764/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=65904 CPUtime=50.97 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119390 0 0 0 4997 100 0 0 20 0 1 0 43558729 84180992 16476 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 16476 1169 2753 0 17205 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 65904 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.26 0.51 5/255 238491
/proc/meminfo: memFree=129469152/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=65904 CPUtime=102.06 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119396 0 0 0 10018 188 0 0 20 0 1 0 43558729 84180992 16476 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 16476 1169 2753 0 17205 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 65904 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.77 0.74 5/255 238501
/proc/meminfo: memFree=129466212/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=65904 CPUtime=161.93 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119404 0 0 0 15907 286 0 0 20 0 1 0 43558729 84180992 16476 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 16476 1169 2753 0 17205 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 65904 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.21 0.95 5/255 238512
/proc/meminfo: memFree=129460568/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=221.81 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119439 0 0 0 21802 379 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.55 1.15 5/258 238527
/proc/meminfo: memFree=129458516/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=281.7 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119459 0 0 0 27693 477 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.85 1.34 5/257 238537
/proc/meminfo: memFree=129458168/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=341.58 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119479 0 0 0 33584 574 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 341.58 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 3.06 1.51 5/257 238548
/proc/meminfo: memFree=129457964/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=401.47 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119499 0 0 0 39483 664 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 401.47 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.27 1.68 5/257 238558
/proc/meminfo: memFree=129457624/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=461.36 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 119519 0 0 0 45381 755 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0

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

/proc/loadavg: 4.14 4.12 4.02 5/258 240225
/proc/meminfo: memFree=129544508/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3216.19 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120439 0 0 0 316429 5190 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3216.19 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/256 240248
/proc/meminfo: memFree=129543964/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3276.07 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120459 0 0 0 322325 5282 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3276.07 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/256 240259
/proc/meminfo: memFree=129543816/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3335.96 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120479 0 0 0 328215 5381 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3335.96 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/256 240269
/proc/meminfo: memFree=129543596/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3395.85 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120499 0 0 0 334107 5478 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3395.85 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.02 5/255 240279
/proc/meminfo: memFree=129543384/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3455.74 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120519 0 0 0 339996 5578 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3455.74 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/255 240290
/proc/meminfo: memFree=129543136/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3515.62 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 345893 5669 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3515.62 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

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

# cumulated CPU time of all completed processes:  user=3500.64 s, system=57.388 s

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

[startup+3532.8 s]
/proc/loadavg: 4.11 4.10 4.03 5/255 240292
/proc/meminfo: memFree=129542984/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3526.1 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 346925 5685 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3526.1 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3545.6 s]
/proc/loadavg: 4.09 4.10 4.03 5/254 240294
/proc/meminfo: memFree=129542776/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3538.88 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 348181 5707 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3538.88 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3558.4 s]
/proc/loadavg: 4.07 4.09 4.02 5/254 240296
/proc/meminfo: memFree=129542848/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3551.65 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 349436 5729 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3551.65 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.11 4.03 5/254 240296
/proc/meminfo: memFree=129542848/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3554.85 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 349752 5733 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3554.85 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3563.2 s]
/proc/loadavg: 4.14 4.11 4.03 5/254 240297
/proc/meminfo: memFree=129542792/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3556.44 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 349909 5735 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3556.44 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3564 s]*
/proc/loadavg: 4.14 4.11 4.03 5/255 240298
/proc/meminfo: memFree=129542792/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3557.25 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120539 0 0 0 349988 5737 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3557.25 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3564.4 s]
/proc/loadavg: 4.14 4.11 4.03 5/255 240298
/proc/meminfo: memFree=129542792/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3557.64 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120559 0 0 0 350027 5737 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3557.64 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3564.6 s]
/proc/loadavg: 4.14 4.11 4.03 5/255 240298
/proc/meminfo: memFree=129542792/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3557.85 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120559 0 0 0 350047 5738 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

[startup+3564.7 s]
/proc/loadavg: 4.14 4.11 4.03 5/255 240298
/proc/meminfo: memFree=129542792/131524600 swapFree=131071996/131071996
[pid=238450] ppid=238447 vsize=82208 memory=68476 CPUtime=3557.95 cores=4,6
/proc/238450/stat : 238450 (LS-MabP) R 238447 238450 238398 0 -1 4194304 120559 0 0 0 350057 5738 0 0 20 0 1 0 43558729 84180992 17119 134679101440 4194304 15467897 140725152406576 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 49790976 140725152408602 140725152408710 140725152408710 140725152415726 0
/proc/238450/statm: 20552 17119 1169 2753 0 17205 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 82208 KiB
Current children cumulated memory: 68476 KiB

Child status: 0

Real time (s): 3564.77
CPU time (s): 3558.03
CPU user time (s): 3500.64
CPU system time (s): 57.388
CPU usage (%): 99.8107
Max. virtual memory (cumulated for all children) (KiB): 94168
Max. memory (cumulated for all children) (KiB): 77692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3500.64
system time used= 57.388
maximum resident set size= 80304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 4482


# summary of solver processes directly reported to runsolver:
#   pid: 238450
#   total CPU time (s): 3558.03
#   total CPU user time (s): 3500.64
#   total CPU system time (s): 57.388

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92497 second user time and 15.1475 second system time

The end