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: 63665 MiB (43644 MiB free)
memory of node 1: 64507 MiB (51018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520946-1751580536/watcher-4520946-1751580536 -o /tmp/evaluation-result-4520946-1751580536/solver-4520946-1751580536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751573953-82529 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4520946-1751580536.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
solver pid=83352, runsolver pid=83349
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.50 4.35 4.30 7/340 83370
/proc/meminfo: memFree=96911888/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=18930384 memory=57644 CPUtime=0.12 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 6550 0 0 0 10 2 0 0 20 0 18 0 73731276 19384713216 14411 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4732596 14411 5336 1 0 547604 0
[pid=83352/tid=83354] ppid=83349 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 5058 0 0 0 6 2 0 0 20 0 18 0 73731278 19384713216 14411 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73731280 19384713216 14411 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=18930384 memory=59585004307076 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73731280 19384713216 14411 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57644 KiB
[startup+0.205858 s]*
/proc/loadavg: 4.50 4.35 4.30 7/340 83370
/proc/meminfo: memFree=96902688/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=18930384 memory=64336 CPUtime=0.32 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 7100 0 0 0 29 3 0 0 20 0 18 0 73731276 19384713216 16084 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4732596 16084 5432 1 0 547996 0
[pid=83352/tid=83354] ppid=83349 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 5361 0 0 0 16 2 0 0 20 0 18 0 73731278 19384713216 16084 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=18930384 memory=15140 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73731280 19384713216 16084 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73731280 19384713216 16084 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64336 KiB
[startup+0.305679 s]*
/proc/loadavg: 4.50 4.35 4.30 6/340 83370
/proc/meminfo: memFree=96866392/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=18930384 memory=103396 CPUtime=0.52 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 8621 0 0 0 48 4 0 0 20 0 18 0 73731276 19384713216 25849 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4732596 25849 5432 1 0 548990 0
[pid=83352/tid=83354] ppid=83349 vsize=18930384 memory=-6000919468428454247 CPUtime=0.28 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 5382 0 0 0 25 3 0 0 20 0 18 0 73731278 19384713216 25849 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73731280 19384713216 25849 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73731280 19384713216 25849 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103396 KiB
[startup+0.700243 s]
/proc/loadavg: 4.50 4.35 4.30 6/341 83371
/proc/meminfo: memFree=96801928/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=178720 CPUtime=1.28 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 14771 0 0 0 121 7 0 0 20 0 20 0 73731276 19521036288 44680 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 44680 5528 1 0 553609 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=14592 CPUtime=0.61 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 5544 0 0 0 57 4 0 0 20 0 20 0 73731278 19521036288 44680 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 44680 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 44680 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178720 KiB
[startup+1.50026 s]
/proc/loadavg: 4.50 4.35 4.30 7/342 83372
/proc/meminfo: memFree=96779248/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=192496 CPUtime=2.86 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 22546 0 0 0 278 8 0 0 20 0 20 0 73731276 19521036288 48124 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 48124 5528 1 0 555081 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=3200 CPUtime=1.33 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 5843 0 0 0 129 4 0 0 20 0 20 0 73731278 19521036288 48124 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 48124 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 48124 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 48124 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192496 KiB
[startup+3.10554 s]
/proc/loadavg: 4.50 4.35 4.30 5/342 83372
/proc/meminfo: memFree=96644572/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=350208 CPUtime=6 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 25451 0 0 0 586 14 0 0 20 0 20 0 73731276 19521036288 87552 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 87552 5528 1 0 661602 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=14592 CPUtime=2.83 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 6585 0 0 0 275 8 0 0 20 0 20 0 73731278 19521036288 87552 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 87552 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 87552 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 87552 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 350208 KiB
[startup+6.30024 s]
/proc/loadavg: 4.46 4.35 4.29 5/342 83372
/proc/meminfo: memFree=96337484/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=622440 CPUtime=9.39 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 25864 0 0 0 919 20 0 0 20 0 20 0 73731276 19521036288 155610 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 155610 5528 1 0 661615 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=0 CPUtime=5.92 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 6751 0 0 0 579 13 0 0 20 0 20 0 73731278 19521036288 155610 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 155610 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 155610 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=192496 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 155610 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 622440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.34 4.29 5/342 83372
/proc/meminfo: memFree=95624780/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=1574952 CPUtime=15.95 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 28717 0 0 0 1557 38 0 0 20 0 20 0 73731276 19521036288 393738 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 393738 5528 1 0 661616 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=192496 CPUtime=12.23 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 8691 0 0 0 1193 30 0 0 20 0 20 0 73731278 19521036288 393738 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=1200168 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 393738 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 393738 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 393738 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1574952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.33 4.32 4.29 5/342 83372
/proc/meminfo: memFree=95248704/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=1710212 CPUtime=29.01 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 32926 0 0 0 2860 41 0 0 20 0 20 0 73731276 19521036288 427553 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 427553 5528 1 0 661621 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=0 CPUtime=24.74 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 10430 0 0 0 2442 32 0 0 20 0 20 0 73731278 19521036288 427553 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 427553 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=1667196 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 427553 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=1667196 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 427553 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 29.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1710212 KiB
[startup+51.1056 s]
/proc/loadavg: 4.42 4.35 4.29 5/342 83440
/proc/meminfo: memFree=100944760/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=1807248 CPUtime=56.33 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 55046 0 0 0 5585 48 0 0 20 0 20 0 73731276 19521036288 451812 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 451812 5528 1 0 664954 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=1710212 CPUtime=49.82 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 13270 0 0 0 4950 32 0 0 20 0 20 0 73731278 19521036288 451812 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=1807248 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 451812 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=1780688 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 451812 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
################
# More data... #
################
/proc/meminfo: memFree=98433012/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=4535492 CPUtime=3086.37 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 163239 0 0 0 308037 600 0 0 20 0 20 0 73731276 19521036288 1133873 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1133873 5528 1 0 1150189 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4493484 CPUtime=2527.3 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 67220 0 0 0 252647 83 0 0 20 0 20 0 73731278 19521036288 1133873 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1133873 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=-6000919468428454247 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 733 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1133873 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1133873 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3086.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4535492 KiB
[startup+2622.3 s]
/proc/loadavg: 4.99 4.85 4.72 5/340 83767
/proc/meminfo: memFree=98224840/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=4652312 CPUtime=3161.98 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 164853 0 0 0 315579 619 0 0 20 0 20 0 73731276 19521036288 1163078 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1163078 5528 1 0 1179433 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4510468 CPUtime=2586.58 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 68078 0 0 0 258573 85 0 0 20 0 20 0 73731278 19521036288 1163078 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=4593840 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1163078 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 764 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1163078 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=4493484 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1163078 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3161.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4652312 KiB
[startup+2682.3 s]
/proc/loadavg: 4.96 4.88 4.74 5/340 83769
/proc/meminfo: memFree=97999040/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=4760676 CPUtime=3237.92 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 168530 0 0 0 323157 635 0 0 20 0 20 0 73731276 19521036288 1190169 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1190169 5528 1 0 1206589 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4510468 CPUtime=2645.83 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 70499 0 0 0 264495 88 0 0 20 0 20 0 73731278 19521036288 1190169 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1190169 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 773 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1190169 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1190169 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3237.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4760676 KiB
[startup+2742.3 s]
/proc/loadavg: 4.82 4.85 4.74 6/340 83771
/proc/meminfo: memFree=97720776/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=4860736 CPUtime=3315 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 173075 0 0 0 330847 653 0 0 20 0 20 0 73731276 19521036288 1215184 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1215184 5528 1 0 1231654 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4510468 CPUtime=2705.12 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 72698 0 0 0 270422 90 0 0 20 0 20 0 73731278 19521036288 1215184 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1215184 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=4777324 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 791 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1215184 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1215184 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3315 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4860736 KiB
[startup+2802.3 s]
/proc/loadavg: 4.86 4.85 4.74 7/340 83773
/proc/meminfo: memFree=97496104/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=4952568 CPUtime=3392.91 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 173756 0 0 0 338620 671 0 0 20 0 20 0 73731276 19521036288 1238142 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1238142 5528 1 0 1254636 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4927464 CPUtime=2764.39 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 72776 0 0 0 276347 92 0 0 20 0 20 0 73731278 19521036288 1238142 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=4910696 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1238142 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=4902504 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 796 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1238142 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=2852 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1238142 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4952568 KiB
[startup+2862.3 s]
/proc/loadavg: 4.93 4.87 4.75 5/340 83780
/proc/meminfo: memFree=97279220/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=5052624 CPUtime=3473.23 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 174398 0 0 0 346631 692 0 0 20 0 20 0 73731276 19521036288 1263156 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1263156 5528 1 0 1279701 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4860736 CPUtime=2823.79 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 72879 0 0 0 282285 94 0 0 20 0 20 0 73731278 19521036288 1263156 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=4985896 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1263156 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=4985896 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1263156 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=4985896 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1263156 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3473.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5052624 KiB
[startup+2922.3 s]
/proc/loadavg: 4.75 4.82 4.74 6/340 83783
/proc/meminfo: memFree=97070996/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=5152700 CPUtime=3552.02 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 176736 0 0 0 354492 710 0 0 20 0 20 0 73731276 19521036288 1288175 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1288175 5528 1 0 1304770 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=4860736 CPUtime=2883.19 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 74511 0 0 0 288222 97 0 0 20 0 20 0 73731278 19521036288 1288175 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=4985896 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1288175 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=4985896 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1288175 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=5152700 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1288175 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3552.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5152700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2960.8 s]
/proc/loadavg: 4.85 4.84 4.75 5/341 83785
/proc/meminfo: memFree=96925376/131249996 swapFree=33003468/33010684
[pid=83352] ppid=83349 vsize=19063512 memory=5202744 CPUtime=3600.07 cores=5,7
/proc/83352/stat : 83352 (java) S 83349 83352 82516 0 -1 4194304 181221 0 0 0 359287 720 0 0 20 0 20 0 73731276 19521036288 1300686 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
/proc/83352/statm: 4765878 1300686 5528 1 0 1317304 0
[pid=83352/tid=83354] ppid=83349 vsize=19063512 memory=-6000919468428454247 CPUtime=2921.26 cores=5,7
/proc/83352/task/83354/stat : 83354 (java) R 83349 83352 82516 0 -1 4194368 76764 0 0 0 292028 98 0 0 20 0 20 0 73731278 19521036288 1300686 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83363] ppid=83349 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/83352/task/83363/stat : 83363 (Finalizer) S 83349 83352 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1300686 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83370] ppid=83349 vsize=19063512 memory=25304 CPUtime=0 cores=5,7
/proc/83352/task/83370/stat : 83370 (Common-Cleaner) S 83349 83352 82516 0 -1 4194368 797 0 0 0 0 0 0 0 20 0 20 0 73731280 19521036288 1300686 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
[pid=83352/tid=83372] ppid=83349 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/83352/task/83372/stat : 83372 (Timer-0) S 83349 83352 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73731333 19521036288 1300686 18446744073709551615 94123283640320 94123283644016 140724192074560 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94123283651832 94123283652624 94123292655616 140724192078206 140724192078310 140724192078310 140724192083912 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5202744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2960.92 s]
# the end of solver process 83352 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593 s, system=7.22949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2960.92
CPU time (s): 3600.23
CPU user time (s): 3593
CPU system time (s): 7.22949
CPU usage (%): 121.592
Max. virtual memory (cumulated for all children) (KiB): 19066052
Max. memory (cumulated for all children) (KiB): 5202744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593
system time used= 7.22949
maximum resident set size= 5203640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146648
involuntary context switches= 58727
# summary of solver processes directly reported to runsolver:
# pid: 83352
# total CPU time (s): 3600.23
# total CPU user time (s): 3593
# total CPU system time (s): 7.22949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90233 second user time and 14.5137 second system time
The end