runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (56340 MiB free)
memory of node 1: 64465 MiB (58382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545433-1753238732/watcher-4545433-1753238732 -o /tmp/evaluation-result-4545433-1753238732/solver-4545433-1753238732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753235137-181653 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4545433-1753238732.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=182227, runsolver pid=182224
[startup+0.100058 s]*
/proc/loadavg: 4.23 4.16 4.17 6/340 182245
/proc/meminfo: memFree=117445704/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=18930384 memory=57812 CPUtime=0.12 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 6576 0 0 0 10 2 0 0 20 0 18 0 239552578 19384713216 14453 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4732596 14453 5355 1 0 547620 0
[pid=182227/tid=182229] ppid=182224 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 5073 0 0 0 6 1 0 0 20 0 18 0 239552579 19384713216 14453 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239552581 19384713216 14453 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=18930384 memory=60684515952020 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239552582 19384713216 14453 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57812 KiB
[startup+0.2058 s]*
/proc/loadavg: 4.23 4.16 4.17 7/340 182245
/proc/meminfo: memFree=117436252/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=18930384 memory=68556 CPUtime=0.33 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 7164 0 0 0 30 3 0 0 20 0 18 0 239552578 19384713216 17139 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4732596 17139 5419 1 0 548018 0
[pid=182227/tid=182229] ppid=182224 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 5397 0 0 0 16 2 0 0 20 0 18 0 239552579 19384713216 17139 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239552581 19384713216 17139 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239552582 19384713216 17139 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68556 KiB
[startup+0.30575 s]*
/proc/loadavg: 4.23 4.16 4.17 6/341 182246
/proc/meminfo: memFree=117340156/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=18996948 memory=159768 CPUtime=0.52 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 8899 0 0 0 47 5 0 0 20 0 19 0 239552578 19452874752 39942 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4749237 39942 5451 1 0 549412 0
[pid=182227/tid=182229] ppid=182224 vsize=18996948 memory=-8888813095738974908 CPUtime=0.26 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 5438 0 0 0 23 3 0 0 20 0 19 0 239552579 19452874752 39942 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239552581 19452874752 39942 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239552582 19452874752 39942 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159768 KiB
[startup+0.700241 s]
/proc/loadavg: 4.23 4.16 4.17 6/341 182246
/proc/meminfo: memFree=117152812/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=18996948 memory=691724 CPUtime=1.26 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 10922 0 0 0 110 16 0 0 20 0 19 0 239552578 19452874752 172931 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4749237 172931 5451 1 0 1076344 0
[pid=182227/tid=182229] ppid=182224 vsize=18996948 memory=27264 CPUtime=0.57 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 5694 0 0 0 45 12 0 0 20 0 19 0 239552579 19452874752 172931 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239552581 19452874752 172931 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239552582 19452874752 172931 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 691724 KiB
[startup+1.50023 s]
/proc/loadavg: 4.23 4.16 4.17 6/342 182247
/proc/meminfo: memFree=116572568/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19063512 memory=926596 CPUtime=2.84 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 18967 0 0 0 261 23 0 0 20 0 20 0 239552578 19521036288 231649 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4765878 231649 5483 1 0 1081800 0
[pid=182227/tid=182229] ppid=182224 vsize=19063512 memory=3328 CPUtime=1.33 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 5866 0 0 0 116 17 0 0 20 0 20 0 239552579 19521036288 231649 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239552581 19521036288 231649 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239552582 19521036288 231649 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239552657 19521036288 231649 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 926596 KiB
[startup+3.10563 s]
/proc/loadavg: 4.23 4.16 4.17 6/342 182247
/proc/meminfo: memFree=115945100/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19063512 memory=1208388 CPUtime=5.96 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 19922 0 0 0 567 29 0 0 20 0 20 0 239552578 19521036288 302097 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4765878 302097 5483 1 0 1082280 0
[pid=182227/tid=182229] ppid=182224 vsize=19063512 memory=14464 CPUtime=2.78 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 5977 0 0 0 257 21 0 0 20 0 20 0 239552579 19521036288 302097 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239552581 19521036288 302097 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239552582 19521036288 302097 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239552657 19521036288 302097 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1208388 KiB
[startup+6.30022 s]
/proc/loadavg: 4.30 4.18 4.17 5/342 182247
/proc/meminfo: memFree=115289624/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19063512 memory=1731804 CPUtime=9.98 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 21210 0 0 0 958 40 0 0 20 0 20 0 239552578 19521036288 432951 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4765878 432951 5515 1 0 1886547 0
[pid=182227/tid=182229] ppid=182224 vsize=19063512 memory=0 CPUtime=5.78 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) S 182224 182227 181643 0 -1 4194368 6232 0 0 0 549 29 0 0 20 0 20 0 239552579 19521036288 432951 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239552581 19521036288 432951 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239552582 19521036288 432951 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19063512 memory=973956 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239552657 19521036288 432951 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 9.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1731804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.17 4.17 6/342 182247
/proc/meminfo: memFree=114290648/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19063512 memory=2560132 CPUtime=16.98 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 23616 0 0 0 1642 56 0 0 20 0 20 0 239552578 19521036288 640033 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4765878 640033 5515 1 0 1886547 0
[pid=182227/tid=182229] ppid=182224 vsize=19063512 memory=973956 CPUtime=12.04 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 7820 0 0 0 1161 43 0 0 20 0 20 0 239552579 19521036288 640033 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19063512 memory=2250884 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239552581 19521036288 640033 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239552582 19521036288 640033 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239552657 19521036288 640033 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 16.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2560132 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.16 4.17 5/342 182247
/proc/meminfo: memFree=110186496/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19063512 memory=4849960 CPUtime=29.86 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 28543 0 0 0 2883 103 0 0 20 0 20 0 239552578 19521036288 1212490 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4765878 1212490 5515 1 0 1886565 0
[pid=182227/tid=182229] ppid=182224 vsize=19063512 memory=0 CPUtime=24.7 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 11003 0 0 0 2383 87 0 0 20 0 20 0 239552579 19521036288 1212490 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239552581 19521036288 1212490 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19063512 memory=4849960 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239552582 19521036288 1212490 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19063512 memory=4585604 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239552657 19521036288 1212490 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 29.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4849960 KiB
[startup+51.1056 s]
/proc/loadavg: 4.28 4.18 4.17 5/341 182248
/proc/meminfo: memFree=109892028/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19063512 memory=4997500 CPUtime=56.77 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 43831 0 0 0 5569 108 0 0 20 0 20 0 239552578 19521036288 1249375 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4765878 1249375 5515 1 0 1886672 0
[pid=182227/tid=182229] ppid=182224 vsize=19063512 memory=4849960 CPUtime=49.86 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 13860 0 0 0 4899 87 0 0 20 0 20 0 239552579 19521036288 1249375 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19063512 memory=13184 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239552581 19521036288 1249375 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239552582 19521036288 1249375 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19063512 memory=2601092 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2305 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3120.99 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7509724 KiB
[startup+3042.3 s]
/proc/loadavg: 4.84 4.62 4.44 7/344 182413
/proc/meminfo: memFree=101594964/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7509724 CPUtime=3198.85 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 310120 0 0 0 319490 395 0 0 20 0 21 0 239552578 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1877431 5515 1 0 1892575 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=7509724 CPUtime=3000.95 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 157412 0 0 0 299956 139 0 0 20 0 21 0 239552579 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2355 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3198.85 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7509724 KiB
[startup+3102.3 s]
/proc/loadavg: 5.05 4.72 4.48 6/343 182415
/proc/meminfo: memFree=101586752/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7509724 CPUtime=3276.09 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 313047 0 0 0 327199 410 0 0 20 0 21 0 239552578 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1877431 5515 1 0 1892575 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=7509724 CPUtime=3060.38 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 159047 0 0 0 305898 140 0 0 20 0 21 0 239552579 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2403 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3276.09 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7509724 KiB
[startup+3162.3 s]
/proc/loadavg: 4.89 4.72 4.50 5/343 182417
/proc/meminfo: memFree=101582376/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7509724 CPUtime=3350.3 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 319703 0 0 0 334606 424 0 0 20 0 21 0 239552578 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1877431 5515 1 0 1892575 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=7509724 CPUtime=3119.73 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 162928 0 0 0 311832 141 0 0 20 0 21 0 239552579 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2403 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1877431 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3350.3 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7509724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.73 4.70 4.50 6/342 182419
/proc/meminfo: memFree=101570400/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7511864 CPUtime=3417.79 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 325055 0 0 0 341347 432 0 0 20 0 21 0 239552578 19589197824 1877966 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1877966 5515 1 0 1892575 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=5951608 CPUtime=3178.88 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 165469 0 0 0 317747 141 0 0 20 0 21 0 239552579 19589197824 1877966 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1877966 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=7509724 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2451 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1877966 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1877966 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3417.79 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7511864 KiB
[startup+3282.3 s]
/proc/loadavg: 5.11 4.81 4.55 5/342 182421
/proc/meminfo: memFree=101418300/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7661880 CPUtime=3485.04 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 328334 0 0 0 348060 444 0 0 20 0 21 0 239552578 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1915470 5515 1 0 1930170 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=7659576 CPUtime=3238.38 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 167338 0 0 0 323693 145 0 0 20 0 21 0 239552579 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=-8888813095738974908 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=7511864 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2491 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=7511864 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3485.04 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7661880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.61 4.50 4/317 182457
/proc/meminfo: memFree=109843676/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7661880 CPUtime=3545.36 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 333252 0 0 0 354089 447 0 0 20 0 21 0 239552578 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1915470 5515 1 0 1930170 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=7661880 CPUtime=3297.75 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 170220 0 0 0 329629 146 0 0 20 0 21 0 239552579 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=7661880 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2491 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=7661880 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3545.36 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7661880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3396.8 s]
/proc/loadavg: 3.70 4.40 4.43 5/317 182460
/proc/meminfo: memFree=109840076/131250000 swapFree=33009904/33010684
[pid=182227] ppid=182224 vsize=19130076 memory=7661880 CPUtime=3600.03 cores=0,2
/proc/182227/stat : 182227 (java) S 182224 182227 181643 0 -1 4194304 336634 0 0 0 359553 450 0 0 20 0 21 0 239552578 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
/proc/182227/statm: 4782519 1915470 5515 1 0 1930170 0
[pid=182227/tid=182229] ppid=182224 vsize=19130076 memory=7661880 CPUtime=3351.82 cores=0,2
/proc/182227/task/182229/stat : 182229 (java) R 182224 182227 181643 0 -1 4194368 172167 0 0 0 335035 147 0 0 20 0 21 0 239552579 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182238] ppid=182224 vsize=19130076 memory=7661880 CPUtime=0 cores=0,2
/proc/182227/task/182238/stat : 182238 (Finalizer) S 182224 182227 181643 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239552581 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182245] ppid=182224 vsize=19130076 memory=7661880 CPUtime=0 cores=0,2
/proc/182227/task/182245/stat : 182245 (Common-Cleaner) S 182224 182227 181643 0 -1 4194368 2566 0 0 0 0 0 0 0 20 0 21 0 239552582 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
[pid=182227/tid=182247] ppid=182224 vsize=19130076 memory=-8888813095738974908 CPUtime=0 cores=0,2
/proc/182227/task/182247/stat : 182247 (Timer-0) S 182224 182227 181643 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 239552657 19589197824 1915470 18446744073709551615 94040188940288 94040188943984 140732354217456 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94040188951800 94040188952592 94040211841024 140732354226556 140732354226660 140732354226660 140732354232264 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7661880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3396.91 s]
# the end of solver process 182227 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.68 s, system=4.52908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3396.9 s]*
/proc/loadavg: 3.70 4.40 4.43 4/295 182463
/proc/meminfo: memFree=117486860/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3396.91
CPU time (s): 3600.21
CPU user time (s): 3595.68
CPU system time (s): 4.52908
CPU usage (%): 105.985
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 7661880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.68
system time used= 4.52908
maximum resident set size= 7662776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338975
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116074
involuntary context switches= 19482
# summary of solver processes directly reported to runsolver:
# pid: 182227
# total CPU time (s): 3600.21
# total CPU user time (s): 3595.68
# total CPU system time (s): 4.52908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12837 second user time and 16.3905 second system time
The end