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-4243311-1500670116/watcher-4243311-1500670116 -o /tmp/evaluation-result-4243311-1500670116/solver-4243311-1500670116 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500669780-12184 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243311-1500670116.xml
pid=12406
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.39 9.76 4.97 10/262 12409
/proc/meminfo: memFree=30450332/32770624 swapFree=5680/204056
[pid=12409] ppid=12406 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 1947 0 0 0 0 0 0 0 20 0 2 0 2277973 8550137856 2197 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2087436 2197 1197 1 0 2076347 0
[pid=12409/tid=12410] ppid=12406 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) R 12406 12409 9818 0 -1 4202560 742 0 0 0 0 0 0 0 20 0 2 0 2277973 8550137856 2263 33554432000 4194304 4196468 140729087972480 140537703250336 140537691297696 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[startup+0.100064 s]
/proc/loadavg: 14.39 9.76 4.97 10/262 12409
/proc/meminfo: memFree=30450332/32770624 swapFree=5680/204056
[pid=12409] ppid=12406 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 4713 0 0 0 8 1 0 0 20 0 20 0 2277973 11162169344 5815 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725139 5815 2633 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) R 12406 12409 9818 0 -1 4202560 2801 0 0 0 7 1 0 0 20 0 20 0 2277973 11162169344 5815 33554432000 4194304 4196468 140729087972480 140537703250528 140537699030173 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200402 s]
/proc/loadavg: 14.39 9.76 4.97 10/262 12409
/proc/meminfo: memFree=30450332/32770624 swapFree=5680/204056
[pid=12409] ppid=12406 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 7054 0 0 0 23 3 0 0 20 0 20 0 2277973 11162169344 8414 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725139 8414 2908 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) R 12406 12409 9818 0 -1 4202560 4665 0 0 0 16 2 0 0 20 0 20 0 2277973 11162169344 8414 33554432000 4194304 4196468 140729087972480 140537703220016 140537684378155 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300357 s]
/proc/loadavg: 14.39 9.76 4.97 10/262 12409
/proc/meminfo: memFree=30450332/32770624 swapFree=5680/204056
[pid=12409] ppid=12406 vsize=10900556 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 8429 0 0 0 39 3 0 0 20 0 20 0 2277973 11162169344 10637 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725139 10637 2949 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) R 12406 12409 9818 0 -1 4202560 5416 0 0 0 25 2 0 0 20 0 20 0 2277973 11162169344 10637 33554432000 4194304 4196468 140729087972480 140537703237216 140537319424064 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556
[startup+0.700365 s]
/proc/loadavg: 14.39 9.76 4.97 10/262 12409
/proc/meminfo: memFree=30450332/32770624 swapFree=5680/204056
[pid=12409] ppid=12406 vsize=10900632 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 10313 0 0 0 142 33 0 0 20 0 20 0 2277973 11162247168 71604 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 71604 3097 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) R 12406 12409 9818 0 -1 4202560 5899 0 0 0 55 5 0 0 20 0 20 0 2277973 11162247168 71604 33554432000 4194304 4196468 140729087972480 140537703245064 140537685076366 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 10900632
[startup+1.50084 s]
/proc/loadavg: 14.39 9.76 4.97 13/282 12429
/proc/meminfo: memFree=29239216/32770624 swapFree=5680/204076
[pid=12409] ppid=12406 vsize=10900632 CPUtime=3.9 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 14047 0 0 0 304 86 0 0 20 0 20 0 2277973 11162247168 173024 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 173024 3113 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) R 12406 12409 9818 0 -1 4202560 6440 0 0 0 116 8 0 0 20 0 20 0 2277973 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537703239400 140537322719328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12412] ppid=12406 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12412/stat : 12412 (java) S 12406 12409 9818 0 -1 1077944384 161 0 0 0 11 8 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537641012240 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12413] ppid=12406 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12413/stat : 12413 (java) S 12406 12409 9818 0 -1 1077944384 161 0 0 0 11 8 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537639959696 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12414] ppid=12406 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12414/stat : 12414 (java) S 12406 12409 9818 0 -1 1077944384 170 0 0 0 10 9 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537303456528 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12415] ppid=12406 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12415/stat : 12415 (java) S 12406 12409 9818 0 -1 1077944384 178 0 0 0 10 10 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537302403984 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12416] ppid=12406 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12416/stat : 12416 (java) S 12406 12409 9818 0 -1 1077944384 155 0 0 0 9 9 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537301350928 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12417] ppid=12406 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12417/stat : 12417 (java) S 12406 12409 9818 0 -1 1077944384 154 0 0 0 10 9 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537300298384 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12418] ppid=12406 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12418/stat : 12418 (java) S 12406 12409 9818 0 -1 1077944384 178 0 0 0 11 8 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537299245328 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12419] ppid=12406 vsize=10900632 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12419/stat : 12419 (java) S 12406 12409 9818 0 -1 1077944384 166 0 0 0 9 8 0 0 20 0 20 0 2277974 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537298192784 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12420] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12420/stat : 12420 (java) S 12406 12409 9818 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537241983728 140537699019394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12421] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12421/stat : 12421 (java) S 12406 12409 9818 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537240929952 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12422] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12422/stat : 12422 (java) S 12406 12409 9818 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2277978 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537239876848 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12423] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12423/stat : 12423 (java) S 12406 12409 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2277981 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537238825424 140537699026843 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12424] ppid=12406 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12424/stat : 12424 (java) R 12406 12409 9818 0 -1 4202560 1416 0 0 0 31 0 0 0 20 0 20 0 2277981 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537237772824 140537680187249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12425] ppid=12406 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12425/stat : 12425 (java) R 12406 12409 9818 0 -1 4202560 922 0 0 0 23 0 0 0 20 0 20 0 2277981 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537236720280 140537683904151 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12426] ppid=12406 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12426/stat : 12426 (java) S 12406 12409 9818 0 -1 1077944384 872 0 0 0 22 0 0 0 20 0 20 0 2277981 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537168390128 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12427] ppid=12406 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12427/stat : 12427 (java) S 12406 12409 9818 0 -1 1077944384 1219 0 0 0 25 0 0 0 20 0 20 0 2277981 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537167337584 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12428] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12428/stat : 12428 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537166285792 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12429] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12429/stat : 12429 (java) S 12406 12409 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 173024 33554432000 4194304 4196468 140729087972480 140537165233328 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 10900632
[startup+3.10099 s]
/proc/loadavg: 14.39 9.76 4.97 17/282 12429
/proc/meminfo: memFree=28928136/32770624 swapFree=5680/204076
[pid=12409] ppid=12406 vsize=10900632 CPUtime=15.26 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 16718 0 0 0 1306 220 0 0 20 0 20 0 2277973 11162247168 251602 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 251602 3121 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) S 12406 12409 9818 0 -1 1077944384 6442 0 0 0 135 8 0 0 20 0 20 0 2277973 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537703241680 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12412] ppid=12406 vsize=10900632 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12412/stat : 12412 (java) R 12406 12409 9818 0 -1 4202560 333 0 0 0 131 28 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537641012360 140537683708104 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12413] ppid=12406 vsize=10900632 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12413/stat : 12413 (java) R 12406 12409 9818 0 -1 4202560 246 0 0 0 141 16 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537639959816 140537684004648 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12414] ppid=12406 vsize=10900632 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12414/stat : 12414 (java) R 12406 12409 9818 0 -1 4202560 611 0 0 0 132 28 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537303456648 140537691636455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12415] ppid=12406 vsize=10900632 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12415/stat : 12415 (java) R 12406 12409 9818 0 -1 4202560 951 0 0 0 130 29 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537302404104 140537680618086 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12416] ppid=12406 vsize=10900632 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12416/stat : 12416 (java) R 12406 12409 9818 0 -1 4202560 325 0 0 0 129 28 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537301351048 140537691636455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12417] ppid=12406 vsize=10900632 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12417/stat : 12417 (java) R 12406 12409 9818 0 -1 4202560 322 0 0 0 136 22 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537300298504 140537683708894 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12418] ppid=12406 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12418/stat : 12418 (java) R 12406 12409 9818 0 -1 4202560 328 0 0 0 128 27 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537299245448 140537692104712 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12419] ppid=12406 vsize=10900632 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12419/stat : 12419 (java) R 12406 12409 9818 0 -1 4202560 719 0 0 0 129 27 0 0 20 0 20 0 2277974 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537298192904 140537691636455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12420] ppid=12406 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12420/stat : 12420 (java) S 12406 12409 9818 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 20 0 2277977 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537241982272 140537699018453 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12421] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12421/stat : 12421 (java) S 12406 12409 9818 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537240929952 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12422] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12422/stat : 12422 (java) S 12406 12409 9818 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2277978 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537239876848 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12423] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12423/stat : 12423 (java) S 12406 12409 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2277981 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537238825424 140537699026843 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12424] ppid=12406 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12424/stat : 12424 (java) S 12406 12409 9818 0 -1 1077944384 1418 0 0 0 34 0 0 0 20 0 20 0 2277981 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537237772528 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12425] ppid=12406 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12425/stat : 12425 (java) S 12406 12409 9818 0 -1 1077944384 922 0 0 0 24 0 0 0 20 0 20 0 2277981 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537236719984 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12426] ppid=12406 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12426/stat : 12426 (java) S 12406 12409 9818 0 -1 1077944384 875 0 0 0 25 0 0 0 20 0 20 0 2277981 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537168390128 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12427] ppid=12406 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12427/stat : 12427 (java) S 12406 12409 9818 0 -1 1077944384 1219 0 0 0 25 0 0 0 20 0 20 0 2277981 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537167337584 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12428] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12428/stat : 12428 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537166285792 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12429] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12429/stat : 12429 (java) S 12406 12409 9818 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 251602 33554432000 4194304 4196468 140729087972480 140537165233328 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 15.26
Current children cumulated vsize (KiB) 10900632
[startup+6.30099 s]
/proc/loadavg: 13.24 9.60 4.94 10/282 12429
/proc/meminfo: memFree=28258548/32770624 swapFree=5680/204076
[pid=12409] ppid=12406 vsize=10900632 CPUtime=28.62 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 38249 0 0 0 2327 535 0 0 20 0 20 0 2277973 11162247168 493024 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 493024 3128 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) S 12406 12409 9818 0 -1 1077944384 8709 0 0 0 254 13 0 0 20 0 20 0 2277973 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537703241648 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12412] ppid=12406 vsize=10900632 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12412/stat : 12412 (java) R 12406 12409 9818 0 -1 4202560 1727 0 0 0 239 65 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537641012440 140537683959346 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12413] ppid=12406 vsize=10900632 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12413/stat : 12413 (java) R 12406 12409 9818 0 -1 4202560 2721 0 0 0 247 56 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537639959280 140537691636455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12414] ppid=12406 vsize=10900632 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12414/stat : 12414 (java) R 12406 12409 9818 0 -1 4202560 2663 0 0 0 239 66 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537303456424 140537691636455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12415] ppid=12406 vsize=10900632 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12415/stat : 12415 (java) R 12406 12409 9818 0 -1 4202560 3364 0 0 0 236 67 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537302403880 140537691636455 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12416] ppid=12406 vsize=10900632 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12416/stat : 12416 (java) R 12406 12409 9818 0 -1 4202560 2468 0 0 0 237 67 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537301351128 140537680561872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12417] ppid=12406 vsize=10900632 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12417/stat : 12417 (java) R 12406 12409 9818 0 -1 4202560 2411 0 0 0 242 61 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537300298280 140537691636455 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12418] ppid=12406 vsize=10900632 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12418/stat : 12418 (java) R 12406 12409 9818 0 -1 4202560 2578 0 0 0 232 65 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537299245224 140537682391282 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12419] ppid=12406 vsize=10900632 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12419/stat : 12419 (java) R 12406 12409 9818 0 -1 4202560 2856 0 0 0 235 67 0 0 20 0 20 0 2277974 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537298192680 140537691636455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12420] ppid=12406 vsize=10900632 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12420/stat : 12420 (java) S 12406 12409 9818 0 -1 1077944384 1852 0 0 0 50 0 0 0 20 0 20 0 2277977 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537241982048 140537699018453 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12421] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12421/stat : 12421 (java) S 12406 12409 9818 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537240930016 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12422] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12422/stat : 12422 (java) S 12406 12409 9818 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2277978 11162247168 493024 33554432000 4194304 4196468 140729087972480 140537239876848 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12423] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=12409/tid=12425] ppid=12406 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12425/stat : 12425 (java) S 12406 12409 9818 0 -1 1077944384 2431 0 0 0 30 0 0 0 20 0 20 0 2277981 11162247168 2076088 33554432000 4194304 4196468 140729087972480 140537236719744 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12426] ppid=12406 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12426/stat : 12426 (java) S 12406 12409 9818 0 -1 1077944384 2588 0 0 0 33 1 0 0 20 0 20 0 2277981 11162247168 2076088 33554432000 4194304 4196468 140729087972480 140537168390128 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12427] ppid=12406 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12427/stat : 12427 (java) S 12406 12409 9818 0 -1 1077944384 3169 0 0 0 29 0 0 0 20 0 20 0 2277981 11162247168 2076088 33554432000 4194304 4196468 140729087972480 140537167337584 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12428] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12428/stat : 12428 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 2076088 33554432000 4194304 4196468 140729087972480 140537166285792 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12429] ppid=12406 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12429/stat : 12429 (java) S 12406 12409 9818 0 -1 1077944384 559 0 0 0 8 4 0 0 20 0 20 0 2277982 11162247168 2076088 33554432000 4194304 4196468 140729087972480 140537165233328 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12409
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12409 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+332.801 s]
/proc/loadavg: 15.52 12.67 7.54 13/282 12527
/proc/meminfo: memFree=23446004/32770624 swapFree=5680/204472
[pid=12409] ppid=12406 vsize=10900632 CPUtime=2406.26 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 302052 0 0 0 237384 3242 0 0 20 0 20 0 2277973 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 2076089 3132 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=13.75 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) S 12406 12409 9818 0 -1 1077944384 16749 0 0 0 1361 14 0 0 20 0 20 0 2277973 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537703245056 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12412] ppid=12406 vsize=10900632 CPUtime=297.22 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12412/stat : 12412 (java) R 12406 12409 9818 0 -1 4202560 20863 0 0 0 29334 388 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537641011824 140537691636455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12413] ppid=12406 vsize=10900632 CPUtime=296.54 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12413/stat : 12413 (java) R 12406 12409 9818 0 -1 4202560 29326 0 0 0 29254 400 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537639959896 140537683705886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12414] ppid=12406 vsize=10900632 CPUtime=297.37 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12414/stat : 12414 (java) R 12406 12409 9818 0 -1 4202560 22159 0 0 0 29344 393 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537303456032 140537691636455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12415] ppid=12406 vsize=10900632 CPUtime=296.81 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12415/stat : 12415 (java) R 12406 12409 9818 0 -1 4202560 20586 0 0 0 29267 414 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537302403880 140537691636455 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12416] ppid=12406 vsize=10900632 CPUtime=296.36 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12416/stat : 12416 (java) R 12406 12409 9818 0 -1 4202560 24228 0 0 0 29208 428 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537301350512 140537691636455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12417] ppid=12406 vsize=10900632 CPUtime=297.06 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12417/stat : 12417 (java) R 12406 12409 9818 0 -1 4202560 30989 0 0 0 29310 396 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537300298584 140537683993531 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12418] ppid=12406 vsize=10900632 CPUtime=296.26 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12418/stat : 12418 (java) R 12406 12409 9818 0 -1 4202560 22464 0 0 0 29225 401 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537299245224 140537691636455 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12419] ppid=12406 vsize=10900632 CPUtime=297.05 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12419/stat : 12419 (java) R 12406 12409 9818 0 -1 4202560 43764 0 0 0 29310 395 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537298192680 140537682391280 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12420] ppid=12406 vsize=10900632 CPUtime=16.26 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12420/stat : 12420 (java) S 12406 12409 9818 0 -1 1077944384 58545 0 0 0 1623 3 0 0 20 0 20 0 2277977 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537241982048 140537699018453 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12421] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12421/stat : 12421 (java) S 12406 12409 9818 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537240930016 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12422] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12422/stat : 12422 (java) S 12406 12409 9818 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2277978 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537239876848 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12423] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12423/stat : 12423 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537238825072 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12424] ppid=12406 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12424/stat : 12424 (java) S 12406 12409 9818 0 -1 1077944384 2256 0 0 0 39 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537237772576 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12425] ppid=12406 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12425/stat : 12425 (java) S 12406 12409 9818 0 -1 1077944384 2431 0 0 0 30 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537236719744 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12426] ppid=12406 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12426/stat : 12426 (java) S 12406 12409 9818 0 -1 1077944384 2588 0 0 0 33 1 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537168390128 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12427] ppid=12406 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12427/stat : 12427 (java) S 12406 12409 9818 0 -1 1077944384 3169 0 0 0 29 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537167337584 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12428] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12428/stat : 12428 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537166285792 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12429] ppid=12406 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12429/stat : 12429 (java) S 12406 12409 9818 0 -1 1077944384 559 0 0 0 8 4 0 0 20 0 20 0 2277982 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537165233328 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 2406.26
Current children cumulated vsize (KiB) 10900632
[startup+333.601 s]
/proc/loadavg: 15.52 12.67 7.54 11/282 12527
/proc/meminfo: memFree=23216500/32770624 swapFree=5680/204492
[pid=12409] ppid=12406 vsize=10900632 CPUtime=2412.49 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 302578 0 0 0 238004 3245 0 0 20 0 20 0 2277973 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 2076089 3132 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=13.75 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) S 12406 12409 9818 0 -1 1077944384 16749 0 0 0 1361 14 0 0 20 0 20 0 2277973 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537703245056 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12412] ppid=12406 vsize=10900632 CPUtime=298 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12412/stat : 12412 (java) R 12406 12409 9818 0 -1 4202560 20863 0 0 0 29412 388 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537641011824 140537682391282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12413] ppid=12406 vsize=10900632 CPUtime=297.34 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12413/stat : 12413 (java) R 12406 12409 9818 0 -1 4202560 29560 0 0 0 29334 400 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537639959896 140537683705999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12414] ppid=12406 vsize=10900632 CPUtime=298.14 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12414/stat : 12414 (java) R 12406 12409 9818 0 -1 4202560 22159 0 0 0 29421 393 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537303456112 140537691636455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12415] ppid=12406 vsize=10900632 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12415/stat : 12415 (java) S 12406 12409 9818 0 -1 1077944384 20586 0 0 0 29344 414 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537302403568 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12416] ppid=12406 vsize=10900632 CPUtime=297.14 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12416/stat : 12416 (java) S 12406 12409 9818 0 -1 1077944384 24228 0 0 0 29286 428 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537301350512 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12417] ppid=12406 vsize=10900632 CPUtime=297.86 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12417/stat : 12417 (java) R 12406 12409 9818 0 -1 4202560 31281 0 0 0 29390 396 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537300298584 140537683959374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12418] ppid=12406 vsize=10900632 CPUtime=297.03 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12418/stat : 12418 (java) R 12406 12409 9818 0 -1 4202560 22464 0 0 0 29301 402 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537299245224 140537691636455 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12419] ppid=12406 vsize=10900632 CPUtime=297.8 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12419/stat : 12419 (java) R 12406 12409 9818 0 -1 4202560 43764 0 0 0 29385 395 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537298192680 140537682391282 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12420] ppid=12406 vsize=10900632 CPUtime=16.26 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12420/stat : 12420 (java) S 12406 12409 9818 0 -1 1077944384 58545 0 0 0 1623 3 0 0 20 0 20 0 2277977 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537241982048 140537699018453 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12421] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12421/stat : 12421 (java) S 12406 12409 9818 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537240930016 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12422] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12422/stat : 12422 (java) S 12406 12409 9818 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2277978 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537239876848 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12423] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12423/stat : 12423 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537238825072 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12424] ppid=12406 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12424/stat : 12424 (java) S 12406 12409 9818 0 -1 1077944384 2256 0 0 0 39 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537237772576 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12425] ppid=12406 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12425/stat : 12425 (java) S 12406 12409 9818 0 -1 1077944384 2431 0 0 0 30 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537236719744 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12426] ppid=12406 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12426/stat : 12426 (java) S 12406 12409 9818 0 -1 1077944384 2588 0 0 0 33 1 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537168390128 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12427] ppid=12406 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12427/stat : 12427 (java) S 12406 12409 9818 0 -1 1077944384 3169 0 0 0 29 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537167337584 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12428] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12428/stat : 12428 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537166285792 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12429] ppid=12406 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12429/stat : 12429 (java) S 12406 12409 9818 0 -1 1077944384 559 0 0 0 8 4 0 0 20 0 20 0 2277982 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537165233328 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 2412.49
Current children cumulated vsize (KiB) 10900632
[startup+334.001 s]
/proc/loadavg: 15.52 12.67 7.54 11/282 12527
/proc/meminfo: memFree=23216500/32770624 swapFree=5680/204492
[pid=12409] ppid=12406 vsize=10900632 CPUtime=2415.61 cores=1,3,5,7,9,11,13,15
/proc/12409/stat : 12409 (java) S 12406 12409 9818 0 -1 1077944320 302651 0 0 0 238315 3246 0 0 20 0 20 0 2277973 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140729087955024 140537699008247 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
/proc/12409/statm: 2725158 2076089 3132 1 0 2713552 0
[pid=12409/tid=12410] ppid=12406 vsize=10900632 CPUtime=13.75 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12410/stat : 12410 (java) S 12406 12409 9818 0 -1 1077944384 16749 0 0 0 1361 14 0 0 20 0 20 0 2277973 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537703245056 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12412] ppid=12406 vsize=10900632 CPUtime=298.39 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12412/stat : 12412 (java) R 12406 12409 9818 0 -1 4202560 20863 0 0 0 29451 388 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537641012136 140537682391280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12413] ppid=12406 vsize=10900632 CPUtime=297.74 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12413/stat : 12413 (java) R 12406 12409 9818 0 -1 4202560 29575 0 0 0 29374 400 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537639959896 140537683705909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12414] ppid=12406 vsize=10900632 CPUtime=298.53 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12414/stat : 12414 (java) R 12406 12409 9818 0 -1 4202560 22159 0 0 0 29460 393 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537303456424 140537691636455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12415] ppid=12406 vsize=10900632 CPUtime=297.98 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12415/stat : 12415 (java) R 12406 12409 9818 0 -1 4202560 20586 0 0 0 29383 415 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537302403880 140537691636455 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12416] ppid=12406 vsize=10900632 CPUtime=297.53 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12416/stat : 12416 (java) R 12406 12409 9818 0 -1 4202560 24228 0 0 0 29325 428 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537301350824 140537691636455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12417] ppid=12406 vsize=10900632 CPUtime=298.26 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12417/stat : 12417 (java) R 12406 12409 9818 0 -1 4202560 31339 0 0 0 29430 396 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537300298584 140537683705972 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12418] ppid=12406 vsize=10900632 CPUtime=297.41 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12418/stat : 12418 (java) R 12406 12409 9818 0 -1 4202560 22464 0 0 0 29339 402 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537299245224 140537691636455 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12419] ppid=12406 vsize=10900632 CPUtime=298.18 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12419/stat : 12419 (java) R 12406 12409 9818 0 -1 4202560 43764 0 0 0 29423 395 0 0 20 0 20 0 2277974 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537298192680 140537682391289 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12420] ppid=12406 vsize=10900632 CPUtime=16.26 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12420/stat : 12420 (java) S 12406 12409 9818 0 -1 1077944384 58545 0 0 0 1623 3 0 0 20 0 20 0 2277977 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537241982048 140537699018453 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12421] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12421/stat : 12421 (java) S 12406 12409 9818 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 2277977 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537240930016 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12422] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12422/stat : 12422 (java) S 12406 12409 9818 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2277978 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537239876848 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12423] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12423/stat : 12423 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537238825072 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12424] ppid=12406 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12424/stat : 12424 (java) S 12406 12409 9818 0 -1 1077944384 2256 0 0 0 39 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537237772576 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12425] ppid=12406 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12425/stat : 12425 (java) S 12406 12409 9818 0 -1 1077944384 2431 0 0 0 30 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537236719744 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12426] ppid=12406 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12426/stat : 12426 (java) S 12406 12409 9818 0 -1 1077944384 2588 0 0 0 33 1 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537168390128 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12427] ppid=12406 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12427/stat : 12427 (java) S 12406 12409 9818 0 -1 1077944384 3169 0 0 0 29 0 0 0 20 0 20 0 2277981 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537167337584 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12428] ppid=12406 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12428/stat : 12428 (java) S 12406 12409 9818 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2277982 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537166285792 140537699018453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
[pid=12409/tid=12429] ppid=12406 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12409/task/12429/stat : 12429 (java) S 12406 12409 9818 0 -1 1077944384 559 0 0 0 8 4 0 0 20 0 20 0 2277982 11162247168 2076089 33554432000 4194304 4196468 140729087972480 140537165233328 140537699019394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18952192 140729087980715 140729087980868 140729087980868 140729087983567 0
Current children cumulated CPU time (s) 2415.61
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 334.042
CPU time (s): 2415.68
CPU user time (s): 2383.18
CPU system time (s): 32.5026
CPU usage (%): 723.166
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2383.18
system time used= 32.5026
maximum resident set size= 8304624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45510
involuntary context switches= 211714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.83455 second user time and 3.80634 second system time
The end