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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428917-1722824054/watcher-4428917-1722824054 -o /tmp/evaluation-result-4428917-1722824054/solver-4428917-1722824054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722816911-267564 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428917-1722824054.opb -t 3558 -s 1860457040 --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=271657, runsolver pid=271654

[startup+0.10008 s]*
/proc/loadavg: 4.03 4.12 4.16 5/240 271664
/proc/meminfo: memFree=128500932/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=0.1 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 567 0 0 0 9 1 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+0.212203 s]*
/proc/loadavg: 4.03 4.12 4.16 5/244 271671
/proc/meminfo: memFree=128495984/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=0.22 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 567 0 0 0 19 3 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+0.312663 s]*
/proc/loadavg: 4.03 4.12 4.16 5/244 271671
/proc/meminfo: memFree=128495716/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=0.31 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 567 0 0 0 27 4 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+0.700244 s]
/proc/loadavg: 4.03 4.12 4.16 5/244 271671
/proc/meminfo: memFree=128495440/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=0.69 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 567 0 0 0 61 8 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+1.50025 s]
/proc/loadavg: 4.03 4.12 4.16 6/240 271693
/proc/meminfo: memFree=128499132/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=1.49 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 573 0 0 0 129 20 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+3.11174 s]
/proc/loadavg: 4.03 4.12 4.16 5/244 271763
/proc/meminfo: memFree=128330692/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=3.1 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 574 0 0 0 268 42 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.13 4.16 5/244 271764
/proc/meminfo: memFree=127902996/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=6.28 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 574 0 0 0 537 91 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 271764
/proc/meminfo: memFree=127902668/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=12.67 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 574 0 0 0 1078 189 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+25.5017 s]
/proc/loadavg: 4.24 4.16 4.17 5/244 271767
/proc/meminfo: memFree=127902128/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=25.45 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 574 0 0 0 2152 393 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+51.113 s]
/proc/loadavg: 4.24 4.16 4.17 5/245 271771
/proc/meminfo: memFree=127901076/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=7896 CPUtime=51.02 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 574 0 0 0 4293 809 0 0 20 0 1 0 48775789 21127168 1974 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/242 271781
/proc/meminfo: memFree=127899856/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=102.13 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 576 0 0 0 8573 1640 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/242 271792
/proc/meminfo: memFree=127899096/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=162.04 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 577 0 0 0 13590 2614 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/242 271802
/proc/meminfo: memFree=127894988/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=221.95 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 577 0 0 0 18613 3582 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 221.95 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/242 271812
/proc/meminfo: memFree=127883488/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=281.86 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 577 0 0 0 23597 4589 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 281.86 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/242 271824
/proc/meminfo: memFree=127882580/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=341.77 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 577 0 0 0 28626 5551 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 341.77 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/243 271838
/proc/meminfo: memFree=127880720/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=401.68 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 577 0 0 0 33641 6527 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 401.68 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/243 271848
/proc/meminfo: memFree=127879868/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=461.59 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 577 0 0 0 38611 7548 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0

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

/proc/loadavg: 4.13 4.16 4.18 5/241 273527
/proc/meminfo: memFree=127846540/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3157.62 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 263610 52152 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3157.62 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/241 273537
/proc/meminfo: memFree=127845756/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3217.54 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 268619 53135 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3217.54 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.16 4.18 5/241 273547
/proc/meminfo: memFree=127844980/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3277.46 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 273627 54119 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3277.46 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/241 273558
/proc/meminfo: memFree=127844424/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3337.37 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 278641 55096 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3337.37 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/243 273573
/proc/meminfo: memFree=127843592/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3397.28 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 283636 56092 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3397.28 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/243 273583
/proc/meminfo: memFree=127842564/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3457.19 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 288643 57076 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3457.19 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 273594
/proc/meminfo: memFree=127841932/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3517.1 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 293637 58073 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3517.1 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

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

# cumulated CPU time of all completed processes:  user=2970.48 s, system=587.521 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.14 4.17 5/243 273595
/proc/meminfo: memFree=127841896/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3527.59 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 294516 58243 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3527.59 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3545.6 s]
/proc/loadavg: 4.16 4.15 4.17 5/243 273598
/proc/meminfo: memFree=127841680/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3540.37 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 295578 58459 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3540.37 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3552 s]*
/proc/loadavg: 4.14 4.15 4.17 5/243 273599
/proc/meminfo: memFree=127841652/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3546.77 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 296110 58567 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3546.77 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3558.4 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 273601
/proc/meminfo: memFree=127841540/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3553.15 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 296644 58671 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3553.15 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.14 4.17 5/243 273601
/proc/meminfo: memFree=127841540/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3556.35 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 296910 58725 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3556.35 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3562.4 s]
/proc/loadavg: 4.12 4.14 4.17 5/243 273601
/proc/meminfo: memFree=127841540/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3557.15 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 296976 58739 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3557.15 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3562.8 s]
/proc/loadavg: 4.12 4.14 4.17 5/243 273601
/proc/meminfo: memFree=127841540/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3557.54 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 297010 58744 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3557.54 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3563.2 s]
/proc/loadavg: 4.12 4.14 4.17 5/243 273601
/proc/meminfo: memFree=127841540/131655788 swapFree=131071728/131071996
[pid=271657] ppid=271654 vsize=20632 memory=8212 CPUtime=3557.94 cores=4,6
/proc/271657/stat : 271657 (LS-MabP) R 271654 271657 267553 0 -1 4194304 579 0 0 0 297044 58750 0 0 20 0 1 0 48775789 21127168 2053 134679101440 4194304 15467897 140728564590848 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45658112 140728564593689 140728564593798 140728564593798 140728564600814 0
/proc/271657/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

Child status: 0

Real time (s): 3563.25
CPU time (s): 3558
CPU user time (s): 2970.48
CPU system time (s): 587.521
CPU usage (%): 99.8527
Max. virtual memory (cumulated for all children) (KiB): 20632
Max. memory (cumulated for all children) (KiB): 8212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2970.48
system time used= 587.521
maximum resident set size= 8344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583
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= 2
involuntary context switches= 911


# summary of solver processes directly reported to runsolver:
#   pid: 271657
#   total CPU time (s): 3558
#   total CPU user time (s): 2970.48
#   total CPU system time (s): 587.521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5712 second user time and 34.9394 second system time

The end