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-4248176-1500691356/watcher-4248176-1500691356 -o /tmp/evaluation-result-4248176-1500691356/solver-4248176-1500691356 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1759199398 HOME/instance-4248176-1500691356.xml
pid=11963
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.67 15.36 14.22 10/277 11966
/proc/meminfo: memFree=30103660/32770624 swapFree=5944/262936
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
[startup+0.100099 s]
/proc/loadavg: 14.67 15.36 14.22 10/277 11966
/proc/meminfo: memFree=30103660/32770624 swapFree=5944/262936
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200253 s]
/proc/loadavg: 14.67 15.36 14.22 10/277 11966
/proc/meminfo: memFree=30103660/32770624 swapFree=5944/262936
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300215 s]
/proc/loadavg: 14.67 15.36 14.22 10/277 11966
/proc/meminfo: memFree=30103660/32770624 swapFree=5944/262936
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700192 s]
/proc/loadavg: 14.67 15.36 14.22 10/277 11966
/proc/meminfo: memFree=30103660/32770624 swapFree=5944/262936
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50153 s]
/proc/loadavg: 15.01 15.42 14.25 21/306 11995
/proc/meminfo: memFree=30001668/32770624 swapFree=5944/262864
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
[pid=11967] ppid=11966 vsize=13801768 CPUtime=7.89 cores=4-7,12-15
/proc/11967/stat : 11967 (java) S 11966 11966 18810 0 -1 1077944320 19495 0 0 0 781 8 0 0 20 0 28 0 4402776 14133010432 32695 33554432000 4194304 4196468 140736851599584 140736851582128 139711700455159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
/proc/11967/statm: 3450442 32695 3213 1 0 3437675 0
[pid=11967/tid=11968] ppid=11966 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/11967/task/11968/stat : 11968 (java) S 11966 11966 18810 0 -1 1077944384 6804 0 0 0 63 3 0 0 20 0 28 0 4402776 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711704695936 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11970] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11970/stat : 11970 (java) S 11966 11966 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711663560976 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11971] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11971/stat : 11971 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711298861456 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11972] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11972/stat : 11972 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711297808912 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11973] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11973/stat : 11973 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711296756368 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11974] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11974/stat : 11974 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711295703824 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11975] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11975/stat : 11975 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711294651280 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11976] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11976/stat : 11976 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711293598736 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11977] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11977/stat : 11977 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 32695 33554432000 4194304 4196468 140736851599584 139711292546192 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11978] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11978/stat : 11978 (java) S 11966 11966 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710894229488 139711700466306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11979] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11979/stat : 11979 (java) S 11966 11966 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710893175712 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11980] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11980/stat : 11980 (java) S 11966 11966 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4402781 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710892123120 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11981] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11981/stat : 11981 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710891071696 139711700473755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11982] ppid=11966 vsize=13801768 CPUtime=0.71 cores=4-7,12-15
/proc/11967/task/11982/stat : 11982 (java) R 11966 11966 18810 0 -1 4202560 2730 0 0 0 71 0 0 0 20 0 28 0 4402784 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710890011800 139711679673800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11983] ppid=11966 vsize=13801768 CPUtime=0.74 cores=4-7,12-15
/proc/11967/task/11983/stat : 11983 (java) R 11966 11966 18810 0 -1 4202560 2268 0 0 0 74 0 0 0 20 0 28 0 4402784 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710888952648 139711679702530 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11984] ppid=11966 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/11967/task/11984/stat : 11984 (java) R 11966 11966 18810 0 -1 4202560 2826 0 0 0 62 0 0 0 20 0 28 0 4402784 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710887900104 139711681974844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11985] ppid=11966 vsize=13801768 CPUtime=0.63 cores=4-7,12-15
/proc/11967/task/11985/stat : 11985 (java) R 11966 11966 18810 0 -1 4202560 2910 0 0 0 62 1 0 0 20 0 28 0 4402784 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710886861680 139711700476506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11986] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11986/stat : 11986 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710885808352 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11987] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11987/stat : 11987 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402785 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710884755888 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11988] ppid=11966 vsize=13801768 CPUtime=0.56 cores=4-7,12-15
/proc/11967/task/11988/stat : 11988 (java) R 11966 11966 18810 0 -1 4202560 87 0 0 0 56 0 0 0 20 0 28 0 4402845 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710876740592 139711341743420 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11989] ppid=11966 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/11967/task/11989/stat : 11989 (java) R 11966 11966 18810 0 -1 4202560 77 0 0 0 59 0 0 0 20 0 28 0 4402845 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710875687072 139711341852632 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11990] ppid=11966 vsize=13801768 CPUtime=0.55 cores=4-7,12-15
/proc/11967/task/11990/stat : 11990 (java) R 11966 11966 18810 0 -1 4202560 73 0 0 0 55 0 0 0 20 0 28 0 4402845 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710874634776 139711341864949 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11991] ppid=11966 vsize=13801768 CPUtime=0.48 cores=4-7,12-15
/proc/11967/task/11991/stat : 11991 (java) R 11966 11966 18810 0 -1 4202560 122 0 0 0 48 0 0 0 20 0 28 0 4402845 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710873583608 139711341687113 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11992] ppid=11966 vsize=13801768 CPUtime=0.58 cores=4-7,12-15
/proc/11967/task/11992/stat : 11992 (java) R 11966 11966 18810 0 -1 4202560 79 0 0 0 58 0 0 0 20 0 28 0 4402845 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710872529568 139711341863671 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11993] ppid=11966 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/11967/task/11993/stat : 11993 (java) R 11966 11966 18810 0 -1 4202560 81 0 0 0 59 0 0 0 20 0 28 0 4402846 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710871476896 139711341688750 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11994] ppid=11966 vsize=13801768 CPUtime=0.51 cores=4-7,12-15
/proc/11967/task/11994/stat : 11994 (java) R 11966 11966 18810 0 -1 4202560 54 0 0 0 51 0 0 0 20 0 28 0 4402846 14133010432 32695 33554432000 4194304 4196468 140736851599584 139710870421560 139711342232567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11995] ppid=11966 vsize=13801768 CPUtime=0.57 cores=4-7,12-15
/proc/11967/task/11995/stat : 11995 (java) R 11966 11966 18810 0 -1 4202560 73 0 0 0 57 0 0 0 20 0 28 0 4402846 14133010432 32761 33554432000 4194304 4196468 140736851599584 139710869373272 139711341878013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 13811280
[startup+3.10165 s]
/proc/loadavg: 15.01 15.42 14.25 20/306 11995
/proc/meminfo: memFree=29958416/32770624 swapFree=5944/262876
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
[pid=11967] ppid=11966 vsize=13801768 CPUtime=20.59 cores=4-7,12-15
/proc/11967/stat : 11967 (java) S 11966 11966 18810 0 -1 1077944320 29354 0 0 0 2048 11 0 0 20 0 28 0 4402776 14133010432 49334 33554432000 4194304 4196468 140736851599584 140736851582128 139711700455159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
/proc/11967/statm: 3450442 49334 3243 1 0 3437675 0
[pid=11967/tid=11968] ppid=11966 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/11967/task/11968/stat : 11968 (java) S 11966 11966 18810 0 -1 1077944384 6804 0 0 0 63 3 0 0 20 0 28 0 4402776 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711704695936 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11970] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11970/stat : 11970 (java) S 11966 11966 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711663560976 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11971] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11971/stat : 11971 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711298861456 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11972] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11972/stat : 11972 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711297808912 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11973] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11973/stat : 11973 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711296756368 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11974] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11974/stat : 11974 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711295703824 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11975] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11975/stat : 11975 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711294651280 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11976] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11976/stat : 11976 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711293598736 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11977] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11977/stat : 11977 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402777 14133010432 49334 33554432000 4194304 4196468 140736851599584 139711292546192 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11978] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11978/stat : 11978 (java) S 11966 11966 18810 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710894229488 139711700466306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11979] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11979/stat : 11979 (java) S 11966 11966 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710893175712 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11980] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11980/stat : 11980 (java) S 11966 11966 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4402781 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710892123120 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11981] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11981/stat : 11981 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710891071696 139711700473755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11982] ppid=11966 vsize=13801768 CPUtime=1.9 cores=4-7,12-15
/proc/11967/task/11982/stat : 11982 (java) R 11966 11966 18810 0 -1 4202560 5234 0 0 0 189 1 0 0 20 0 28 0 4402784 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710890005408 139711678588721 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11983] ppid=11966 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/11967/task/11983/stat : 11983 (java) R 11966 11966 18810 0 -1 4202560 5530 0 0 0 191 0 0 0 20 0 28 0 4402784 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710888953312 139711685377132 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11984] ppid=11966 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/11967/task/11984/stat : 11984 (java) R 11966 11966 18810 0 -1 4202560 5412 0 0 0 157 0 0 0 20 0 28 0 4402784 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710887906712 139711686477799 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11985] ppid=11966 vsize=13801768 CPUtime=0.73 cores=4-7,12-15
/proc/11967/task/11985/stat : 11985 (java) S 11966 11966 18810 0 -1 1077944384 3676 0 0 0 72 1 0 0 20 0 28 0 4402784 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710886861680 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11986] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11986/stat : 11986 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710885808352 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11987] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11987/stat : 11987 (java) S 11966 11966 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4402785 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710884755888 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11988] ppid=11966 vsize=13801768 CPUtime=1.79 cores=4-7,12-15
/proc/11967/task/11988/stat : 11988 (java) R 11966 11966 18810 0 -1 4202560 156 0 0 0 179 0 0 0 20 0 28 0 4402845 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710876743296 139711343907727 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11989] ppid=11966 vsize=13801768 CPUtime=1.78 cores=4-7,12-15
/proc/11967/task/11989/stat : 11989 (java) R 11966 11966 18810 0 -1 4202560 140 0 0 0 178 0 0 0 20 0 28 0 4402845 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710875688040 139711342247774 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11990] ppid=11966 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/11967/task/11990/stat : 11990 (java) R 11966 11966 18810 0 -1 4202560 164 0 0 0 173 0 0 0 20 0 28 0 4402845 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710874632528 139711342248261 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11991] ppid=11966 vsize=13801768 CPUtime=1.63 cores=4-7,12-15
/proc/11967/task/11991/stat : 11991 (java) R 11966 11966 18810 0 -1 4202560 259 0 0 0 163 0 0 0 20 0 28 0 4402845 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710873582704 139711343622690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11992] ppid=11966 vsize=13801768 CPUtime=1.71 cores=4-7,12-15
/proc/11967/task/11992/stat : 11992 (java) R 11966 11966 18810 0 -1 4202560 152 0 0 0 171 0 0 0 20 0 28 0 4402845 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710872530288 139711337064181 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11993] ppid=11966 vsize=13801768 CPUtime=1.63 cores=4-7,12-15
/proc/11967/task/11993/stat : 11993 (java) R 11966 11966 18810 0 -1 4202560 136 0 0 0 163 0 0 0 20 0 28 0 4402846 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710871477864 139711343624249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11994] ppid=11966 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/11967/task/11994/stat : 11994 (java) R 11966 11966 18810 0 -1 4202560 177 0 0 0 173 0 0 0 20 0 28 0 4402846 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710870424752 139711343625960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11995] ppid=11966 vsize=13801768 CPUtime=1.68 cores=4-7,12-15
/proc/11967/task/11995/stat : 11995 (java) R 11966 11966 18810 0 -1 4202560 136 0 0 0 168 0 0 0 20 0 28 0 4402846 14133010432 49334 33554432000 4194304 4196468 140736851599584 139710869371504 139711342248523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
Current children cumulated CPU time (s) 20.59
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 15.01 15.42 14.25 17/306 11995
/proc/meminfo: memFree=29926224/32770624 swapFree=5944/262876
################
# More data... #
################
/proc/11967/task/11979/stat : 11979 (java) S 11966 11966 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710893175712 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11980] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11980/stat : 11980 (java) S 11966 11966 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4402781 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710892123120 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11981] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11981/stat : 11981 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710891071696 139711700473755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11982] ppid=11966 vsize=13801768 CPUtime=2.85 cores=4-7,12-15
/proc/11967/task/11982/stat : 11982 (java) S 11966 11966 18810 0 -1 1077944384 7919 0 0 0 284 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710890019312 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11983] ppid=11966 vsize=13801768 CPUtime=2.51 cores=4-7,12-15
/proc/11967/task/11983/stat : 11983 (java) S 11966 11966 18810 0 -1 1077944384 7236 0 0 0 250 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710888966768 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11984] ppid=11966 vsize=13801768 CPUtime=2.34 cores=4-7,12-15
/proc/11967/task/11984/stat : 11984 (java) S 11966 11966 18810 0 -1 1077944384 7176 0 0 0 233 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710887914224 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11985] ppid=11966 vsize=13801768 CPUtime=0.87 cores=4-7,12-15
/proc/11967/task/11985/stat : 11985 (java) S 11966 11966 18810 0 -1 1077944384 6261 0 0 0 86 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710886861680 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11986] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11986/stat : 11986 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710885808352 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11987] ppid=11966 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11967/task/11987/stat : 11987 (java) S 11966 11966 18810 0 -1 1077944384 176 0 0 0 0 1 0 0 20 0 28 0 4402785 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710884755888 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11988] ppid=11966 vsize=13801768 CPUtime=55.42 cores=4-7,12-15
/proc/11967/task/11988/stat : 11988 (java) R 11966 11966 18810 0 -1 4202560 726 0 0 0 5542 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710876739896 139711343323236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11989] ppid=11966 vsize=13801768 CPUtime=55.04 cores=4-7,12-15
/proc/11967/task/11989/stat : 11989 (java) R 11966 11966 18810 0 -1 4202560 727 0 0 0 5504 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710875688936 139711344079239 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11990] ppid=11966 vsize=13801768 CPUtime=55.45 cores=4-7,12-15
/proc/11967/task/11990/stat : 11990 (java) R 11966 11966 18810 0 -1 4202560 813 0 0 0 5545 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710874636200 139711342247476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11991] ppid=11966 vsize=13801768 CPUtime=55.57 cores=4-7,12-15
/proc/11967/task/11991/stat : 11991 (java) R 11966 11966 18810 0 -1 4202560 975 0 0 0 5557 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710873583800 139711343623493 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11992] ppid=11966 vsize=13801768 CPUtime=55.67 cores=4-7,12-15
/proc/11967/task/11992/stat : 11992 (java) R 11966 11966 18810 0 -1 4202560 973 0 0 0 5567 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710872531056 139711342247846 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11993] ppid=11966 vsize=13801768 CPUtime=55.2 cores=4-7,12-15
/proc/11967/task/11993/stat : 11993 (java) R 11966 11966 18810 0 -1 4202560 533 0 0 0 5520 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710871478536 139711343323163 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11994] ppid=11966 vsize=13801768 CPUtime=54.87 cores=4-7,12-15
/proc/11967/task/11994/stat : 11994 (java) R 11966 11966 18810 0 -1 4202560 683 0 0 0 5487 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710870424744 139711343908505 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11995] ppid=11966 vsize=13801768 CPUtime=55.5 cores=4-7,12-15
/proc/11967/task/11995/stat : 11995 (java) R 11966 11966 18810 0 -1 4202560 618 0 0 0 5550 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710869375376 139711343323787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
Current children cumulated CPU time (s) 453
Current children cumulated vsize (KiB) 13811280
[startup+58.0016 s]
/proc/loadavg: 15.57 15.50 14.34 17/306 11995
/proc/meminfo: memFree=30232728/32770624 swapFree=5944/262920
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
[pid=11967] ppid=11966 vsize=13801768 CPUtime=456.19 cores=4-7,12-15
/proc/11967/stat : 11967 (java) S 11966 11966 18810 0 -1 1077944320 48958 0 0 0 45574 45 0 0 20 0 28 0 4402776 14133010432 37447 33554432000 4194304 4196468 140736851599584 140736851582128 139711700455159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
/proc/11967/statm: 3450442 37447 3274 1 0 3437675 0
[pid=11967/tid=11968] ppid=11966 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/11967/task/11968/stat : 11968 (java) S 11966 11966 18810 0 -1 1077944384 6804 0 0 0 63 3 0 0 20 0 28 0 4402776 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711704695936 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11970] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11970/stat : 11970 (java) S 11966 11966 18810 0 -1 1077944384 253 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711663560976 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11971] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11971/stat : 11971 (java) S 11966 11966 18810 0 -1 1077944384 1540 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711298861456 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11972] ppid=11966 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/11967/task/11972/stat : 11972 (java) S 11966 11966 18810 0 -1 1077944384 957 0 0 0 5 2 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711297808912 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11973] ppid=11966 vsize=13801768 CPUtime=0.09 cores=4-7,12-15
/proc/11967/task/11973/stat : 11973 (java) S 11966 11966 18810 0 -1 1077944384 234 0 0 0 6 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711296756368 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11974] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11974/stat : 11974 (java) S 11966 11966 18810 0 -1 1077944384 310 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711295703824 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11975] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11975/stat : 11975 (java) S 11966 11966 18810 0 -1 1077944384 427 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711294651280 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11976] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11976/stat : 11976 (java) S 11966 11966 18810 0 -1 1077944384 264 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711293598736 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11977] ppid=11966 vsize=13801768 CPUtime=0.09 cores=4-7,12-15
/proc/11967/task/11977/stat : 11977 (java) S 11966 11966 18810 0 -1 1077944384 634 0 0 0 5 4 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711292546192 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11978] ppid=11966 vsize=13801768 CPUtime=0.16 cores=4-7,12-15
/proc/11967/task/11978/stat : 11978 (java) S 11966 11966 18810 0 -1 1077944384 1368 0 0 0 9 7 0 0 20 0 28 0 4402780 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710894229488 139711700466306 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11979] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11979/stat : 11979 (java) S 11966 11966 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710893175712 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11980] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11980/stat : 11980 (java) S 11966 11966 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4402781 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710892123120 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11981] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11981/stat : 11981 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710891071696 139711700473755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11982] ppid=11966 vsize=13801768 CPUtime=2.85 cores=4-7,12-15
/proc/11967/task/11982/stat : 11982 (java) S 11966 11966 18810 0 -1 1077944384 7919 0 0 0 284 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710890019312 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11983] ppid=11966 vsize=13801768 CPUtime=2.51 cores=4-7,12-15
/proc/11967/task/11983/stat : 11983 (java) S 11966 11966 18810 0 -1 1077944384 7236 0 0 0 250 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710888966768 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11984] ppid=11966 vsize=13801768 CPUtime=2.34 cores=4-7,12-15
/proc/11967/task/11984/stat : 11984 (java) S 11966 11966 18810 0 -1 1077944384 7176 0 0 0 233 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710887914224 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11985] ppid=11966 vsize=13801768 CPUtime=0.87 cores=4-7,12-15
/proc/11967/task/11985/stat : 11985 (java) S 11966 11966 18810 0 -1 1077944384 6261 0 0 0 86 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710886861680 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11986] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11986/stat : 11986 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710885808352 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11987] ppid=11966 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11967/task/11987/stat : 11987 (java) S 11966 11966 18810 0 -1 1077944384 176 0 0 0 0 1 0 0 20 0 28 0 4402785 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710884755888 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11988] ppid=11966 vsize=13801768 CPUtime=55.82 cores=4-7,12-15
/proc/11967/task/11988/stat : 11988 (java) R 11966 11966 18810 0 -1 4202560 726 0 0 0 5582 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710876739896 139711342248214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11989] ppid=11966 vsize=13801768 CPUtime=55.44 cores=4-7,12-15
/proc/11967/task/11989/stat : 11989 (java) R 11966 11966 18810 0 -1 4202560 727 0 0 0 5544 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710875688936 139711343323270 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11990] ppid=11966 vsize=13801768 CPUtime=55.85 cores=4-7,12-15
/proc/11967/task/11990/stat : 11990 (java) R 11966 11966 18810 0 -1 4202560 813 0 0 0 5585 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710874636200 139711343865019 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11991] ppid=11966 vsize=13801768 CPUtime=55.97 cores=4-7,12-15
/proc/11967/task/11991/stat : 11991 (java) R 11966 11966 18810 0 -1 4202560 975 0 0 0 5597 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710873583800 139711342248150 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11992] ppid=11966 vsize=13801768 CPUtime=56.07 cores=4-7,12-15
/proc/11967/task/11992/stat : 11992 (java) R 11966 11966 18810 0 -1 4202560 973 0 0 0 5607 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710872531056 139711343021266 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11993] ppid=11966 vsize=13801768 CPUtime=55.6 cores=4-7,12-15
/proc/11967/task/11993/stat : 11993 (java) R 11966 11966 18810 0 -1 4202560 533 0 0 0 5560 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710871478536 139711342248104 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11994] ppid=11966 vsize=13801768 CPUtime=55.27 cores=4-7,12-15
/proc/11967/task/11994/stat : 11994 (java) R 11966 11966 18810 0 -1 4202560 683 0 0 0 5527 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710870424744 139711343171963 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11995] ppid=11966 vsize=13801768 CPUtime=55.9 cores=4-7,12-15
/proc/11967/task/11995/stat : 11995 (java) R 11966 11966 18810 0 -1 4202560 618 0 0 0 5590 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710869375376 139711343171903 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
Current children cumulated CPU time (s) 456.19
Current children cumulated vsize (KiB) 13811280
[startup+58.1016 s]
/proc/loadavg: 15.57 15.50 14.34 17/306 11995
/proc/meminfo: memFree=30232728/32770624 swapFree=5944/262920
[pid=11966] ppid=11963 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/11966/stat : 11966 (xcsp3-exec) S 11963 11966 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4402776 9740288 346 33554432000 4194304 5098028 140725258511536 140725258509640 140372803428988 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34242560 140725258519694 140725258519904 140725258519904 140725258522603 0
/proc/11966/statm: 2378 346 289 221 0 87 0
[pid=11967] ppid=11966 vsize=13801768 CPUtime=456.98 cores=4-7,12-15
/proc/11967/stat : 11967 (java) S 11966 11966 18810 0 -1 1077944320 49139 0 0 0 45653 45 0 0 20 0 28 0 4402776 14133010432 37447 33554432000 4194304 4196468 140736851599584 140736851582128 139711700455159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
/proc/11967/statm: 3450442 37447 3274 1 0 3437675 0
[pid=11967/tid=11968] ppid=11966 vsize=13801768 CPUtime=0.66 cores=4-7,12-15
/proc/11967/task/11968/stat : 11968 (java) S 11966 11966 18810 0 -1 1077944384 6804 0 0 0 63 3 0 0 20 0 28 0 4402776 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711704695936 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11970] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11970/stat : 11970 (java) S 11966 11966 18810 0 -1 1077944384 253 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711663560976 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11971] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11971/stat : 11971 (java) S 11966 11966 18810 0 -1 1077944384 1540 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711298861456 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11972] ppid=11966 vsize=13801768 CPUtime=0.07 cores=4-7,12-15
/proc/11967/task/11972/stat : 11972 (java) S 11966 11966 18810 0 -1 1077944384 957 0 0 0 5 2 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711297808912 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11973] ppid=11966 vsize=13801768 CPUtime=0.09 cores=4-7,12-15
/proc/11967/task/11973/stat : 11973 (java) S 11966 11966 18810 0 -1 1077944384 234 0 0 0 6 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711296756368 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11974] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11974/stat : 11974 (java) S 11966 11966 18810 0 -1 1077944384 310 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711295703824 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11975] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11975/stat : 11975 (java) S 11966 11966 18810 0 -1 1077944384 427 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711294651280 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11976] ppid=11966 vsize=13801768 CPUtime=0.08 cores=4-7,12-15
/proc/11967/task/11976/stat : 11976 (java) S 11966 11966 18810 0 -1 1077944384 264 0 0 0 5 3 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711293598736 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11977] ppid=11966 vsize=13801768 CPUtime=0.09 cores=4-7,12-15
/proc/11967/task/11977/stat : 11977 (java) S 11966 11966 18810 0 -1 1077944384 634 0 0 0 5 4 0 0 20 0 28 0 4402777 14133010432 37447 33554432000 4194304 4196468 140736851599584 139711292546192 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11978] ppid=11966 vsize=13801768 CPUtime=0.16 cores=4-7,12-15
/proc/11967/task/11978/stat : 11978 (java) S 11966 11966 18810 0 -1 1077944384 1368 0 0 0 9 7 0 0 20 0 28 0 4402780 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710894229488 139711700466306 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11979] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11979/stat : 11979 (java) S 11966 11966 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4402780 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710893175712 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11980] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11980/stat : 11980 (java) S 11966 11966 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4402781 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710892123120 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11981] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11981/stat : 11981 (java) S 11966 11966 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710891071696 139711700473755 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11982] ppid=11966 vsize=13801768 CPUtime=2.85 cores=4-7,12-15
/proc/11967/task/11982/stat : 11982 (java) S 11966 11966 18810 0 -1 1077944384 7919 0 0 0 284 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710890019312 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11983] ppid=11966 vsize=13801768 CPUtime=2.51 cores=4-7,12-15
/proc/11967/task/11983/stat : 11983 (java) S 11966 11966 18810 0 -1 1077944384 7236 0 0 0 250 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710888966768 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11984] ppid=11966 vsize=13801768 CPUtime=2.34 cores=4-7,12-15
/proc/11967/task/11984/stat : 11984 (java) S 11966 11966 18810 0 -1 1077944384 7176 0 0 0 233 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710887914224 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11985] ppid=11966 vsize=13801768 CPUtime=0.87 cores=4-7,12-15
/proc/11967/task/11985/stat : 11985 (java) S 11966 11966 18810 0 -1 1077944384 6440 0 0 0 86 1 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710886861680 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11986] ppid=11966 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/11967/task/11986/stat : 11986 (java) S 11966 11966 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4402784 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710885808352 139711700465365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11987] ppid=11966 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/11967/task/11987/stat : 11987 (java) S 11966 11966 18810 0 -1 1077944384 176 0 0 0 0 1 0 0 20 0 28 0 4402785 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710884755888 139711700466306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11988] ppid=11966 vsize=13801768 CPUtime=55.92 cores=4-7,12-15
/proc/11967/task/11988/stat : 11988 (java) R 11966 11966 18810 0 -1 4202560 726 0 0 0 5592 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710876740344 139711343172618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11989] ppid=11966 vsize=13801768 CPUtime=55.54 cores=4-7,12-15
/proc/11967/task/11989/stat : 11989 (java) R 11966 11966 18810 0 -1 4202560 727 0 0 0 5554 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710875688488 139711337278226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11990] ppid=11966 vsize=13801768 CPUtime=55.94 cores=4-7,12-15
/proc/11967/task/11990/stat : 11990 (java) R 11966 11966 18810 0 -1 4202560 814 0 0 0 5594 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710874636200 139711343174297 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11991] ppid=11966 vsize=13801768 CPUtime=56.07 cores=4-7,12-15
/proc/11967/task/11991/stat : 11991 (java) R 11966 11966 18810 0 -1 4202560 975 0 0 0 5607 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710873583976 139711343172463 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11992] ppid=11966 vsize=13801768 CPUtime=56.17 cores=4-7,12-15
/proc/11967/task/11992/stat : 11992 (java) R 11966 11966 18810 0 -1 4202560 973 0 0 0 5617 0 0 0 20 0 28 0 4402845 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710872531056 139711344118391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11993] ppid=11966 vsize=13801768 CPUtime=55.69 cores=4-7,12-15
/proc/11967/task/11993/stat : 11993 (java) R 11966 11966 18810 0 -1 4202560 534 0 0 0 5569 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710871481040 139711343628179 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11994] ppid=11966 vsize=13801768 CPUtime=55.37 cores=4-7,12-15
/proc/11967/task/11994/stat : 11994 (java) R 11966 11966 18810 0 -1 4202560 683 0 0 0 5537 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710870425320 139711343323660 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
[pid=11967/tid=11995] ppid=11966 vsize=13801768 CPUtime=56 cores=4-7,12-15
/proc/11967/task/11995/stat : 11995 (java) R 11966 11966 18810 0 -1 4202560 618 0 0 0 5600 0 0 0 20 0 28 0 4402846 14133010432 37447 33554432000 4194304 4196468 140736851599584 139710869372200 139711342248473 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32808960 140736851600572 140736851600748 140736851600748 140736851603407 0
Current children cumulated CPU time (s) 456.98
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 58.1835
CPU time (s): 457.591
CPU user time (s): 457.125
CPU system time (s): 0.465152
CPU usage (%): 786.461
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 457.125
system time used= 0.465152
maximum resident set size= 237424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9193
involuntary context switches= 27285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.697621 second user time and 0.9398 second system time
The end