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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428111-1722827514/watcher-4428111-1722827514 -o /tmp/evaluation-result-4428111-1722827514/solver-4428111-1722827514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722827514-268457 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4428111-1722827514.opb -t 3558 -s 1116572639 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=268494, runsolver pid=268488
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 3.15 3.88 4.02 6/251 268508
/proc/meminfo: memFree=129344000/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=0.09 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 569 0 0 0 8 1 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+0.205892 s]*
/proc/loadavg: 3.15 3.88 4.02 6/257 268518
/proc/meminfo: memFree=129320224/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=0.2 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 569 0 0 0 18 2 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+0.305703 s]*
/proc/loadavg: 3.15 3.88 4.02 6/257 268518
/proc/meminfo: memFree=129304064/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=0.3 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 569 0 0 0 27 3 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+0.700219 s]
/proc/loadavg: 3.15 3.88 4.02 6/257 268518
/proc/meminfo: memFree=129255952/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=0.69 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 575 0 0 0 62 7 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/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.50022 s]
/proc/loadavg: 3.15 3.88 4.02 6/257 268518
/proc/meminfo: memFree=129069600/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=1.49 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 575 0 0 0 131 18 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/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.10576 s]
/proc/loadavg: 3.15 3.88 4.02 6/257 268518
/proc/meminfo: memFree=128586920/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=3.09 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 576 0 0 0 267 42 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+6.30021 s]
/proc/loadavg: 3.22 3.88 4.02 6/257 268520
/proc/meminfo: memFree=128228744/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=6.28 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 576 0 0 0 541 87 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/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.7002 s]
/proc/loadavg: 3.28 3.88 4.02 6/257 268520
/proc/meminfo: memFree=128228128/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=12.67 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 576 0 0 0 1082 185 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/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.5002 s]
/proc/loadavg: 3.44 3.89 4.01 6/257 268523
/proc/meminfo: memFree=128192460/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=25.43 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 576 0 0 0 2164 379 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+51.1057 s]
/proc/loadavg: 3.69 3.91 4.02 6/257 268527
/proc/meminfo: memFree=127972720/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=7896 CPUtime=50.97 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 576 0 0 0 4308 789 0 0 20 0 1 0 49352537 21127168 1974 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 1974 1073 2753 0 1811 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 7896 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 3.96 4.02 6/257 268535
/proc/meminfo: memFree=127963428/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=102.05 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 578 0 0 0 8590 1615 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.00 4.03 5/258 268548
/proc/meminfo: memFree=127903164/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=161.93 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 579 0 0 0 13616 2577 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.01 4.03 5/258 268558
/proc/meminfo: memFree=127831384/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=221.82 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 579 0 0 0 18657 3525 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.02 4.03 5/256 268568
/proc/meminfo: memFree=127823112/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=281.72 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 579 0 0 0 23659 4513 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 281.72 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.06 4.04 6/255 268580
/proc/meminfo: memFree=127821236/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=341.61 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 579 0 0 0 28696 5465 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.06 4.04 5/255 268592
/proc/meminfo: memFree=127809124/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=401.51 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 579 0 0 0 33715 6436 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.10 4.05 6/255 268603
/proc/meminfo: memFree=127745944/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=461.4 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 579 0 0 0 38715 7425 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0

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

/proc/loadavg: 4.16 4.12 4.09 6/254 270298
/proc/meminfo: memFree=127661708/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3216.58 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 269538 52120 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3216.58 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/254 270309
/proc/meminfo: memFree=127660936/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3276.48 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 274560 53088 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3276.48 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/254 270320
/proc/meminfo: memFree=127660220/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3336.36 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 279568 54068 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3336.36 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/254 270332
/proc/meminfo: memFree=127659496/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3396.27 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 284605 55022 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3396.27 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/254 270342
/proc/meminfo: memFree=127658796/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3456.16 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 289618 55998 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3456.16 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.60 4.28 4.15 6/257 270357
/proc/meminfo: memFree=127658188/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3516.06 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 294636 56970 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3516.06 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

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

# cumulated CPU time of all completed processes:  user=2981.49 s, system=576.515 s

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

[startup+3532.8 s]
/proc/loadavg: 4.51 4.27 4.15 6/257 270359
/proc/meminfo: memFree=127658084/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3526.54 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 295515 57139 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3526.54 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3545.6 s]
/proc/loadavg: 4.39 4.26 4.15 6/257 270363
/proc/meminfo: memFree=127657636/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3539.32 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 296586 57346 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3539.32 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3552 s]*
/proc/loadavg: 4.36 4.25 4.15 6/257 270364
/proc/meminfo: memFree=127657716/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3545.71 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 297115 57456 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3545.71 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3558.4 s]
/proc/loadavg: 4.33 4.25 4.15 6/257 270365
/proc/meminfo: memFree=127657716/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3552.1 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 297650 57560 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3552.1 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3561.6 s]
/proc/loadavg: 4.39 4.26 4.15 6/257 270365
/proc/meminfo: memFree=127657736/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3555.29 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 297918 57611 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3555.29 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3563.2 s]
/proc/loadavg: 4.39 4.26 4.15 6/257 270365
/proc/meminfo: memFree=127657736/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3556.89 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 298055 57634 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3556.89 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3564 s]*
/proc/loadavg: 4.39 4.26 4.15 6/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3557.7 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 298123 57647 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3557.7 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3564.2 s]
/proc/loadavg: 4.39 4.26 4.15 6/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3557.89 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 298139 57650 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

[startup+3564.3 s]
/proc/loadavg: 4.39 4.26 4.15 6/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268494] ppid=268488 vsize=20632 memory=8212 CPUtime=3557.99 cores=5,7
/proc/268494/stat : 268494 (LS-MabSP) R 268488 268494 268444 0 -1 4194304 581 0 0 0 298148 57651 0 0 20 0 1 0 49352537 21127168 2053 134679101440 4194304 15467897 140728663942064 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54571008 140728663946270 140728663946373 140728663946373 140728663953389 0
/proc/268494/statm: 5158 2053 1089 2753 0 1811 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 8212 KiB

Child status: 0

Real time (s): 3564.31
CPU time (s): 3558.01
CPU user time (s): 2981.49
CPU system time (s): 576.515
CPU usage (%): 99.8231
Max. virtual memory (cumulated for all children) (KiB): 20632
Max. memory (cumulated for all children) (KiB): 8212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2981.49
system time used= 576.515
maximum resident set size= 8344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585
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= 2700


# summary of solver processes directly reported to runsolver:
#   pid: 268494
#   total CPU time (s): 3558.01
#   total CPU user time (s): 2981.49
#   total CPU system time (s): 576.515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21429 second user time and 13.5881 second system time

The end