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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519842-1751563092/watcher-4519842-1751563092 -o /tmp/evaluation-result-4519842-1751563092/solver-4519842-1751563092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751563092-77675 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4519842-1751563092.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=77731, runsolver pid=77716

[startup+0.100059 s]*
/proc/loadavg: 2.49 3.72 3.96 8/331 77800
/proc/meminfo: memFree=126712144/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=18930384 memory=55632 CPUtime=0.12 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 6537 0 0 0 10 2 0 0 20 0 18 0 71987608 19384713216 13908 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4732596 13908 5335 1 0 547588 0
[pid=77731/tid=77751] ppid=77716 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 5043 0 0 0 6 1 0 0 20 0 18 0 71987610 19384713216 13908 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71987612 19384713216 13908 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=18930384 memory=59585004339238 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 71987613 19384713216 13908 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55632 KiB

[startup+0.205687 s]*
/proc/loadavg: 2.49 3.72 3.96 11/331 77800
/proc/meminfo: memFree=126677624/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=18930384 memory=64228 CPUtime=0.3 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 7087 0 0 0 28 2 0 0 20 0 18 0 71987608 19384713216 16057 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4732596 16057 5431 1 0 547957 0
[pid=77731/tid=77751] ppid=77716 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 5377 0 0 0 14 1 0 0 20 0 18 0 71987610 19384713216 16057 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=18930384 memory=2641 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71987612 19384713216 16057 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 71987613 19384713216 16057 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64228 KiB

[startup+0.305685 s]*
/proc/loadavg: 2.49 3.72 3.96 12/334 77803
/proc/meminfo: memFree=126602012/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=18996948 memory=73936 CPUtime=0.49 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 7635 0 0 0 46 3 0 0 20 0 19 0 71987608 19452874752 18484 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4749237 18484 5463 1 0 548493 0
[pid=77731/tid=77751] ppid=77716 vsize=18996948 memory=-6000919481363424616 CPUtime=0.24 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 5517 0 0 0 23 1 0 0 20 0 19 0 71987610 19452874752 18484 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71987612 19452874752 18484 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 71987613 19452874752 18484 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71987631 19452874752 18484 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73936 KiB

[startup+0.700225 s]
/proc/loadavg: 2.49 3.72 3.96 10/335 77804
/proc/meminfo: memFree=126409072/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=170824 CPUtime=1.25 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 11635 0 0 0 121 4 0 0 20 0 20 0 71987608 19521036288 42706 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 42706 5495 1 0 551929 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=18688 CPUtime=0.62 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 5567 0 0 0 60 2 0 0 20 0 20 0 71987610 19521036288 42706 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 42706 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 42706 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 42706 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170824 KiB

[startup+1.50022 s]
/proc/loadavg: 2.49 3.72 3.96 10/339 77808
/proc/meminfo: memFree=126200848/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=261764 CPUtime=2.76 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 15931 0 0 0 269 7 0 0 20 0 20 0 71987608 19521036288 65441 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 65441 5495 1 0 552483 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=0 CPUtime=1.32 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 5841 0 0 0 128 4 0 0 20 0 20 0 71987610 19521036288 65441 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 65441 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 65441 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 65441 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 261764 KiB

[startup+3.10566 s]
/proc/loadavg: 2.69 3.74 3.97 5/339 77808
/proc/meminfo: memFree=124910264/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=1069948 CPUtime=5.26 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 20187 0 0 0 503 23 0 0 20 0 20 0 71987608 19521036288 267487 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 267487 5495 1 0 1078873 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=10752 CPUtime=2.89 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 6831 0 0 0 271 18 0 0 20 0 20 0 71987610 19521036288 267487 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 267487 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 267487 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 267487 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1069948 KiB

[startup+6.30022 s]
/proc/loadavg: 2.69 3.74 3.97 5/339 77808
/proc/meminfo: memFree=122372088/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=1651688 CPUtime=8.63 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 20774 0 0 0 831 32 0 0 20 0 20 0 71987608 19521036288 412922 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 412922 5495 1 0 1078877 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=0 CPUtime=6 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 7178 0 0 0 573 27 0 0 20 0 20 0 71987610 19521036288 412922 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 412922 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 412922 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=331396 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 412922 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1651688 KiB

[startup+12.7002 s]
/proc/loadavg: 2.87 3.76 3.97 5/339 77808
/proc/meminfo: memFree=117961624/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2577432 CPUtime=15.07 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 21733 0 0 0 1456 51 0 0 20 0 20 0 71987608 19521036288 644358 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 644358 5495 1 0 1078880 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=331396 CPUtime=12.28 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 8058 0 0 0 1184 44 0 0 20 0 20 0 71987610 19521036288 644358 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=2083864 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 644358 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 644358 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 644358 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2577432 KiB

[startup+25.5002 s]
/proc/loadavg: 3.12 3.77 3.97 6/339 77808
/proc/meminfo: memFree=115776792/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2624652 CPUtime=28.07 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 25916 0 0 0 2755 52 0 0 20 0 20 0 71987608 19521036288 656163 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 656163 5495 1 0 1078885 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=2083864 CPUtime=24.81 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 10132 0 0 0 2437 44 0 0 20 0 20 0 71987610 19521036288 656163 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 656163 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=2606152 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 656163 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=2614352 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 656163 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 28.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2624652 KiB

