runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4250057-1500769501/watcher-4250057-1500769501 -o /tmp/evaluation-result-4250057-1500769501/solver-4250057-1500769501 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500750628-23272 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1820199669 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4250057-1500769501.xml
pid=25820
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.57 2.76 2.44 3/261 25823
/proc/meminfo: memFree=30271660/32770624 swapFree=5848/314344
[pid=25823] ppid=25820 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 12219160 369864704 1925 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 90299 1925 1072 1 0 79210 0
[pid=25823/tid=25824] ppid=25820 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) S 25820 25823 23240 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 12219160 369864704 1925 33554432000 4194304 4196468 140725863229296 140540860811680 140540856580738 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[startup+0.100099 s]
/proc/loadavg: 1.57 2.76 2.44 3/261 25823
/proc/meminfo: memFree=30271660/32770624 swapFree=5848/314344
[pid=25823] ppid=25820 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 5701 0 0 0 8 1 0 0 20 0 20 0 12219160 13582245888 5924 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3315978 5990 2720 1 0 3303698 0
[pid=25823/tid=25824] ppid=25820 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 3777 0 0 0 7 1 0 0 20 0 20 0 12219160 13582245888 5990 33554432000 4194304 4196468 140725863229296 140540860811872 140540813205059 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.200461 s]
/proc/loadavg: 1.57 2.76 2.44 3/261 25823
/proc/meminfo: memFree=30271660/32770624 swapFree=5848/314344
[pid=25823] ppid=25820 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 8846 0 0 0 23 3 0 0 20 0 20 0 12219160 13582245888 8818 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3315978 8818 3510 1 0 3303698 0
[pid=25823/tid=25824] ppid=25820 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 6521 0 0 0 16 2 0 0 20 0 20 0 12219160 13582245888 8818 33554432000 4194304 4196468 140725863229296 140540860777744 140540856591517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300377 s]
/proc/loadavg: 1.57 2.76 2.44 3/261 25823
/proc/meminfo: memFree=30271660/32770624 swapFree=5848/314344
[pid=25823] ppid=25820 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 9887 0 0 0 38 4 0 0 20 0 20 0 12219160 13582245888 11104 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3315978 11104 3633 1 0 3303698 0
[pid=25823/tid=25824] ppid=25820 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 7268 0 0 0 24 3 0 0 20 0 20 0 12219160 13582245888 11104 33554432000 4194304 4196468 140725863229296 140540860791504 140540856591517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700306 s]
/proc/loadavg: 1.57 2.76 2.44 3/261 25823
/proc/meminfo: memFree=30271660/32770624 swapFree=5848/314344
[pid=25823] ppid=25820 vsize=13265980 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 13774 0 0 0 158 6 0 0 20 0 20 0 12219160 13584363520 21653 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3316495 21653 3764 1 0 3304210 0
[pid=25823/tid=25824] ppid=25820 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 8418 0 0 0 63 4 0 0 20 0 20 0 12219160 13584363520 21653 33554432000 4194304 4196468 140725863229296 140540860805200 140540476718879 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 13265980
[startup+1.50118 s]
/proc/loadavg: 1.57 2.76 2.44 6/281 25843
/proc/meminfo: memFree=30071956/32770624 swapFree=5848/314780
[pid=25823] ppid=25820 vsize=13265980 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 17771 0 0 0 475 22 0 0 20 0 20 0 12219160 13584363520 59658 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3316495 59658 3810 1 0 3304210 0
[pid=25823/tid=25824] ppid=25820 vsize=13265980 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 8710 0 0 0 135 5 0 0 20 0 20 0 12219160 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540860783968 140540836094870 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25826] ppid=25820 vsize=13265980 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25826/stat : 25826 (java) S 25820 25823 23240 0 -1 1077944384 23 0 0 0 2 1 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540795533584 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25827] ppid=25820 vsize=13265980 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25827/stat : 25827 (java) S 25820 25823 23240 0 -1 1077944384 30 0 0 0 3 2 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540794481040 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25828] ppid=25820 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25828/stat : 25828 (java) S 25820 25823 23240 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540793428496 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25829] ppid=25820 vsize=13265980 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25829/stat : 25829 (java) S 25820 25823 23240 0 -1 1077944384 23 0 0 0 2 1 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540453018256 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25830] ppid=25820 vsize=13265980 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25830/stat : 25830 (java) S 25820 25823 23240 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540451965712 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25831] ppid=25820 vsize=13265980 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25831/stat : 25831 (java) S 25820 25823 23240 0 -1 1077944384 57 0 0 0 2 2 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540450913168 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25832] ppid=25820 vsize=13265980 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25832/stat : 25832 (java) S 25820 25823 23240 0 -1 1077944384 27 0 0 0 3 1 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540449860624 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25833] ppid=25820 vsize=13265980 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25833/stat : 25833 (java) S 25820 25823 23240 0 -1 1077944384 16 0 0 0 2 1 0 0 20 0 20 0 12219161 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540448808080 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25834] ppid=25820 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25834/stat : 25834 (java) S 25820 25823 23240 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 12219163 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540050913264 140540856580738 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25835] ppid=25820 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25835/stat : 25835 (java) S 25820 25823 23240 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 12219164 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540049859552 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25836] ppid=25820 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25836/stat : 25836 (java) S 25820 25823 23240 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12219164 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540048806912 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25837] ppid=25820 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25837/stat : 25837 (java) S 25820 25823 23240 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12219167 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540047755472 140540856588187 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25838] ppid=25820 vsize=13265980 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25838/stat : 25838 (java) R 25820 25823 23240 0 -1 4202560 2048 0 0 0 92 1 0 0 20 0 20 0 12219167 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540046691472 140540834166608 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25839] ppid=25820 vsize=13265980 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25839/stat : 25839 (java) R 25820 25823 23240 0 -1 4202560 1719 0 0 0 85 0 0 0 20 0 20 0 12219167 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540045637008 140540841488503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25840] ppid=25820 vsize=13265980 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25840/stat : 25840 (java) R 25820 25823 23240 0 -1 4202560 1763 0 0 0 93 0 0 0 20 0 20 0 12219167 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540044578384 140540840963181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25841] ppid=25820 vsize=13265980 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25841/stat : 25841 (java) S 25820 25823 23240 0 -1 1077944384 1829 0 0 0 48 0 0 0 20 0 20 0 12219167 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540043545456 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25842] ppid=25820 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25842/stat : 25842 (java) S 25820 25823 23240 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12219168 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540042492128 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25843] ppid=25820 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25843/stat : 25843 (java) S 25820 25823 23240 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12219168 13584363520 59658 33554432000 4194304 4196468 140725863229296 140540041439664 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 13265980
[startup+3.11546 s]
/proc/loadavg: 1.57 2.76 2.44 8/281 25843
/proc/meminfo: memFree=29952184/32770624 swapFree=5848/314720
[pid=25823] ppid=25820 vsize=13268028 CPUtime=10.06 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 25949 0 0 0 962 44 0 0 20 0 20 0 12219160 13586460672 101028 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3317007 101028 3818 1 0 3304722 0
[pid=25823/tid=25824] ppid=25820 vsize=13268028 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) S 25820 25823 23240 0 -1 1077944384 10358 0 0 0 290 8 0 0 20 0 20 0 12219160 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540860807280 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25826] ppid=25820 vsize=13268028 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25826/stat : 25826 (java) R 25820 25823 23240 0 -1 4202560 41 0 0 0 3 4 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540795533784 140540849669291 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25827] ppid=25820 vsize=13268028 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25827/stat : 25827 (java) R 25820 25823 23240 0 -1 4202560 127 0 0 0 4 4 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540794481240 140540849666064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25828] ppid=25820 vsize=13268028 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25828/stat : 25828 (java) R 25820 25823 23240 0 -1 4202560 46 0 0 0 2 3 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540793428696 140540849669291 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25829] ppid=25820 vsize=13268028 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25829/stat : 25829 (java) R 25820 25823 23240 0 -1 4202560 220 0 0 0 3 4 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540453018456 140540841597474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25830] ppid=25820 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25830/stat : 25830 (java) R 25820 25823 23240 0 -1 4202560 44 0 0 0 2 2 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540451965600 140540849669291 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25831] ppid=25820 vsize=13268028 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25831/stat : 25831 (java) R 25820 25823 23240 0 -1 4202560 73 0 0 0 3 4 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540450913368 140540849669291 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25832] ppid=25820 vsize=13268028 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25832/stat : 25832 (java) R 25820 25823 23240 0 -1 4202560 39 0 0 0 4 3 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540449860824 140540849669291 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25833] ppid=25820 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25833/stat : 25833 (java) R 25820 25823 23240 0 -1 4202560 33 0 0 0 3 3 0 0 20 0 20 0 12219161 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540448808280 140540849666308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25834] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25834/stat : 25834 (java) S 25820 25823 23240 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 12219163 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540050911776 140540856579797 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25835] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25835/stat : 25835 (java) S 25820 25823 23240 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540049859552 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25836] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25836/stat : 25836 (java) S 25820 25823 23240 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540048806912 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25837] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25837/stat : 25837 (java) S 25820 25823 23240 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12219167 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540047755472 140540856588187 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25838] ppid=25820 vsize=13268028 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25838/stat : 25838 (java) S 25820 25823 23240 0 -1 1077944384 2867 0 0 0 187 1 0 0 20 0 20 0 12219167 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540046703088 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25839] ppid=25820 vsize=13268028 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25839/stat : 25839 (java) S 25820 25823 23240 0 -1 1077944384 2368 0 0 0 180 1 0 0 20 0 20 0 12219167 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540045650304 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25840] ppid=25820 vsize=13268028 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25840/stat : 25840 (java) S 25820 25823 23240 0 -1 1077944384 4238 0 0 0 194 0 0 0 20 0 20 0 12219167 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540044598000 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25841] ppid=25820 vsize=13268028 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25841/stat : 25841 (java) S 25820 25823 23240 0 -1 1077944384 4032 0 0 0 81 1 0 0 20 0 20 0 12219167 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540043545456 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25842] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25842/stat : 25842 (java) S 25820 25823 23240 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12219168 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540042492128 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25843] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25843/stat : 25843 (java) S 25820 25823 23240 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12219168 13586460672 101028 33554432000 4194304 4196468 140725863229296 140540041439664 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 10.06
Current children cumulated vsize (KiB) 13268028
[startup+6.30083 s]
/proc/loadavg: 1.52 2.73 2.43 3/281 25843
/proc/meminfo: memFree=29799832/32770624 swapFree=5848/314728
[pid=25823] ppid=25820 vsize=13268028 CPUtime=14.17 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 30890 0 0 0 1329 88 0 0 20 0 20 0 12219160 13586460672 121302 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3317007 121302 3829 1 0 3304722 0
[pid=25823/tid=25824] ppid=25820 vsize=13268028 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 10866 0 0 0 598 8 0 0 20 0 20 0 12219160 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540860806952 140540482249625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25826] ppid=25820 vsize=13268028 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25826/stat : 25826 (java) S 25820 25823 23240 0 -1 1077944384 100 0 0 0 7 9 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540795533584 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25827] ppid=25820 vsize=13268028 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25827/stat : 25827 (java) S 25820 25823 23240 0 -1 1077944384 184 0 0 0 8 10 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540794481040 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25828] ppid=25820 vsize=13268028 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25828/stat : 25828 (java) S 25820 25823 23240 0 -1 1077944384 100 0 0 0 7 8 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540793428496 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25829] ppid=25820 vsize=13268028 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25829/stat : 25829 (java) S 25820 25823 23240 0 -1 1077944384 279 0 0 0 7 9 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540453018256 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25830] ppid=25820 vsize=13268028 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25830/stat : 25830 (java) S 25820 25823 23240 0 -1 1077944384 102 0 0 0 7 8 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540451965712 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25831] ppid=25820 vsize=13268028 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25831/stat : 25831 (java) S 25820 25823 23240 0 -1 1077944384 127 0 0 0 8 10 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540450913168 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25832] ppid=25820 vsize=13268028 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25832/stat : 25832 (java) S 25820 25823 23240 0 -1 1077944384 99 0 0 0 9 8 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540449860624 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25833] ppid=25820 vsize=13268028 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25833/stat : 25833 (java) S 25820 25823 23240 0 -1 1077944384 92 0 0 0 8 8 0 0 20 0 20 0 12219161 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540448808080 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25834] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25834/stat : 25834 (java) S 25820 25823 23240 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 12219163 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540050913264 140540856580738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25835] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25835/stat : 25835 (java) S 25820 25823 23240 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540049859552 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25836] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25836/stat : 25836 (java) S 25820 25823 23240 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 121302 33554432000 4194304 4196468 140725863229296 140540048806912 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25837] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=25823/tid=25839] ppid=25820 vsize=13268028 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25839/stat : 25839 (java) S 25820 25823 23240 0 -1 1077944384 4924 0 0 0 192 2 0 0 20 0 20 0 12219167 13586460672 605075 33554432000 4194304 4196468 140725863229296 140540045650544 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25840] ppid=25820 vsize=13268028 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25840/stat : 25840 (java) S 25820 25823 23240 0 -1 1077944384 7547 0 0 0 206 1 0 0 20 0 20 0 12219167 13586460672 605075 33554432000 4194304 4196468 140725863229296 140540044598000 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25841] ppid=25820 vsize=13268028 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25841/stat : 25841 (java) S 25820 25823 23240 0 -1 1077944384 6603 0 0 0 84 2 0 0 20 0 20 0 12219167 13586460672 605075 33554432000 4194304 4196468 140725863229296 140540043545456 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25842] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25842/stat : 25842 (java) S 25820 25823 23240 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12219168 13586460672 605075 33554432000 4194304 4196468 140725863229296 140540042492128 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25843] ppid=25820 vsize=13268028 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25843/stat : 25843 (java) S 25820 25823 23240 0 -1 1077944384 2382 0 0 0 57 69 0 0 20 0 20 0 12219168 13586460672 605075 33554432000 4194304 4196468 140725863229296 140540041439664 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 2300.09
Current children cumulated vsize (KiB) 13268028
[startup+2322.3 s]
/proc/loadavg: 1.63 1.67 1.76 3/283 26547
/proc/meminfo: memFree=27867448/32770624 swapFree=5848/316396
[pid=25823] ppid=25820 vsize=13268028 CPUtime=2362.28 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 241660 0 0 0 235735 493 0 0 20 0 20 0 12219160 13586460672 606205 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3317007 606205 3830 1 0 3304722 0
[pid=25823/tid=25824] ppid=25820 vsize=13268028 CPUtime=2315.24 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 69484 0 0 0 231474 50 0 0 20 0 20 0 12219160 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540860807968 140540482368712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25826] ppid=25820 vsize=13268028 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25826/stat : 25826 (java) S 25820 25823 23240 0 -1 1077944384 18845 0 0 0 425 45 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540795533584 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25827] ppid=25820 vsize=13268028 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25827/stat : 25827 (java) S 25820 25823 23240 0 -1 1077944384 14990 0 0 0 427 45 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540794481040 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25828] ppid=25820 vsize=13268028 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25828/stat : 25828 (java) S 25820 25823 23240 0 -1 1077944384 13838 0 0 0 427 45 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540793428496 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25829] ppid=25820 vsize=13268028 CPUtime=4.82 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25829/stat : 25829 (java) S 25820 25823 23240 0 -1 1077944384 16576 0 0 0 436 46 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540453018256 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25830] ppid=25820 vsize=13268028 CPUtime=4.73 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25830/stat : 25830 (java) S 25820 25823 23240 0 -1 1077944384 15710 0 0 0 430 43 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540451965712 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25831] ppid=25820 vsize=13268028 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25831/stat : 25831 (java) S 25820 25823 23240 0 -1 1077944384 14857 0 0 0 427 47 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540450913168 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25832] ppid=25820 vsize=13268028 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25832/stat : 25832 (java) S 25820 25823 23240 0 -1 1077944384 16698 0 0 0 433 47 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540449860624 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25833] ppid=25820 vsize=13268028 CPUtime=4.73 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25833/stat : 25833 (java) S 25820 25823 23240 0 -1 1077944384 12951 0 0 0 428 45 0 0 20 0 20 0 12219161 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540448808080 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25834] ppid=25820 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25834/stat : 25834 (java) S 25820 25823 23240 0 -1 1077944384 17588 0 0 0 51 18 0 0 20 0 20 0 12219163 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540050913264 140540856580738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25835] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25835/stat : 25835 (java) S 25820 25823 23240 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540049859552 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25836] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25836/stat : 25836 (java) S 25820 25823 23240 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540048806912 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25837] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25837/stat : 25837 (java) S 25820 25823 23240 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12219167 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540047755472 140540856588187 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25838] ppid=25820 vsize=13268028 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25838/stat : 25838 (java) S 25820 25823 23240 0 -1 1077944384 7238 0 0 0 207 2 0 0 20 0 20 0 12219167 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540046703088 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25839] ppid=25820 vsize=13268028 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25839/stat : 25839 (java) S 25820 25823 23240 0 -1 1077944384 4929 0 0 0 192 2 0 0 20 0 20 0 12219167 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540045650544 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25840] ppid=25820 vsize=13268028 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25840/stat : 25840 (java) S 25820 25823 23240 0 -1 1077944384 7551 0 0 0 206 1 0 0 20 0 20 0 12219167 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540044598000 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25841] ppid=25820 vsize=13268028 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25841/stat : 25841 (java) S 25820 25823 23240 0 -1 1077944384 6607 0 0 0 84 2 0 0 20 0 20 0 12219167 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540043545456 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25842] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25842/stat : 25842 (java) S 25820 25823 23240 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12219168 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540042492128 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25843] ppid=25820 vsize=13268028 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25843/stat : 25843 (java) S 25820 25823 23240 0 -1 1077944384 2423 0 0 0 58 71 0 0 20 0 20 0 12219168 13586460672 606205 33554432000 4194304 4196468 140725863229296 140540041439664 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 2362.28
Current children cumulated vsize (KiB) 13268028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2358.71 s]
/proc/loadavg: 1.58 1.65 1.75 3/283 26547
/proc/meminfo: memFree=27882132/32770624 swapFree=5848/316416
[pid=25823] ppid=25820 vsize=13268028 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 247983 0 0 0 239508 498 0 0 20 0 20 0 12219160 13586460672 601841 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3317007 601841 3830 1 0 3304722 0
[pid=25823/tid=25824] ppid=25820 vsize=13268028 CPUtime=2351.37 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 70175 0 0 0 235087 50 0 0 20 0 20 0 12219160 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540860807856 140540483020293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25826] ppid=25820 vsize=13268028 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25826/stat : 25826 (java) S 25820 25823 23240 0 -1 1077944384 19500 0 0 0 444 45 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540795533584 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25827] ppid=25820 vsize=13268028 CPUtime=4.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25827/stat : 25827 (java) S 25820 25823 23240 0 -1 1077944384 15602 0 0 0 448 46 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540794481040 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25828] ppid=25820 vsize=13268028 CPUtime=4.91 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25828/stat : 25828 (java) S 25820 25823 23240 0 -1 1077944384 14706 0 0 0 446 45 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540793428496 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25829] ppid=25820 vsize=13268028 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25829/stat : 25829 (java) S 25820 25823 23240 0 -1 1077944384 17038 0 0 0 456 47 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540453018256 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25830] ppid=25820 vsize=13268028 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25830/stat : 25830 (java) S 25820 25823 23240 0 -1 1077944384 16253 0 0 0 450 43 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540451965712 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25831] ppid=25820 vsize=13268028 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25831/stat : 25831 (java) S 25820 25823 23240 0 -1 1077944384 15103 0 0 0 445 48 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540450913168 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25832] ppid=25820 vsize=13268028 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25832/stat : 25832 (java) S 25820 25823 23240 0 -1 1077944384 17808 0 0 0 452 47 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540449860624 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25833] ppid=25820 vsize=13268028 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25833/stat : 25833 (java) S 25820 25823 23240 0 -1 1077944384 13508 0 0 0 447 45 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540448808080 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25834] ppid=25820 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25834/stat : 25834 (java) S 25820 25823 23240 0 -1 1077944384 18109 0 0 0 54 18 0 0 20 0 20 0 12219163 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540050913264 140540856580738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25835] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25835/stat : 25835 (java) S 25820 25823 23240 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540049859552 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25836] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25836/stat : 25836 (java) S 25820 25823 23240 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540048806912 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25837] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25837/stat : 25837 (java) S 25820 25823 23240 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540047755472 140540856588187 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25838] ppid=25820 vsize=13268028 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25838/stat : 25838 (java) S 25820 25823 23240 0 -1 1077944384 7244 0 0 0 207 2 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540046703088 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25839] ppid=25820 vsize=13268028 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25839/stat : 25839 (java) S 25820 25823 23240 0 -1 1077944384 4933 0 0 0 192 2 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540045650544 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25840] ppid=25820 vsize=13268028 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25840/stat : 25840 (java) S 25820 25823 23240 0 -1 1077944384 7555 0 0 0 206 1 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540044598000 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25841] ppid=25820 vsize=13268028 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25841/stat : 25841 (java) S 25820 25823 23240 0 -1 1077944384 6611 0 0 0 84 2 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540043545456 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25842] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25842/stat : 25842 (java) S 25820 25823 23240 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12219168 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540042492128 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25843] ppid=25820 vsize=13268028 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25843/stat : 25843 (java) S 25820 25823 23240 0 -1 1077944384 2463 0 0 0 59 72 0 0 20 0 20 0 12219168 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540041439664 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13268028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25823 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2358.71 s]
/proc/loadavg: 1.58 1.65 1.75 3/283 26547
/proc/meminfo: memFree=27882132/32770624 swapFree=5848/316416
[pid=25823] ppid=25820 vsize=13268028 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/25823/stat : 25823 (java) S 25820 25823 23240 0 -1 1077944320 247983 0 0 0 239508 498 0 0 20 0 20 0 12219160 13586460672 601841 33554432000 4194304 4196468 140725863229296 140725863211840 140540856569591 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
/proc/25823/statm: 3317007 601841 3830 1 0 3304722 0
[pid=25823/tid=25824] ppid=25820 vsize=13268028 CPUtime=2351.37 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25824/stat : 25824 (java) R 25820 25823 23240 0 -1 4202560 70175 0 0 0 235087 50 0 0 20 0 20 0 12219160 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540860807856 140540483020293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25826] ppid=25820 vsize=13268028 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25826/stat : 25826 (java) S 25820 25823 23240 0 -1 1077944384 19500 0 0 0 444 45 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540795533584 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25827] ppid=25820 vsize=13268028 CPUtime=4.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25827/stat : 25827 (java) S 25820 25823 23240 0 -1 1077944384 15602 0 0 0 448 46 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540794481040 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25828] ppid=25820 vsize=13268028 CPUtime=4.91 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25828/stat : 25828 (java) S 25820 25823 23240 0 -1 1077944384 14706 0 0 0 446 45 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540793428496 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25829] ppid=25820 vsize=13268028 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25829/stat : 25829 (java) S 25820 25823 23240 0 -1 1077944384 17038 0 0 0 456 47 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540453018256 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25830] ppid=25820 vsize=13268028 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25830/stat : 25830 (java) S 25820 25823 23240 0 -1 1077944384 16253 0 0 0 450 43 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540451965712 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25831] ppid=25820 vsize=13268028 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25831/stat : 25831 (java) S 25820 25823 23240 0 -1 1077944384 15103 0 0 0 445 48 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540450913168 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25832] ppid=25820 vsize=13268028 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25832/stat : 25832 (java) S 25820 25823 23240 0 -1 1077944384 17808 0 0 0 452 47 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540449860624 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25833] ppid=25820 vsize=13268028 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25833/stat : 25833 (java) S 25820 25823 23240 0 -1 1077944384 13508 0 0 0 447 45 0 0 20 0 20 0 12219161 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540448808080 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25834] ppid=25820 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25834/stat : 25834 (java) S 25820 25823 23240 0 -1 1077944384 18109 0 0 0 54 18 0 0 20 0 20 0 12219163 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540050913264 140540856580738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25835] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25835/stat : 25835 (java) S 25820 25823 23240 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540049859552 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25836] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25836/stat : 25836 (java) S 25820 25823 23240 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12219164 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540048806912 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25837] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25837/stat : 25837 (java) S 25820 25823 23240 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540047755472 140540856588187 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25838] ppid=25820 vsize=13268028 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25838/stat : 25838 (java) S 25820 25823 23240 0 -1 1077944384 7244 0 0 0 207 2 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540046703088 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25839] ppid=25820 vsize=13268028 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25839/stat : 25839 (java) S 25820 25823 23240 0 -1 1077944384 4933 0 0 0 192 2 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540045650544 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25840] ppid=25820 vsize=13268028 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25840/stat : 25840 (java) S 25820 25823 23240 0 -1 1077944384 7555 0 0 0 206 1 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540044598000 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25841] ppid=25820 vsize=13268028 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25841/stat : 25841 (java) S 25820 25823 23240 0 -1 1077944384 6611 0 0 0 84 2 0 0 20 0 20 0 12219167 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540043545456 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25842] ppid=25820 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25842/stat : 25842 (java) S 25820 25823 23240 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12219168 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540042492128 140540856579797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
[pid=25823/tid=25843] ppid=25820 vsize=13268028 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/25823/task/25843/stat : 25843 (java) S 25820 25823 23240 0 -1 1077944384 2463 0 0 0 59 72 0 0 20 0 20 0 12219168 13586460672 601841 33554432000 4194304 4196468 140725863229296 140540041439664 140540856580738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6393856 140725863232649 140725863232836 140725863232836 140725863235535 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13268028
Child status: 143
Real time (s): 2358.73
CPU time (s): 2400.09
CPU user time (s): 2395.09
CPU system time (s): 5.0045
CPU usage (%): 101.753
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.09
system time used= 5.0045
maximum resident set size= 2431492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78564
involuntary context switches= 128537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2613 second user time and 18.3439 second system time
The end