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-4248286-1500691656/watcher-4248286-1500691656 -o /tmp/evaluation-result-4248286-1500691656/solver-4248286-1500691656 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1185732070 HOME/instance-4248286-1500691656.xml
pid=4897
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.38 14.45 14.67 9/270 4900
/proc/meminfo: memFree=28367944/32770624 swapFree=5736/259556
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
[startup+0.10012 s]
/proc/loadavg: 15.38 14.45 14.67 9/270 4900
/proc/meminfo: memFree=28367944/32770624 swapFree=5736/259556
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 15.38 14.45 14.67 9/270 4900
/proc/meminfo: memFree=28367944/32770624 swapFree=5736/259556
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30023 s]
/proc/loadavg: 15.38 14.45 14.67 9/270 4900
/proc/meminfo: memFree=28367944/32770624 swapFree=5736/259556
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700485 s]
/proc/loadavg: 15.38 14.45 14.67 9/270 4900
/proc/meminfo: memFree=28367944/32770624 swapFree=5736/259556
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50079 s]
/proc/loadavg: 15.38 14.45 14.67 10/291 4921
/proc/meminfo: memFree=27798780/32770624 swapFree=5736/259328
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
[pid=4901] ppid=4900 vsize=13267208 CPUtime=4.7 cores=0,2,4,6,8,10,12,14
/proc/4901/stat : 4901 (java) S 4900 4900 16473 0 -1 1077944320 13590 0 0 0 301 169 0 0 20 0 20 0 4434941 13585620992 213258 33554432000 4194304 4196468 140733291697280 140733291679824 140499687321335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
/proc/4901/statm: 3316802 213258 3208 1 0 3304035 0
[pid=4901/tid=4902] ppid=4900 vsize=13267208 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4902/stat : 4902 (java) R 4900 4900 16473 0 -1 4202560 6091 0 0 0 97 10 0 0 20 0 20 0 4434942 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499691556696 140499327472393 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4904] ppid=4900 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4904/stat : 4904 (java) S 4900 4900 16473 0 -1 1077944384 257 0 0 0 15 17 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499286690320 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4905] ppid=4900 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4905/stat : 4905 (java) S 4900 4900 16473 0 -1 1077944384 428 0 0 0 14 20 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499285637776 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4906] ppid=4900 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4906/stat : 4906 (java) S 4900 4900 16473 0 -1 1077944384 286 0 0 0 17 17 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499284584720 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4907] ppid=4900 vsize=13267208 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4907/stat : 4907 (java) S 4900 4900 16473 0 -1 1077944384 147 0 0 0 18 18 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499283532176 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4908] ppid=4900 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4908/stat : 4908 (java) S 4900 4900 16473 0 -1 1077944384 166 0 0 0 20 18 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499282480144 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4909] ppid=4900 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4909/stat : 4909 (java) S 4900 4900 16473 0 -1 1077944384 342 0 0 0 16 22 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499281427600 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4910] ppid=4900 vsize=13267208 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4910/stat : 4910 (java) S 4900 4900 16473 0 -1 1077944384 139 0 0 0 17 20 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499280374544 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4911] ppid=4900 vsize=13267208 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4911/stat : 4911 (java) S 4900 4900 16473 0 -1 1077944384 144 0 0 0 17 20 0 0 20 0 20 0 4434943 13585620992 213258 33554432000 4194304 4196468 140733291697280 140499279322000 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4912] ppid=4900 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4912/stat : 4912 (java) S 4900 4900 16473 0 -1 1077944384 686 0 0 0 1 0 0 0 20 0 20 0 4434945 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498881226992 140499687332482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4913] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4913/stat : 4913 (java) S 4900 4900 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4434946 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498880173280 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4914] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4914/stat : 4914 (java) S 4900 4900 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4434946 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498879120128 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4915] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4915/stat : 4915 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498878068688 140499687339931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4916] ppid=4900 vsize=13267208 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4916/stat : 4916 (java) S 4900 4900 16473 0 -1 1077944384 1068 0 0 0 10 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498877016816 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4917] ppid=4900 vsize=13267208 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4917/stat : 4917 (java) S 4900 4900 16473 0 -1 1077944384 900 0 0 0 25 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498875964272 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4918] ppid=4900 vsize=13267208 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4918/stat : 4918 (java) S 4900 4900 16473 0 -1 1077944384 506 0 0 0 11 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498874911216 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4919] ppid=4900 vsize=13267208 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4919/stat : 4919 (java) S 4900 4900 16473 0 -1 1077944384 1134 0 0 0 17 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498873858672 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4920] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4920/stat : 4920 (java) S 4900 4900 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498872805856 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4921] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4921/stat : 4921 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 213258 33554432000 4194304 4196468 140733291697280 140498871753392 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 13276720
[startup+3.1008 s]
/proc/loadavg: 15.38 14.45 14.67 10/291 4921
/proc/meminfo: memFree=27526400/32770624 swapFree=5736/259328
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
[pid=4901] ppid=4900 vsize=13267208 CPUtime=10.34 cores=0,2,4,6,8,10,12,14
/proc/4901/stat : 4901 (java) S 4900 4900 16473 0 -1 1077944320 15955 0 0 0 773 261 0 0 20 0 20 0 4434941 13585620992 270113 33554432000 4194304 4196468 140733291697280 140733291679824 140499687321335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
/proc/4901/statm: 3316802 270113 3213 1 0 3304035 0
[pid=4901/tid=4902] ppid=4900 vsize=13267208 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4902/stat : 4902 (java) S 4900 4900 16473 0 -1 1077944384 6138 0 0 0 196 10 0 0 20 0 20 0 4434942 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499691559376 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4904] ppid=4900 vsize=13267208 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4904/stat : 4904 (java) R 4900 4900 16473 0 -1 4202560 694 0 0 0 64 26 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499286690440 140499670704370 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4905] ppid=4900 vsize=13267208 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4905/stat : 4905 (java) R 4900 4900 16473 0 -1 4202560 680 0 0 0 60 31 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499285637896 140499679949543 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4906] ppid=4900 vsize=13267208 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4906/stat : 4906 (java) R 4900 4900 16473 0 -1 4202560 681 0 0 0 63 29 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499284584840 140499679949543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4907] ppid=4900 vsize=13267208 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4907/stat : 4907 (java) R 4900 4900 16473 0 -1 4202560 395 0 0 0 65 29 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499283531984 140499679949543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4908] ppid=4900 vsize=13267208 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4908/stat : 4908 (java) R 4900 4900 16473 0 -1 4202560 337 0 0 0 65 30 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499282479952 140499679949543 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4909] ppid=4900 vsize=13267208 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4909/stat : 4909 (java) R 4900 4900 16473 0 -1 4202560 506 0 0 0 62 33 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499281427408 140499679949543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4910] ppid=4900 vsize=13267208 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4910/stat : 4910 (java) R 4900 4900 16473 0 -1 4202560 393 0 0 0 64 32 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499280374352 140499679949543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4911] ppid=4900 vsize=13267208 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4911/stat : 4911 (java) R 4900 4900 16473 0 -1 4202560 394 0 0 0 64 31 0 0 20 0 20 0 4434943 13585620992 270113 33554432000 4194304 4196468 140733291697280 140499279322200 140499680424364 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4912] ppid=4900 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4912/stat : 4912 (java) S 4900 4900 16473 0 -1 1077944384 834 0 0 0 1 0 0 0 20 0 20 0 4434945 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498881225536 140499687331541 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4913] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4913/stat : 4913 (java) S 4900 4900 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4434946 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498880173280 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4914] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4914/stat : 4914 (java) S 4900 4900 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4434946 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498879120128 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4915] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4915/stat : 4915 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498878068688 140499687339931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4916] ppid=4900 vsize=13267208 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4916/stat : 4916 (java) S 4900 4900 16473 0 -1 1077944384 1068 0 0 0 10 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498877016816 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4917] ppid=4900 vsize=13267208 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4917/stat : 4917 (java) S 4900 4900 16473 0 -1 1077944384 900 0 0 0 25 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498875964272 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4918] ppid=4900 vsize=13267208 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4918/stat : 4918 (java) S 4900 4900 16473 0 -1 1077944384 506 0 0 0 11 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498874911216 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4919] ppid=4900 vsize=13267208 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4919/stat : 4919 (java) S 4900 4900 16473 0 -1 1077944384 1134 0 0 0 17 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498873858672 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4920] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4920/stat : 4920 (java) S 4900 4900 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498872805856 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4921] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4921/stat : 4921 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 270113 33554432000 4194304 4196468 140733291697280 140498871753392 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 13276720
[startup+6.30082 s]
/proc/loadavg: 14.95 14.38 14.64 10/291 4921
/proc/meminfo: memFree=26900940/32770624 swapFree=5736/259336
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
[pid=4901] ppid=4900 vsize=13267208 CPUtime=21.06 cores=0,2,4,6,8,10,12,14
/proc/4901/stat : 4901 (java) S 4900 4900 16473 0 -1 1077944320 26806 0 0 0 1687 419 0 0 20 0 20 0 4434941 13585620992 463095 33554432000 4194304 4196468 140733291697280 140733291679824 140499687321335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
/proc/4901/statm: 3316802 463095 3233 1 0 3304035 0
[pid=4901/tid=4902] ppid=4900 vsize=13267208 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4902/stat : 4902 (java) R 4900 4900 16473 0 -1 4202560 7612 0 0 0 381 20 0 0 20 0 20 0 4434942 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499691558752 140499327974010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4904] ppid=4900 vsize=13267208 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4904/stat : 4904 (java) S 4900 4900 16473 0 -1 1077944384 964 0 0 0 147 44 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499286690320 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4905] ppid=4900 vsize=13267208 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4905/stat : 4905 (java) S 4900 4900 16473 0 -1 1077944384 1489 0 0 0 141 49 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499285637776 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4906] ppid=4900 vsize=13267208 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4906/stat : 4906 (java) S 4900 4900 16473 0 -1 1077944384 1121 0 0 0 145 49 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499284584720 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4907] ppid=4900 vsize=13267208 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4907/stat : 4907 (java) S 4900 4900 16473 0 -1 1077944384 1419 0 0 0 146 48 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499283532176 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4908] ppid=4900 vsize=13267208 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4908/stat : 4908 (java) S 4900 4900 16473 0 -1 1077944384 605 0 0 0 149 49 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499282480144 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4909] ppid=4900 vsize=13267208 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4909/stat : 4909 (java) S 4900 4900 16473 0 -1 1077944384 1662 0 0 0 142 50 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499281427600 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4910] ppid=4900 vsize=13267208 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4910/stat : 4910 (java) S 4900 4900 16473 0 -1 1077944384 677 0 0 0 144 51 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499280374544 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4911] ppid=4900 vsize=13267208 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4911/stat : 4911 (java) S 4900 4900 16473 0 -1 1077944384 661 0 0 0 147 50 0 0 20 0 20 0 4434943 13585620992 463095 33554432000 4194304 4196468 140733291697280 140499279322000 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4912] ppid=4900 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4912/stat : 4912 (java) S 4900 4900 16473 0 -1 1077944384 2674 0 0 0 22 1 0 0 20 0 20 0 4434945 13585620992 463095 33554432000 4194304 4196468 140733291697280 140498881226992 140499687332482 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4913] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4913/stat : 4913 (java) S 4900 4900 16473 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4434946 13585620992 463095 33554432000 4194304 4196468 140733291697280 140498880173280 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4914] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4914/stat : 4914 (java) S 4900 4900 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4434946 13585620992 463095 33554432000 4194304 4196468 140733291697280 140498879120128 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4915] ppid=4900 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4915/stat : 4915 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13585620992 463095 33554432000 4194304 4196468 140733291697280 140498878068688 140499687339931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
################
# More data... #
################
[pid=4901/tid=4904] ppid=4900 vsize=13269256 CPUtime=15.48 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4904/stat : 4904 (java) S 4900 4900 16473 0 -1 1077944384 49200 0 0 0 1321 227 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499286690320 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4905] ppid=4900 vsize=13269256 CPUtime=15.48 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4905/stat : 4905 (java) S 4900 4900 16473 0 -1 1077944384 41834 0 0 0 1317 231 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499285637776 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4906] ppid=4900 vsize=13269256 CPUtime=15.35 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4906/stat : 4906 (java) S 4900 4900 16473 0 -1 1077944384 41459 0 0 0 1317 218 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499284584720 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4907] ppid=4900 vsize=13269256 CPUtime=15.5 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4907/stat : 4907 (java) S 4900 4900 16473 0 -1 1077944384 44199 0 0 0 1326 224 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499283532176 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4908] ppid=4900 vsize=13269256 CPUtime=15.48 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4908/stat : 4908 (java) S 4900 4900 16473 0 -1 1077944384 48327 0 0 0 1329 219 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499282480144 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4909] ppid=4900 vsize=13269256 CPUtime=15.49 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4909/stat : 4909 (java) S 4900 4900 16473 0 -1 1077944384 45405 0 0 0 1320 229 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499281427600 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4910] ppid=4900 vsize=13269256 CPUtime=15.54 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4910/stat : 4910 (java) S 4900 4900 16473 0 -1 1077944384 43916 0 0 0 1339 215 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499280374544 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4911] ppid=4900 vsize=13269256 CPUtime=15.53 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4911/stat : 4911 (java) S 4900 4900 16473 0 -1 1077944384 42981 0 0 0 1327 226 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499279322000 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4912] ppid=4900 vsize=13269256 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4912/stat : 4912 (java) S 4900 4900 16473 0 -1 1077944384 18796 0 0 0 186 7 0 0 20 0 20 0 4434945 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498881226992 140499687332482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4913] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4913/stat : 4913 (java) S 4900 4900 16473 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 4434946 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498880173280 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4914] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4914/stat : 4914 (java) S 4900 4900 16473 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 4434946 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498879120128 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4915] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4915/stat : 4915 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498878068688 140499687339931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4916] ppid=4900 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4916/stat : 4916 (java) S 4900 4900 16473 0 -1 1077944384 3343 0 0 0 55 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498877016816 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4917] ppid=4900 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4917/stat : 4917 (java) S 4900 4900 16473 0 -1 1077944384 3172 0 0 0 64 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498875964272 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4918] ppid=4900 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4918/stat : 4918 (java) S 4900 4900 16473 0 -1 1077944384 2942 0 0 0 67 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498874911216 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4919] ppid=4900 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4919/stat : 4919 (java) S 4900 4900 16473 0 -1 1077944384 3551 0 0 0 33 1 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498873858672 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4920] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4920/stat : 4920 (java) S 4900 4900 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498872805856 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4921] ppid=4900 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4921/stat : 4921 (java) S 4900 4900 16473 0 -1 1077944384 1679 0 0 0 39 25 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498871753392 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
Current children cumulated CPU time (s) 2312.75
Current children cumulated vsize (KiB) 13278768
[startup+2262.3 s]
/proc/loadavg: 8.86 8.88 9.21 10/291 7468
/proc/meminfo: memFree=27110696/32770624 swapFree=5724/262496
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
[pid=4901] ppid=4900 vsize=13269256 CPUtime=2374.13 cores=0,2,4,6,8,10,12,14
/proc/4901/stat : 4901 (java) S 4900 4900 16473 0 -1 1077944320 495547 0 0 0 235560 1853 0 0 20 0 20 0 4434941 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140733291679824 140499687321335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
/proc/4901/statm: 3317314 1080772 3256 1 0 3304547 0
[pid=4901/tid=4902] ppid=4900 vsize=13269256 CPUtime=2243.68 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4902/stat : 4902 (java) R 4900 4900 16473 0 -1 4202560 96070 0 0 0 224336 32 0 0 20 0 20 0 4434942 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499691557680 140499329190125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4904] ppid=4900 vsize=13269256 CPUtime=15.7 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4904/stat : 4904 (java) S 4900 4900 16473 0 -1 1077944384 51080 0 0 0 1342 228 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499286690320 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4905] ppid=4900 vsize=13269256 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4905/stat : 4905 (java) S 4900 4900 16473 0 -1 1077944384 43108 0 0 0 1338 231 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499285637776 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4906] ppid=4900 vsize=13269256 CPUtime=15.53 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4906/stat : 4906 (java) S 4900 4900 16473 0 -1 1077944384 41817 0 0 0 1335 218 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499284584720 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4907] ppid=4900 vsize=13269256 CPUtime=15.7 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4907/stat : 4907 (java) S 4900 4900 16473 0 -1 1077944384 44357 0 0 0 1345 225 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499283532176 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4908] ppid=4900 vsize=13269256 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4908/stat : 4908 (java) S 4900 4900 16473 0 -1 1077944384 48621 0 0 0 1350 219 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499282480144 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4909] ppid=4900 vsize=13269256 CPUtime=15.67 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4909/stat : 4909 (java) S 4900 4900 16473 0 -1 1077944384 45809 0 0 0 1338 229 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499281427600 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4910] ppid=4900 vsize=13269256 CPUtime=15.75 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4910/stat : 4910 (java) S 4900 4900 16473 0 -1 1077944384 44480 0 0 0 1360 215 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499280374544 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4911] ppid=4900 vsize=13269256 CPUtime=15.74 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4911/stat : 4911 (java) S 4900 4900 16473 0 -1 1077944384 44979 0 0 0 1347 227 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499279322000 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4912] ppid=4900 vsize=13269256 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4912/stat : 4912 (java) S 4900 4900 16473 0 -1 1077944384 19059 0 0 0 188 8 0 0 20 0 20 0 4434945 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498881226992 140499687332482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4913] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4913/stat : 4913 (java) S 4900 4900 16473 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 4434946 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498880173280 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4914] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4914/stat : 4914 (java) S 4900 4900 16473 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 4434946 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498879120128 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4915] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4915/stat : 4915 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498878068688 140499687339931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4916] ppid=4900 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4916/stat : 4916 (java) S 4900 4900 16473 0 -1 1077944384 3346 0 0 0 55 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498877016816 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4917] ppid=4900 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4917/stat : 4917 (java) S 4900 4900 16473 0 -1 1077944384 3174 0 0 0 64 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498875964272 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4918] ppid=4900 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4918/stat : 4918 (java) S 4900 4900 16473 0 -1 1077944384 2972 0 0 0 68 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498874911216 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4919] ppid=4900 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4919/stat : 4919 (java) S 4900 4900 16473 0 -1 1077944384 3555 0 0 0 33 1 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498873858672 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4920] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4920/stat : 4920 (java) S 4900 4900 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498872805856 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4921] ppid=4900 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4921/stat : 4921 (java) S 4900 4900 16473 0 -1 1077944384 1701 0 0 0 40 26 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498871753392 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
Current children cumulated CPU time (s) 2374.13
Current children cumulated vsize (KiB) 13278768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2287.6 s]
/proc/loadavg: 8.83 8.88 9.20 10/291 7469
/proc/meminfo: memFree=27150672/32770624 swapFree=5724/262520
[pid=4900] ppid=4897 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4900/stat : 4900 (xcsp3-exec) S 4897 4900 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4434941 9740288 345 33554432000 4194304 5098028 140733446066256 140733446064360 139625192505980 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26075136 140733446067342 140733446067552 140733446067552 140733446070251 0
/proc/4900/statm: 2378 345 289 221 0 87 0
[pid=4901] ppid=4900 vsize=13269256 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/4901/stat : 4901 (java) S 4900 4900 16473 0 -1 1077944320 500737 0 0 0 238148 1854 0 0 20 0 20 0 4434941 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140733291679824 140499687321335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
/proc/4901/statm: 3317314 1080772 3256 1 0 3304547 0
[pid=4901/tid=4902] ppid=4900 vsize=13269256 CPUtime=2268.86 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4902/stat : 4902 (java) R 4900 4900 16473 0 -1 4202560 96123 0 0 0 226854 32 0 0 20 0 20 0 4434942 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499691557680 140499329191081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4904] ppid=4900 vsize=13269256 CPUtime=15.79 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4904/stat : 4904 (java) S 4900 4900 16473 0 -1 1077944384 51664 0 0 0 1351 228 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499286690320 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4905] ppid=4900 vsize=13269256 CPUtime=15.79 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4905/stat : 4905 (java) S 4900 4900 16473 0 -1 1077944384 44485 0 0 0 1347 232 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499285637776 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4906] ppid=4900 vsize=13269256 CPUtime=15.6 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4906/stat : 4906 (java) S 4900 4900 16473 0 -1 1077944384 41934 0 0 0 1342 218 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499284584720 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4907] ppid=4900 vsize=13269256 CPUtime=15.78 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4907/stat : 4907 (java) S 4900 4900 16473 0 -1 1077944384 44475 0 0 0 1353 225 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499283532176 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4908] ppid=4900 vsize=13269256 CPUtime=15.78 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4908/stat : 4908 (java) S 4900 4900 16473 0 -1 1077944384 48849 0 0 0 1359 219 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499282480144 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4909] ppid=4900 vsize=13269256 CPUtime=15.77 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4909/stat : 4909 (java) S 4900 4900 16473 0 -1 1077944384 46183 0 0 0 1348 229 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499281427600 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4910] ppid=4900 vsize=13269256 CPUtime=15.84 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4910/stat : 4910 (java) S 4900 4900 16473 0 -1 1077944384 46226 0 0 0 1369 215 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499280374544 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4911] ppid=4900 vsize=13269256 CPUtime=15.83 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4911/stat : 4911 (java) S 4900 4900 16473 0 -1 1077944384 45306 0 0 0 1356 227 0 0 20 0 20 0 4434943 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140499279322000 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4912] ppid=4900 vsize=13269256 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4912/stat : 4912 (java) S 4900 4900 16473 0 -1 1077944384 19286 0 0 0 188 8 0 0 20 0 20 0 4434945 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498881226992 140499687332482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4913] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4913/stat : 4913 (java) S 4900 4900 16473 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 4434946 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498880173280 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4914] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4914/stat : 4914 (java) S 4900 4900 16473 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 4434946 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498879120128 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4915] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4915/stat : 4915 (java) S 4900 4900 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498878068688 140499687339931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4916] ppid=4900 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4916/stat : 4916 (java) S 4900 4900 16473 0 -1 1077944384 3349 0 0 0 55 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498877016816 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4917] ppid=4900 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4917/stat : 4917 (java) S 4900 4900 16473 0 -1 1077944384 3183 0 0 0 64 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498875964272 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4918] ppid=4900 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4918/stat : 4918 (java) S 4900 4900 16473 0 -1 1077944384 2975 0 0 0 68 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498874911216 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4919] ppid=4900 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4919/stat : 4919 (java) S 4900 4900 16473 0 -1 1077944384 3559 0 0 0 33 1 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498873858672 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4920] ppid=4900 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4920/stat : 4920 (java) S 4900 4900 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498872805856 140499687331541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
[pid=4901/tid=4921] ppid=4900 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/4901/task/4921/stat : 4921 (java) S 4900 4900 16473 0 -1 1077944384 1721 0 0 0 40 26 0 0 20 0 20 0 4434949 13587718144 1080772 33554432000 4194304 4196468 140733291697280 140498871753392 140499687332482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7081984 140733291705532 140733291705708 140733291705708 140733291708367 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13278768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4901 sig 9
??? kill 4900 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4900 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=754
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2264
# CPU time returned by wait4() is 0.003018
# while last known CPU time is 2400.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 2287.61
CPU time (s): 2400.02
CPU user time (s): 2381.48
CPU system time (s): 18.54
CPU usage (%): 104.914
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000754
system time used= 0.002264
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2105 second user time and 19.5975 second system time
The end