[startup+51.1058 s]
/proc/loadavg: 3.54 3.83 3.99 6/340 77810
/proc/meminfo: memFree=114411412/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2654260 CPUtime=54.29 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 33700 0 0 0 5374 55 0 0 20 0 20 0 71987608 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 663565 5495 1 0 1078917 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=49.95 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 13554 0 0 0 4950 45 0 0 20 0 20 0 71987610 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=2641052 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 54.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2654260 KiB

[startup+70.4524 s]
# the end of solver process 77731 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=73.8358 s, system=0.592526 s

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

[startup+51.2003 s]
/proc/loadavg: 3.54 3.83 3.99 6/340 77810
/proc/meminfo: memFree=114411412/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2654260 CPUtime=54.38 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 33721 0 0 0 5383 55 0 0 20 0 20 0 71987608 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 663565 5495 1 0 1078917 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=2641052 CPUtime=50.05 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 13575 0 0 0 4960 45 0 0 20 0 20 0 71987610 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=2003992 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 663565 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 54.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2654260 KiB

[startup+64.0002 s]*
/proc/loadavg: 3.64 3.83 3.99 5/340 77811
/proc/meminfo: memFree=114329380/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2669324 CPUtime=67.68 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 34619 0 0 0 6712 56 0 0 20 0 20 0 71987608 19521036288 667331 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 667331 5495 1 0 1078933 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=6772 CPUtime=62.59 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 14166 0 0 0 6214 45 0 0 20 0 20 0 71987610 19521036288 667331 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=4211599714544152217 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 667331 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=2432 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 667331 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 667331 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 67.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2669324 KiB

[startup+67.2002 s]
/proc/loadavg: 3.64 3.83 3.99 5/340 77811
/proc/meminfo: memFree=114320432/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2674200 CPUtime=71.15 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 36104 0 0 0 7058 57 0 0 20 0 20 0 71987608 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 668550 5495 1 0 1079561 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=18688 CPUtime=65.7 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 14186 0 0 0 6525 45 0 0 20 0 20 0 71987610 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=2673292 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 71.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2674200 KiB

[startup+68.8002 s]
/proc/loadavg: 3.75 3.85 3.99 6/340 77811
/proc/meminfo: memFree=114295856/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2674200 CPUtime=72.74 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 36337 0 0 0 7217 57 0 0 20 0 20 0 71987608 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 668550 5495 1 0 1079561 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=17616 CPUtime=67.29 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 14417 0 0 0 6684 45 0 0 20 0 20 0 71987610 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=10240 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 72.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2674200 KiB

[startup+69.6002 s]
/proc/loadavg: 3.75 3.85 3.99 6/340 77811
/proc/meminfo: memFree=114295856/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2674200 CPUtime=73.55 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 36342 0 0 0 7298 57 0 0 20 0 20 0 71987608 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 668550 5495 1 0 1079561 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=5632 CPUtime=68.09 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 14419 0 0 0 6764 45 0 0 20 0 20 0 71987610 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 73.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2674200 KiB

[startup+70.0002 s]*
/proc/loadavg: 3.75 3.85 3.99 5/340 77811
/proc/meminfo: memFree=114270404/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2674200 CPUtime=73.95 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 36352 0 0 0 7338 57 0 0 20 0 20 0 71987608 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 668550 5495 1 0 1079561 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=68.49 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 14428 0 0 0 6804 45 0 0 20 0 20 0 71987610 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=4211599714544152217 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=52992128844179 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=14418115840706238 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 73.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2674200 KiB

[startup+70.4002 s]
/proc/loadavg: 3.75 3.85 3.99 5/340 77811
/proc/meminfo: memFree=114270404/131249996 swapFree=33010160/33010684
[pid=77731] ppid=77716 vsize=19063512 memory=2674200 CPUtime=74.35 cores=1,3
/proc/77731/stat : 77731 (java) S 77716 77731 77663 0 -1 4194304 36587 0 0 0 7378 57 0 0 20 0 20 0 71987608 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
/proc/77731/statm: 4765878 668550 5495 1 0 1079561 0
[pid=77731/tid=77751] ppid=77716 vsize=19063512 memory=2668048 CPUtime=68.89 cores=1,3
/proc/77731/task/77751/stat : 77751 (java) R 77716 77731 77663 0 -1 4194368 14628 0 0 0 6844 45 0 0 20 0 20 0 71987610 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77793] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77793/stat : 77793 (Finalizer) S 77716 77731 77663 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71987612 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77800] ppid=77716 vsize=19063512 memory=-6000919481363424616 CPUtime=0 cores=1,3
/proc/77731/task/77800/stat : 77800 (Common-Cleaner) S 77716 77731 77663 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 71987613 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
[pid=77731/tid=77801] ppid=77716 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/77731/task/77801/stat : 77801 (Timer-0) S 77716 77731 77663 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71987631 19521036288 668550 18446744073709551615 94387722473472 94387722477168 140736071670688 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94387722484984 94387722485776 94387745992704 140736071674238 140736071674342 140736071674342 140736071679944 0
Current children cumulated CPU time: 74.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2674200 KiB

Child status: 30

Real time (s): 70.4525
CPU time (s): 74.4284
CPU user time (s): 73.8358
CPU system time (s): 0.592526
CPU usage (%): 105.643
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2674956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.8358
system time used= 0.592526
maximum resident set size= 2675224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4105
involuntary context switches= 1218


# summary of solver processes directly reported to runsolver:
#   pid: 77731
#   total CPU time (s): 74.4284
#   total CPU user time (s): 73.8358
#   total CPU system time (s): 0.592526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208588 second user time and 0.322333 second system time

The end