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-4244176-1500681415/watcher-4244176-1500681415 -o /tmp/evaluation-result-4244176-1500681415/solver-4244176-1500681415 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500676954-7134 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244176-1500681415.xml
pid=7968
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: 2.00 2.04 2.12 3/262 7971
/proc/meminfo: memFree=28859936/32770624 swapFree=5700/242184
[pid=7971] ppid=7968 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 2170 0 0 0 0 0 0 0 20 0 2 0 3409058 8550137856 2395 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2087436 2461 1197 1 0 2076347 0
[pid=7971/tid=7972] ppid=7968 vsize=8350772 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 921 0 0 0 0 0 0 0 20 0 2 0 3409058 8551190528 2461 33554432000 4194304 4196468 140736719944400 140361475824032 140361464321793 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=8350772 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) R 7968 7971 7102 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 3409059 8551190528 2461 33554432000 4194304 4196468 140736719944400 140361475824032 140361464321793 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[startup+0.100098 s]
/proc/loadavg: 2.00 2.04 2.12 3/262 7971
/proc/meminfo: memFree=28859936/32770624 swapFree=5700/242184
[pid=7971] ppid=7968 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 4973 0 0 0 7 2 0 0 20 0 20 0 3409058 11162169344 6070 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725139 6070 2629 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 3058 0 0 0 6 2 0 0 20 0 20 0 3409058 11162169344 6070 33554432000 4194304 4196468 140736719944400 140361475824224 140361471603869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) S 7968 7971 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3409059 11162169344 6070 33554432000 4194304 4196468 140736719944400 140361413585680 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200434 s]
/proc/loadavg: 2.00 2.04 2.12 3/262 7971
/proc/meminfo: memFree=28859936/32770624 swapFree=5700/242184
[pid=7971] ppid=7968 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 7099 0 0 0 23 3 0 0 20 0 20 0 3409058 11162169344 8403 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725139 8403 2886 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 4771 0 0 0 16 2 0 0 20 0 20 0 3409058 11162169344 8403 33554432000 4194304 4196468 140736719944400 140361475778832 140361456950095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) S 7968 7971 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3409059 11162169344 8403 33554432000 4194304 4196468 140736719944400 140361413585680 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300367 s]
/proc/loadavg: 2.00 2.04 2.12 3/262 7971
/proc/meminfo: memFree=28859936/32770624 swapFree=5700/242184
[pid=7971] ppid=7968 vsize=10900556 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 8194 0 0 0 39 4 0 0 20 0 20 0 3409058 11162169344 15050 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725139 15050 2938 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 5067 0 0 0 25 3 0 0 20 0 20 0 3409058 11162169344 15050 33554432000 4194304 4196468 140736719944400 140361475813264 140361471603869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) S 7968 7971 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3409059 11162169344 15050 33554432000 4194304 4196468 140736719944400 140361413585680 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556
[startup+0.70024 s]
/proc/loadavg: 2.00 2.04 2.12 3/262 7971
/proc/meminfo: memFree=28859936/32770624 swapFree=5700/242184
[pid=7971] ppid=7968 vsize=10900632 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 9697 0 0 0 104 82 0 0 20 0 20 0 3409058 11162247168 72246 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 72246 3055 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 5787 0 0 0 47 6 0 0 20 0 20 0 3409058 11162247168 72246 33554432000 4194304 4196468 140736719944400 140361475803376 140361455625573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) S 7968 7971 7102 0 -1 1077944384 62 0 0 0 3 9 0 0 20 0 20 0 3409059 11162247168 72246 33554432000 4194304 4196468 140736719944400 140361413585680 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10900632
[startup+1.50083 s]
/proc/loadavg: 2.00 2.04 2.12 10/282 7991
/proc/meminfo: memFree=27788964/32770624 swapFree=5700/242164
[pid=7971] ppid=7968 vsize=10900632 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 14147 0 0 0 346 96 0 0 20 0 20 0 3409058 11162247168 275655 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 275655 3122 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 6722 0 0 0 97 17 0 0 20 0 20 0 3409058 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361475819664 140361094314361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) S 7968 7971 7102 0 -1 1077944384 68 0 0 0 21 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361413585680 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7974] ppid=7968 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7974/stat : 7974 (java) S 7968 7971 7102 0 -1 1077944384 138 0 0 0 21 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361412533136 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7976] ppid=7968 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7976/stat : 7976 (java) S 7968 7971 7102 0 -1 1077944384 72 0 0 0 21 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361411480592 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7977] ppid=7968 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7977/stat : 7977 (java) S 7968 7971 7102 0 -1 1077944384 78 0 0 0 20 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361075580048 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7978] ppid=7968 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7978/stat : 7978 (java) S 7968 7971 7102 0 -1 1077944384 617 0 0 0 20 10 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361074526480 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7979] ppid=7968 vsize=10900632 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7979/stat : 7979 (java) S 7968 7971 7102 0 -1 1077944384 86 0 0 0 21 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361073473936 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7980] ppid=7968 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7980/stat : 7980 (java) S 7968 7971 7102 0 -1 1077944384 73 0 0 0 12 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361072421392 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7981] ppid=7968 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7981/stat : 7981 (java) S 7968 7971 7102 0 -1 1077944384 69 0 0 0 20 9 0 0 20 0 20 0 3409059 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361071368848 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7982] ppid=7968 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7982/stat : 7982 (java) S 7968 7971 7102 0 -1 1077944384 551 0 0 0 1 0 0 0 20 0 20 0 3409062 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361014462960 140361471593090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7983] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7983/stat : 7983 (java) S 7968 7971 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3409062 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361013409248 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7984] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7984/stat : 7984 (java) S 7968 7971 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3409063 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361012356592 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7985] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7985/stat : 7985 (java) S 7968 7971 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3409066 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361011305168 140361471600539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7986] ppid=7968 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7986/stat : 7986 (java) S 7968 7971 7102 0 -1 1077944384 1264 0 0 0 21 0 0 0 20 0 20 0 3409066 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361010251760 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7987] ppid=7968 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7987/stat : 7987 (java) S 7968 7971 7102 0 -1 1077944384 977 0 0 0 22 0 0 0 20 0 20 0 3409066 11162247168 275655 33554432000 4194304 4196468 140736719944400 140361009199216 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7988] ppid=7968 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7988/stat : 7988 (java) S 7968 7971 7102 0 -1 1077944384 835 0 0 0 22 0 0 0 20 0 20 0 3409067 11162247168 275655 33554432000 4194304 4196468 140736719944400 140360940513520 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7989] ppid=7968 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7989/stat : 7989 (java) S 7968 7971 7102 0 -1 1077944384 1232 0 0 0 19 0 0 0 20 0 20 0 3409067 11162247168 275655 33554432000 4194304 4196468 140736719944400 140360939460976 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7990] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7990/stat : 7990 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 275655 33554432000 4194304 4196468 140736719944400 140360938408672 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7991] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7991/stat : 7991 (java) S 7968 7971 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 275655 33554432000 4194304 4196468 140736719944400 140360937356208 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10900632
[startup+3.1007 s]
/proc/loadavg: 2.32 2.11 2.14 3/282 7991
/proc/meminfo: memFree=27617932/32770624 swapFree=5700/242164
[pid=7971] ppid=7968 vsize=10900632 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 17758 0 0 0 564 162 0 0 20 0 20 0 3409058 11162247168 360302 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 360302 3128 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) S 7968 7971 7102 0 -1 1077944384 7072 0 0 0 235 20 0 0 20 0 20 0 3409058 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361475819776 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) R 7968 7971 7102 0 -1 4202560 406 0 0 0 31 17 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361413585800 140361456604133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7974] ppid=7968 vsize=10900632 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7974/stat : 7974 (java) R 7968 7971 7102 0 -1 4202560 418 0 0 0 30 16 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361412533256 140361456626079 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7976] ppid=7968 vsize=10900632 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7976/stat : 7976 (java) R 7968 7971 7102 0 -1 4202560 349 0 0 0 31 16 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361411480792 140361456604133 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7977] ppid=7968 vsize=10900632 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7977/stat : 7977 (java) R 7968 7971 7102 0 -1 4202560 544 0 0 0 30 17 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361075580248 140361456604133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7978] ppid=7968 vsize=10900632 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7978/stat : 7978 (java) R 7968 7971 7102 0 -1 4202560 900 0 0 0 31 18 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361074526600 140361456604133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7979] ppid=7968 vsize=10900632 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7979/stat : 7979 (java) R 7968 7971 7102 0 -1 4202560 686 0 0 0 31 18 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361073474056 140361456609362 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7980] ppid=7968 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7980/stat : 7980 (java) R 7968 7971 7102 0 -1 4202560 365 0 0 0 23 17 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361072421512 140361456604133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7981] ppid=7968 vsize=10900632 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7981/stat : 7981 (java) R 7968 7971 7102 0 -1 4202560 468 0 0 0 30 17 0 0 20 0 20 0 3409059 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361071368968 140361456604133 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7982] ppid=7968 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7982/stat : 7982 (java) S 7968 7971 7102 0 -1 1077944384 860 0 0 0 1 0 0 0 20 0 20 0 3409062 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361014461472 140361471592149 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7983] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7983/stat : 7983 (java) S 7968 7971 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3409062 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361013409248 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7984] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7984/stat : 7984 (java) S 7968 7971 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3409063 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361012356592 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7985] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7985/stat : 7985 (java) S 7968 7971 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3409066 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361011305168 140361471600539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7986] ppid=7968 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7986/stat : 7986 (java) S 7968 7971 7102 0 -1 1077944384 1264 0 0 0 21 0 0 0 20 0 20 0 3409066 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361010251760 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7987] ppid=7968 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7987/stat : 7987 (java) S 7968 7971 7102 0 -1 1077944384 977 0 0 0 22 0 0 0 20 0 20 0 3409066 11162247168 360302 33554432000 4194304 4196468 140736719944400 140361009199216 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7988] ppid=7968 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7988/stat : 7988 (java) S 7968 7971 7102 0 -1 1077944384 835 0 0 0 22 0 0 0 20 0 20 0 3409067 11162247168 360302 33554432000 4194304 4196468 140736719944400 140360940513520 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7989] ppid=7968 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7989/stat : 7989 (java) S 7968 7971 7102 0 -1 1077944384 1232 0 0 0 19 0 0 0 20 0 20 0 3409067 11162247168 360302 33554432000 4194304 4196468 140736719944400 140360939460976 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7990] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7990/stat : 7990 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 360302 33554432000 4194304 4196468 140736719944400 140360938408672 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7991] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7991/stat : 7991 (java) S 7968 7971 7102 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 360302 33554432000 4194304 4196468 140736719944400 140360937356208 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 10900632
[startup+6.30073 s]
/proc/loadavg: 2.32 2.11 2.14 10/282 7991
/proc/meminfo: memFree=27014044/32770624 swapFree=5700/242168
[pid=7971] ppid=7968 vsize=10900632 CPUtime=13.64 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 24279 0 0 0 1022 342 0 0 20 0 20 0 3409058 11162247168 482108 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 482108 3131 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) R 7968 7971 7102 0 -1 4202560 8636 0 0 0 507 22 0 0 20 0 20 0 3409058 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361475817688 140361094598447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) S 7968 7971 7102 0 -1 1077944384 779 0 0 0 53 39 0 0 20 0 20 0 3409059 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361413585680 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7974] ppid=7968 vsize=10900632 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7974/stat : 7974 (java) S 7968 7971 7102 0 -1 1077944384 794 0 0 0 51 38 0 0 20 0 20 0 3409059 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361412533136 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7976] ppid=7968 vsize=10900632 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7976/stat : 7976 (java) S 7968 7971 7102 0 -1 1077944384 737 0 0 0 53 38 0 0 20 0 20 0 3409059 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361411480592 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7977] ppid=7968 vsize=10900632 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7977/stat : 7977 (java) S 7968 7971 7102 0 -1 1077944384 922 0 0 0 52 40 0 0 20 0 20 0 3409059 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361075580048 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7978] ppid=7968 vsize=10900632 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7978/stat : 7978 (java) S 7968 7971 7102 0 -1 1077944384 1263 0 0 0 51 40 0 0 20 0 20 0 3409059 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361074526480 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7979] ppid=7968 vsize=10900632 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7979/stat : 7979 (java) S 7968 7971 7102 0 -1 1077944384 1061 0 0 0 53 40 0 0 20 0 20 0 3409059 11162247168 482108 33554432000 4194304 4196468 140736719944400 140361073473936 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7980] ppid=7968 vsize=10900632 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=7971/tid=7987] ppid=7968 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7987/stat : 7987 (java) S 7968 7971 7102 0 -1 1077944384 7776 0 0 0 129 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361009199264 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7988] ppid=7968 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7988/stat : 7988 (java) S 7968 7971 7102 0 -1 1077944384 7567 0 0 0 108 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360940513568 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7989] ppid=7968 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7989/stat : 7989 (java) S 7968 7971 7102 0 -1 1077944384 2798 0 0 0 29 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360939461024 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7990] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7990/stat : 7990 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360938408672 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7991] ppid=7968 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7991/stat : 7991 (java) S 7968 7971 7102 0 -1 1077944384 791 0 0 0 7 4 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360937356208 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 2400.68
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 -7971
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7971 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+334.501 s]
/proc/loadavg: 8.46 6.01 3.80 10/284 8031
/proc/meminfo: memFree=20398052/32770624 swapFree=5700/242500
[pid=7971] ppid=7968 vsize=10900632 CPUtime=2411.57 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 287611 0 0 0 238690 2467 0 0 20 0 20 0 3409058 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 2085182 3151 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=27.25 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) S 7968 7971 7102 0 -1 1077944384 18413 0 0 0 2652 73 0 0 20 0 20 0 3409058 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361475819280 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=297.79 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) R 7968 7971 7102 0 -1 4202560 11247 0 0 0 29486 293 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361413585264 140361464210151 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7974] ppid=7968 vsize=10900632 CPUtime=296.78 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7974/stat : 7974 (java) R 7968 7971 7102 0 -1 4202560 9771 0 0 0 29377 301 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361412533032 140361454964978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7976] ppid=7968 vsize=10900632 CPUtime=296.37 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7976/stat : 7976 (java) R 7968 7971 7102 0 -1 4202560 16693 0 0 0 29332 305 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361411480488 140361464210151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7977] ppid=7968 vsize=10900632 CPUtime=297.93 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7977/stat : 7977 (java) R 7968 7971 7102 0 -1 4202560 31514 0 0 0 29496 297 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361075580248 140361453229031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7978] ppid=7968 vsize=10900632 CPUtime=296.78 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7978/stat : 7978 (java) R 7968 7971 7102 0 -1 4202560 19345 0 0 0 29374 304 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361074526376 140361464210151 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7979] ppid=7968 vsize=10900632 CPUtime=297.45 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7979/stat : 7979 (java) R 7968 7971 7102 0 -1 4202560 16555 0 0 0 29446 299 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361073473832 140361464210151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7980] ppid=7968 vsize=10900632 CPUtime=297.1 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7980/stat : 7980 (java) R 7968 7971 7102 0 -1 4202560 16654 0 0 0 29416 294 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361072421288 140361464210151 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7981] ppid=7968 vsize=10900632 CPUtime=298.1 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7981/stat : 7981 (java) R 7968 7971 7102 0 -1 4202560 25047 0 0 0 29527 283 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361071368744 140361464210151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7982] ppid=7968 vsize=10900632 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7982/stat : 7982 (java) S 7968 7971 7102 0 -1 1077944384 97229 0 0 0 251 5 0 0 20 0 20 0 3409062 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361014461280 140361471592149 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7983] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7983/stat : 7983 (java) S 7968 7971 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3409062 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361013409248 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7984] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7984/stat : 7984 (java) S 7968 7971 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3409063 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361012356608 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7985] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7985/stat : 7985 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361011304816 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7986] ppid=7968 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7986/stat : 7986 (java) S 7968 7971 7102 0 -1 1077944384 4816 0 0 0 56 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361010251520 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7987] ppid=7968 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7987/stat : 7987 (java) S 7968 7971 7102 0 -1 1077944384 7776 0 0 0 129 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361009199264 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7988] ppid=7968 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7988/stat : 7988 (java) S 7968 7971 7102 0 -1 1077944384 7567 0 0 0 108 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360940513568 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7989] ppid=7968 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7989/stat : 7989 (java) S 7968 7971 7102 0 -1 1077944384 2798 0 0 0 29 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360939461024 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7990] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7990/stat : 7990 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360938408672 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7991] ppid=7968 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7991/stat : 7991 (java) S 7968 7971 7102 0 -1 1077944384 791 0 0 0 7 4 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360937356208 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 2411.57
Current children cumulated vsize (KiB) 10900632
[startup+334.901 s]
/proc/loadavg: 8.46 6.01 3.80 10/284 8031
/proc/meminfo: memFree=20398052/32770624 swapFree=5700/242500
[pid=7971] ppid=7968 vsize=10900632 CPUtime=2414.62 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 287611 0 0 0 238995 2467 0 0 20 0 20 0 3409058 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 2085182 3151 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=27.25 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) S 7968 7971 7102 0 -1 1077944384 18413 0 0 0 2652 73 0 0 20 0 20 0 3409058 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361475819280 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=298.17 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) R 7968 7971 7102 0 -1 4202560 11247 0 0 0 29524 293 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361413585880 140361456281891 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7974] ppid=7968 vsize=10900632 CPUtime=297.15 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7974/stat : 7974 (java) R 7968 7971 7102 0 -1 4202560 9771 0 0 0 29414 301 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361412533336 140361456571447 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7976] ppid=7968 vsize=10900632 CPUtime=296.74 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7976/stat : 7976 (java) R 7968 7971 7102 0 -1 4202560 16693 0 0 0 29369 305 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361411480792 140361453191615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7977] ppid=7968 vsize=10900632 CPUtime=298.31 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7977/stat : 7977 (java) R 7968 7971 7102 0 -1 4202560 31514 0 0 0 29534 297 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361075580248 140361456281733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7978] ppid=7968 vsize=10900632 CPUtime=297.16 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7978/stat : 7978 (java) R 7968 7971 7102 0 -1 4202560 19345 0 0 0 29412 304 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361074526368 140361456578288 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7979] ppid=7968 vsize=10900632 CPUtime=297.83 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7979/stat : 7979 (java) R 7968 7971 7102 0 -1 4202560 16555 0 0 0 29484 299 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361073474136 140361456571645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7980] ppid=7968 vsize=10900632 CPUtime=297.48 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7980/stat : 7980 (java) R 7968 7971 7102 0 -1 4202560 16654 0 0 0 29454 294 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361072421592 140361456578347 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7981] ppid=7968 vsize=10900632 CPUtime=298.48 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7981/stat : 7981 (java) R 7968 7971 7102 0 -1 4202560 25047 0 0 0 29565 283 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361071369048 140361456039565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7982] ppid=7968 vsize=10900632 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7982/stat : 7982 (java) S 7968 7971 7102 0 -1 1077944384 97229 0 0 0 252 5 0 0 20 0 20 0 3409062 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361014461504 140361471592149 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7983] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7983/stat : 7983 (java) S 7968 7971 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3409062 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361013409248 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7984] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7984/stat : 7984 (java) S 7968 7971 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3409063 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361012356608 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7985] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7985/stat : 7985 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361011304816 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7986] ppid=7968 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7986/stat : 7986 (java) S 7968 7971 7102 0 -1 1077944384 4816 0 0 0 56 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361010251520 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7987] ppid=7968 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7987/stat : 7987 (java) S 7968 7971 7102 0 -1 1077944384 7776 0 0 0 129 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361009199264 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7988] ppid=7968 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7988/stat : 7988 (java) S 7968 7971 7102 0 -1 1077944384 7567 0 0 0 108 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360940513568 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7989] ppid=7968 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7989/stat : 7989 (java) S 7968 7971 7102 0 -1 1077944384 2798 0 0 0 29 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360939461024 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7990] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7990/stat : 7990 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360938408672 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7991] ppid=7968 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7991/stat : 7991 (java) S 7968 7971 7102 0 -1 1077944384 791 0 0 0 7 4 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360937356208 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 2414.62
Current children cumulated vsize (KiB) 10900632
[startup+335.101 s]
/proc/loadavg: 8.46 6.01 3.80 10/284 8031
/proc/meminfo: memFree=20398052/32770624 swapFree=5700/242500
[pid=7971] ppid=7968 vsize=10900632 CPUtime=2416.22 cores=1,3,5,7,9,11,13,15
/proc/7971/stat : 7971 (java) S 7968 7971 7102 0 -1 1077944320 287651 0 0 0 239155 2467 0 0 20 0 20 0 3409058 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140736719926944 140361471581943 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
/proc/7971/statm: 2725158 2085182 3151 1 0 2713552 0
[pid=7971/tid=7972] ppid=7968 vsize=10900632 CPUtime=27.25 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7972/stat : 7972 (java) S 7968 7971 7102 0 -1 1077944384 18413 0 0 0 2652 73 0 0 20 0 20 0 3409058 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361475819280 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7973] ppid=7968 vsize=10900632 CPUtime=298.37 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7973/stat : 7973 (java) R 7968 7971 7102 0 -1 4202560 11247 0 0 0 29544 293 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361413585880 140361456578299 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7974] ppid=7968 vsize=10900632 CPUtime=297.35 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7974/stat : 7974 (java) R 7968 7971 7102 0 -1 4202560 9795 0 0 0 29434 301 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361412533336 140361456578347 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7976] ppid=7968 vsize=10900632 CPUtime=296.94 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7976/stat : 7976 (java) R 7968 7971 7102 0 -1 4202560 16693 0 0 0 29389 305 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361411480792 140361456280794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7977] ppid=7968 vsize=10900632 CPUtime=298.51 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7977/stat : 7977 (java) R 7968 7971 7102 0 -1 4202560 31514 0 0 0 29554 297 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361075580248 140361456280781 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7978] ppid=7968 vsize=10900632 CPUtime=297.36 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7978/stat : 7978 (java) R 7968 7971 7102 0 -1 4202560 19345 0 0 0 29432 304 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361074526368 140361456578295 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7979] ppid=7968 vsize=10900632 CPUtime=298.03 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7979/stat : 7979 (java) R 7968 7971 7102 0 -1 4202560 16560 0 0 0 29504 299 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361073474136 140361456578586 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7980] ppid=7968 vsize=10900632 CPUtime=297.68 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7980/stat : 7980 (java) R 7968 7971 7102 0 -1 4202560 16665 0 0 0 29474 294 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361072421592 140361453191731 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7981] ppid=7968 vsize=10900632 CPUtime=298.68 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7981/stat : 7981 (java) R 7968 7971 7102 0 -1 4202560 25047 0 0 0 29585 283 0 0 20 0 20 0 3409059 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361071369048 140361456578347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7982] ppid=7968 vsize=10900632 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7982/stat : 7982 (java) S 7968 7971 7102 0 -1 1077944384 97229 0 0 0 252 5 0 0 20 0 20 0 3409062 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361014461504 140361471592149 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7983] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7983/stat : 7983 (java) S 7968 7971 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3409062 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361013409248 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7984] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7984/stat : 7984 (java) S 7968 7971 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3409063 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361012356608 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7985] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7985/stat : 7985 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361011304816 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7986] ppid=7968 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7986/stat : 7986 (java) S 7968 7971 7102 0 -1 1077944384 4816 0 0 0 56 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361010251520 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7987] ppid=7968 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7987/stat : 7987 (java) S 7968 7971 7102 0 -1 1077944384 7776 0 0 0 129 1 0 0 20 0 20 0 3409066 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140361009199264 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7988] ppid=7968 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7988/stat : 7988 (java) S 7968 7971 7102 0 -1 1077944384 7567 0 0 0 108 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360940513568 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7989] ppid=7968 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7989/stat : 7989 (java) S 7968 7971 7102 0 -1 1077944384 2798 0 0 0 29 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360939461024 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7990] ppid=7968 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7990/stat : 7990 (java) S 7968 7971 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360938408672 140361471592149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
[pid=7971/tid=7991] ppid=7968 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7971/task/7991/stat : 7991 (java) S 7968 7971 7102 0 -1 1077944384 791 0 0 0 7 4 0 0 20 0 20 0 3409067 11162247168 2085182 33554432000 4194304 4196468 140736719944400 140360937356208 140361471593090 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32878592 140736719951019 140736719951172 140736719951172 140736719953871 0
Current children cumulated CPU time (s) 2416.22
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 335.142
CPU time (s): 2416.29
CPU user time (s): 2391.58
CPU system time (s): 24.7061
CPU usage (%): 720.975
Max. virtual memory (cumulated for all children) (KiB): 10904932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.58
system time used= 24.7061
maximum resident set size= 8341084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54450
involuntary context switches= 214098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.88722 second user time and 3.40297 second system time
The end