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: 63794 MiB (53646 MiB free)
memory of node 1: 64507 MiB (48365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485052-1751294441/watcher-4485052-1751294441 -o /tmp/evaluation-result-4485052-1751294441/solver-4485052-1751294441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751290914-41002 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4485052-1751294441.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=41563, runsolver pid=41560
[startup+0.100074 s]*
/proc/loadavg: 4.47 4.48 4.54 7/325 41581
/proc/meminfo: memFree=104451808/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=18930384 memory=47960 CPUtime=0.1 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 5725 0 0 0 7 3 0 0 20 0 18 0 45123902 19384713216 11990 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4732596 11990 5271 1 0 546962 0
[pid=41563/tid=41565] ppid=41560 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 4636 0 0 0 5 2 0 0 20 0 18 0 45123904 19384713216 11990 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45123909 19384713216 12054 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=18930384 memory=59593594258114 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45123910 19384713216 12054 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47960 KiB
[startup+0.217318 s]*
/proc/loadavg: 4.47 4.48 4.54 6/325 41581
/proc/meminfo: memFree=104445696/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=18930384 memory=53068 CPUtime=0.28 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 6432 0 0 0 24 4 0 0 20 0 18 0 45123902 19384713216 13267 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4732596 13267 5335 1 0 547513 0
[pid=41563/tid=41565] ppid=41560 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 4971 0 0 0 14 2 0 0 20 0 18 0 45123904 19384713216 13267 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45123909 19384713216 13267 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45123910 19384713216 13267 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53068 KiB
[startup+0.31567 s]*
/proc/loadavg: 4.47 4.48 4.54 5/325 41581
/proc/meminfo: memFree=104437568/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=18930384 memory=58080 CPUtime=0.42 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 6660 0 0 0 38 4 0 0 20 0 18 0 45123902 19384713216 14520 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4732596 14520 5335 1 0 547683 0
[pid=41563/tid=41565] ppid=41560 vsize=18930384 memory=-6000919507049474923 CPUtime=0.25 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 5127 0 0 0 22 3 0 0 20 0 18 0 45123904 19384713216 14520 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45123909 19384713216 14520 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45123910 19384713216 14520 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58080 KiB
[startup+0.70035 s]
/proc/loadavg: 4.47 4.48 4.54 7/325 41581
/proc/meminfo: memFree=104428368/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=18930384 memory=96568 CPUtime=1.12 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 8448 0 0 0 106 6 0 0 20 0 18 0 45123902 19384713216 24142 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4732596 24142 5431 1 0 548877 0
[pid=41563/tid=41565] ppid=41560 vsize=18930384 memory=17792 CPUtime=0.59 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 5274 0 0 0 55 4 0 0 20 0 18 0 45123904 19384713216 24142 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=18930384 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45123909 19384713216 24142 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45123910 19384713216 24142 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96568 KiB
[startup+1.50033 s]
/proc/loadavg: 4.47 4.48 4.54 6/326 41582
/proc/meminfo: memFree=104381044/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=18996948 memory=139340 CPUtime=2.7 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 12498 0 0 0 261 9 0 0 20 0 19 0 45123902 19452874752 34835 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4749237 34835 5463 1 0 550378 0
[pid=41563/tid=41565] ppid=41560 vsize=18996948 memory=3200 CPUtime=1.32 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 5584 0 0 0 127 5 0 0 20 0 19 0 45123904 19452874752 34835 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45123909 19452874752 34835 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 45123910 19452874752 34835 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=18996948 memory=14560 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45123987 19452874752 34835 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139340 KiB
[startup+3.11386 s]
/proc/loadavg: 4.60 4.50 4.54 5/327 41583
/proc/meminfo: memFree=104285988/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=207568 CPUtime=5.2 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 19618 0 0 0 508 12 0 0 20 0 20 0 45123902 19521036288 51892 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 51892 5495 1 0 553173 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=14560 CPUtime=2.88 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 6778 0 0 0 283 5 0 0 20 0 20 0 45123904 19521036288 51892 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 51892 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 51892 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 51892 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207568 KiB
[startup+6.3004 s]
/proc/loadavg: 4.60 4.50 4.54 5/327 41583
/proc/meminfo: memFree=104130468/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=452304 CPUtime=9.29 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 20529 0 0 0 911 18 0 0 20 0 20 0 45123902 19521036288 113076 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 113076 5495 1 0 553175 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=0 CPUtime=5.72 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 6782 0 0 0 567 5 0 0 20 0 20 0 45123904 19521036288 113076 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 113076 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 113076 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=144780 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 113076 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 452304 KiB
[startup+12.7004 s]
/proc/loadavg: 4.58 4.50 4.54 5/327 41584
/proc/meminfo: memFree=103680980/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=817956 CPUtime=15.93 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 21451 0 0 0 1567 26 0 0 20 0 20 0 45123902 19521036288 204489 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 204489 5495 1 0 845606 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=144780 CPUtime=11.83 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 7255 0 0 0 1175 8 0 0 20 0 20 0 45123904 19521036288 204489 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=817956 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 204489 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 204489 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 204489 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 817956 KiB
[startup+25.5004 s]
/proc/loadavg: 4.49 4.49 4.54 6/327 41584
/proc/meminfo: memFree=103378204/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=1210856 CPUtime=29.16 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 25734 0 0 0 2880 36 0 0 20 0 20 0 45123902 19521036288 302714 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 302714 5495 1 0 991820 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=0 CPUtime=24.1 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 8387 0 0 0 2401 9 0 0 20 0 20 0 45123904 19521036288 302714 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 302714 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=1076380 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 302714 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=1076380 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 302714 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1210856 KiB
[startup+51.114 s]
/proc/loadavg: 4.47 4.48 4.54 5/327 41584
/proc/meminfo: memFree=102633740/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=1852080 CPUtime=55.41 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 29786 0 0 0 5490 51 0 0 20 0 20 0 45123902 19521036288 463020 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 463020 5495 1 0 991831 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=1298920 CPUtime=49.05 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 9208 0 0 0 4894 11 0 0 20 0 20 0 45123904 19521036288 463020 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 463020 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 463020 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=817956 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.30 4.27 4.26 5/325 41875
/proc/meminfo: memFree=91899556/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8117288 CPUtime=3262.25 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 169667 0 0 0 325846 379 0 0 20 0 20 0 45123902 19521036288 2029322 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2029322 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=7020972 CPUtime=3181.84 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 82625 0 0 0 318137 47 0 0 20 0 20 0 45123904 19521036288 2029322 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=7959592 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2029322 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=8061992 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1254 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2029322 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=8102952 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2029322 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3262.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8117288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.28 4.26 5/325 41943
/proc/meminfo: memFree=104883292/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8213548 CPUtime=3322.56 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 171149 0 0 0 331872 384 0 0 20 0 20 0 45123902 19521036288 2053387 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2053387 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=8213548 CPUtime=3241.22 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 83675 0 0 0 324074 48 0 0 20 0 20 0 45123904 19521036288 2053387 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=8213548 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2053387 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1309 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2053387 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2053387 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3322.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8213548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.24 4.25 5/326 41946
/proc/meminfo: memFree=104785600/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3382.72 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 174439 0 0 0 337884 388 0 0 20 0 20 0 45123902 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2069776 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=10624 CPUtime=3300.76 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 86120 0 0 0 330028 48 0 0 20 0 20 0 45123904 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=279386012404672 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1309 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=22004 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3382.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8279104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.26 4.26 6/326 41948
/proc/meminfo: memFree=103605716/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3443.08 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 177495 0 0 0 343917 391 0 0 20 0 20 0 45123902 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2069776 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=5148 CPUtime=3360.1 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 88094 0 0 0 335962 48 0 0 20 0 20 0 45123904 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1350 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3443.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8279104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.24 4.25 5/327 41957
/proc/meminfo: memFree=102852444/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3503.11 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 179510 0 0 0 349917 394 0 0 20 0 20 0 45123902 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2069776 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3419.78 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 89296 0 0 0 341930 48 0 0 20 0 20 0 45123904 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=-6000919507049474923 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3503.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8279104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.21 4.24 5/327 41959
/proc/meminfo: memFree=102852468/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3563.46 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 182938 0 0 0 355950 396 0 0 20 0 20 0 45123902 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2069776 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3479.12 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 91572 0 0 0 347864 48 0 0 20 0 20 0 45123904 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3563.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8279104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3559 s]*
/proc/loadavg: 4.11 4.20 4.23 5/327 41960
/proc/meminfo: memFree=102307456/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19063512 memory=8279104 CPUtime=3600.1 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 184344 0 0 0 359611 399 0 0 20 0 20 0 45123902 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4765878 2069776 5527 1 0 2479657 0
[pid=41563/tid=41565] ppid=41560 vsize=19063512 memory=5931336797637923176 CPUtime=3515.72 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 92871 0 0 0 351524 48 0 0 20 0 20 0 45123904 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19063512 memory=4638778398332764263 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123909 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1407 0 0 0 0 0 0 0 20 0 20 0 45123910 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41582] ppid=41560 vsize=19063512 memory=6632 CPUtime=0 cores=0,2
/proc/41563/task/41582/stat : 41582 (Timer-0) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45123987 19521036288 2069776 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8279104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3559.3 s]
# the end of solver process 41563 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.61 s, system=4.02923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3559.2 s]
/proc/loadavg: 4.11 4.20 4.23 5/327 41960
/proc/meminfo: memFree=102307456/131382112 swapFree=33010684/33010684
[pid=41563] ppid=41560 vsize=19263204 memory=8279872 CPUtime=3600.46 cores=0,2
/proc/41563/stat : 41563 (java) S 41560 41563 40992 0 -1 4194304 186077 0 0 0 359646 400 0 0 20 0 21 0 45123902 19725520896 2069968 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
/proc/41563/statm: 4815801 2069968 5559 1 0 2480606 0
[pid=41563/tid=41565] ppid=41560 vsize=19263204 memory=4764 CPUtime=3515.9 cores=0,2
/proc/41563/task/41565/stat : 41565 (java) R 41560 41563 40992 0 -1 4194368 93163 0 0 0 351542 48 0 0 20 0 21 0 45123904 19725520896 2069968 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41574] ppid=41560 vsize=19263204 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41574/stat : 41574 (Finalizer) S 41560 41563 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45123909 19725520896 2069968 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
[pid=41563/tid=41581] ppid=41560 vsize=19263204 memory=8279104 CPUtime=0 cores=0,2
/proc/41563/task/41581/stat : 41581 (Common-Cleaner) S 41560 41563 40992 0 -1 4194368 1407 0 0 0 0 0 0 0 20 0 21 0 45123910 19725520896 2069968 18446744073709551615 94094402940928 94094402944624 140728510491168 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94094402952440 94094402953232 94094434983936 140728510499201 140728510499302 140728510499302 140728510504904 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8279872 KiB
Child status: 143
Real time (s): 3559.3
CPU time (s): 3600.64
CPU user time (s): 3596.61
CPU system time (s): 4.02923
CPU usage (%): 101.161
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8279872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.61
system time used= 4.02923
maximum resident set size= 8280000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186363
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110786
involuntary context switches= 11615
# summary of solver processes directly reported to runsolver:
# pid: 41563
# total CPU time (s): 3600.64
# total CPU user time (s): 3596.61
# total CPU system time (s): 4.02923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.353 second user time and 37.8309 second system time
The end