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 (62229 MiB free)
memory of node 1: 64465 MiB (63313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542781-1753222103/watcher-4542781-1753222103 -o /tmp/evaluation-result-4542781-1753222103/solver-4542781-1753222103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753222103-162646 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542781-1753222103.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=162703, runsolver pid=162688
[startup+0.100074 s]*
/proc/loadavg: 3.83 4.04 4.08 14/319 162773
/proc/meminfo: memFree=128510624/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=18930384 memory=49028 CPUtime=0.1 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 5636 0 0 0 7 3 0 0 20 0 18 0 237889129 19384713216 12257 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4732596 12257 5116 1 0 546864 0
[pid=162703/tid=162715] ppid=162688 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 4578 0 0 0 5 1 0 0 20 0 18 0 237889132 19384713216 12257 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 12257 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=18930384 memory=55195547748946 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889138 19384713216 12257 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49028 KiB
[startup+0.214266 s]*
/proc/loadavg: 3.83 4.04 4.08 13/319 162773
/proc/meminfo: memFree=128493632/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=18930384 memory=51716 CPUtime=0.27 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 6084 0 0 0 24 3 0 0 20 0 18 0 237889129 19384713216 12929 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4732596 12929 5340 1 0 547252 0
[pid=162703/tid=162715] ppid=162688 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) S 162688 162703 162635 0 -1 4194368 4967 0 0 0 15 2 0 0 20 0 18 0 237889132 19384713216 12929 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 12929 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889138 19384713216 12929 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51716 KiB
[startup+0.316119 s]*
/proc/loadavg: 3.83 4.04 4.08 15/319 162773
/proc/meminfo: memFree=128476556/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=18930384 memory=57820 CPUtime=0.43 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 6588 0 0 0 39 4 0 0 20 0 18 0 237889129 19384713216 14455 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4732596 14455 5340 1 0 547710 0
[pid=162703/tid=162715] ppid=162688 vsize=18930384 memory=-8598889471714042556 CPUtime=0.25 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 5132 0 0 0 23 2 0 0 20 0 18 0 237889132 19384713216 14455 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 14487 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889138 19384713216 14487 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57820 KiB
[startup+0.700331 s]
/proc/loadavg: 3.83 4.04 4.08 16/319 162773
/proc/meminfo: memFree=128458248/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=18996948 memory=84040 CPUtime=1.11 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 8487 0 0 0 105 6 0 0 20 0 19 0 237889129 19452874752 21010 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4749237 21010 5404 1 0 549367 0
[pid=162703/tid=162715] ppid=162688 vsize=18996948 memory=27392 CPUtime=0.54 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 5455 0 0 0 50 4 0 0 20 0 19 0 237889132 19452874752 21010 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237889137 19452874752 21010 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237889138 19452874752 21010 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84040 KiB
[startup+1.5003 s]
/proc/loadavg: 3.83 4.04 4.08 12/323 162777
/proc/meminfo: memFree=128282124/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19063512 memory=161728 CPUtime=2.67 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 12854 0 0 0 256 11 0 0 20 0 20 0 237889129 19521036288 40432 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4765878 40432 5468 1 0 550332 0
[pid=162703/tid=162715] ppid=162688 vsize=19063512 memory=3200 CPUtime=1.15 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 5847 0 0 0 108 7 0 0 20 0 20 0 237889132 19521036288 40432 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 40432 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 40432 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889193 19521036288 40432 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 161728 KiB
[startup+3.10558 s]
/proc/loadavg: 3.83 4.04 4.08 10/327 162781
/proc/meminfo: memFree=126217792/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19063512 memory=574660 CPUtime=5.82 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 23608 0 0 0 560 22 0 0 20 0 20 0 237889129 19521036288 143665 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4765878 143665 5468 1 0 830108 0
[pid=162703/tid=162715] ppid=162688 vsize=19063512 memory=14464 CPUtime=2.63 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 6421 0 0 0 248 15 0 0 20 0 20 0 237889132 19521036288 143665 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 143665 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 143665 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889193 19521036288 143665 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 574660 KiB
[startup+6.30041 s]
/proc/loadavg: 3.85 4.04 4.08 7/327 162781
/proc/meminfo: memFree=122413628/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19063512 memory=1893164 CPUtime=10.01 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 25934 0 0 0 952 49 0 0 20 0 20 0 237889129 19521036288 473291 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4765878 473291 5468 1 0 1168567 0
[pid=162703/tid=162715] ppid=162688 vsize=19063512 memory=0 CPUtime=5.71 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 7720 0 0 0 531 40 0 0 20 0 20 0 237889132 19521036288 473803 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 473803 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 473803 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19063512 memory=167200 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889193 19521036288 473803 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 10.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1893164 KiB
[startup+12.7004 s]
/proc/loadavg: 3.86 4.04 4.08 8/327 162781
/proc/meminfo: memFree=117343396/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19063512 memory=2264108 CPUtime=16.81 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 26194 0 0 0 1624 57 0 0 20 0 20 0 237889129 19521036288 566027 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4765878 566027 5468 1 0 1168581 0
[pid=162703/tid=162715] ppid=162688 vsize=19063512 memory=167200 CPUtime=11.84 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 7902 0 0 0 1137 47 0 0 20 0 20 0 237889132 19521036288 566027 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19063512 memory=2264108 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 566027 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 566027 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889193 19521036288 566027 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 16.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2264108 KiB
[startup+25.5005 s]
/proc/loadavg: 3.96 4.05 4.08 8/327 162781
/proc/meminfo: memFree=114679940/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19063512 memory=3336600 CPUtime=29.93 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 31154 0 0 0 2911 82 0 0 20 0 20 0 237889129 19521036288 834150 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4765878 834150 5468 1 0 1285569 0
[pid=162703/tid=162715] ppid=162688 vsize=19063512 memory=2264108 CPUtime=24.11 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 10718 0 0 0 2343 68 0 0 20 0 20 0 237889132 19521036288 834150 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 834150 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19063512 memory=2836888 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 834150 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889193 19521036288 834150 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 29.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3336600 KiB
[startup+51.1136 s]
/proc/loadavg: 4.13 4.08 4.09 8/327 162782
/proc/meminfo: memFree=113655368/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19063512 memory=3342276 CPUtime=58.87 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 47759 0 0 0 5800 87 0 0 20 0 20 0 237889129 19521036288 835569 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4765878 835569 5468 1 0 1285745 0
[pid=162703/tid=162715] ppid=162688 vsize=19063512 memory=3337368 CPUtime=49.1 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 13983 0 0 0 4841 69 0 0 20 0 20 0 237889132 19521036288 835569 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 835569 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 835569 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19063512 memory=0 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.34 4.34 8/329 162949
/proc/meminfo: memFree=97990004/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3228.54 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 300230 0 0 0 322391 463 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256934 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3107.22 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 182667 0 0 0 310529 193 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=5148 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2642 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=5148 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3228.54 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.32 4.33 7/329 162951
/proc/meminfo: memFree=97990960/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3288.89 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 307014 0 0 0 328422 467 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256934 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3166.74 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 187774 0 0 0 316480 194 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=5148 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2677 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3288.89 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.35 4.34 10/329 162953
/proc/meminfo: memFree=97535868/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3351.71 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 312090 0 0 0 334699 472 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256934 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3224.73 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 190279 0 0 0 322278 195 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=11264 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2677 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3351.71 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.32 4.33 8/329 162955
/proc/meminfo: memFree=97535820/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3414.38 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 315818 0 0 0 340960 478 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256957 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=14464 CPUtime=3283.09 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 193187 0 0 0 328114 195 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=5504 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2746 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=5148 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3414.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.29 4.32 9/329 162958
/proc/meminfo: memFree=97535176/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3477.16 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 324751 0 0 0 347233 483 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256958 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3341.74 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 198278 0 0 0 333977 197 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=14464 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=27392 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2840 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3477.16 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.28 4.31 8/329 162960
/proc/meminfo: memFree=97534328/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3539.27 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 330235 0 0 0 353439 488 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256958 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3400.23 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 201085 0 0 0 339826 197 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=8799200 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=14464 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2935 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=27392 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3539.27 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3521.4 s]
/proc/loadavg: 4.33 4.30 4.32 8/328 163029
/proc/meminfo: memFree=102004844/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3600.09 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 339620 0 0 0 359515 494 0 0 20 0 21 0 237889129 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4782519 2199800 5500 1 0 2256958 0
[pid=162703/tid=162715] ppid=162688 vsize=19130076 memory=8799200 CPUtime=3458.64 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) R 162688 162703 162635 0 -1 4194368 207457 0 0 0 345665 199 0 0 20 0 21 0 237889132 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19130076 memory=6512 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19130076 memory=68916 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2935 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162777] ppid=162688 vsize=19130076 memory=4352 CPUtime=0 cores=4,6
/proc/162703/task/162777/stat : 162777 (Timer-0) S 162688 162703 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889193 19589197824 2199800 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8799200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3521.64 s]
# the end of solver process 162703 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.53 s, system=5.00014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3521.6 s]
/proc/loadavg: 4.33 4.30 4.32 8/328 163029
/proc/meminfo: memFree=102004844/131382120 swapFree=33010416/33010684
[pid=162703] ppid=162688 vsize=19329768 memory=8800224 CPUtime=3600.49 cores=4,6
/proc/162703/stat : 162703 (java) S 162688 162703 162635 0 -1 4194304 342056 0 0 0 359553 496 0 0 20 0 16 0 237889129 19793682432 2200056 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
/proc/162703/statm: 4832442 2200056 5500 1 0 2257925 0
[pid=162703/tid=162715] ppid=162688 vsize=19329768 memory=8799200 CPUtime=3458.84 cores=4,6
/proc/162703/task/162715/stat : 162715 (java) S 162688 162703 162635 0 -1 4194368 207621 0 0 0 345685 199 0 0 20 0 16 0 237889132 19793682432 2200056 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162761] ppid=162688 vsize=19329768 memory=14464 CPUtime=0 cores=4,6
/proc/162703/task/162761/stat : 162761 (Finalizer) S 162688 162703 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 237889137 19793682432 2200056 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
[pid=162703/tid=162773] ppid=162688 vsize=19329768 memory=1792 CPUtime=0 cores=4,6
/proc/162703/task/162773/stat : 162773 (Common-Cleaner) S 162688 162703 162635 0 -1 4194368 2935 0 0 0 0 0 0 0 20 0 16 0 237889138 19793682432 2200056 18446744073709551615 94522566418432 94522566422128 140734719706272 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94522566429944 94522566430736 94522569625600 140734719711612 140734719711716 140734719711716 140734719717320 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 8800224 KiB
Child status: 143
Real time (s): 3521.64
CPU time (s): 3600.53
CPU user time (s): 3595.53
CPU system time (s): 5.00014
CPU usage (%): 102.24
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 8800224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.53
system time used= 5.00014
maximum resident set size= 8800352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121270
involuntary context switches= 10485
# summary of solver processes directly reported to runsolver:
# pid: 162703
# total CPU time (s): 3600.53
# total CPU user time (s): 3595.53
# total CPU system time (s): 5.00014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.898 second user time and 37.6276 second system time
The end