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-4243415-1500671613/watcher-4243415-1500671613 -o /tmp/evaluation-result-4243415-1500671613/solver-4243415-1500671613 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500670140-13573 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243415-1500671613.xml
pid=14375
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: 5.77 7.68 7.56 3/262 14378
/proc/meminfo: memFree=31518604/32770624 swapFree=5840/37544
[pid=14378] ppid=14375 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 1957 0 0 0 0 0 0 0 20 0 2 0 2430938 8550137856 2178 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2087436 2244 1197 1 0 2076347 0
[pid=14378/tid=14379] ppid=14375 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) R 14375 14378 9815 0 -1 4202560 748 0 0 0 0 0 0 0 20 0 2 0 2430938 8550137856 2310 33554432000 4194304 4196468 140726015182496 140501094816160 140501082863520 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[startup+0.100167 s]
/proc/loadavg: 5.77 7.68 7.56 3/262 14378
/proc/meminfo: memFree=31518604/32770624 swapFree=5840/37544
[pid=14378] ppid=14375 vsize=10434508 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 4131 0 0 0 4 1 0 0 20 0 13 0 2430938 10684936192 5314 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2608627 5314 2148 1 0 2597065 0
[pid=14378/tid=14379] ppid=14375 vsize=10434508 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) D 14375 14378 9815 0 -1 1077944384 2758 0 0 0 4 1 0 0 20 0 13 0 2430938 10684936192 5314 33554432000 4194304 4196468 140726015182496 140501094809168 140501090597949 0 4 0 16800971 18446744072101604900 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10434508
[startup+0.200424 s]
/proc/loadavg: 5.77 7.68 7.56 3/262 14378
/proc/meminfo: memFree=31518604/32770624 swapFree=5840/37544
[pid=14378] ppid=14375 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 6675 0 0 0 15 2 0 0 20 0 20 0 2430938 11162169344 7555 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725139 7555 2786 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900556 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) R 14375 14378 9815 0 -1 4202560 4509 0 0 0 12 1 0 0 20 0 20 0 2430938 11162169344 7555 33554432000 4194304 4196468 140726015182496 140501094789152 140501090595997 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10900556
[startup+0.300399 s]
/proc/loadavg: 5.77 7.68 7.56 3/262 14378
/proc/meminfo: memFree=31518604/32770624 swapFree=5840/37544
[pid=14378] ppid=14375 vsize=10900556 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 7845 0 0 0 31 3 0 0 20 0 20 0 2430938 11162169344 9650 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725139 9650 2911 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900556 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) R 14375 14378 9815 0 -1 4202560 5066 0 0 0 21 2 0 0 20 0 20 0 2430938 11162169344 9650 33554432000 4194304 4196468 140726015182496 140501094798144 140501074654558 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10900556
[startup+0.700217 s]
/proc/loadavg: 5.77 7.68 7.56 3/262 14378
/proc/meminfo: memFree=31518604/32770624 swapFree=5840/37544
[pid=14378] ppid=14375 vsize=10900632 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 11548 0 0 0 138 6 0 0 20 0 20 0 2430938 11162247168 42063 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 42063 3080 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) R 14375 14378 9815 0 -1 4202560 5751 0 0 0 59 4 0 0 20 0 20 0 2430938 11162247168 42063 33554432000 4194304 4196468 140726015182496 140501094805192 140500680845243 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10900632
[startup+1.50179 s]
/proc/loadavg: 5.62 7.62 7.54 3/282 14398
/proc/meminfo: memFree=31202628/32770624 swapFree=5840/37600
[pid=14378] ppid=14375 vsize=10900632 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 13200 0 0 0 320 168 0 0 20 0 20 0 2430938 11162247168 141958 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 141958 3109 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) S 14375 14378 9815 0 -1 1077944384 5819 0 0 0 100 5 0 0 20 0 20 0 2430938 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501094807776 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14381] ppid=14375 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14381/stat : 14381 (java) R 14375 14378 9815 0 -1 4202560 199 0 0 0 16 21 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501016648792 140501075601945 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14382] ppid=14375 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14382/stat : 14382 (java) R 14375 14378 9815 0 -1 4202560 167 0 0 0 16 19 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501015595992 140501075601945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14383] ppid=14375 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14383/stat : 14383 (java) R 14375 14378 9815 0 -1 4202560 183 0 0 0 16 19 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501014543704 140501075601945 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14384] ppid=14375 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14384/stat : 14384 (java) R 14375 14378 9815 0 -1 4202560 207 0 0 0 17 20 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501013490904 140501075601945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14385] ppid=14375 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14385/stat : 14385 (java) R 14375 14378 9815 0 -1 4202560 187 0 0 0 17 20 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501012437592 140501075601945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14386] ppid=14375 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14386/stat : 14386 (java) R 14375 14378 9815 0 -1 4202560 190 0 0 0 17 19 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501011384792 140501075601945 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14387] ppid=14375 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14387/stat : 14387 (java) R 14375 14378 9815 0 -1 4202560 189 0 0 0 16 20 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501010332504 140501075601490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14388] ppid=14375 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14388/stat : 14388 (java) R 14375 14378 9815 0 -1 4202560 185 0 0 0 17 18 0 0 20 0 20 0 2430939 11162247168 141958 33554432000 4194304 4196468 140726015182496 140501009279392 140501075596192 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14389] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14389/stat : 14389 (java) S 14375 14378 9815 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2430941 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500565636256 140501090584277 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14390] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14390/stat : 14390 (java) S 14375 14378 9815 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2430942 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500564583712 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14391] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14391/stat : 14391 (java) S 14375 14378 9815 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2430943 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500563531376 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14392] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14392/stat : 14392 (java) S 14375 14378 9815 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500562479696 140501090592667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14393] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14393/stat : 14393 (java) S 14375 14378 9815 0 -1 1077944384 1243 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500561426544 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14394] ppid=14375 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14394/stat : 14394 (java) S 14375 14378 9815 0 -1 1077944384 935 0 0 0 20 0 0 0 20 0 20 0 2430951 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500560373744 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14395] ppid=14375 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14395/stat : 14395 (java) S 14375 14378 9815 0 -1 1077944384 1204 0 0 0 22 0 0 0 20 0 20 0 2430951 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500559321456 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14396] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14396/stat : 14396 (java) S 14375 14378 9815 0 -1 1077944384 1046 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500558268656 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14397] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14397/stat : 14397 (java) S 14375 14378 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500557216608 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14398] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14398/stat : 14398 (java) S 14375 14378 9815 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2430952 11162247168 141958 33554432000 4194304 4196468 140726015182496 140500556163888 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 10900632
[startup+3.10088 s]
/proc/loadavg: 5.62 7.62 7.54 3/282 14398
/proc/meminfo: memFree=30901372/32770624 swapFree=5840/37604
[pid=14378] ppid=14375 vsize=10900632 CPUtime=11.74 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 15437 0 0 0 925 249 0 0 20 0 20 0 2430938 11162247168 194847 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 194847 3125 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) R 14375 14378 9815 0 -1 4202560 5821 0 0 0 149 5 0 0 20 0 20 0 2430938 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501094807664 140500680790303 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14381] ppid=14375 vsize=10900632 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14381/stat : 14381 (java) S 14375 14378 9815 0 -1 1077944384 370 0 0 0 81 30 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501016648592 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14382] ppid=14375 vsize=10900632 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14382/stat : 14382 (java) S 14375 14378 9815 0 -1 1077944384 334 0 0 0 81 29 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501015595792 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14383] ppid=14375 vsize=10900632 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14383/stat : 14383 (java) S 14375 14378 9815 0 -1 1077944384 451 0 0 0 80 30 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501014543504 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14384] ppid=14375 vsize=10900632 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14384/stat : 14384 (java) S 14375 14378 9815 0 -1 1077944384 445 0 0 0 82 30 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501013490704 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14385] ppid=14375 vsize=10900632 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14385/stat : 14385 (java) S 14375 14378 9815 0 -1 1077944384 425 0 0 0 82 29 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501012437392 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14386] ppid=14375 vsize=10900632 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14386/stat : 14386 (java) S 14375 14378 9815 0 -1 1077944384 436 0 0 0 82 30 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501011384592 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14387] ppid=14375 vsize=10900632 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14387/stat : 14387 (java) S 14375 14378 9815 0 -1 1077944384 480 0 0 0 81 30 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501010332304 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14388] ppid=14375 vsize=10900632 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14388/stat : 14388 (java) S 14375 14378 9815 0 -1 1077944384 348 0 0 0 82 28 0 0 20 0 20 0 2430939 11162247168 194847 33554432000 4194304 4196468 140726015182496 140501009279504 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14389] ppid=14375 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14389/stat : 14389 (java) S 14375 14378 9815 0 -1 1077944384 532 0 0 0 34 0 0 0 20 0 20 0 2430941 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500565637744 140501090585218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14390] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14390/stat : 14390 (java) S 14375 14378 9815 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2430942 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500564583712 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14391] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14391/stat : 14391 (java) S 14375 14378 9815 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2430943 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500563531376 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14392] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14392/stat : 14392 (java) S 14375 14378 9815 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500562479696 140501090592667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14393] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14393/stat : 14393 (java) S 14375 14378 9815 0 -1 1077944384 1243 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500561426544 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14394] ppid=14375 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14394/stat : 14394 (java) S 14375 14378 9815 0 -1 1077944384 935 0 0 0 20 0 0 0 20 0 20 0 2430951 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500560373744 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14395] ppid=14375 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14395/stat : 14395 (java) S 14375 14378 9815 0 -1 1077944384 1204 0 0 0 22 0 0 0 20 0 20 0 2430951 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500559321456 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14396] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14396/stat : 14396 (java) S 14375 14378 9815 0 -1 1077944384 1046 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500558268656 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14397] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14397/stat : 14397 (java) S 14375 14378 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500557216608 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14398] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14398/stat : 14398 (java) S 14375 14378 9815 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2430952 11162247168 194847 33554432000 4194304 4196468 140726015182496 140500556163888 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 10900632
[startup+6.30184 s]
/proc/loadavg: 5.33 7.53 7.51 4/282 14398
/proc/meminfo: memFree=30369384/32770624 swapFree=5840/37604
[pid=14378] ppid=14375 vsize=10900632 CPUtime=26.55 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 22818 0 0 0 2157 498 0 0 20 0 20 0 2430938 11162247168 375456 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 375968 3125 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) S 14375 14378 9815 0 -1 1077944384 7073 0 0 0 218 8 0 0 20 0 20 0 2430938 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501094807840 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14381] ppid=14375 vsize=10900632 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14381/stat : 14381 (java) R 14375 14378 9815 0 -1 4202560 915 0 0 0 219 60 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501016648792 140501075601945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14382] ppid=14375 vsize=10900632 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14382/stat : 14382 (java) R 14375 14378 9815 0 -1 4202560 588 0 0 0 220 58 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501015595680 140501075601945 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14383] ppid=14375 vsize=10900632 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14383/stat : 14383 (java) R 14375 14378 9815 0 -1 4202560 976 0 0 0 213 60 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501014543704 140501075601945 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14384] ppid=14375 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14384/stat : 14384 (java) R 14375 14378 9815 0 -1 4202560 850 0 0 0 215 62 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501013490904 140501083673918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14385] ppid=14375 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14385/stat : 14385 (java) R 14375 14378 9815 0 -1 4202560 977 0 0 0 217 60 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501012437592 140501075596192 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14386] ppid=14375 vsize=10900632 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14386/stat : 14386 (java) R 14375 14378 9815 0 -1 4202560 970 0 0 0 216 63 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501011384792 140501083670907 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14387] ppid=14375 vsize=10900632 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14387/stat : 14387 (java) R 14375 14378 9815 0 -1 4202560 1023 0 0 0 217 62 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501010332504 140501083670907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14388] ppid=14375 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14388/stat : 14388 (java) R 14375 14378 9815 0 -1 4202560 663 0 0 0 218 59 0 0 20 0 20 0 2430939 11162247168 375968 33554432000 4194304 4196468 140726015182496 140501009279704 140501075601945 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14389] ppid=14375 vsize=10900632 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14389/stat : 14389 (java) S 14375 14378 9815 0 -1 1077944384 2605 0 0 0 115 0 0 0 20 0 20 0 2430941 11162247168 375968 33554432000 4194304 4196468 140726015182496 140500565636256 140501090584277 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14390] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14390/stat : 14390 (java) S 14375 14378 9815 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2430942 11162247168 375968 33554432000 4194304 4196468 140726015182496 140500564583712 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14391] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14391/stat : 14391 (java) S 14375 14378 9815 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2430943 11162247168 375968 33554432000 4194304 4196468 140726015182496 140500563531376 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14392] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=14378/tid=14393] ppid=14375 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14393/stat : 14393 (java) S 14375 14378 9815 0 -1 1077944384 1818 0 0 0 24 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500561426544 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14394] ppid=14375 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14394/stat : 14394 (java) S 14375 14378 9815 0 -1 1077944384 1753 0 0 0 22 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500560373744 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14395] ppid=14375 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14395/stat : 14395 (java) S 14375 14378 9815 0 -1 1077944384 2024 0 0 0 29 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500559321456 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14396] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14396/stat : 14396 (java) S 14375 14378 9815 0 -1 1077944384 1196 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500558268656 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14397] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14397/stat : 14397 (java) S 14375 14378 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500557216608 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14398] ppid=14375 vsize=10900632 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14398/stat : 14398 (java) S 14375 14378 9815 0 -1 1077944384 553 0 0 0 6 9 0 0 20 0 20 0 2430952 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500556163888 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 2408.89
Current children cumulated vsize (KiB) 10900632
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14378
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14378 sig 9
??? kill -14378 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+342.402 s]
/proc/loadavg: 8.85 7.73 7.50 10/282 14403
/proc/meminfo: memFree=23467352/32770624 swapFree=5840/37896
[pid=14378] ppid=14375 vsize=10900632 CPUtime=2409.69 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 171894 0 0 0 238098 2871 0 0 20 0 20 0 2430938 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 1987551 3132 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=14.31 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) S 14375 14378 9815 0 -1 1077944384 14002 0 0 0 1422 9 0 0 20 0 20 0 2430938 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501094807680 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14381] ppid=14375 vsize=10900632 CPUtime=295.92 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14381/stat : 14381 (java) R 14375 14378 9815 0 -1 4202560 10568 0 0 0 29236 356 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501016648792 140501075570733 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14382] ppid=14375 vsize=10900632 CPUtime=296.65 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14382/stat : 14382 (java) R 14375 14378 9815 0 -1 4202560 12166 0 0 0 29316 349 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501015595680 140501075570733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14383] ppid=14375 vsize=10900632 CPUtime=295.4 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14383/stat : 14383 (java) R 14375 14378 9815 0 -1 4202560 11026 0 0 0 29185 355 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501014543704 140501075570416 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14384] ppid=14375 vsize=10900632 CPUtime=295.28 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14384/stat : 14384 (java) R 14375 14378 9815 0 -1 4202560 10793 0 0 0 29182 346 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501013490904 140501075570659 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14385] ppid=14375 vsize=10900632 CPUtime=294.86 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14385/stat : 14385 (java) R 14375 14378 9815 0 -1 4202560 11105 0 0 0 29123 363 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501012437592 140501075570624 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14386] ppid=14375 vsize=10900632 CPUtime=295.39 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14386/stat : 14386 (java) R 14375 14378 9815 0 -1 4202560 10149 0 0 0 29184 355 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501011384792 140501072183819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14387] ppid=14375 vsize=10900632 CPUtime=296.04 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14387/stat : 14387 (java) R 14375 14378 9815 0 -1 4202560 12658 0 0 0 29238 366 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501010332504 140501075272816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14388] ppid=14375 vsize=10900632 CPUtime=295.57 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14388/stat : 14388 (java) R 14375 14378 9815 0 -1 4202560 11686 0 0 0 29201 356 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501009279704 140501075570723 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14389] ppid=14375 vsize=10900632 CPUtime=29.02 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14389/stat : 14389 (java) S 14375 14378 9815 0 -1 1077944384 59002 0 0 0 2899 3 0 0 20 0 20 0 2430941 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500565636288 140501090584277 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14390] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14390/stat : 14390 (java) S 14375 14378 9815 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 2430942 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500564583776 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14391] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14391/stat : 14391 (java) S 14375 14378 9815 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2430943 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500563531392 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14392] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14392/stat : 14392 (java) S 14375 14378 9815 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500562479344 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14393] ppid=14375 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14393/stat : 14393 (java) S 14375 14378 9815 0 -1 1077944384 1818 0 0 0 24 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500561426544 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14394] ppid=14375 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14394/stat : 14394 (java) S 14375 14378 9815 0 -1 1077944384 1753 0 0 0 22 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500560373744 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14395] ppid=14375 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14395/stat : 14395 (java) S 14375 14378 9815 0 -1 1077944384 2024 0 0 0 29 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500559321456 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14396] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14396/stat : 14396 (java) S 14375 14378 9815 0 -1 1077944384 1196 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500558268656 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14397] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14397/stat : 14397 (java) S 14375 14378 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500557216608 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14398] ppid=14375 vsize=10900632 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14398/stat : 14398 (java) S 14375 14378 9815 0 -1 1077944384 553 0 0 0 6 9 0 0 20 0 20 0 2430952 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500556163888 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 2409.69
Current children cumulated vsize (KiB) 10900632
[startup+342.801 s]
/proc/loadavg: 8.85 7.73 7.50 10/282 14403
/proc/meminfo: memFree=23467352/32770624 swapFree=5840/37896
[pid=14378] ppid=14375 vsize=10900632 CPUtime=2412.88 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 171894 0 0 0 238416 2872 0 0 20 0 20 0 2430938 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 1987551 3132 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=14.31 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) S 14375 14378 9815 0 -1 1077944384 14002 0 0 0 1422 9 0 0 20 0 20 0 2430938 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501094807680 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14381] ppid=14375 vsize=10900632 CPUtime=296.31 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14381/stat : 14381 (java) R 14375 14378 9815 0 -1 4202560 10568 0 0 0 29275 356 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501016648712 140501083202279 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14382] ppid=14375 vsize=10900632 CPUtime=297.05 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14382/stat : 14382 (java) R 14375 14378 9815 0 -1 4202560 12166 0 0 0 29356 349 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501015595680 140501075031662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14383] ppid=14375 vsize=10900632 CPUtime=295.8 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14383/stat : 14383 (java) R 14375 14378 9815 0 -1 4202560 11026 0 0 0 29225 355 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501014543704 140501075570733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14384] ppid=14375 vsize=10900632 CPUtime=295.68 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14384/stat : 14384 (java) R 14375 14378 9815 0 -1 4202560 10793 0 0 0 29222 346 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501013490904 140501075031657 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14385] ppid=14375 vsize=10900632 CPUtime=295.26 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14385/stat : 14385 (java) R 14375 14378 9815 0 -1 4202560 11105 0 0 0 29163 363 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501012437592 140501075272922 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14386] ppid=14375 vsize=10900632 CPUtime=295.79 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14386/stat : 14386 (java) R 14375 14378 9815 0 -1 4202560 10149 0 0 0 29224 355 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501011384712 140501073957106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14387] ppid=14375 vsize=10900632 CPUtime=296.44 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14387/stat : 14387 (java) R 14375 14378 9815 0 -1 4202560 12658 0 0 0 29278 366 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501010332504 140501083202279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14388] ppid=14375 vsize=10900632 CPUtime=295.96 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14388/stat : 14388 (java) R 14375 14378 9815 0 -1 4202560 11686 0 0 0 29240 356 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501009279704 140501075031669 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14389] ppid=14375 vsize=10900632 CPUtime=29.02 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14389/stat : 14389 (java) S 14375 14378 9815 0 -1 1077944384 59002 0 0 0 2899 3 0 0 20 0 20 0 2430941 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500565636288 140501090584277 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14390] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14390/stat : 14390 (java) S 14375 14378 9815 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 2430942 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500564583776 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14391] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14391/stat : 14391 (java) S 14375 14378 9815 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2430943 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500563531392 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14392] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14392/stat : 14392 (java) S 14375 14378 9815 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500562479344 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14393] ppid=14375 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14393/stat : 14393 (java) S 14375 14378 9815 0 -1 1077944384 1818 0 0 0 24 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500561426592 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14394] ppid=14375 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14394/stat : 14394 (java) S 14375 14378 9815 0 -1 1077944384 1753 0 0 0 22 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500560373792 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14395] ppid=14375 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14395/stat : 14395 (java) S 14375 14378 9815 0 -1 1077944384 2024 0 0 0 29 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500559321504 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14396] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14396/stat : 14396 (java) S 14375 14378 9815 0 -1 1077944384 1196 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500558268416 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14397] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14397/stat : 14397 (java) S 14375 14378 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500557216608 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14398] ppid=14375 vsize=10900632 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14398/stat : 14398 (java) S 14375 14378 9815 0 -1 1077944384 553 0 0 0 6 9 0 0 20 0 20 0 2430952 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500556163888 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 2412.88
Current children cumulated vsize (KiB) 10900632
[startup+343.201 s]
/proc/loadavg: 8.85 7.73 7.50 10/282 14403
/proc/meminfo: memFree=23467352/32770624 swapFree=5840/37896
[pid=14378] ppid=14375 vsize=10900632 CPUtime=2416.07 cores=0,2,4,6,8,10,12,14
/proc/14378/stat : 14378 (java) S 14375 14378 9815 0 -1 1077944320 171894 0 0 0 238734 2873 0 0 20 0 20 0 2430938 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140726015165040 140501090574071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
/proc/14378/statm: 2725158 1987551 3132 1 0 2713552 0
[pid=14378/tid=14379] ppid=14375 vsize=10900632 CPUtime=14.31 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14379/stat : 14379 (java) S 14375 14378 9815 0 -1 1077944384 14002 0 0 0 1422 9 0 0 20 0 20 0 2430938 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501094807680 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14381] ppid=14375 vsize=10900632 CPUtime=296.71 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14381/stat : 14381 (java) R 14375 14378 9815 0 -1 1077944384 10568 0 0 0 29315 356 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501016648400 140501090585218 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14382] ppid=14375 vsize=10900632 CPUtime=297.45 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14382/stat : 14382 (java) R 14375 14378 9815 0 -1 4202560 12166 0 0 0 29396 349 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501015595912 140501073957106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14383] ppid=14375 vsize=10900632 CPUtime=296.2 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14383/stat : 14383 (java) R 14375 14378 9815 0 -1 4202560 11026 0 0 0 29265 355 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501014543624 140501083202279 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14384] ppid=14375 vsize=10900632 CPUtime=296.08 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14384/stat : 14384 (java) R 14375 14378 9815 0 -1 4202560 10793 0 0 0 29262 346 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501013490824 140501083202279 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14385] ppid=14375 vsize=10900632 CPUtime=295.66 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14385/stat : 14385 (java) R 14375 14378 9815 0 -1 4202560 11105 0 0 0 29203 363 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501012437200 140501083202279 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14386] ppid=14375 vsize=10900632 CPUtime=296.18 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14386/stat : 14386 (java) R 14375 14378 9815 0 -1 4202560 10149 0 0 0 29263 355 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501011384712 140501083202279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14387] ppid=14375 vsize=10900632 CPUtime=296.83 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14387/stat : 14387 (java) R 14375 14378 9815 0 -1 4202560 12658 0 0 0 29317 366 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501010332424 140501083202279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14388] ppid=14375 vsize=10900632 CPUtime=296.37 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14388/stat : 14388 (java) R 14375 14378 9815 0 -1 4202560 11686 0 0 0 29281 356 0 0 20 0 20 0 2430939 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140501009279704 140501075031691 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14389] ppid=14375 vsize=10900632 CPUtime=29.02 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14389/stat : 14389 (java) S 14375 14378 9815 0 -1 1077944384 59002 0 0 0 2899 3 0 0 20 0 20 0 2430941 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500565636288 140501090584277 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14390] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14390/stat : 14390 (java) S 14375 14378 9815 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 2430942 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500564583776 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14391] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14391/stat : 14391 (java) S 14375 14378 9815 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2430943 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500563531392 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14392] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14392/stat : 14392 (java) S 14375 14378 9815 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500562479344 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14393] ppid=14375 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14393/stat : 14393 (java) S 14375 14378 9815 0 -1 1077944384 1818 0 0 0 24 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500561426592 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14394] ppid=14375 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14394/stat : 14394 (java) S 14375 14378 9815 0 -1 1077944384 1753 0 0 0 22 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500560373792 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14395] ppid=14375 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14395/stat : 14395 (java) S 14375 14378 9815 0 -1 1077944384 2024 0 0 0 29 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500559321504 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14396] ppid=14375 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14396/stat : 14396 (java) S 14375 14378 9815 0 -1 1077944384 1196 0 0 0 21 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500558268416 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14397] ppid=14375 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14397/stat : 14397 (java) S 14375 14378 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2430951 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500557216608 140501090584277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
[pid=14378/tid=14398] ppid=14375 vsize=10900632 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/14378/task/14398/stat : 14398 (java) S 14375 14378 9815 0 -1 1077944384 553 0 0 0 6 9 0 0 20 0 20 0 2430952 11162247168 1987551 33554432000 4194304 4196468 140726015182496 140500556163888 140501090585218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38932480 140726015186091 140726015186244 140726015186244 140726015188943 0
Current children cumulated CPU time (s) 2416.07
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 343.252
CPU time (s): 2416.13
CPU user time (s): 2387.36
CPU system time (s): 28.7683
CPU usage (%): 703.895
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.36
system time used= 28.7683
maximum resident set size= 7950512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27097
involuntary context switches= 154999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04672 second user time and 3.70135 second system time
The end