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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525766-1751627915/watcher-4525766-1751627915 -o /tmp/evaluation-result-4525766-1751627915/solver-4525766-1751627915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751627915-98786 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525766-1751627915.wbo 

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


[startup+0.100075 s]*
/proc/loadavg: 1.06 1.22 2.15 10/319 98910
/proc/meminfo: memFree=125183224/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=18930384 memory=48164 CPUtime=0.12 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 5772 0 0 0 7 5 0 0 20 0 18 0 78470636 19384713216 12041 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4732596 12041 5281 1 0 547009 0
[pid=98864/tid=98873] ppid=98842 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 4632 0 0 0 4 3 0 0 20 0 18 0 78470638 19384713216 12041 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78470644 19384713216 12041 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=18930384 memory=58494082638250 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78470645 19384713216 12041 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48164 KiB

[startup+0.214747 s]*
/proc/loadavg: 1.06 1.22 2.15 9/319 98910
/proc/meminfo: memFree=125170572/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=18930384 memory=53168 CPUtime=0.29 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 6439 0 0 0 23 6 0 0 20 0 18 0 78470636 19384713216 13292 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4732596 13292 5345 1 0 547531 0
[pid=98864/tid=98873] ppid=98842 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 4980 0 0 0 13 3 0 0 20 0 18 0 78470638 19384713216 13292 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=18930384 memory=17127 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78470644 19384713216 13292 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78470645 19384713216 13292 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53168 KiB

[startup+0.31279 s]*
/proc/loadavg: 1.06 1.22 2.15 10/319 98910
/proc/meminfo: memFree=125156508/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=18930384 memory=58356 CPUtime=0.44 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 6734 0 0 0 38 6 0 0 20 0 18 0 78470636 19384713216 14589 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4732596 14589 5345 1 0 547753 0
[pid=98864/tid=98873] ppid=98842 vsize=18930384 memory=-6000919498492896358 CPUtime=0.27 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 5178 0 0 0 23 4 0 0 20 0 18 0 78470638 19384713216 14589 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78470644 19384713216 14621 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78470645 19384713216 14621 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58356 KiB

[startup+0.700385 s]
/proc/loadavg: 1.06 1.22 2.15 9/319 98910
/proc/meminfo: memFree=125118812/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=18930384 memory=100656 CPUtime=1.15 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 8474 0 0 0 107 8 0 0 20 0 18 0 78470636 19384713216 25164 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4732596 25164 5409 1 0 548901 0
[pid=98864/tid=98873] ppid=98842 vsize=18930384 memory=13952 CPUtime=0.59 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 5291 0 0 0 54 5 0 0 20 0 18 0 78470638 19384713216 25164 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=18930384 memory=11008 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78470644 19384713216 25164 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=18930384 memory=3328 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78470645 19384713216 25164 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100656 KiB

[startup+1.50024 s]
/proc/loadavg: 1.62 1.33 2.18 11/323 98914
/proc/meminfo: memFree=124716400/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=18996948 memory=217484 CPUtime=2.64 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 14289 0 0 0 251 13 0 0 20 0 19 0 78470636 19452874752 54371 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4749237 54371 5473 1 0 552677 0
[pid=98864/tid=98873] ppid=98842 vsize=18996948 memory=3328 CPUtime=1.2 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 5320 0 0 0 113 7 0 0 20 0 19 0 78470638 19452874752 54371 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78470644 19452874752 54371 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=18996948 memory=11008 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78470645 19452874752 54371 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 217484 KiB

[startup+3.10566 s]
/proc/loadavg: 1.62 1.33 2.18 7/327 98918
/proc/meminfo: memFree=123821616/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=628120 CPUtime=5.8 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 16265 0 0 0 556 24 0 0 20 0 20 0 78470636 19521036288 157030 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 157030 5505 1 0 1232393 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=11008 CPUtime=2.48 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 5619 0 0 0 234 14 0 0 20 0 20 0 78470638 19521036288 157030 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 157030 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 157030 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 157030 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 628120 KiB

[startup+6.30044 s]
/proc/loadavg: 1.81 1.38 2.19 6/327 98918
/proc/meminfo: memFree=123743008/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=624232 CPUtime=9.49 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 16984 0 0 0 924 25 0 0 20 0 20 0 78470636 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 156058 5505 1 0 1232400 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=0 CPUtime=5.67 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 5909 0 0 0 553 14 0 0 20 0 20 0 78470638 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=-6000919498492896358 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 624232 KiB

[startup+12.7005 s]
/proc/loadavg: 1.98 1.42 2.20 5/327 98918
/proc/meminfo: memFree=123743008/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=624232 CPUtime=15.89 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 17262 0 0 0 1563 26 0 0 20 0 20 0 78470636 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 156058 5505 1 0 1232400 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=11008 CPUtime=12.05 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 6029 0 0 0 1191 14 0 0 20 0 20 0 78470638 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=624232 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 15.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 624232 KiB

[startup+25.5005 s]
/proc/loadavg: 2.29 1.51 2.22 5/327 98918
/proc/meminfo: memFree=123743008/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=624232 CPUtime=28.85 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 19629 0 0 0 2858 27 0 0 20 0 20 0 78470636 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 156058 5505 1 0 1232400 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=624232 CPUtime=24.82 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 6718 0 0 0 2468 14 0 0 20 0 20 0 78470638 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=624232 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=3196 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 624232 KiB

