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: 63665 MiB (60256 MiB free)
  memory of node 1: 64507 MiB (62633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514886-1751228872/watcher-4514886-1751228872 -o /tmp/evaluation-result-4514886-1751228872/solver-4514886-1751228872 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28442 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514886-1751228872.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=30618, runsolver pid=30615
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.12 4.13 4.09 6/337 30636
/proc/meminfo: memFree=125824096/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18930384 memory=57740 CPUtime=0.13 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 6569 0 0 0 11 2 0 0 20 0 18 0 38564916 19384713216 14435 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4732596 14435 5336 1 0 547619 0
[pid=30618/tid=30620] ppid=30615 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 5074 0 0 0 7 1 0 0 20 0 18 0 38564917 19384713216 14435 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38564919 19384713216 14435 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38564919 19384713216 14435 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57740 KiB

[startup+0.20577 s]*
/proc/loadavg: 4.12 4.13 4.09 7/338 30637
/proc/meminfo: memFree=125819496/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18996948 memory=62684 CPUtime=0.32 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 7275 0 0 0 30 2 0 0 20 0 19 0 38564916 19452874752 15671 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4749237 15671 5432 1 0 548456 0
[pid=30618/tid=30620] ppid=30615 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) S 30615 30618 28429 0 -1 4194368 5322 0 0 0 16 1 0 0 20 0 19 0 38564917 19452874752 15671 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18996948 memory=16880 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 15671 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 15671 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38564933 19452874752 15671 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62684 KiB

[startup+0.305745 s]*
/proc/loadavg: 4.12 4.13 4.09 6/338 30637
/proc/meminfo: memFree=125817732/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18996948 memory=64436 CPUtime=0.52 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 8379 0 0 0 49 3 0 0 20 0 19 0 38564916 19452874752 16109 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4749237 16109 5464 1 0 548721 0
[pid=30618/tid=30620] ppid=30615 vsize=18996948 memory=-6000919485658459244 CPUtime=0.26 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 5335 0 0 0 25 1 0 0 20 0 19 0 38564917 19452874752 16109 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 16109 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 16109 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38564933 19452874752 16109 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64436 KiB

[startup+0.700243 s]
/proc/loadavg: 4.12 4.13 4.09 6/338 30637
/proc/meminfo: memFree=125812188/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18996948 memory=77588 CPUtime=1.28 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 11080 0 0 0 124 4 0 0 20 0 19 0 38564916 19452874752 19397 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4749237 19397 5464 1 0 550334 0
[pid=30618/tid=30620] ppid=30615 vsize=18996948 memory=17408 CPUtime=0.63 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 5393 0 0 0 61 2 0 0 20 0 19 0 38564917 19452874752 19397 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 19397 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 19397 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38564933 19452874752 19397 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77588 KiB

[startup+1.50025 s]
/proc/loadavg: 4.12 4.13 4.09 6/338 30637
/proc/meminfo: memFree=125789856/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18996948 memory=102356 CPUtime=2.75 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 23256 0 0 0 269 6 0 0 20 0 19 0 38564916 19452874752 25589 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4749237 25589 5464 1 0 553943 0
[pid=30618/tid=30620] ppid=30615 vsize=18996948 memory=0 CPUtime=1.42 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 5733 0 0 0 140 2 0 0 20 0 19 0 38564917 19452874752 25589 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 25589 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 25589 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38564933 19452874752 25589 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102356 KiB

[startup+3.10552 s]
/proc/loadavg: 4.12 4.13 4.09 5/338 30637
/proc/meminfo: memFree=125758232/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18996948 memory=120916 CPUtime=4.44 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 23838 0 0 0 438 6 0 0 20 0 19 0 38564916 19452874752 30229 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4749237 30229 5464 1 0 553945 0
[pid=30618/tid=30620] ppid=30615 vsize=18996948 memory=10752 CPUtime=3.02 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 6044 0 0 0 300 2 0 0 20 0 19 0 38564917 19452874752 30229 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18996948 memory=-6000919485658459244 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 30229 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 30229 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38564933 19452874752 30229 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120916 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.13 4.09 5/338 30637
/proc/meminfo: memFree=125729976/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=18996948 memory=141336 CPUtime=7.8 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 24495 0 0 0 773 7 0 0 20 0 19 0 38564916 19452874752 35334 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4749237 35334 5464 1 0 553964 0
[pid=30618/tid=30620] ppid=30615 vsize=18996948 memory=0 CPUtime=6.21 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 6194 0 0 0 618 3 0 0 20 0 19 0 38564917 19452874752 35334 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 35334 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38564919 19452874752 35334 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=18996948 memory=104532 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38564933 19452874752 35334 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.09 5/339 30638
/proc/meminfo: memFree=125689040/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=176560 CPUtime=14.19 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 27518 0 0 0 1411 8 0 0 20 0 20 0 38564916 19521036288 44140 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 44140 5464 1 0 554253 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=104532 CPUtime=12.57 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 7106 0 0 0 1254 3 0 0 20 0 20 0 38564917 19521036288 44140 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=176560 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 44140 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 44140 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 44140 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.09 5/339 30638
/proc/meminfo: memFree=125656816/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=182752 CPUtime=26.97 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 28964 0 0 0 2689 8 0 0 20 0 20 0 38564916 19521036288 45688 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 45688 5464 1 0 554253 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=176560 CPUtime=25.33 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 7458 0 0 0 2530 3 0 0 20 0 20 0 38564917 19521036288 45688 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 45688 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=176560 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 45688 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 45688 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 26.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182752 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.13 4.09 5/339 30639
/proc/meminfo: memFree=125434648/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=224112 CPUtime=52.56 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 29296 0 0 0 5246 10 0 0 20 0 20 0 38564916 19521036288 56028 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 56028 5496 1 0 554253 0

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

