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: 63708 MiB (59301 MiB free)
  memory of node 1: 64465 MiB (41214 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527694-1752235960/watcher-4527694-1752235960 -o /tmp/evaluation-result-4527694-1752235960/solver-4527694-1752235960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113511 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527694-1752235960.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=115010, runsolver pid=115007

[startup+0.100063 s]*
/proc/loadavg: 6.80 7.68 7.52 7/267 115011
/proc/meminfo: memFree=102916380/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=0.09 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 9 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+0.205553 s]*
/proc/loadavg: 6.80 7.68 7.52 7/267 115011
/proc/meminfo: memFree=102900252/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=0.2 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 20 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+0.305216 s]*
/proc/loadavg: 6.80 7.68 7.52 7/267 115011
/proc/meminfo: memFree=102892188/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=0.3 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 30 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+0.700144 s]
/proc/loadavg: 6.80 7.68 7.52 7/267 115011
/proc/meminfo: memFree=102876060/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=0.69 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 69 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+1.50015 s]
/proc/loadavg: 6.80 7.68 7.52 7/267 115011
/proc/meminfo: memFree=102827172/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=1.49 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 149 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+3.10516 s]
/proc/loadavg: 6.80 7.68 7.52 7/267 115011
/proc/meminfo: memFree=102640504/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=3.09 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 309 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+6.30014 s]
/proc/loadavg: 6.81 7.66 7.52 7/267 115011
/proc/meminfo: memFree=101866612/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=41960 memory=7296 CPUtime=6.28 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) R 115007 115010 113493 0 -1 4194304 844 0 0 0 628 0 0 0 20 0 1 0 139275480 42967040 1824 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 10490 1824 1152 6655 0 725 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7296 KiB

[startup+12.7002 s]
/proc/loadavg: 6.75 7.64 7.51 7/268 115014
/proc/meminfo: memFree=101353712/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=36856 memory=21320 CPUtime=2.58 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 3306 0 0 0 257 1 0 0 20 0 1 0 139276489 37740544 5330 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 9214 5330 1152 1011 0 7981 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 162660 KiB
Current children cumulated memory: 49068 KiB

[startup+25.5002 s]
/proc/loadavg: 6.58 7.56 7.48 7/269 115015
/proc/meminfo: memFree=99898280/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=44276 memory=32804 CPUtime=15.35 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 5152 0 0 0 1527 8 0 0 20 0 1 0 139276489 45338624 8201 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 11069 8201 1152 1011 0 9836 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 170080 KiB
Current children cumulated memory: 60552 KiB

[startup+51.1055 s]
/proc/loadavg: 6.15 7.38 7.43 5/269 115018
/proc/meminfo: memFree=97566992/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=67444 memory=50532 CPUtime=40.89 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 8321 0 0 0 4069 20 0 0 20 0 1 0 139276489 69062656 12633 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 16861 12633 1152 1011 0 15628 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 193248 KiB
Current children cumulated memory: 78280 KiB

[startup+102.3 s]
/proc/loadavg: 5.01 6.87 7.25 5/268 115019
/proc/meminfo: memFree=97050048/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=75844 memory=61012 CPUtime=91.96 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 10433 0 0 0 9162 34 0 0 20 0 1 0 139276489 77664256 15253 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 18961 15253 1152 1011 0 17728 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 88760 KiB

[startup+162.3 s]
/proc/loadavg: 4.37 6.35 7.04 5/269 115115
/proc/meminfo: memFree=120481360/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=86704 memory=78024 CPUtime=151.78 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 13178 0 0 0 15119 59 0 0 20 0 1 0 139276489 88784896 19506 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 21676 19506 1152 1011 0 20443 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 212508 KiB
Current children cumulated memory: 105772 KiB

[startup+222.3 s]
/proc/loadavg: 4.83 6.12 6.92 6/270 115118
/proc/meminfo: memFree=120288300/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=89680 memory=81096 CPUtime=211.6 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 13937 0 0 0 21079 81 0 0 20 0 1 0 139276489 91832320 20274 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 22420 20274 1152 1011 0 21187 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 215484 KiB
Current children cumulated memory: 108844 KiB

[startup+282.3 s]
/proc/loadavg: 5.00 5.93 6.80 6/270 115120
/proc/meminfo: memFree=120248200/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=93620 memory=85064 CPUtime=271.42 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 14942 0 0 0 27039 103 0 0 20 0 1 0 139276489 95866880 21266 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23405 21266 1152 1011 0 22172 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 219424 KiB
Current children cumulated memory: 112812 KiB

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

# cumulated CPU time of all completed processes:  user=297.955 s, system=1.12412 s

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

