runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (9558 MiB free)
memory of node 1: 16384 MiB (14160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300678-1532899620/watcher-4300678-1532899620 -o /tmp/evaluation-result-4300678-1532899620/solver-4300678-1532899620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532899620-2520 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4300678-1532899620.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2546, runsolver pid=2541
[startup+0.100689 s]*
/proc/loadavg: 1.14 1.55 1.63 4/219 2578
/proc/meminfo: memFree=24255040/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10658972 memory=27948 CPUtime=0.1 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 4862 0 0 0 9 1 0 0 20 0 15 0 107525133 10914787328 6987 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2664743 6987 2807 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10658972 memory=-7387007932599496084 CPUtime=0.07 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 2818 0 0 0 7 0 0 0 20 0 15 0 107525134 10914787328 7052 33554432000 4194304 4196468 140721709225136 139860113017488 139860108811670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10658972 memory=4211973508818242954 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10914787328 7052 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10658972 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10914787328 7052 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10914787328 7052 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525135 10914787328 7052 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525137 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107525137 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107525137 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) S 2541 2546 29938 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 107525140 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859140201072 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525140 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10658972 memory=139782613452416 CPUtime=0.01 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) S 2541 2546 29938 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 107525140 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859138095984 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10658972 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525140 10914787328 7052 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27948 KiB
[startup+0.2104 s]*
/proc/loadavg: 1.14 1.55 1.63 3/219 2578
/proc/meminfo: memFree=24232748/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661056 memory=39544 CPUtime=0.31 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 7512 0 0 0 29 2 0 0 20 0 15 0 107525133 10916921344 9886 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665264 9886 2951 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661056 memory=-7387007932599496084 CPUtime=0.18 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 4627 0 0 0 17 1 0 0 20 0 15 0 107525134 10916921344 9886 33554432000 4194304 4196468 140721709225136 139860113039104 139860092880222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661056 memory=4211973508818242954 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916921344 9886 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661056 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916921344 9886 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916921344 9886 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525135 10916921344 9886 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661056 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525137 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107525137 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107525137 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) S 2541 2546 29938 0 -1 1077944384 634 0 0 0 2 0 0 0 20 0 15 0 107525140 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859140201072 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) S 2541 2546 29938 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 15 0 107525140 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661056 memory=139782613452416 CPUtime=0.07 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) R 2541 2546 29938 0 -1 4202560 776 0 0 0 7 0 0 0 20 0 15 0 107525140 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859138095984 139860092880222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661056 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525140 10916921344 9886 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39544 KiB
[startup+0.310607 s]*
/proc/loadavg: 1.14 1.55 1.63 6/219 2578
/proc/meminfo: memFree=24222916/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661132 memory=44648 CPUtime=0.54 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 8260 0 0 0 51 3 0 0 20 0 15 0 107525133 10916999168 11162 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665283 11162 3054 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661132 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 4987 0 0 0 27 1 0 0 20 0 15 0 107525134 10916999168 11162 33554432000 4194304 4196468 140721709225136 139860113034752 139860108811670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 11162 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 11162 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 11162 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 11162 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=139782613452416 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661132 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) R 2541 2546 29938 0 -1 4202560 773 0 0 0 4 0 0 0 20 0 15 0 107525140 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859140192480 139860101905452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) R 2541 2546 29938 0 -1 1077944384 195 0 0 0 5 0 0 0 20 0 15 0 107525140 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661132 memory=139782720977549 CPUtime=0.14 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) R 2541 2546 29938 0 -1 4202560 952 0 0 0 14 0 0 0 20 0 15 0 107525140 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859138092352 139860087768036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661132 memory=110292991 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661132 memory=279565075722224 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 11162 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 44648 KiB
[startup+0.700743 s]
/proc/loadavg: 1.14 1.55 1.63 10/219 2578
/proc/meminfo: memFree=24191468/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661132 memory=77984 CPUtime=1.7 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 12144 0 0 0 166 4 0 0 20 0 15 0 107525133 10916999168 19496 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665283 19496 3117 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661132 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 5446 0 0 0 63 2 0 0 20 0 15 0 107525134 10916999168 19496 33554432000 4194304 4196468 140721709225136 139860113029680 140721709275074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 19496 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 19496 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=2444 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 19496 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 19496 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661132 memory=7014751519734519121 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661132 memory=7883949533517342546 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661132 memory=5787213827130353767 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661132 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) R 2541 2546 29938 0 -1 4202560 1982 0 0 0 34 1 0 0 20 0 15 0 107525140 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859140185856 139860093186761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661132 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) R 2541 2546 29938 0 -1 4202560 1484 0 0 0 33 0 0 0 20 0 15 0 107525140 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859139130224 139860094814032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) S 2541 2546 29938 0 -1 1077944384 1862 0 0 0 34 0 0 0 20 0 15 0 107525140 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859138095984 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 19496 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 77984 KiB
[startup+1.50087 s]
/proc/loadavg: 1.14 1.55 1.63 6/219 2578
/proc/meminfo: memFree=24075316/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661132 memory=196248 CPUtime=3.68 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 21449 0 0 0 360 8 0 0 20 0 15 0 107525133 10916999168 49062 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665283 49062 3134 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661132 memory=279564924534720 CPUtime=1.45 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 5828 0 0 0 141 4 0 0 20 0 15 0 107525134 10916999168 49062 33554432000 4194304 4196468 140721709225136 139860113021904 140721709275074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 49062 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=212 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 49062 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=139782462385488 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 49062 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=279564924869232 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 107525135 10916999168 49062 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=13568201959821613 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 49062 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
################
# More data... #
################
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 22952 0 0 0 235722 1022 0 0 20 0 15 0 107525134 10916999168 127839 33554432000 4194304 4196468 140721709225136 139860113023744 140721709275074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=511356 CPUtime=7.66 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 6668 0 0 0 727 39 0 0 20 0 15 0 107525135 10916999168 127839 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=509308 CPUtime=7.61 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 8489 0 0 0 723 38 0 0 20 0 15 0 107525135 10916999168 127839 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=509308 CPUtime=7.62 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 7412 0 0 0 724 38 0 0 20 0 15 0 107525135 10916999168 127839 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=511356 CPUtime=7.62 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 6653 0 0 0 720 42 0 0 20 0 15 0 107525135 10916999168 127839 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=279564924869208 CPUtime=4.83 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 7302 0 0 0 449 34 0 0 20 0 15 0 107525137 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661132 memory=139782462284337 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661132 memory=15872 CPUtime=1.02 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) S 2541 2546 29938 0 -1 1077944384 8056 0 0 0 100 2 0 0 20 0 15 0 107525140 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859140201072 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661132 memory=511356 CPUtime=1.63 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) S 2541 2546 29938 0 -1 1077944384 8224 0 0 0 162 1 0 0 20 0 15 0 107525140 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661132 memory=4132 CPUtime=0.38 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) S 2541 2546 29938 0 -1 1077944384 3535 0 0 0 38 0 0 0 20 0 15 0 107525140 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859138095984 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661132 memory=1404 CPUtime=0.93 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 963 0 0 0 46 47 0 0 20 0 15 0 107525140 10916999168 127839 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 2406.84 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 511356 KiB
[startup+2442.3 s]
/proc/loadavg: 1.09 1.26 1.31 3/219 2696
/proc/meminfo: memFree=23456748/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661132 memory=519548 CPUtime=2467.62 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 83275 0 0 0 245505 1257 0 0 20 0 15 0 107525133 10916999168 129887 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665283 129887 3150 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661132 memory=519548 CPUtime=2427.03 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 23292 0 0 0 241658 1045 0 0 20 0 15 0 107525134 10916999168 129887 33554432000 4194304 4196468 140721709225136 139860113027328 139859725496775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=517500 CPUtime=7.93 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 6795 0 0 0 753 40 0 0 20 0 15 0 107525135 10916999168 129887 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=511356 CPUtime=7.87 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 8687 0 0 0 749 38 0 0 20 0 15 0 107525135 10916999168 129887 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=509308 CPUtime=7.89 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 7687 0 0 0 749 40 0 0 20 0 15 0 107525135 10916999168 129887 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=515452 CPUtime=7.88 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 7072 0 0 0 745 43 0 0 20 0 15 0 107525135 10916999168 129887 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=517500 CPUtime=4.94 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 7446 0 0 0 460 34 0 0 20 0 15 0 107525137 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661132 memory=519548 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661132 memory=519548 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661132 memory=515452 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661132 memory=519548 CPUtime=1.02 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) S 2541 2546 29938 0 -1 1077944384 8058 0 0 0 100 2 0 0 20 0 15 0 107525140 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859140201072 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661132 memory=519548 CPUtime=1.63 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) S 2541 2546 29938 0 -1 1077944384 8325 0 0 0 162 1 0 0 20 0 15 0 107525140 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661132 memory=519548 CPUtime=0.38 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) S 2541 2546 29938 0 -1 1077944384 3537 0 0 0 38 0 0 0 20 0 15 0 107525140 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859138095984 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661132 memory=519548 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661132 memory=519548 CPUtime=0.96 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 969 0 0 0 47 49 0 0 20 0 15 0 107525140 10916999168 129887 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 2467.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 519548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.3 s]
/proc/loadavg: 1.20 1.26 1.31 2/198 2749
/proc/meminfo: memFree=23970776/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661132 memory=326988 CPUtime=2520.04 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 84727 0 0 0 250721 1283 0 0 20 0 15 0 107525133 10916999168 81747 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665283 81747 3163 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661132 memory=326552 CPUtime=2478.72 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 23611 0 0 0 246806 1066 0 0 20 0 15 0 107525134 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860113026400 140721709275074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=326552 CPUtime=8.08 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 6864 0 0 0 767 41 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=279564925513968 CPUtime=8.02 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 8990 0 0 0 763 39 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=326552 CPUtime=8.03 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 7763 0 0 0 762 41 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=326552 CPUtime=8.03 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 7138 0 0 0 759 44 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=326552 CPUtime=5.05 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 8057 0 0 0 470 35 0 0 20 0 15 0 107525137 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661132 memory=326552 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661132 memory=326988 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661132 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661132 memory=326552 CPUtime=1.02 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) S 2541 2546 29938 0 -1 1077944384 8058 0 0 0 100 2 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859140201072 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661132 memory=1200 CPUtime=1.63 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) S 2541 2546 29938 0 -1 1077944384 8325 0 0 0 162 1 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661132 memory=326552 CPUtime=0.38 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) S 2541 2546 29938 0 -1 1077944384 3537 0 0 0 38 0 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859138095984 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661132 memory=326552 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661132 memory=326552 CPUtime=0.98 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 977 0 0 0 49 49 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 326988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.31 s]
# the end of solver process 2546 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.23 s, system=12.8366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.3 s]
/proc/loadavg: 1.20 1.26 1.31 2/198 2749
/proc/meminfo: memFree=23970776/32770624 swapFree=67108860/67108860
[pid=2546] ppid=2541 vsize=10661132 memory=326988 CPUtime=2520.04 cores=1,3,5,7
/proc/2546/stat : 2546 (java) S 2541 2546 29938 0 -1 1077944320 84727 0 0 0 250721 1283 0 0 20 0 15 0 107525133 10916999168 81747 33554432000 4194304 4196468 140721709225136 140721709207680 139860108799735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
/proc/2546/statm: 2665283 81747 3163 1 0 2627263 0
[pid=2546/tid=2551] ppid=2541 vsize=10661132 memory=326552 CPUtime=2478.72 cores=1,3,5,7
/proc/2546/task/2551/stat : 2551 (java) R 2541 2546 29938 0 -1 4202560 23611 0 0 0 246806 1066 0 0 20 0 15 0 107525134 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860113026400 140721709275074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2553] ppid=2541 vsize=10661132 memory=326552 CPUtime=8.08 cores=1,3,5,7
/proc/2546/task/2553/stat : 2553 (java) S 2541 2546 29938 0 -1 1077944384 6864 0 0 0 767 41 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860045491088 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2556] ppid=2541 vsize=10661132 memory=279564925513968 CPUtime=8.02 cores=1,3,5,7
/proc/2546/task/2556/stat : 2556 (java) S 2541 2546 29938 0 -1 1077944384 8990 0 0 0 763 39 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860044438288 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2558] ppid=2541 vsize=10661132 memory=326552 CPUtime=8.03 cores=1,3,5,7
/proc/2546/task/2558/stat : 2558 (java) S 2541 2546 29938 0 -1 1077944384 7763 0 0 0 762 41 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860043386000 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2560] ppid=2541 vsize=10661132 memory=326552 CPUtime=8.03 cores=1,3,5,7
/proc/2546/task/2560/stat : 2560 (java) S 2541 2546 29938 0 -1 1077944384 7138 0 0 0 759 44 0 0 20 0 15 0 107525135 10916999168 81747 33554432000 4194304 4196468 140721709225136 139860042333200 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2561] ppid=2541 vsize=10661132 memory=326552 CPUtime=5.05 cores=1,3,5,7
/proc/2546/task/2561/stat : 2561 (java) S 2541 2546 29938 0 -1 1077944384 8057 0 0 0 470 35 0 0 20 0 15 0 107525137 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859144411248 139860108810882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2563] ppid=2541 vsize=10661132 memory=326552 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2563/stat : 2563 (java) S 2541 2546 29938 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859143357216 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2565] ppid=2541 vsize=10661132 memory=326988 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2565/stat : 2565 (java) S 2541 2546 29938 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 107525137 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859142304880 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2567] ppid=2541 vsize=10661132 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2567/stat : 2567 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859141253200 139860108818331 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2568] ppid=2541 vsize=10661132 memory=326552 CPUtime=1.02 cores=1,3,5,7
/proc/2546/task/2568/stat : 2568 (java) S 2541 2546 29938 0 -1 1077944384 8058 0 0 0 100 2 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859140201072 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2569] ppid=2541 vsize=10661132 memory=1200 CPUtime=1.63 cores=1,3,5,7
/proc/2546/task/2569/stat : 2569 (java) S 2541 2546 29938 0 -1 1077944384 8325 0 0 0 162 1 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859139148272 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2570] ppid=2541 vsize=10661132 memory=326552 CPUtime=0.38 cores=1,3,5,7
/proc/2546/task/2570/stat : 2570 (java) S 2541 2546 29938 0 -1 1077944384 3537 0 0 0 38 0 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859138095984 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2575] ppid=2541 vsize=10661132 memory=326552 CPUtime=0 cores=1,3,5,7
/proc/2546/task/2575/stat : 2575 (java) S 2541 2546 29938 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859137043424 139860108809941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
[pid=2546/tid=2577] ppid=2541 vsize=10661132 memory=326552 CPUtime=0.98 cores=1,3,5,7
/proc/2546/task/2577/stat : 2577 (java) S 2541 2546 29938 0 -1 1077944384 977 0 0 0 49 49 0 0 20 0 15 0 107525140 10916999168 81747 33554432000 4194304 4196468 140721709225136 139859135990192 139860108810882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25497600 140721709233272 140721709233417 140721709233417 140721709236175 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 326988 KiB
Child status: 143
Real time (s): 2494.31
CPU time (s): 2520.06
CPU user time (s): 2507.23
CPU system time (s): 12.8366
CPU usage (%): 101.032
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 538208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.23
system time used= 12.8366
maximum resident set size= 542444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195784
involuntary context switches= 7208
# summary of solver processes directly reported to runsolver:
# pid: 2546
# total CPU time (s): 2520.06
# total CPU user time (s): 2507.23
# total CPU system time (s): 12.8366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6224 second user time and 23.9391 second system time
The end