/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 394 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1003.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1042.32 s]
# the end of solver process 30618 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1042.5 s, system=0.535816 s

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

[startup+1024 s]*
/proc/loadavg: 4.24 4.18 4.15 5/341 30691
/proc/meminfo: memFree=116363144/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1024.72 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47704 0 0 0 102420 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=2314914285914977534 CPUtime=1020.44 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14688 0 0 0 102034 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=3472328296227420993 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=4715432209094962848 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 394 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1024.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1030.4 s]
/proc/loadavg: 4.22 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116363232/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1031.1 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47784 0 0 0 103058 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1026.82 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14696 0 0 0 102672 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1031.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1036.8 s]
/proc/loadavg: 4.21 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116289512/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1037.49 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47896 0 0 0 103697 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=17408 CPUtime=1033.2 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14808 0 0 0 103310 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1037.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1040 s]*
/proc/loadavg: 4.19 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116289512/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1040.68 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47901 0 0 0 104016 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=-6000919485658459244 CPUtime=1036.4 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14813 0 0 0 103630 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=4715432209094962848 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=799628 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=7024 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1040.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1041.6 s]
/proc/loadavg: 4.19 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116289512/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1042.27 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47905 0 0 0 104175 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1037.99 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14817 0 0 0 103789 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=9088 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=46464 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1042.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1042 s]*
/proc/loadavg: 4.19 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116051944/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1042.68 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47906 0 0 0 104216 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=-6000919485658459244 CPUtime=1038.4 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14818 0 0 0 103830 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=4715432209094962848 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=7681062374679864096 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=245635481903 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1042.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1042.2 s]
/proc/loadavg: 4.19 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116051944/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19063512 memory=1296104 CPUtime=1042.87 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 47961 0 0 0 104235 52 0 0 20 0 20 0 38564916 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4765878 324026 5496 1 0 554255 0
[pid=30618/tid=30620] ppid=30615 vsize=19063512 memory=245635481903 CPUtime=1038.59 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) R 30615 30618 28429 0 -1 4194368 14826 0 0 0 103849 10 0 0 20 0 20 0 38564917 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19063512 memory=61805452067567 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19063512 memory=3473458628571430944 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30637] ppid=30615 vsize=19063512 memory=8440 CPUtime=0 cores=5,7
/proc/30618/task/30637/stat : 30637 (Timer-0) S 30615 30618 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38564933 19521036288 324026 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1042.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1296104 KiB

[startup+1042.3 s]
/proc/loadavg: 4.19 4.17 4.14 5/341 30691
/proc/meminfo: memFree=116051944/131249996 swapFree=33010684/33010684
[pid=30618] ppid=30615 vsize=19196640 memory=1296744 CPUtime=1043.02 cores=5,7
/proc/30618/stat : 30618 (java) S 30615 30618 28429 0 -1 4194304 50318 0 0 0 104250 52 0 0 20 0 20 0 38564916 19657359360 324186 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
/proc/30618/statm: 4799160 324186 5528 1 0 554889 0
[pid=30618/tid=30620] ppid=30615 vsize=19196640 memory=1296104 CPUtime=1038.6 cores=5,7
/proc/30618/task/30620/stat : 30620 (java) S 30615 30618 28429 0 -1 4194368 16419 0 0 0 103850 10 0 0 20 0 20 0 38564917 19657359360 324186 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30629] ppid=30615 vsize=19196640 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30629/stat : 30629 (Finalizer) S 30615 30618 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38564919 19657359360 324186 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
[pid=30618/tid=30636] ppid=30615 vsize=19196640 memory=1296104 CPUtime=0 cores=5,7
/proc/30618/task/30636/stat : 30636 (Common-Cleaner) S 30615 30618 28429 0 -1 4194368 466 0 0 0 0 0 0 0 20 0 20 0 38564919 19657359360 324186 18446744073709551615 94580615766016 94580615769712 140732036392816 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94580615777528 94580615778320 94580618194944 140732036397441 140732036397542 140732036397542 140732036403144 0
Current children cumulated CPU time: 1043.02 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1296744 KiB

Child status: 20

Real time (s): 1042.32
CPU time (s): 1043.04
CPU user time (s): 1042.5
CPU system time (s): 0.535816
CPU usage (%): 100.069
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1296744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1042.5
system time used= 0.535816
maximum resident set size= 1297000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31841
involuntary context switches= 1365


# summary of solver processes directly reported to runsolver:
#   pid: 30618
#   total CPU time (s): 1043.04
#   total CPU user time (s): 1042.5
#   total CPU system time (s): 0.535816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14154 second user time and 4.91986 second system time

The end