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-4246633-1500709689/watcher-4246633-1500709689 -o /tmp/evaluation-result-4246633-1500709689/solver-4246633-1500709689 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500684145-15954 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1127231914 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246633-1500709689.xml
pid=18874
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.72 1.64 1.61 3/261 18877
/proc/meminfo: memFree=30274312/32770624 swapFree=5920/125888
[pid=18877] ppid=18874 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6238603 369864704 1925 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 90299 1925 1072 1 0 79210 0
[pid=18877/tid=18878] ppid=18874 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) S 18874 18877 15097 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6238604 369864704 1925 33554432000 4194304 4196468 140728897603856 139989779990944 139989775760002 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[startup+0.100123 s]
/proc/loadavg: 1.72 1.64 1.61 3/261 18877
/proc/meminfo: memFree=30274312/32770624 swapFree=5920/125888
[pid=18877] ppid=18874 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 5907 0 0 0 8 1 0 0 20 0 20 0 6238603 13582725120 6528 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3316095 6528 3342 1 0 3303815 0
[pid=18877/tid=18878] ppid=18874 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 3993 0 0 0 7 1 0 0 20 0 20 0 6238604 13582725120 6528 33554432000 4194304 4196468 140728897603856 139989779991136 139989775770781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200362 s]
/proc/loadavg: 1.72 1.64 1.61 3/261 18877
/proc/meminfo: memFree=30274312/32770624 swapFree=5920/125888
[pid=18877] ppid=18874 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 9075 0 0 0 24 2 0 0 20 0 20 0 6238603 13582245888 9110 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3315978 9110 3559 1 0 3303698 0
[pid=18877/tid=18878] ppid=18874 vsize=13263944 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 6788 0 0 0 17 1 0 0 20 0 20 0 6238604 13582278656 9110 33554432000 4194304 4196468 140728897603856 139989779957008 139989768428573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.30032 s]
/proc/loadavg: 1.72 1.64 1.61 3/261 18877
/proc/meminfo: memFree=30274312/32770624 swapFree=5920/125888
[pid=18877] ppid=18874 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 10043 0 0 0 39 3 0 0 20 0 20 0 6238603 13582245888 11229 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3315978 11229 3621 1 0 3303698 0
[pid=18877/tid=18878] ppid=18874 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 7491 0 0 0 25 2 0 0 20 0 20 0 6238604 13582245888 11229 33554432000 4194304 4196468 140728897603856 139989779966776 139989775770781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700215 s]
/proc/loadavg: 1.72 1.64 1.61 3/261 18877
/proc/meminfo: memFree=30274312/32770624 swapFree=5920/125888
[pid=18877] ppid=18874 vsize=13265980 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 12369 0 0 0 122 5 0 0 20 0 20 0 6238603 13584363520 17717 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3316495 17717 3762 1 0 3304210 0
[pid=18877/tid=18878] ppid=18874 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 8652 0 0 0 64 3 0 0 20 0 20 0 6238604 13584363520 17717 33554432000 4194304 4196468 140728897603856 139989779970432 139989775760790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 13265980
[startup+1.50076 s]
/proc/loadavg: 1.72 1.64 1.61 3/281 18897
/proc/meminfo: memFree=30073352/32770624 swapFree=5920/125924
[pid=18877] ppid=18874 vsize=13270076 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 18241 0 0 0 319 19 0 0 20 0 20 0 6238603 13588557824 54613 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3317519 54613 3791 1 0 3305234 0
[pid=18877/tid=18878] ppid=18874 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 10254 0 0 0 138 5 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989779984712 139989380609317 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18880] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18880/stat : 18880 (java) S 18874 18877 15097 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989707885072 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18881] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18881/stat : 18881 (java) S 18874 18877 15097 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989706832528 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18882] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18882/stat : 18882 (java) S 18874 18877 15097 0 -1 1077944384 10 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989705779472 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18883] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18883/stat : 18883 (java) S 18874 18877 15097 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989704726928 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18884] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18884/stat : 18884 (java) S 18874 18877 15097 0 -1 1077944384 11 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989703674896 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18885] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18885/stat : 18885 (java) S 18874 18877 15097 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989702622352 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18886] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18886/stat : 18886 (java) S 18874 18877 15097 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989701569296 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18887] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18887/stat : 18887 (java) S 18874 18877 15097 0 -1 1077944384 10 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54613 33554432000 4194304 4196468 140728897603856 139989700516752 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18888] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18888/stat : 18888 (java) S 18874 18877 15097 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988969056496 139989775760002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18889] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18889/stat : 18889 (java) S 18874 18877 15097 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988968002784 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18890] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18890/stat : 18890 (java) S 18874 18877 15097 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 6238608 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988966949632 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18891] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18891/stat : 18891 (java) S 18874 18877 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6238611 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988965898192 139989775767451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18892] ppid=18874 vsize=13270076 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18892/stat : 18892 (java) R 18874 18877 15097 0 -1 4202560 1668 0 0 0 35 0 0 0 20 0 20 0 6238611 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988964846616 139989757292932 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18893] ppid=18874 vsize=13270076 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18893/stat : 18893 (java) S 18874 18877 15097 0 -1 1077944384 1350 0 0 0 39 0 0 0 20 0 20 0 6238611 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988963793776 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18894] ppid=18874 vsize=13270076 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18894/stat : 18894 (java) R 18874 18877 15097 0 -1 4202560 1957 0 0 0 44 1 0 0 20 0 20 0 6238611 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988962741016 139989755602439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18895] ppid=18874 vsize=13270076 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18895/stat : 18895 (java) R 18874 18877 15097 0 -1 4202560 1427 0 0 0 48 0 0 0 20 0 20 0 6238612 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988961688176 139989775770202 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18896] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18896/stat : 18896 (java) S 18874 18877 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988960635360 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18897] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18897/stat : 18897 (java) S 18874 18877 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 54613 33554432000 4194304 4196468 140728897603856 139988959582896 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 13270076
[startup+3.10074 s]
/proc/loadavg: 1.66 1.63 1.60 3/281 18897
/proc/meminfo: memFree=30070628/32770624 swapFree=5920/125924
[pid=18877] ppid=18874 vsize=13270076 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 19148 0 0 0 540 20 0 0 20 0 20 0 6238603 13588557824 54784 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3317519 54784 3793 1 0 3305234 0
[pid=18877/tid=18878] ppid=18874 vsize=13270076 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 10590 0 0 0 298 5 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989779983696 139989380951538 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18880] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18880/stat : 18880 (java) S 18874 18877 15097 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989707885072 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18881] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18881/stat : 18881 (java) S 18874 18877 15097 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989706832528 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18882] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18882/stat : 18882 (java) S 18874 18877 15097 0 -1 1077944384 10 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989705779472 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18883] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18883/stat : 18883 (java) S 18874 18877 15097 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989704726928 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18884] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18884/stat : 18884 (java) S 18874 18877 15097 0 -1 1077944384 11 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989703674896 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18885] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18885/stat : 18885 (java) S 18874 18877 15097 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989702622352 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18886] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18886/stat : 18886 (java) S 18874 18877 15097 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989701569296 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18887] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18887/stat : 18887 (java) S 18874 18877 15097 0 -1 1077944384 10 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 54784 33554432000 4194304 4196468 140728897603856 139989700516752 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18888] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18888/stat : 18888 (java) S 18874 18877 15097 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988969056496 139989775760002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18889] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18889/stat : 18889 (java) S 18874 18877 15097 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988968002784 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18890] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18890/stat : 18890 (java) S 18874 18877 15097 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 6238608 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988966949632 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18891] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18891/stat : 18891 (java) S 18874 18877 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6238611 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988965898192 139989775767451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18892] ppid=18874 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18892/stat : 18892 (java) S 18874 18877 15097 0 -1 1077944384 1704 0 0 0 53 0 0 0 20 0 20 0 6238611 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988964846320 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18893] ppid=18874 vsize=13270076 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18893/stat : 18893 (java) S 18874 18877 15097 0 -1 1077944384 1430 0 0 0 61 0 0 0 20 0 20 0 6238611 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988963793776 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18894] ppid=18874 vsize=13270076 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18894/stat : 18894 (java) S 18874 18877 15097 0 -1 1077944384 2352 0 0 0 61 1 0 0 20 0 20 0 6238611 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988962740720 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18895] ppid=18874 vsize=13270076 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18895/stat : 18895 (java) S 18874 18877 15097 0 -1 1077944384 1478 0 0 0 51 1 0 0 20 0 20 0 6238612 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988961688176 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18896] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18896/stat : 18896 (java) S 18874 18877 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988960635360 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18897] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18897/stat : 18897 (java) S 18874 18877 15097 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 54784 33554432000 4194304 4196468 140728897603856 139988959582896 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13270076
[startup+6.30071 s]
/proc/loadavg: 1.66 1.63 1.60 3/281 18897
/proc/meminfo: memFree=30058800/32770624 swapFree=5920/125932
[pid=18877] ppid=18874 vsize=13270076 CPUtime=8.71 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 22909 0 0 0 848 23 0 0 20 0 20 0 6238603 13588557824 56994 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3317519 56994 3796 1 0 3305234 0
[pid=18877/tid=18878] ppid=18874 vsize=13270076 CPUtime=5.97 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 11033 0 0 0 592 5 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989779984032 139989380635443 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18880] ppid=18874 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18880/stat : 18880 (java) S 18874 18877 15097 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989707885072 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18881] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18881/stat : 18881 (java) S 18874 18877 15097 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989706832528 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18882] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18882/stat : 18882 (java) S 18874 18877 15097 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989705779472 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18883] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18883/stat : 18883 (java) S 18874 18877 15097 0 -1 1077944384 149 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989704726928 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18884] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18884/stat : 18884 (java) S 18874 18877 15097 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989703674896 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18885] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18885/stat : 18885 (java) S 18874 18877 15097 0 -1 1077944384 601 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989702622352 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18886] ppid=18874 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18886/stat : 18886 (java) S 18874 18877 15097 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989701569296 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18887] ppid=18874 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18887/stat : 18887 (java) S 18874 18877 15097 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 6238604 13588557824 56994 33554432000 4194304 4196468 140728897603856 139989700516752 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18888] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18888/stat : 18888 (java) S 18874 18877 15097 0 -1 1077944384 630 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 56994 33554432000 4194304 4196468 140728897603856 139988969056496 139989775760002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18889] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18889/stat : 18889 (java) S 18874 18877 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 56994 33554432000 4194304 4196468 140728897603856 139988968002784 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18890] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18890/stat : 18890 (java) S 18874 18877 15097 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 6238608 13588557824 56994 33554432000 4194304 4196468 140728897603856 139988966949632 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18891] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/18877/task/18893/stat : 18893 (java) S 18874 18877 15097 0 -1 1077944384 2441 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 105950 33554432000 4194304 4196468 140728897603856 139988963793776 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18894] ppid=18874 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18894/stat : 18894 (java) S 18874 18877 15097 0 -1 1077944384 5844 0 0 0 74 2 0 0 20 0 20 0 6238611 13588557824 105950 33554432000 4194304 4196468 140728897603856 139988962740720 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18895] ppid=18874 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18895/stat : 18895 (java) S 18874 18877 15097 0 -1 1077944384 3724 0 0 0 53 1 0 0 20 0 20 0 6238612 13588557824 105950 33554432000 4194304 4196468 140728897603856 139988961688176 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18896] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18896/stat : 18896 (java) S 18874 18877 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 105950 33554432000 4194304 4196468 140728897603856 139988960635360 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18897] ppid=18874 vsize=13270076 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18897/stat : 18897 (java) S 18874 18877 15097 0 -1 1077944384 846 0 0 0 20 29 0 0 20 0 20 0 6238612 13588557824 105950 33554432000 4194304 4196468 140728897603856 139988959582896 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 2338.36
Current children cumulated vsize (KiB) 13270076
[startup+2382.3 s]
/proc/loadavg: 1.60 1.44 1.48 3/281 19077
/proc/meminfo: memFree=30750380/32770624 swapFree=5920/128380
[pid=18877] ppid=18874 vsize=13270076 CPUtime=2398.66 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 71407 0 0 0 239694 172 0 0 20 0 20 0 6238603 13588557824 106462 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3317519 106462 3806 1 0 3305234 0
[pid=18877/tid=18878] ppid=18874 vsize=13270076 CPUtime=2377.64 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 27821 0 0 0 237754 10 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989779987056 139989381430115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18880] ppid=18874 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18880/stat : 18880 (java) S 18874 18877 15097 0 -1 1077944384 1761 0 0 0 187 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989707885072 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18881] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18881/stat : 18881 (java) S 18874 18877 15097 0 -1 1077944384 1940 0 0 0 190 15 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989706832528 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18882] ppid=18874 vsize=13270076 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18882/stat : 18882 (java) S 18874 18877 15097 0 -1 1077944384 2134 0 0 0 181 18 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989705779472 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18883] ppid=18874 vsize=13270076 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18883/stat : 18883 (java) S 18874 18877 15097 0 -1 1077944384 2311 0 0 0 185 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989704726928 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18884] ppid=18874 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18884/stat : 18884 (java) S 18874 18877 15097 0 -1 1077944384 3021 0 0 0 188 16 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989703674896 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18885] ppid=18874 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18885/stat : 18885 (java) S 18874 18877 15097 0 -1 1077944384 3256 0 0 0 194 15 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989702622352 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18886] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18886/stat : 18886 (java) S 18874 18877 15097 0 -1 1077944384 1840 0 0 0 189 16 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989701569296 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18887] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18887/stat : 18887 (java) S 18874 18877 15097 0 -1 1077944384 2384 0 0 0 188 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989700516752 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18888] ppid=18874 vsize=13270076 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18888/stat : 18888 (java) S 18874 18877 15097 0 -1 1077944384 6773 0 0 0 129 11 0 0 20 0 20 0 6238607 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988969056496 139989775760002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18889] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18889/stat : 18889 (java) S 18874 18877 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988968002784 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18890] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18890/stat : 18890 (java) S 18874 18877 15097 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 6238608 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988966949632 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18891] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18891/stat : 18891 (java) S 18874 18877 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988965898192 139989775767451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18892] ppid=18874 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18892/stat : 18892 (java) S 18874 18877 15097 0 -1 1077944384 3865 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988964846320 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18893] ppid=18874 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18893/stat : 18893 (java) S 18874 18877 15097 0 -1 1077944384 2443 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988963793776 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18894] ppid=18874 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18894/stat : 18894 (java) S 18874 18877 15097 0 -1 1077944384 5846 0 0 0 74 2 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988962740720 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18895] ppid=18874 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18895/stat : 18895 (java) S 18874 18877 15097 0 -1 1077944384 3727 0 0 0 53 1 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988961688176 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18896] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18896/stat : 18896 (java) S 18874 18877 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988960635360 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18897] ppid=18874 vsize=13270076 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18897/stat : 18897 (java) S 18874 18877 15097 0 -1 1077944384 861 0 0 0 21 30 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988959582896 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 47 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 2398.66
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2383.7 s]
/proc/loadavg: 1.63 1.45 1.48 3/281 19078
/proc/meminfo: memFree=30750248/32770624 swapFree=5920/128420
[pid=18877] ppid=18874 vsize=13270076 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 71410 0 0 0 239835 172 0 0 20 0 20 0 6238603 13588557824 106462 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3317519 106462 3806 1 0 3305234 0
[pid=18877/tid=18878] ppid=18874 vsize=13270076 CPUtime=2379.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 27822 0 0 0 237894 10 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989779987088 139989380619265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18880] ppid=18874 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18880/stat : 18880 (java) S 18874 18877 15097 0 -1 1077944384 1761 0 0 0 187 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989707885072 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18881] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18881/stat : 18881 (java) S 18874 18877 15097 0 -1 1077944384 1940 0 0 0 190 15 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989706832528 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18882] ppid=18874 vsize=13270076 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18882/stat : 18882 (java) S 18874 18877 15097 0 -1 1077944384 2136 0 0 0 181 18 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989705779472 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18883] ppid=18874 vsize=13270076 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18883/stat : 18883 (java) S 18874 18877 15097 0 -1 1077944384 2311 0 0 0 185 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989704726928 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18884] ppid=18874 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18884/stat : 18884 (java) S 18874 18877 15097 0 -1 1077944384 3021 0 0 0 188 16 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989703674896 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18885] ppid=18874 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18885/stat : 18885 (java) S 18874 18877 15097 0 -1 1077944384 3256 0 0 0 194 15 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989702622352 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18886] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18886/stat : 18886 (java) S 18874 18877 15097 0 -1 1077944384 1840 0 0 0 189 16 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989701569296 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18887] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18887/stat : 18887 (java) S 18874 18877 15097 0 -1 1077944384 2384 0 0 0 188 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989700516752 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18888] ppid=18874 vsize=13270076 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18888/stat : 18888 (java) S 18874 18877 15097 0 -1 1077944384 6773 0 0 0 129 11 0 0 20 0 20 0 6238607 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988969056496 139989775760002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18889] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18889/stat : 18889 (java) S 18874 18877 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988968002784 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18890] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18890/stat : 18890 (java) S 18874 18877 15097 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 6238608 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988966949632 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18891] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18891/stat : 18891 (java) S 18874 18877 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988965898192 139989775767451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18892] ppid=18874 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18892/stat : 18892 (java) S 18874 18877 15097 0 -1 1077944384 3865 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988964846320 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18893] ppid=18874 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18893/stat : 18893 (java) S 18874 18877 15097 0 -1 1077944384 2443 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988963793776 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18894] ppid=18874 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18894/stat : 18894 (java) S 18874 18877 15097 0 -1 1077944384 5846 0 0 0 74 2 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988962740720 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18895] ppid=18874 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18895/stat : 18895 (java) S 18874 18877 15097 0 -1 1077944384 3727 0 0 0 53 1 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988961688176 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18896] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18896/stat : 18896 (java) S 18874 18877 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988960635360 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18897] ppid=18874 vsize=13270076 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18897/stat : 18897 (java) S 18874 18877 15097 0 -1 1077944384 861 0 0 0 21 30 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988959582896 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 47 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13270076
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 18877 sig 9
??? kill -18877 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2383.7 s]
/proc/loadavg: 1.63 1.45 1.48 3/281 19078
/proc/meminfo: memFree=30750248/32770624 swapFree=5920/128420
[pid=18877] ppid=18874 vsize=13270076 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/18877/stat : 18877 (java) S 18874 18877 15097 0 -1 1077944320 71410 0 0 0 239835 172 0 0 20 0 20 0 6238603 13588557824 106462 33554432000 4194304 4196468 140728897603856 140728897586400 139989775748855 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
/proc/18877/statm: 3317519 106462 3806 1 0 3305234 0
[pid=18877/tid=18878] ppid=18874 vsize=13270076 CPUtime=2379.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18878/stat : 18878 (java) R 18874 18877 15097 0 -1 4202560 27822 0 0 0 237894 10 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989779987088 139989380619265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18880] ppid=18874 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18880/stat : 18880 (java) S 18874 18877 15097 0 -1 1077944384 1761 0 0 0 187 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989707885072 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18881] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18881/stat : 18881 (java) S 18874 18877 15097 0 -1 1077944384 1940 0 0 0 190 15 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989706832528 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18882] ppid=18874 vsize=13270076 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18882/stat : 18882 (java) S 18874 18877 15097 0 -1 1077944384 2136 0 0 0 181 18 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989705779472 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18883] ppid=18874 vsize=13270076 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18883/stat : 18883 (java) S 18874 18877 15097 0 -1 1077944384 2311 0 0 0 185 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989704726928 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18884] ppid=18874 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18884/stat : 18884 (java) S 18874 18877 15097 0 -1 1077944384 3021 0 0 0 188 16 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989703674896 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18885] ppid=18874 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18885/stat : 18885 (java) S 18874 18877 15097 0 -1 1077944384 3256 0 0 0 194 15 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989702622352 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18886] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18886/stat : 18886 (java) S 18874 18877 15097 0 -1 1077944384 1840 0 0 0 189 16 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989701569296 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18887] ppid=18874 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18887/stat : 18887 (java) S 18874 18877 15097 0 -1 1077944384 2384 0 0 0 188 17 0 0 20 0 20 0 6238604 13588557824 106462 33554432000 4194304 4196468 140728897603856 139989700516752 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18888] ppid=18874 vsize=13270076 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18888/stat : 18888 (java) S 18874 18877 15097 0 -1 1077944384 6773 0 0 0 129 11 0 0 20 0 20 0 6238607 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988969056496 139989775760002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18889] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18889/stat : 18889 (java) S 18874 18877 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 6238607 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988968002784 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18890] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18890/stat : 18890 (java) S 18874 18877 15097 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 6238608 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988966949632 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18891] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18891/stat : 18891 (java) S 18874 18877 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988965898192 139989775767451 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18892] ppid=18874 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18892/stat : 18892 (java) S 18874 18877 15097 0 -1 1077944384 3865 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988964846320 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18893] ppid=18874 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18893/stat : 18893 (java) S 18874 18877 15097 0 -1 1077944384 2443 0 0 0 65 1 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988963793776 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18894] ppid=18874 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18894/stat : 18894 (java) S 18874 18877 15097 0 -1 1077944384 5846 0 0 0 74 2 0 0 20 0 20 0 6238611 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988962740720 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18895] ppid=18874 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18895/stat : 18895 (java) S 18874 18877 15097 0 -1 1077944384 3727 0 0 0 53 1 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988961688176 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18896] ppid=18874 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18896/stat : 18896 (java) S 18874 18877 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988960635360 139989775759061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
[pid=18877/tid=18897] ppid=18874 vsize=13270076 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18877/task/18897/stat : 18897 (java) S 18874 18877 15097 0 -1 1077944384 861 0 0 0 21 30 0 0 20 0 20 0 6238612 13588557824 106462 33554432000 4194304 4196468 140728897603856 139988959582896 139989775760002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 47 0 0 6293624 6294260 30711808 140728897610895 140728897611076 140728897611076 140728897613775 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2383.72
CPU time (s): 2400.09
CPU user time (s): 2398.36
CPU system time (s): 1.73426
CPU usage (%): 100.687
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.36
system time used= 1.73426
maximum resident set size= 426404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117595
involuntary context switches= 130339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0872 second user time and 18.4195 second system time
The end