[startup+51.1136 s]
/proc/loadavg: 3.02 1.76 2.29 5/327 98919
/proc/meminfo: memFree=123730720/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=624232 CPUtime=54.44 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 19736 0 0 0 5415 29 0 0 20 0 20 0 78470636 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 156058 5505 1 0 1232400 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=624232 CPUtime=50.37 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 6822 0 0 0 5023 14 0 0 20 0 20 0 78470638 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=624232 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=624232 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 156058 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0

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

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/327 99078
/proc/meminfo: memFree=117135732/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=1861100 CPUtime=3284.54 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 45008 0 0 0 328181 273 0 0 20 0 20 0 78470636 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 465275 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=1861100 CPUtime=3272.2 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 18779 0 0 0 327191 29 0 0 20 0 20 0 78470638 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 944 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=1861100 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3284.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1861100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/327 99080
/proc/meminfo: memFree=117135272/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=1861100 CPUtime=3344.48 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 45083 0 0 0 334171 277 0 0 20 0 20 0 78470636 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 465275 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=1861100 CPUtime=3332.06 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 18827 0 0 0 333177 29 0 0 20 0 20 0 78470638 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=1861100 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 964 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=1861100 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3344.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1861100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/327 99082
/proc/meminfo: memFree=117135288/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=1861100 CPUtime=3404.43 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 45297 0 0 0 340161 282 0 0 20 0 20 0 78470636 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 465275 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=13952 CPUtime=3391.92 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 19035 0 0 0 339163 29 0 0 20 0 20 0 78470638 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 964 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=1861100 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 465275 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3404.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1861100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/327 99084
/proc/meminfo: memFree=116881144/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=2057708 CPUtime=3464.53 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 46340 0 0 0 346165 288 0 0 20 0 20 0 78470636 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 514427 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=14468 CPUtime=3451.46 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 19358 0 0 0 345117 29 0 0 20 0 20 0 78470638 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=9728 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=26276 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 964 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=13952 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3464.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2057708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/326 99086
/proc/meminfo: memFree=116881168/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=2057708 CPUtime=3524.45 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 46458 0 0 0 352154 291 0 0 20 0 20 0 78470636 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 514427 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=2057708 CPUtime=3511.32 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 19456 0 0 0 351103 29 0 0 20 0 20 0 78470638 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=2057708 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=2057708 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3524.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2057708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/326 99088
/proc/meminfo: memFree=116881192/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=2057708 CPUtime=3584.37 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 46942 0 0 0 358143 294 0 0 20 0 20 0 78470636 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 514427 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=2057708 CPUtime=3571.2 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 19919 0 0 0 357090 30 0 0 20 0 20 0 78470638 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=2057708 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=2057708 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=2057708 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2057708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598 s]*
/proc/loadavg: 4.07 4.08 4.09 6/327 99224
/proc/meminfo: memFree=122678900/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19063512 memory=2057708 CPUtime=3600.04 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 47019 0 0 0 359707 297 0 0 20 0 20 0 78470636 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4765878 514427 5537 1 0 1232727 0
[pid=98864/tid=98873] ppid=98842 vsize=19063512 memory=-6000919502855365478 CPUtime=3586.85 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 19994 0 0 0 358653 32 0 0 20 0 20 0 78470638 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19063512 memory=6388 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78470644 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19063512 memory=199148 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 78470645 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98918] ppid=98842 vsize=19063512 memory=6260 CPUtime=0 cores=5,7
/proc/98864/task/98918/stat : 98918 (Timer-0) S 98842 98864 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78470865 19521036288 514427 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2057708 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3598.18 s]
# the end of solver process 98864 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3597.37 s, system=2.98197 s

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

[startup+3598.12 s]
/proc/loadavg: 4.07 4.08 4.09 6/327 99224
/proc/meminfo: memFree=122678900/131382112 swapFree=33000116/33010684
[pid=98864] ppid=98842 vsize=19263204 memory=2058476 CPUtime=3600.24 cores=5,7
/proc/98864/stat : 98864 (java) S 98842 98864 98773 0 -1 4194304 48368 0 0 0 359727 297 0 0 20 0 21 0 78470636 19725520896 514619 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
/proc/98864/statm: 4815801 514619 5569 1 0 1233646 0
[pid=98864/tid=98873] ppid=98842 vsize=19263204 memory=2057708 CPUtime=3586.95 cores=5,7
/proc/98864/task/98873/stat : 98873 (java) R 98842 98864 98773 0 -1 4194368 19994 0 0 0 358663 32 0 0 20 0 21 0 78470638 19725520896 514619 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98903] ppid=98842 vsize=19263204 memory=2057708 CPUtime=0 cores=5,7
/proc/98864/task/98903/stat : 98903 (Finalizer) S 98842 98864 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78470644 19725520896 514619 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
[pid=98864/tid=98910] ppid=98842 vsize=19263204 memory=139726359558353 CPUtime=0 cores=5,7
/proc/98864/task/98910/stat : 98910 (Common-Cleaner) S 98842 98864 98773 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 21 0 78470645 19725520896 514619 18446744073709551615 94891452596224 94891452599920 140723538896576 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94891452607736 94891452608528 94891457077248 140723538901375 140723538901476 140723538901476 140723538907080 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2058476 KiB

Child status: 143

Real time (s): 3598.18
CPU time (s): 3600.35
CPU user time (s): 3597.37
CPU system time (s): 2.98197
CPU usage (%): 100.06
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2058476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.37
system time used= 2.98197
maximum resident set size= 2058732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147296
involuntary context switches= 3015


# summary of solver processes directly reported to runsolver:
#   pid: 98864
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3597.37
#   total CPU system time (s): 2.98197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5145 second user time and 35.9784 second system time

The end