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-4542820-1753222103/watcher-4542820-1753222103 -o /tmp/evaluation-result-4542820-1753222103/solver-4542820-1753222103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753222103-162648 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542820-1753222103.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=162700, runsolver pid=162687
[startup+0.100073 s]*
/proc/loadavg: 3.83 4.04 4.08 15/319 162773
/proc/meminfo: memFree=128510624/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=18930344 memory=46960 CPUtime=0.1 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 5635 0 0 0 6 4 0 0 20 0 18 0 237889129 19384672256 11740 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4732586 11740 5088 1 0 546866 0
[pid=162700/tid=162714] ppid=162687 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 4575 0 0 0 3 2 0 0 20 0 18 0 237889132 19384713216 11740 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=18930384 memory=2576 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 11740 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=18930384 memory=54096036103158 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889138 19384713216 11740 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46960 KiB
[startup+0.213607 s]*
/proc/loadavg: 3.83 4.04 4.08 11/319 162773
/proc/meminfo: memFree=128493632/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=18930384 memory=51804 CPUtime=0.27 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 6114 0 0 0 22 5 0 0 20 0 18 0 237889129 19384713216 12951 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4732596 12951 5344 1 0 547235 0
[pid=162700/tid=162714] ppid=162687 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 4950 0 0 0 13 3 0 0 20 0 18 0 237889132 19384713216 12951 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=18930384 memory=2576 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 12951 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=18930384 memory=54096036103158 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889138 19384713216 12951 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51804 KiB
[startup+0.313373 s]*
/proc/loadavg: 3.83 4.04 4.08 11/319 162773
/proc/meminfo: memFree=128476556/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=18930384 memory=58040 CPUtime=0.43 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 6652 0 0 0 37 6 0 0 20 0 18 0 237889129 19384713216 14510 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4732596 14510 5344 1 0 547683 0
[pid=162700/tid=162714] ppid=162687 vsize=18930384 memory=-8598889471714042556 CPUtime=0.24 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 5111 0 0 0 21 3 0 0 20 0 18 0 237889132 19384713216 14510 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 14510 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889138 19384713216 14510 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58040 KiB
[startup+0.700307 s]
/proc/loadavg: 3.83 4.04 4.08 14/319 162773
/proc/meminfo: memFree=128458248/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=18996948 memory=71596 CPUtime=1.12 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 7511 0 0 0 104 8 0 0 20 0 19 0 237889129 19452874752 17899 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4749237 17899 5440 1 0 548463 0
[pid=162700/tid=162714] ppid=162687 vsize=18996948 memory=27392 CPUtime=0.54 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 5436 0 0 0 49 5 0 0 20 0 19 0 237889132 19452874752 17899 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237889137 19452874752 17899 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237889138 19452874752 17899 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71596 KiB
[startup+1.50027 s]
/proc/loadavg: 3.83 4.04 4.08 12/323 162777
/proc/meminfo: memFree=128282124/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19063512 memory=171004 CPUtime=2.69 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 16826 0 0 0 256 13 0 0 20 0 20 0 237889129 19521036288 42751 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4765878 42751 5504 1 0 552183 0
[pid=162700/tid=162714] ppid=162687 vsize=19063512 memory=3200 CPUtime=1.23 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 5813 0 0 0 116 7 0 0 20 0 20 0 237889132 19521036288 42751 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 42751 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 42751 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889186 19521036288 42751 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171004 KiB
[startup+3.10558 s]
/proc/loadavg: 3.83 4.04 4.08 9/327 162781
/proc/meminfo: memFree=126217792/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19063512 memory=801472 CPUtime=5.81 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 24306 0 0 0 555 26 0 0 20 0 20 0 237889129 19521036288 200368 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4765878 200368 5504 1 0 823227 0
[pid=162700/tid=162714] ppid=162687 vsize=19063512 memory=14464 CPUtime=2.74 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 6721 0 0 0 256 18 0 0 20 0 20 0 237889132 19521036288 200368 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 200368 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 200368 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889186 19521036288 200368 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 801472 KiB
[startup+6.30046 s]
/proc/loadavg: 3.85 4.04 4.08 6/327 162781
/proc/meminfo: memFree=122413628/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19063512 memory=1559540 CPUtime=9.56 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 25589 0 0 0 915 41 0 0 20 0 20 0 237889129 19521036288 389885 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4765878 389885 5504 1 0 823280 0
[pid=162700/tid=162714] ppid=162687 vsize=19063512 memory=0 CPUtime=5.76 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 7801 0 0 0 544 32 0 0 20 0 20 0 237889132 19521036288 389885 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 389885 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 389885 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19063512 memory=179140 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889186 19521036288 389885 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1559540 KiB
[startup+12.7005 s]
/proc/loadavg: 3.86 4.04 4.08 7/327 162781
/proc/meminfo: memFree=117343396/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19063512 memory=3062028 CPUtime=16.33 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 26997 0 0 0 1563 70 0 0 20 0 20 0 237889129 19521036288 765507 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4765878 765507 5504 1 0 1157514 0
[pid=162700/tid=162714] ppid=162687 vsize=19063512 memory=179140 CPUtime=11.79 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 8798 0 0 0 1119 60 0 0 20 0 20 0 237889132 19521036288 765507 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19063512 memory=3061900 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 765507 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 765507 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889186 19521036288 765507 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 16.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3062028 KiB
[startup+25.5005 s]
/proc/loadavg: 3.96 4.05 4.08 7/327 162781
/proc/meminfo: memFree=114679940/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19063512 memory=3086740 CPUtime=29.2 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 30548 0 0 0 2849 71 0 0 20 0 20 0 237889129 19521036288 771685 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4765878 771685 5504 1 0 1157515 0
[pid=162700/tid=162714] ppid=162687 vsize=19063512 memory=3061900 CPUtime=24.39 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 11166 0 0 0 2379 60 0 0 20 0 20 0 237889132 19521036288 771685 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 771685 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 771685 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19063512 memory=3086740 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889186 19521036288 771685 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 29.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086740 KiB
[startup+51.1136 s]
/proc/loadavg: 4.13 4.08 4.09 7/327 162782
/proc/meminfo: memFree=113655368/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19063512 memory=3089300 CPUtime=56.62 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 40220 0 0 0 5586 76 0 0 20 0 20 0 237889129 19521036288 772325 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4765878 772325 5504 1 0 1157562 0
[pid=162700/tid=162714] ppid=162687 vsize=19063512 memory=3089300 CPUtime=49.45 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 13688 0 0 0 4884 61 0 0 20 0 20 0 237889132 19521036288 772325 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19063512 memory=3080580 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 772325 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 237889138 19521036288 772325 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
################
# More data... #
################
/proc/meminfo: memFree=97990004/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10232216 CPUtime=3226.14 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 248433 0 0 0 322140 474 0 0 20 0 21 0 237889129 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2558054 5504 1 0 2619645 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=10232216 CPUtime=3092.34 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 153379 0 0 0 309005 229 0 0 20 0 21 0 237889132 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=10232216 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2301 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=10232216 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3226.14 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10232216 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=162700] ppid=162687 vsize=19130076 memory=10232216 CPUtime=3286.64 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 255765 0 0 0 328185 479 0 0 20 0 21 0 237889129 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2558054 5504 1 0 2619645 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=10232216 CPUtime=3151.5 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 159409 0 0 0 314920 230 0 0 20 0 21 0 237889132 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=10232216 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=-8670947065751970492 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2430 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=10232216 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2558054 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3286.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10232216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.35 4.34 9/329 162953
/proc/meminfo: memFree=97535868/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10685920 CPUtime=3347.59 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 264366 0 0 0 334267 492 0 0 20 0 21 0 237889129 19589197824 2671480 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2671480 5504 1 0 2734534 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=10685920 CPUtime=3210.48 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 164992 0 0 0 320808 240 0 0 20 0 21 0 237889132 19589197824 2671480 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=10685920 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2671480 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=10685920 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2430 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2671480 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=-8670947065751970492 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2671480 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3347.59 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10685920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.32 4.33 7/329 162955
/proc/meminfo: memFree=97535820/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10686048 CPUtime=3409.15 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 269752 0 0 0 340419 496 0 0 20 0 21 0 237889129 19589197824 2671512 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2671512 5504 1 0 2734554 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=10686048 CPUtime=3268.67 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 169013 0 0 0 326626 241 0 0 20 0 21 0 237889132 19589197824 2671512 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=10686048 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2671512 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=17952 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2496 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2671512 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=10686048 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2671512 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3409.15 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10686048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.29 4.32 8/329 162958
/proc/meminfo: memFree=97535176/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10686560 CPUtime=3469.69 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 279650 0 0 0 346466 503 0 0 20 0 21 0 237889129 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2671640 5504 1 0 2734675 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=10686048 CPUtime=3328.38 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 177200 0 0 0 332596 242 0 0 20 0 21 0 237889132 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=10686048 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2526 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=10686560 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3469.69 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10686560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.28 4.31 7/329 162960
/proc/meminfo: memFree=97534328/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10686560 CPUtime=3530.46 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 285501 0 0 0 352539 507 0 0 20 0 21 0 237889129 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2671640 5504 1 0 2734677 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=10686048 CPUtime=3387.54 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 180950 0 0 0 338511 243 0 0 20 0 21 0 237889132 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=10686048 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=10686560 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2587 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=10686560 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2671640 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3530.46 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10686560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.30 4.32 5/304 163040
/proc/meminfo: memFree=110428684/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10686816 CPUtime=3591.64 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 295569 0 0 0 358648 516 0 0 20 0 21 0 237889129 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2671704 5504 1 0 2734749 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=27392 CPUtime=3446.32 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 189804 0 0 0 344383 249 0 0 20 0 21 0 237889132 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=10685920 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2671 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=14464 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3591.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10686816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3530.6 s]
/proc/loadavg: 4.30 4.30 4.32 7/327 163227
/proc/meminfo: memFree=109329336/131382120 swapFree=33010416/33010684
[pid=162700] ppid=162687 vsize=19130076 memory=10686816 CPUtime=3600.06 cores=5,7
/proc/162700/stat : 162700 (java) S 162687 162700 162635 0 -1 4194304 298766 0 0 0 359489 517 0 0 20 0 21 0 237889129 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
/proc/162700/statm: 4782519 2671704 5504 1 0 2734749 0
[pid=162700/tid=162714] ppid=162687 vsize=19130076 memory=5632 CPUtime=3454.33 cores=5,7
/proc/162700/task/162714/stat : 162714 (java) R 162687 162700 162635 0 -1 4194368 190780 0 0 0 345184 249 0 0 20 0 21 0 237889132 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162756] ppid=162687 vsize=19130076 memory=2816 CPUtime=0 cores=5,7
/proc/162700/task/162756/stat : 162756 (Finalizer) S 162687 162700 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162771] ppid=162687 vsize=19130076 memory=6912 CPUtime=0 cores=5,7
/proc/162700/task/162771/stat : 162771 (Common-Cleaner) S 162687 162700 162635 0 -1 4194368 2671 0 0 0 0 0 0 0 20 0 21 0 237889138 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
[pid=162700/tid=162775] ppid=162687 vsize=19130076 memory=5044 CPUtime=0 cores=5,7
/proc/162700/task/162775/stat : 162775 (Timer-0) S 162687 162700 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889186 19589197824 2671704 18446744073709551615 94814621650944 94814621654640 140732075843120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94814621662456 94814621663248 94814652907520 140732075850108 140732075850212 140732075850212 140732075855816 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10686816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3530.73 s]
# the end of solver process 162700 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.96 s, system=5.22459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3530.73
CPU time (s): 3600.19
CPU user time (s): 3594.96
CPU system time (s): 5.22459
CPU usage (%): 101.967
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 10686816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.96
system time used= 5.22459
maximum resident set size= 10688096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122502
involuntary context switches= 11630
# summary of solver processes directly reported to runsolver:
# pid: 162700
# total CPU time (s): 3600.19
# total CPU user time (s): 3594.96
# total CPU system time (s): 5.22459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.3296 second user time and 33.6228 second system time
The end