[startup+288 s]*
/proc/loadavg: 5.00 5.91 6.79 6/270 115120
/proc/meminfo: memFree=120245528/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=93768 memory=85192 CPUtime=277.11 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 14989 0 0 0 27606 105 0 0 20 0 1 0 139276489 96018432 21298 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23442 21298 1152 1011 0 22209 0
Current children cumulated CPU time: 287.16 s
Current children cumulated vsize: 219572 KiB
Current children cumulated memory: 112940 KiB

[startup+294.4 s]
/proc/loadavg: 5.00 5.88 6.77 6/270 115121
/proc/meminfo: memFree=120248068/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=94080 memory=85448 CPUtime=283.48 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 15055 0 0 0 28240 108 0 0 20 0 1 0 139276489 96337920 21362 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23520 21362 1152 1011 0 22287 0
Current children cumulated CPU time: 293.53 s
Current children cumulated vsize: 219884 KiB
Current children cumulated memory: 113196 KiB

[startup+297.6 s]
/proc/loadavg: 5.00 5.88 6.77 6/270 115121
/proc/meminfo: memFree=120248276/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=94216 memory=85576 CPUtime=286.68 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 15085 0 0 0 28559 109 0 0 20 0 1 0 139276489 96477184 21394 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23554 21394 1152 1011 0 22321 0
Current children cumulated CPU time: 296.73 s
Current children cumulated vsize: 220020 KiB
Current children cumulated memory: 113324 KiB

[startup+299.2 s]
/proc/loadavg: 5.00 5.86 6.76 6/270 115121
/proc/meminfo: memFree=120248528/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=94888 memory=86344 CPUtime=288.27 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 15278 0 0 0 28717 110 0 0 20 0 1 0 139276489 97165312 21586 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23722 21586 1152 1011 0 22489 0
Current children cumulated CPU time: 298.32 s
Current children cumulated vsize: 220692 KiB
Current children cumulated memory: 114092 KiB

[startup+299.6 s]
/proc/loadavg: 5.00 5.86 6.76 6/270 115121
/proc/meminfo: memFree=120248528/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=94888 memory=86344 CPUtime=288.67 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 15278 0 0 0 28757 110 0 0 20 0 1 0 139276489 97165312 21586 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23722 21586 1152 1011 0 22489 0
Current children cumulated CPU time: 298.72 s
Current children cumulated vsize: 220692 KiB
Current children cumulated memory: 114092 KiB

[startup+299.8 s]
/proc/loadavg: 5.00 5.86 6.76 6/270 115121
/proc/meminfo: memFree=120248528/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=95532 memory=86856 CPUtime=288.87 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 15414 0 0 0 28777 110 0 0 20 0 1 0 139276489 97824768 21714 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23883 21714 1152 1011 0 22650 0
Current children cumulated CPU time: 298.92 s
Current children cumulated vsize: 221336 KiB
Current children cumulated memory: 114604 KiB

[startup+299.9 s]
/proc/loadavg: 5.00 5.86 6.76 6/270 115121
/proc/meminfo: memFree=120248528/131250000 swapFree=33009904/33010684
[pid=115010] ppid=115007 vsize=125804 memory=27748 CPUtime=10.05 cores=4,6
/proc/115010/stat : 115010 (LSIPExact) S 115007 115010 113493 0 -1 4194304 3984 228 0 0 1005 0 0 0 20 0 1 0 139275480 128823296 6937 18446744073709551615 94598973607936 94599000865105 140734626954144 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94599009367176 94599009798784 94599040737280 140734626957656 140734626957832 140734626957832 140734626963436 0
/proc/115010/statm: 31451 6937 3328 6655 0 6100 0
[pid=115014] ppid=115010 vsize=95532 memory=86856 CPUtime=288.97 cores=4,6
/proc/115014/stat : 115014 (Exact) R 115010 115014 115014 0 -1 4194304 15414 0 0 0 28787 110 0 0 20 0 1 0 139276489 97824768 21714 18446744073709551615 4198400 8335837 140721100982016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 30961664 140721100990642 140721100991003 140721100991003 140721100996559 0
/proc/115014/statm: 23883 21714 1152 1011 0 22650 0
Current children cumulated CPU time: 299.02 s
Current children cumulated vsize: 221336 KiB
Current children cumulated memory: 114604 KiB

Child status: 0

Real time (s): 299.931
CPU time (s): 299.079
CPU user time (s): 297.955
CPU system time (s): 1.12412
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 221336
Max. memory (cumulated for all children) (KiB): 114604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.955
system time used= 1.12412
maximum resident set size= 86856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19629
page faults= 0
swaps= 0
block input operations= 160
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 419
involuntary context switches= 407


# summary of solver processes directly reported to runsolver:
#   pid: 115010
#   total CPU time (s): 299.079
#   total CPU user time (s): 297.955
#   total CPU system time (s): 1.12412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.551498 second user time and 1.44459 second system time

The end