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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=246158, runsolver pid=246155
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 0.08 0.21 1.36 5/248 246185
/proc/meminfo: memFree=125251364/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=21512 memory=9284 CPUtime=0.1 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 991 0 0 0 10 0 0 0 20 0 1 0 44743858 22028288 2321 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5378 2321 1105 2753 0 2031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 9284 KiB

[startup+0.205402 s]*
/proc/loadavg: 0.08 0.21 1.36 6/257 246199
/proc/meminfo: memFree=125221904/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=0.19 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2316 0 0 0 19 0 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+0.304672 s]*
/proc/loadavg: 0.08 0.21 1.36 5/257 246199
/proc/meminfo: memFree=125218660/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=0.3 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2751 0 0 0 28 2 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+0.700146 s]
/proc/loadavg: 0.08 0.21 1.36 5/257 246199
/proc/meminfo: memFree=125216700/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=0.69 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 65 4 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+1.50008 s]
/proc/loadavg: 0.47 0.29 1.38 5/257 246199
/proc/meminfo: memFree=125216404/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=1.49 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 139 10 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+3.10435 s]
/proc/loadavg: 0.47 0.29 1.38 5/257 246199
/proc/meminfo: memFree=125217160/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=3.09 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 289 20 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+6.30014 s]
/proc/loadavg: 0.75 0.36 1.40 5/257 246201
/proc/meminfo: memFree=125217032/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=6.27 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 588 39 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+12.7001 s]
/proc/loadavg: 1.09 0.43 1.42 5/257 246201
/proc/meminfo: memFree=125216904/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=12.66 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 1193 73 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+25.5001 s]
/proc/loadavg: 1.54 0.55 1.44 5/257 246202
/proc/meminfo: memFree=125216868/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=25.42 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 2399 143 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+51.1044 s]
/proc/loadavg: 2.57 0.90 1.53 5/256 246591
/proc/meminfo: memFree=125215088/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=50.97 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 4809 288 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.39 1.67 5/257 246601
/proc/meminfo: memFree=125215468/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10608 CPUtime=102.04 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2838 0 0 0 9636 568 0 0 20 0 1 0 44743858 23162880 2652 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2652 1169 2753 0 2308 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10608 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.90 1.83 5/258 246613
/proc/meminfo: memFree=125214740/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=161.91 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2848 0 0 0 15306 885 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.32 1.98 5/258 246624
/proc/meminfo: memFree=125213956/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=221.79 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2850 0 0 0 20974 1205 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.64 2.11 5/260 246804
/proc/meminfo: memFree=125213588/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=281.66 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2852 0 0 0 26641 1525 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 2.92 2.24 5/260 246815
/proc/meminfo: memFree=125213020/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=341.54 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2853 0 0 0 32319 1835 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.14 2.36 5/260 246883
/proc/meminfo: memFree=125212208/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=401.41 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2854 0 0 0 37991 2150 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.33 2.48 5/258 246894
/proc/meminfo: memFree=125211672/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=461.29 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2855 0 0 0 43658 2471 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0

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

/proc/loadavg: 4.13 4.12 4.04 5/254 247964
/proc/meminfo: memFree=125191064/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3155.72 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2900 0 0 0 298807 16765 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3155.72 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/254 247978
/proc/meminfo: memFree=125190716/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3215.6 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2901 0 0 0 304464 17096 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3215.6 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.05 5/254 247988
/proc/meminfo: memFree=125190100/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3275.47 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2902 0 0 0 310130 17417 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3275.47 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/254 247998
/proc/meminfo: memFree=125189652/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3335.35 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2903 0 0 0 315788 17747 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3335.35 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/257 248013
/proc/meminfo: memFree=125189312/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3395.23 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2904 0 0 0 321458 18065 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3395.23 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/257 248024
/proc/meminfo: memFree=125188824/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3455.1 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2905 0 0 0 327123 18387 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3455.1 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/257 248035
/proc/meminfo: memFree=125188376/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3514.98 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2906 0 0 0 332789 18709 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3514.98 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

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

# cumulated CPU time of all completed processes:  user=3368.61 s, system=189.392 s

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

[startup+3532.8 s]
/proc/loadavg: 4.14 4.12 4.06 5/258 248037
/proc/meminfo: memFree=125188012/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3525.45 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2906 0 0 0 333784 18761 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3525.45 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.12 4.06 5/258 248040
/proc/meminfo: memFree=125188004/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3538.23 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2906 0 0 0 334992 18831 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3538.23 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3558.4 s]
/proc/loadavg: 4.09 4.11 4.06 5/258 248043
/proc/meminfo: memFree=125188040/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3551 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2907 0 0 0 336201 18899 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3551 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3561.6 s]
/proc/loadavg: 4.09 4.11 4.06 5/258 248043
/proc/meminfo: memFree=125188040/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3554.2 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2907 0 0 0 336504 18916 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3554.2 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3563.2 s]
/proc/loadavg: 4.08 4.11 4.05 5/258 248043
/proc/meminfo: memFree=125188040/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3555.8 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2907 0 0 0 336656 18924 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3555.8 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3564.8 s]
/proc/loadavg: 4.08 4.11 4.05 3/248 248059
/proc/meminfo: memFree=125203888/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3557.39 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2907 0 0 0 336804 18935 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3557.39 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3565.2 s]
/proc/loadavg: 4.08 4.11 4.05 5/258 248135
/proc/meminfo: memFree=125051480/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3557.78 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2907 0 0 0 336841 18937 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3557.78 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

[startup+3565.4 s]
/proc/loadavg: 4.08 4.11 4.05 5/258 248135
/proc/meminfo: memFree=125051480/131524600 swapFree=131071216/131071996
[pid=246158] ppid=246155 vsize=22620 memory=10708 CPUtime=3557.99 cores=0,2
/proc/246158/stat : 246158 (LS-MabP) R 246155 246158 246126 0 -1 4194304 2907 0 0 0 336860 18939 0 0 20 0 1 0 44743858 23162880 2677 134679101440 4194304 15467897 140733532468064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 28770304 140733532476442 140733532476550 140733532476550 140733532483566 0
/proc/246158/statm: 5655 2677 1169 2753 0 2308 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 10708 KiB

Child status: 0

Real time (s): 3565.41
CPU time (s): 3558
CPU user time (s): 3368.61
CPU system time (s): 189.392
CPU usage (%): 99.7924
Max. virtual memory (cumulated for all children) (KiB): 22620
Max. memory (cumulated for all children) (KiB): 10708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3368.61
system time used= 189.392
maximum resident set size= 10952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2997
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= 3
involuntary context switches= 24378


# summary of solver processes directly reported to runsolver:
#   pid: 246158
#   total CPU time (s): 3558
#   total CPU user time (s): 3368.61
#   total CPU system time (s): 189.392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93787 second user time and 11.2576 second system time

The end