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-4243908-1500677213/watcher-4243908-1500677213 -o /tmp/evaluation-result-4243908-1500677213/solver-4243908-1500677213 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500674045-13169 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243908-1500677213.xml
pid=14119
running on 8 cores: 0,2,4,6,8,10,12,14
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: 8.85 8.46 5.73 3/262 14122
/proc/meminfo: memFree=25711416/32770624 swapFree=5628/207832
[pid=14122] ppid=14119 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 2062 0 0 0 0 0 0 0 20 0 2 0 2987993 8550137856 1800 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2087436 1800 1197 1 0 2076347 0
[pid=14122/tid=14123] ppid=14119 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 862 0 0 0 0 0 0 0 20 0 2 0 2987994 8550137856 1932 33554432000 4194304 4196468 140730952971984 140285952965024 140285941012384 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[startup+0.100141 s]
/proc/loadavg: 8.85 8.46 5.73 3/262 14122
/proc/meminfo: memFree=25711416/32770624 swapFree=5628/207832
[pid=14122] ppid=14119 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 5043 0 0 0 8 1 0 0 20 0 20 0 2987993 11162169344 6189 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2725139 6189 2649 1 0 2713552 0
[pid=14122/tid=14123] ppid=14119 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 3144 0 0 0 7 1 0 0 20 0 20 0 2987994 11162169344 6189 33554432000 4194304 4196468 140730952971984 140285952965216 140285948744861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200408 s]
/proc/loadavg: 8.85 8.46 5.73 3/262 14122
/proc/meminfo: memFree=25711416/32770624 swapFree=5628/207832
[pid=14122] ppid=14119 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 7187 0 0 0 24 2 0 0 20 0 20 0 2987993 11162169344 8494 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2725139 8494 2878 1 0 2713552 0
[pid=14122/tid=14123] ppid=14119 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 4869 0 0 0 17 1 0 0 20 0 20 0 2987994 11162169344 8494 33554432000 4194304 4196468 140730952971984 140285952944240 140285948744861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300285 s]
/proc/loadavg: 8.85 8.46 5.73 3/262 14122
/proc/meminfo: memFree=25711416/32770624 swapFree=5628/207832
[pid=14122] ppid=14119 vsize=10900556 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 8426 0 0 0 40 2 0 0 20 0 20 0 2987993 11162169344 10586 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2725139 10586 2981 1 0 2713552 0
[pid=14122/tid=14123] ppid=14119 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 5508 0 0 0 26 2 0 0 20 0 20 0 2987994 11162169344 10586 33554432000 4194304 4196468 140730952971984 140285952953872 140285948734870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556
[startup+0.700306 s]
/proc/loadavg: 8.85 8.46 5.73 3/262 14122
/proc/meminfo: memFree=25711416/32770624 swapFree=5628/207832
[pid=14122] ppid=14119 vsize=10967196 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 12537 0 0 0 183 4 0 0 20 0 21 0 2987993 11230408704 29110 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2741799 29110 3081 1 0 2730193 0
[pid=14122/tid=14123] ppid=14119 vsize=10967196 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 5900 0 0 0 65 2 0 0 20 0 21 0 2987994 11230408704 29110 33554432000 4194304 4196468 140730952971984 140285952959384 140285588095304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10967196
[startup+1.50089 s]
/proc/loadavg: 8.30 8.35 5.71 3/283 14143
/proc/meminfo: memFree=25606452/32770624 swapFree=5628/207864
[pid=14122] ppid=14119 vsize=10967196 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 14386 0 0 0 290 4 0 0 20 0 21 0 2987993 11230408704 29216 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2741799 29216 3086 1 0 2730193 0
[pid=14122/tid=14123] ppid=14119 vsize=10967196 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 6245 0 0 0 145 2 0 0 20 0 21 0 2987994 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285952959464 140285588284433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14125] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14125/stat : 14125 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285914004368 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14126] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14126/stat : 14126 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285554830096 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14127] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14127/stat : 14127 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285553777808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14128] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14128/stat : 14128 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285552725008 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14129] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14129/stat : 14129 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285551671696 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14130] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14130/stat : 14130 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285550618896 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14131] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14131/stat : 14131 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285549566608 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14132] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14132/stat : 14132 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285548513808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14133] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14133/stat : 14133 (java) S 14119 14122 9841 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 2987997 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285424093808 140285948734082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14134] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14134/stat : 14134 (java) S 14119 14122 9841 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2987998 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285423039776 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14135] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14135/stat : 14135 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2987998 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285421987440 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14136] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14136/stat : 14136 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2988002 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285420935760 140285948741531 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14137] ppid=14119 vsize=10967196 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14137/stat : 14137 (java) S 14119 14122 9841 0 -1 1077944384 1793 0 0 0 36 0 0 0 20 0 21 0 2988002 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285419882608 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14138] ppid=14119 vsize=10967196 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14138/stat : 14138 (java) S 14119 14122 9841 0 -1 1077944384 2043 0 0 0 43 0 0 0 20 0 21 0 2988002 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285418829808 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14139] ppid=14119 vsize=10967196 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14139/stat : 14139 (java) S 14119 14122 9841 0 -1 1077944384 1681 0 0 0 41 0 0 0 20 0 21 0 2988002 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285417777520 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14140] ppid=14119 vsize=10967196 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14140/stat : 14140 (java) S 14119 14122 9841 0 -1 1077944384 1199 0 0 0 22 0 0 0 20 0 21 0 2988002 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285416724720 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14141] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14141/stat : 14141 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2988003 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285415672672 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14142] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14142/stat : 14142 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2988003 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285414619952 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14143] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14143/stat : 14143 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2988048 11230408704 29216 33554432000 4194304 4196468 140730952971984 140285413566000 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10967196
[startup+3.10087 s]
/proc/loadavg: 8.30 8.35 5.71 3/283 14143
/proc/meminfo: memFree=25606152/32770624 swapFree=5628/207892
[pid=14122] ppid=14119 vsize=10967196 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 14647 0 0 0 458 4 0 0 20 0 21 0 2987993 11230408704 29220 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2741799 29220 3086 1 0 2730193 0
[pid=14122/tid=14123] ppid=14119 vsize=10967196 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 6262 0 0 0 305 2 0 0 20 0 21 0 2987994 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285952959800 140285588143465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14125] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14125/stat : 14125 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285914004368 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14126] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14126/stat : 14126 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285554830096 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14127] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14127/stat : 14127 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285553777808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14128] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14128/stat : 14128 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285552725008 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14129] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14129/stat : 14129 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285551671696 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14130] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14130/stat : 14130 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285550618896 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14131] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14131/stat : 14131 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285549566608 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14132] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14132/stat : 14132 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285548513808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14133] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14133/stat : 14133 (java) S 14119 14122 9841 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 2987997 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285424093808 140285948734082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14134] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14134/stat : 14134 (java) S 14119 14122 9841 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2987998 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285423039776 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14135] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14135/stat : 14135 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2987998 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285421987440 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14136] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14136/stat : 14136 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2988002 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285420935760 140285948741531 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14137] ppid=14119 vsize=10967196 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14137/stat : 14137 (java) S 14119 14122 9841 0 -1 1077944384 1814 0 0 0 39 0 0 0 20 0 21 0 2988002 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285419882608 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14138] ppid=14119 vsize=10967196 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14138/stat : 14138 (java) S 14119 14122 9841 0 -1 1077944384 2169 0 0 0 46 0 0 0 20 0 21 0 2988002 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285418829808 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14139] ppid=14119 vsize=10967196 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14139/stat : 14139 (java) S 14119 14122 9841 0 -1 1077944384 1733 0 0 0 44 0 0 0 20 0 21 0 2988002 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285417777520 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14140] ppid=14119 vsize=10967196 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14140/stat : 14140 (java) S 14119 14122 9841 0 -1 1077944384 1208 0 0 0 22 0 0 0 20 0 21 0 2988002 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285416724720 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14141] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14141/stat : 14141 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2988003 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285415672672 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14142] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14142/stat : 14142 (java) S 14119 14122 9841 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 2988003 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285414619952 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14143] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14143/stat : 14143 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2988048 11230408704 29220 33554432000 4194304 4196468 140730952971984 140285413566000 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 10967196
[startup+6.30097 s]
/proc/loadavg: 8.30 8.35 5.71 3/283 14143
/proc/meminfo: memFree=25601336/32770624 swapFree=5628/207900
[pid=14122] ppid=14119 vsize=10967196 CPUtime=7.83 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 15755 0 0 0 778 5 0 0 20 0 21 0 2987993 11230408704 30254 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2741799 30254 3090 1 0 2730193 0
[pid=14122/tid=14123] ppid=14119 vsize=10967196 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 6554 0 0 0 624 2 0 0 20 0 21 0 2987994 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285952958896 140285588233212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14125] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14125/stat : 14125 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285914004368 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14126] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14126/stat : 14126 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285554830096 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14127] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14127/stat : 14127 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285553777808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14128] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14128/stat : 14128 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285552725008 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14129] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14129/stat : 14129 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285551671696 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14130] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14130/stat : 14130 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285550618896 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14131] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14131/stat : 14131 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285549566608 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14132] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14132/stat : 14132 (java) S 14119 14122 9841 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 2987995 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285548513808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14133] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14133/stat : 14133 (java) S 14119 14122 9841 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 21 0 2987997 11230408704 30254 33554432000 4194304 4196468 140730952971984 140285424093808 140285948734082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14134] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=14122/tid=14140] ppid=14119 vsize=10967196 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14140/stat : 14140 (java) S 14119 14122 9841 0 -1 1077944384 4948 0 0 0 27 1 0 0 20 0 21 0 2988002 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285416724720 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14141] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14141/stat : 14141 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2988003 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285415672672 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14142] ppid=14119 vsize=10967196 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14142/stat : 14142 (java) S 14119 14122 9841 0 -1 1077944384 2661 0 0 0 75 75 0 0 20 0 21 0 2988003 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285414619952 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14143] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14143/stat : 14143 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2988048 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285413566000 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 2391.63
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.7 s]
/proc/loadavg: 2.66 4.57 3.83 3/283 14415
/proc/meminfo: memFree=28953092/32770624 swapFree=5628/210240
[pid=14122] ppid=14119 vsize=10967196 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 74824 0 0 0 239639 365 0 0 20 0 21 0 2987993 11230408704 185699 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2741799 185699 3156 1 0 2730193 0
[pid=14122/tid=14123] ppid=14119 vsize=10967196 CPUtime=2388.8 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) R 14119 14122 9841 0 -1 4202560 24769 0 0 0 238876 4 0 0 20 0 21 0 2987994 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285952961968 140285588483830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14125] ppid=14119 vsize=10967196 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14125/stat : 14125 (java) S 14119 14122 9841 0 -1 1077944384 1542 0 0 0 49 36 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285914004368 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14126] ppid=14119 vsize=10967196 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14126/stat : 14126 (java) S 14119 14122 9841 0 -1 1077944384 882 0 0 0 48 33 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285554830096 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14127] ppid=14119 vsize=10967196 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14127/stat : 14127 (java) S 14119 14122 9841 0 -1 1077944384 1062 0 0 0 49 37 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285553777808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14128] ppid=14119 vsize=10967196 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14128/stat : 14128 (java) S 14119 14122 9841 0 -1 1077944384 1589 0 0 0 49 36 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285552725008 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14129] ppid=14119 vsize=10967196 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14129/stat : 14129 (java) S 14119 14122 9841 0 -1 1077944384 1831 0 0 0 50 36 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285551671696 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14130] ppid=14119 vsize=10967196 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14130/stat : 14130 (java) S 14119 14122 9841 0 -1 1077944384 985 0 0 0 49 36 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285550618896 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14131] ppid=14119 vsize=10967196 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14131/stat : 14131 (java) S 14119 14122 9841 0 -1 1077944384 1007 0 0 0 47 37 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285549566608 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14132] ppid=14119 vsize=10967196 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14132/stat : 14132 (java) S 14119 14122 9841 0 -1 1077944384 1306 0 0 0 50 36 0 0 20 0 21 0 2987995 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285548513808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14133] ppid=14119 vsize=10967196 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14133/stat : 14133 (java) S 14119 14122 9841 0 -1 1077944384 6830 0 0 0 10 3 0 0 20 0 21 0 2987997 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285424093808 140285948734082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14134] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14134/stat : 14134 (java) S 14119 14122 9841 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 21 0 2987998 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285423039776 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14135] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14135/stat : 14135 (java) S 14119 14122 9841 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 21 0 2987998 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285421987440 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14136] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14136/stat : 14136 (java) S 14119 14122 9841 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2988002 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285420935760 140285948741531 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14137] ppid=14119 vsize=10967196 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14137/stat : 14137 (java) S 14119 14122 9841 0 -1 1077944384 10713 0 0 0 95 1 0 0 20 0 21 0 2988002 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285419882608 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14138] ppid=14119 vsize=10967196 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14138/stat : 14138 (java) S 14119 14122 9841 0 -1 1077944384 6177 0 0 0 76 1 0 0 20 0 21 0 2988002 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285418829808 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14139] ppid=14119 vsize=10967196 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14139/stat : 14139 (java) S 14119 14122 9841 0 -1 1077944384 7048 0 0 0 65 1 0 0 20 0 21 0 2988002 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285417777520 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14140] ppid=14119 vsize=10967196 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14140/stat : 14140 (java) S 14119 14122 9841 0 -1 1077944384 4948 0 0 0 27 1 0 0 20 0 21 0 2988002 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285416724720 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14141] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14141/stat : 14141 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2988003 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285415672672 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14142] ppid=14119 vsize=10967196 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14142/stat : 14142 (java) S 14119 14122 9841 0 -1 1077944384 2661 0 0 0 75 75 0 0 20 0 21 0 2988003 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285414619952 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14143] ppid=14119 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14143/stat : 14143 (java) S 14119 14122 9841 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2988048 11230408704 185699 33554432000 4194304 4196468 140730952971984 140285413566000 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10967196
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 14122 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2390.81 s]
/proc/loadavg: 2.66 4.57 3.83 3/283 14415
/proc/meminfo: memFree=28953092/32770624 swapFree=5628/210240
[pid=14122] ppid=14119 vsize=11166888 CPUtime=2400.8 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 76512 0 0 0 239671 409 0 0 20 0 23 0 2987993 11434893312 204741 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2791722 204741 3158 1 0 2780116 0
[pid=14122/tid=14123] ppid=14119 vsize=11166888 CPUtime=2388.81 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) S 14119 14122 9841 0 -1 1077944384 24783 0 0 0 238877 4 0 0 20 0 23 0 2987994 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285952960832 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14125] ppid=14119 vsize=11166888 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14125/stat : 14125 (java) R 14119 14122 9841 0 -1 4202560 1639 0 0 0 53 41 0 0 20 0 23 0 2987995 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285914004568 140285941819771 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14126] ppid=14119 vsize=11166888 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14126/stat : 14126 (java) R 14119 14122 9841 0 -1 4202560 980 0 0 0 52 39 0 0 20 0 23 0 2987995 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285554829984 140285941819771 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14127] ppid=14119 vsize=11166888 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14127/stat : 14127 (java) R 14119 14122 9841 0 -1 4202560 1195 0 0 0 53 42 0 0 20 0 23 0 2987995 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285553778008 140285941819771 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14128] ppid=14119 vsize=11166888 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14128/stat : 14128 (java) R 14119 14122 9841 0 -1 4202560 1713 0 0 0 53 41 0 0 20 0 23 0 2987995 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285552725208 140285941822782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14129] ppid=14119 vsize=11166888 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14129/stat : 14129 (java) R 14119 14122 9841 0 -1 4202560 1989 0 0 0 54 42 0 0 20 0 23 0 2987995 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285551671896 140285941822782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14130] ppid=14119 vsize=11166888 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14130/stat : 14130 (java) R 14119 14122 9841 0 -1 4202560 1106 0 0 0 53 41 0 0 20 0 23 0 2987995 11434893312 204741 33554432000 4194304 4196468 140730952971984 140285550619096 140285941819771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14131] ppid=14119 vsize=11166888 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14131/stat : 14131 (java) R 14119 14122 9841 0 -1 4202560 1140 0 0 0 51 43 0 0 20 0 23 0 2987995 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285549566808 140285941822782 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14132] ppid=14119 vsize=11166888 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14132/stat : 14132 (java) R 14119 14122 9841 0 -1 4202560 1369 0 0 0 53 42 0 0 20 0 23 0 2987995 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285548514008 140285941819771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14133] ppid=14119 vsize=11166888 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14133/stat : 14133 (java) S 14119 14122 9841 0 -1 1077944384 6866 0 0 0 10 3 0 0 20 0 23 0 2987997 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285424092320 140285948733141 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14134] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14134/stat : 14134 (java) S 14119 14122 9841 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 23 0 2987998 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285423039776 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14135] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14135/stat : 14135 (java) S 14119 14122 9841 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 23 0 2987998 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285421987440 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14136] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14136/stat : 14136 (java) S 14119 14122 9841 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 23 0 2988002 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285420935760 140285948741531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14137] ppid=14119 vsize=11166888 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14137/stat : 14137 (java) S 14119 14122 9841 0 -1 1077944384 10713 0 0 0 95 1 0 0 20 0 23 0 2988002 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285419882608 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14138] ppid=14119 vsize=11166888 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14138/stat : 14138 (java) S 14119 14122 9841 0 -1 1077944384 6177 0 0 0 76 1 0 0 20 0 23 0 2988002 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285418829808 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14139] ppid=14119 vsize=11166888 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14139/stat : 14139 (java) S 14119 14122 9841 0 -1 1077944384 7048 0 0 0 65 1 0 0 20 0 23 0 2988002 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285417777520 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14140] ppid=14119 vsize=11166888 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14140/stat : 14140 (java) S 14119 14122 9841 0 -1 1077944384 5108 0 0 0 27 1 0 0 20 0 23 0 2988002 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285416724720 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14141] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14141/stat : 14141 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 2988003 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285415672672 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14142] ppid=14119 vsize=11166888 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14142/stat : 14142 (java) S 14119 14122 9841 0 -1 1077944384 2661 0 0 0 75 75 0 0 20 0 23 0 2988003 11434893312 205253 33554432000 4194304 4196468 140730952971984 140285414619952 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 2400.8
Current children cumulated vsize (KiB) 11166888
[startup+2390.9 s]
/proc/loadavg: 2.66 4.57 3.83 3/283 14415
/proc/meminfo: memFree=28953092/32770624 swapFree=5628/210240
[pid=14122] ppid=14119 vsize=11166888 CPUtime=2401.37 cores=0,2,4,6,8,10,12,14
/proc/14122/stat : 14122 (java) S 14119 14122 9841 0 -1 1077944320 77842 0 0 0 239702 435 0 0 20 0 22 0 2987993 11434893312 216822 33554432000 4194304 4196468 140730952971984 140730952954528 140285948722935 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
/proc/14122/statm: 2791722 216822 3158 1 0 2780116 0
[pid=14122/tid=14123] ppid=14119 vsize=11166888 CPUtime=2388.82 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14123/stat : 14123 (java) S 14119 14122 9841 0 -1 1077944384 24842 0 0 0 238877 5 0 0 20 0 22 0 2987994 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285952965808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14125] ppid=14119 vsize=11166888 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14125/stat : 14125 (java) S 14119 14122 9841 0 -1 1077944384 1774 0 0 0 57 45 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285914004368 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14126] ppid=14119 vsize=11166888 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14126/stat : 14126 (java) S 14119 14122 9841 0 -1 1077944384 1059 0 0 0 55 42 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285554830096 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14127] ppid=14119 vsize=11166888 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14127/stat : 14127 (java) S 14119 14122 9841 0 -1 1077944384 1325 0 0 0 57 45 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285553777808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14128] ppid=14119 vsize=11166888 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14128/stat : 14128 (java) S 14119 14122 9841 0 -1 1077944384 1803 0 0 0 58 44 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285552725008 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14129] ppid=14119 vsize=11166888 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14129/stat : 14129 (java) S 14119 14122 9841 0 -1 1077944384 2100 0 0 0 58 45 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285551671696 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14130] ppid=14119 vsize=11166888 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14130/stat : 14130 (java) S 14119 14122 9841 0 -1 1077944384 1229 0 0 0 56 45 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285550618896 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14131] ppid=14119 vsize=11166888 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14131/stat : 14131 (java) S 14119 14122 9841 0 -1 1077944384 1189 0 0 0 55 46 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285549566608 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14132] ppid=14119 vsize=11166888 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14132/stat : 14132 (java) S 14119 14122 9841 0 -1 1077944384 1715 0 0 0 57 45 0 0 20 0 22 0 2987995 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285548513808 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14133] ppid=14119 vsize=11166888 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14133/stat : 14133 (java) S 14119 14122 9841 0 -1 1077944384 7040 0 0 0 10 3 0 0 20 0 22 0 2987997 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285424093808 140285948734082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14134] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14134/stat : 14134 (java) S 14119 14122 9841 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 22 0 2987998 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285423039776 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14135] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14135/stat : 14135 (java) S 14119 14122 9841 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 22 0 2987998 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285421987440 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14136] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14136/stat : 14136 (java) S 14119 14122 9841 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 22 0 2988002 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285420935760 140285948741531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14137] ppid=14119 vsize=11166888 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14137/stat : 14137 (java) S 14119 14122 9841 0 -1 1077944384 10713 0 0 0 95 1 0 0 20 0 22 0 2988002 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285419882608 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14138] ppid=14119 vsize=11166888 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14138/stat : 14138 (java) S 14119 14122 9841 0 -1 1077944384 6177 0 0 0 76 1 0 0 20 0 22 0 2988002 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285418829808 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14139] ppid=14119 vsize=11166888 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14139/stat : 14139 (java) S 14119 14122 9841 0 -1 1077944384 7048 0 0 0 65 1 0 0 20 0 22 0 2988002 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285417777520 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14140] ppid=14119 vsize=11166888 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14140/stat : 14140 (java) S 14119 14122 9841 0 -1 1077944384 5109 0 0 0 27 1 0 0 20 0 22 0 2988002 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285416724720 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14141] ppid=14119 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14141/stat : 14141 (java) S 14119 14122 9841 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2988003 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285415672672 140285948733141 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
[pid=14122/tid=14142] ppid=14119 vsize=11166888 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/14122/task/14142/stat : 14142 (java) S 14119 14122 9841 0 -1 1077944384 2661 0 0 0 75 75 0 0 20 0 22 0 2988003 11434893312 216822 33554432000 4194304 4196468 140730952971984 140285414619952 140285948734082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37724160 140730952979627 140730952979780 140730952979780 140730952982479 0
Current children cumulated CPU time (s) 2401.37
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2390.93
CPU time (s): 2401.4
CPU user time (s): 2397.04
CPU system time (s): 4.36003
CPU usage (%): 100.438
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.04
system time used= 4.36003
maximum resident set size= 867932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54920
involuntary context switches= 121894
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.894 second user time and 12.8685 second system time
The end