runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (59615 MiB free)
memory of node 1: 64507 MiB (54323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498668-1751400251/watcher-4498668-1751400251 -o /tmp/evaluation-result-4498668-1751400251/solver-4498668-1751400251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751396661-59140 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498668-1751400251.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=59682, runsolver pid=59672
[startup+0.100069 s]*
/proc/loadavg: 4.28 4.30 4.16 8/322 59710
/proc/meminfo: memFree=116627528/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=18930384 memory=47692 CPUtime=0.11 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 5708 0 0 0 7 4 0 0 20 0 18 0 55704932 19384713216 11923 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4732596 11923 5192 1 0 546925 0
[pid=59682/tid=59694] ppid=59672 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 4592 0 0 0 4 2 0 0 20 0 18 0 55704935 19384713216 11923 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55704940 19384713216 11923 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=18930384 memory=59593594258114 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55704941 19384713216 11923 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47692 KiB
[startup+0.213778 s]*
/proc/loadavg: 4.28 4.30 4.16 9/322 59710
/proc/meminfo: memFree=116339644/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=18930384 memory=52004 CPUtime=0.28 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 6167 0 0 0 23 5 0 0 20 0 18 0 55704932 19384713216 13001 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4732596 13001 5352 1 0 547278 0
[pid=59682/tid=59694] ppid=59672 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 4982 0 0 0 15 3 0 0 20 0 18 0 55704935 19384713216 13033 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55704940 19384713216 13033 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55704941 19384713216 13033 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52004 KiB
[startup+0.317832 s]*
/proc/loadavg: 4.28 4.30 4.16 9/322 59710
/proc/meminfo: memFree=116307444/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=18930384 memory=58276 CPUtime=0.44 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 6707 0 0 0 39 5 0 0 20 0 18 0 55704932 19384713216 14569 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4732596 14569 5352 1 0 547737 0
[pid=59682/tid=59694] ppid=59672 vsize=18930384 memory=-6000919498442695530 CPUtime=0.26 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 5144 0 0 0 23 3 0 0 20 0 18 0 55704935 19384713216 14569 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55704940 19384713216 14569 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55704941 19384713216 14569 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58276 KiB
[startup+0.700304 s]
/proc/loadavg: 4.28 4.30 4.16 8/322 59710
/proc/meminfo: memFree=116225084/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=18930384 memory=93776 CPUtime=1.12 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 8996 0 0 0 105 7 0 0 20 0 18 0 55704932 19384713216 23444 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4732596 23444 5448 1 0 549224 0
[pid=59682/tid=59694] ppid=59672 vsize=18930384 memory=17920 CPUtime=0.56 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 5301 0 0 0 52 4 0 0 20 0 18 0 55704935 19384713216 23444 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=18930384 memory=10624 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 55704940 19384713216 23444 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 55704941 19384713216 23444 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 93776 KiB
[startup+1.5003 s]
/proc/loadavg: 4.28 4.30 4.16 8/324 59712
/proc/meminfo: memFree=115763120/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=192404 CPUtime=2.63 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 15578 0 0 0 251 12 0 0 20 0 20 0 55704932 19521036288 48101 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 48101 5512 1 0 553110 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=3200 CPUtime=1.19 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 5442 0 0 0 112 7 0 0 20 0 20 0 55704935 19521036288 48101 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 48101 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 48101 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192404 KiB
[startup+3.10565 s]
/proc/loadavg: 4.41 4.33 4.17 6/325 59713
/proc/meminfo: memFree=112563484/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=236952 CPUtime=5.26 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 20582 0 0 0 511 15 0 0 20 0 20 0 55704932 19521036288 59238 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 59238 5544 1 0 1169371 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=10624 CPUtime=2.73 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 5616 0 0 0 265 8 0 0 20 0 20 0 55704935 19521036288 59238 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 59238 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 59238 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 59238 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 236952 KiB
[startup+6.30024 s]
/proc/loadavg: 4.41 4.33 4.17 5/325 59713
/proc/meminfo: memFree=111337840/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=320964 CPUtime=8.7 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 21661 0 0 0 852 18 0 0 20 0 20 0 55704932 19521036288 80241 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 80241 5544 1 0 1169377 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=0 CPUtime=5.89 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 6149 0 0 0 579 10 0 0 20 0 20 0 55704935 19521036288 80241 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 80241 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=-6000919498442695530 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 80241 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 80241 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 320964 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 4.32 4.17 4/304 59795
/proc/meminfo: memFree=112352692/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=450088 CPUtime=15.12 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 22499 0 0 0 1484 28 0 0 20 0 20 0 55704932 19521036288 112522 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 112522 5544 1 0 1169386 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=0 CPUtime=12.17 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 6257 0 0 0 1200 17 0 0 20 0 20 0 55704935 19521036288 112522 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 112522 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=450088 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 112522 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 112522 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 450088 KiB
[startup+25.5004 s]
/proc/loadavg: 4.58 4.37 4.19 5/326 59846
/proc/meminfo: memFree=104946580/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=480932 CPUtime=28.44 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 29273 0 0 0 2814 30 0 0 20 0 20 0 55704932 19521036288 120233 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 120233 5544 1 0 1169388 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=474724 CPUtime=24.74 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 7195 0 0 0 2457 17 0 0 20 0 20 0 55704935 19521036288 120233 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=325060 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 120233 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 120233 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=192660 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 120233 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 28.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 480932 KiB
[startup+51.1133 s]
/proc/loadavg: 4.60 4.39 4.20 7/326 59846
/proc/meminfo: memFree=97994256/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=687808 CPUtime=54.07 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 31175 0 0 0 5370 37 0 0 20 0 20 0 55704932 19521036288 171952 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 171952 5544 1 0 1169388 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=487100 CPUtime=50.09 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 8313 0 0 0 4988 21 0 0 20 0 20 0 55704935 19521036288 171952 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 171952 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 171952 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=583356 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 171952 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 54.07 s
################
# More data... #
################
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158486 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1400 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158486 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=4633944 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158486 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3231.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4633944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.27 4.27 5/326 60067
/proc/meminfo: memFree=100082316/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634072 CPUtime=3291.68 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 131615 0 0 0 328852 316 0 0 20 0 20 0 55704932 19521036288 1158518 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158518 5544 1 0 1172078 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=4633944 CPUtime=3257.74 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 63169 0 0 0 325690 84 0 0 20 0 20 0 55704935 19521036288 1158518 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158518 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1446 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158518 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=4633944 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158518 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3291.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.23 4.25 5/325 60069
/proc/meminfo: memFree=100024224/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3352.28 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 134099 0 0 0 334909 319 0 0 20 0 20 0 55704932 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158550 5544 1 0 1172121 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=17920 CPUtime=3317.08 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 64388 0 0 0 331624 84 0 0 20 0 20 0 55704935 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1446 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3352.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.20 4.24 5/325 60071
/proc/meminfo: memFree=99921588/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3412.32 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 136104 0 0 0 340909 323 0 0 20 0 20 0 55704932 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158550 5544 1 0 1172121 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=0 CPUtime=3376.65 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 65569 0 0 0 337581 84 0 0 20 0 20 0 55704935 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1459 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3412.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.24 5/325 60084
/proc/meminfo: memFree=99679756/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3472.57 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 138680 0 0 0 346932 325 0 0 20 0 20 0 55704932 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158550 5544 1 0 1172121 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=0 CPUtime=3436.14 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 67034 0 0 0 343530 84 0 0 20 0 20 0 55704935 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1500 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3472.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634200 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.22 5/325 60086
/proc/meminfo: memFree=99514672/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3532.57 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 140899 0 0 0 352928 329 0 0 20 0 20 0 55704932 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158550 5544 1 0 1172121 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3495.86 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 68555 0 0 0 349502 84 0 0 20 0 20 0 55704935 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=22004 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3532.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.22 5/326 60091
/proc/meminfo: memFree=99514704/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3592.94 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 141560 0 0 0 358962 332 0 0 20 0 20 0 55704932 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158550 5544 1 0 1172121 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3555.23 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 69041 0 0 0 355438 85 0 0 20 0 20 0 55704935 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=4634200 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3592.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3589.4 s]
/proc/loadavg: 4.16 4.18 4.22 4/302 60125
/proc/meminfo: memFree=109487412/131382112 swapFree=33010160/33010684
[pid=59682] ppid=59672 vsize=19063512 memory=4634200 CPUtime=3600.01 cores=5,7
/proc/59682/stat : 59682 (java) S 59672 59682 59127 0 -1 4194304 141735 0 0 0 359667 334 0 0 20 0 20 0 55704932 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
/proc/59682/statm: 4765878 1158550 5544 1 0 1172121 0
[pid=59682/tid=59694] ppid=59672 vsize=19063512 memory=1530944 CPUtime=3562.29 cores=5,7
/proc/59682/task/59694/stat : 59694 (java) R 59672 59682 59127 0 -1 4194368 69216 0 0 0 356143 86 0 0 20 0 20 0 55704935 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59703] ppid=59672 vsize=19063512 memory=3712 CPUtime=0 cores=5,7
/proc/59682/task/59703/stat : 59703 (Finalizer) S 59672 59682 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 55704940 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59710] ppid=59672 vsize=19063512 memory=3072 CPUtime=0 cores=5,7
/proc/59682/task/59710/stat : 59710 (Common-Cleaner) S 59672 59682 59127 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 20 0 55704941 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
[pid=59682/tid=59713] ppid=59672 vsize=19063512 memory=6656 CPUtime=0 cores=5,7
/proc/59682/task/59713/stat : 59713 (Timer-0) S 59672 59682 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 55705042 19521036288 1158550 18446744073709551615 93832963317760 93832963321456 140728077007872 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93832963329272 93832963330064 93832984064000 140728077011329 140728077011430 140728077011430 140728077017032 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4634200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589.52 s]
# the end of solver process 59682 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.82 s, system=3.37797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3589.5 s]*
/proc/loadavg: 4.16 4.18 4.22 5/286 60132
/proc/meminfo: memFree=113985192/131382112 swapFree=33010160/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): 3589.52
CPU time (s): 3600.2
CPU user time (s): 3596.82
CPU system time (s): 3.37797
CPU usage (%): 100.297
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4634200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.82
system time used= 3.37798
maximum resident set size= 4635480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110999
involuntary context switches= 6671
# summary of solver processes directly reported to runsolver:
# pid: 59682
# total CPU time (s): 3600.2
# total CPU user time (s): 3596.82
# total CPU system time (s): 3.37797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.479 second user time and 36.5211 second system time
The end