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-4244541-1500683335/watcher-4244541-1500683335 -o /tmp/evaluation-result-4244541-1500683335/solver-4244541-1500683335 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1003916663 HOME/instance-4244541-1500683335.xml
pid=8994
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.97 14.66 10.22 10/269 8997
/proc/meminfo: memFree=31696396/32770624 swapFree=5880/237568
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 14.97 14.66 10.22 10/269 8997
/proc/meminfo: memFree=31696396/32770624 swapFree=5880/237568
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200241 s]
/proc/loadavg: 14.97 14.66 10.22 10/269 8997
/proc/meminfo: memFree=31696396/32770624 swapFree=5880/237568
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300346 s]
/proc/loadavg: 14.97 14.66 10.22 10/269 8997
/proc/meminfo: memFree=31696396/32770624 swapFree=5880/237568
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700201 s]
/proc/loadavg: 14.97 14.66 10.22 10/269 8997
/proc/meminfo: memFree=31696396/32770624 swapFree=5880/237568
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50135 s]
/proc/loadavg: 14.65 14.60 10.23 19/298 9026
/proc/meminfo: memFree=31546084/32770624 swapFree=5880/237636
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
[pid=8998] ppid=8997 vsize=13801768 CPUtime=6.58 cores=1,3,5,7,9,11,13,15
/proc/8998/stat : 8998 (java) S 8997 8997 7744 0 -1 1077944320 22222 0 0 0 649 9 0 0 20 0 28 0 3601193 14133010432 47071 33554432000 4194304 4196468 140732029162608 140732029145152 140455420206839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
/proc/8998/statm: 3450442 47071 3218 1 0 3437675 0
[pid=8998/tid=8999] ppid=8997 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8998/task/8999/stat : 8999 (java) S 8997 8997 7744 0 -1 1077944384 7013 0 0 0 95 3 0 0 20 0 28 0 3601193 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455424447616 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9001] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9001/stat : 9001 (java) S 8997 8997 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455372827024 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9002] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9002/stat : 9002 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455371774224 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9003] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9003/stat : 9003 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455370721936 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9004] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9004/stat : 9004 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455369669136 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9005] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9005/stat : 9005 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455368616848 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9006] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9006/stat : 9006 (java) S 8997 8997 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455367564048 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9007] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9007/stat : 9007 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455366511760 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9008] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9008/stat : 9008 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 47071 33554432000 4194304 4196468 140732029162608 140455365458960 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9009] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9009/stat : 9009 (java) S 8997 8997 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3601197 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454748178544 140455420217986 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9010] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9010/stat : 9010 (java) S 8997 8997 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454747124512 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9011] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9011/stat : 9011 (java) S 8997 8997 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454746072176 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9012] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9012/stat : 9012 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601202 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454745020496 140455420225435 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9013] ppid=8997 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9013/stat : 9013 (java) R 8997 8997 7744 0 -1 4202560 3492 0 0 0 71 0 0 0 20 0 28 0 3601202 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454743949384 140455403410073 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9014] ppid=8997 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9014/stat : 9014 (java) R 8997 8997 7744 0 -1 4202560 3217 0 0 0 67 1 0 0 20 0 28 0 3601202 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454742901592 140455399899943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9015] ppid=8997 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9015/stat : 9015 (java) R 8997 8997 7744 0 -1 4202560 2917 0 0 0 75 0 0 0 20 0 28 0 3601202 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454741849304 140455405314874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9016] ppid=8997 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9016/stat : 9016 (java) S 8997 8997 7744 0 -1 1077944384 3824 0 0 0 69 1 0 0 20 0 28 0 3601202 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454740810480 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9017] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9017/stat : 9017 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601203 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454739757408 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9018] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9018/stat : 9018 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601203 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454738704688 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9019] ppid=8997 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9019/stat : 9019 (java) R 8997 8997 7744 0 -1 4202560 133 0 0 0 46 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454730691800 140455050177647 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9020] ppid=8997 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9020/stat : 9020 (java) R 8997 8997 7744 0 -1 4202560 44 0 0 0 31 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454729637544 140455050178174 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9021] ppid=8997 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9021/stat : 9021 (java) R 8997 8997 7744 0 -1 4202560 84 0 0 0 36 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454728587104 140455050178641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9022] ppid=8997 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9022/stat : 9022 (java) R 8997 8997 7744 0 -1 4202560 32 0 0 0 24 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454727534632 140455050178063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9023] ppid=8997 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9023/stat : 9023 (java) R 8997 8997 7744 0 -1 4202560 31 0 0 0 31 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454726480424 140455050177228 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9024] ppid=8997 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9024/stat : 9024 (java) R 8997 8997 7744 0 -1 4202560 42 0 0 0 40 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454725429752 140455050177433 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9025] ppid=8997 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9025/stat : 9025 (java) R 8997 8997 7744 0 -1 4202560 48 0 0 0 30 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454724373320 140455050178657 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9026] ppid=8997 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9026/stat : 9026 (java) R 8997 8997 7744 0 -1 4202560 32 0 0 0 31 0 0 0 20 0 28 0 3601295 14133010432 47071 33554432000 4194304 4196468 140732029162608 140454723321672 140455050176965 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 13811280
[startup+3.10158 s]
/proc/loadavg: 14.65 14.60 10.23 20/298 9026
/proc/meminfo: memFree=31454800/32770624 swapFree=5880/237636
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
[pid=8998] ppid=8997 vsize=13801768 CPUtime=19.27 cores=1,3,5,7,9,11,13,15
/proc/8998/stat : 8998 (java) S 8997 8997 7744 0 -1 1077944320 40729 0 0 0 1916 11 0 0 20 0 28 0 3601193 14133010432 54653 33554432000 4194304 4196468 140732029162608 140732029145152 140455420206839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
/proc/8998/statm: 3450442 54653 3233 1 0 3437675 0
[pid=8998/tid=8999] ppid=8997 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8998/task/8999/stat : 8999 (java) S 8997 8997 7744 0 -1 1077944384 7013 0 0 0 95 3 0 0 20 0 28 0 3601193 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455424447616 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9001] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9001/stat : 9001 (java) S 8997 8997 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455372827024 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9002] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9002/stat : 9002 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455371774224 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9003] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9003/stat : 9003 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455370721936 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9004] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9004/stat : 9004 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455369669136 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9005] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9005/stat : 9005 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455368616848 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9006] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9006/stat : 9006 (java) S 8997 8997 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455367564048 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9007] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9007/stat : 9007 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455366511760 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9008] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9008/stat : 9008 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601194 14133010432 54653 33554432000 4194304 4196468 140732029162608 140455365458960 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9009] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9009/stat : 9009 (java) S 8997 8997 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3601197 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454748178544 140455420217986 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9010] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9010/stat : 9010 (java) S 8997 8997 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454747124512 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9011] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9011/stat : 9011 (java) S 8997 8997 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454746072176 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9012] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9012/stat : 9012 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601202 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454745020496 140455420225435 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9013] ppid=8997 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9013/stat : 9013 (java) R 8997 8997 7744 0 -1 4202560 11436 0 0 0 200 1 0 0 20 0 28 0 3601202 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454743959840 140455403591446 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9014] ppid=8997 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9014/stat : 9014 (java) R 8997 8997 7744 0 -1 4202560 8144 0 0 0 187 2 0 0 20 0 28 0 3601202 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454742901664 140455405333133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9015] ppid=8997 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9015/stat : 9015 (java) R 8997 8997 7744 0 -1 4202560 6483 0 0 0 186 1 0 0 20 0 28 0 3601202 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454741848432 140455398610272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9016] ppid=8997 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9016/stat : 9016 (java) S 8997 8997 7744 0 -1 1077944384 4847 0 0 0 84 1 0 0 20 0 28 0 3601202 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454740810480 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9017] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9017/stat : 9017 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601203 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454739757408 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9018] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9018/stat : 9018 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601203 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454738704688 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9019] ppid=8997 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9019/stat : 9019 (java) R 8997 8997 7744 0 -1 4202560 202 0 0 0 159 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454730689352 140455052095197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9020] ppid=8997 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9020/stat : 9020 (java) R 8997 8997 7744 0 -1 4202560 151 0 0 0 142 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454729635968 140455049792015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9021] ppid=8997 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9021/stat : 9021 (java) R 8997 8997 7744 0 -1 4202560 318 0 0 0 155 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454728587304 140455052094100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9022] ppid=8997 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9022/stat : 9022 (java) R 8997 8997 7744 0 -1 4202560 319 0 0 0 114 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454727534408 140455052158672 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9023] ppid=8997 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9023/stat : 9023 (java) R 8997 8997 7744 0 -1 4202560 87 0 0 0 150 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454726482936 140455052095352 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9024] ppid=8997 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9024/stat : 9024 (java) R 8997 8997 7744 0 -1 4202560 135 0 0 0 143 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454725429336 140455052094297 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9025] ppid=8997 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9025/stat : 9025 (java) R 8997 8997 7744 0 -1 4202560 184 0 0 0 151 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454724374440 140455052093762 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9026] ppid=8997 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9026/stat : 9026 (java) R 8997 8997 7744 0 -1 4202560 102 0 0 0 144 0 0 0 20 0 28 0 3601295 14133010432 54653 33554432000 4194304 4196468 140732029162608 140454723317264 140455052095678 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 13811280
[startup+6.3016 s]
/proc/loadavg: 14.52 14.58 10.24 17/298 9026
/proc/meminfo: memFree=31317732/32770624 swapFree=5880/237636
################
# More data... #
################
[pid=8998/tid=9025] ppid=8997 vsize=13801768 CPUtime=218.97 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9025/stat : 9025 (java) R 8997 8997 7744 0 -1 4202560 1081 0 0 0 21897 0 0 0 20 0 28 0 3601295 14133010432 64877 33554432000 4194304 4196468 140732029162608 140454724374024 140455054484665 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9026] ppid=8997 vsize=13801768 CPUtime=218.11 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9026/stat : 9026 (java) R 8997 8997 7744 0 -1 4202560 940 0 0 0 21810 1 0 0 20 0 28 0 3601295 14133010432 64877 33554432000 4194304 4196468 140732029162608 140454723321240 140455052274396 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
Current children cumulated CPU time (s) 1760.75
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.11 15.50 11.74 17/301 9039
/proc/meminfo: memFree=31410508/32770624 swapFree=5880/237952
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
[pid=8998] ppid=8997 vsize=13801768 CPUtime=2236.69 cores=1,3,5,7,9,11,13,15
/proc/8998/stat : 8998 (java) S 8997 8997 7744 0 -1 1077944320 89482 0 0 0 223532 137 0 0 20 0 28 0 3601193 14133010432 70869 33554432000 4194304 4196468 140732029162608 140732029145152 140455420206839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
/proc/8998/statm: 3450442 70869 3274 1 0 3437675 0
[pid=8998/tid=8999] ppid=8997 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8998/task/8999/stat : 8999 (java) S 8997 8997 7744 0 -1 1077944384 7013 0 0 0 95 3 0 0 20 0 28 0 3601193 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455424447616 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9001] ppid=8997 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9001/stat : 9001 (java) S 8997 8997 7744 0 -1 1077944384 629 0 0 0 27 8 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455372827024 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9002] ppid=8997 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9002/stat : 9002 (java) S 8997 8997 7744 0 -1 1077944384 543 0 0 0 29 8 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455371774224 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9003] ppid=8997 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9003/stat : 9003 (java) S 8997 8997 7744 0 -1 1077944384 2198 0 0 0 26 8 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455370721936 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9004] ppid=8997 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9004/stat : 9004 (java) S 8997 8997 7744 0 -1 1077944384 800 0 0 0 26 9 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455369669136 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9005] ppid=8997 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9005/stat : 9005 (java) S 8997 8997 7744 0 -1 1077944384 803 0 0 0 26 8 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455368616848 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9006] ppid=8997 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9006/stat : 9006 (java) S 8997 8997 7744 0 -1 1077944384 674 0 0 0 28 8 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455367564048 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9007] ppid=8997 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9007/stat : 9007 (java) S 8997 8997 7744 0 -1 1077944384 1107 0 0 0 26 9 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455366511760 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9008] ppid=8997 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9008/stat : 9008 (java) S 8997 8997 7744 0 -1 1077944384 785 0 0 0 26 8 0 0 20 0 28 0 3601194 14133010432 70869 33554432000 4194304 4196468 140732029162608 140455365458960 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9009] ppid=8997 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9009/stat : 9009 (java) S 8997 8997 7744 0 -1 1077944384 2194 0 0 0 35 41 0 0 20 0 28 0 3601197 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454748178544 140455420217986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9010] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9010/stat : 9010 (java) S 8997 8997 7744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454747124576 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9011] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9011/stat : 9011 (java) S 8997 8997 7744 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454746072192 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9012] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9012/stat : 9012 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601202 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454745020496 140455420225435 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9013] ppid=8997 vsize=13801768 CPUtime=3.76 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9013/stat : 9013 (java) S 8997 8997 7744 0 -1 1077944384 19060 0 0 0 374 2 0 0 20 0 28 0 3601202 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454743968368 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9014] ppid=8997 vsize=13801768 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9014/stat : 9014 (java) S 8997 8997 7744 0 -1 1077944384 14158 0 0 0 356 3 0 0 20 0 28 0 3601202 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454742915568 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 12 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9015] ppid=8997 vsize=13801768 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9015/stat : 9015 (java) S 8997 8997 7744 0 -1 1077944384 15058 0 0 0 408 2 0 0 20 0 28 0 3601202 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454741863280 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 17 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9016] ppid=8997 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9016/stat : 9016 (java) S 8997 8997 7744 0 -1 1077944384 11604 0 0 0 115 2 0 0 20 0 28 0 3601202 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454740810480 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9017] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9017/stat : 9017 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601203 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454739757408 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9018] ppid=8997 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9018/stat : 9018 (java) S 8997 8997 7744 0 -1 1077944384 919 0 0 0 6 8 0 0 20 0 28 0 3601203 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454738704688 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9019] ppid=8997 vsize=13801768 CPUtime=276.88 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9019/stat : 9019 (java) R 8997 8997 7744 0 -1 4202560 1165 0 0 0 27688 0 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454730689304 140455052274263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9020] ppid=8997 vsize=13801768 CPUtime=277.86 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9020/stat : 9020 (java) R 8997 8997 7744 0 -1 4202560 1453 0 0 0 27785 1 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454729638024 140455052274274 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9021] ppid=8997 vsize=13801768 CPUtime=276.98 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9021/stat : 9021 (java) R 8997 8997 7744 0 -1 4202560 1618 0 0 0 27698 0 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454728585400 140455052274037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9022] ppid=8997 vsize=13801768 CPUtime=276.28 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9022/stat : 9022 (java) R 8997 8997 7744 0 -1 4202560 2224 0 0 0 27627 1 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454727532424 140455052274250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9023] ppid=8997 vsize=13801768 CPUtime=277.83 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9023/stat : 9023 (java) R 8997 8997 7744 0 -1 4202560 1319 0 0 0 27782 1 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454726482928 140455051758008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9024] ppid=8997 vsize=13801768 CPUtime=277.23 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9024/stat : 9024 (java) R 8997 8997 7744 0 -1 4202560 728 0 0 0 27723 0 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454725427088 140455052274142 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9025] ppid=8997 vsize=13801768 CPUtime=278.45 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9025/stat : 9025 (java) R 8997 8997 7744 0 -1 4202560 1095 0 0 0 27845 0 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454724374200 140455052274238 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9026] ppid=8997 vsize=13801768 CPUtime=277.66 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9026/stat : 9026 (java) R 8997 8997 7744 0 -1 4202560 967 0 0 0 27765 1 0 0 20 0 28 0 3601295 14133010432 70869 33554432000 4194304 4196468 140732029162608 140454723321240 140455052435425 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
Current children cumulated CPU time (s) 2236.69
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.001 s]
/proc/loadavg: 16.02 15.51 11.83 12/301 9135
/proc/meminfo: memFree=31387828/32770624 swapFree=5880/237976
[pid=8997] ppid=8994 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8997/stat : 8997 (xcsp3-exec) S 8994 8997 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3601193 9740288 345 33554432000 4194304 5098028 140734256160896 140734256159000 140229496685180 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30388224 140734256161934 140734256162144 140734256162144 140734256164843 0
/proc/8997/statm: 2378 345 289 221 0 87 0
[pid=8998] ppid=8997 vsize=13801768 CPUtime=2400.52 cores=1,3,5,7,9,11,13,15
/proc/8998/stat : 8998 (java) S 8997 8997 7744 0 -1 1077944320 92007 0 0 0 239898 154 0 0 20 0 28 0 3601193 14133010432 74766 33554432000 4194304 4196468 140732029162608 140732029145152 140455420206839 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
/proc/8998/statm: 3450442 74766 3274 1 0 3437675 0
[pid=8998/tid=8999] ppid=8997 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8998/task/8999/stat : 8999 (java) S 8997 8997 7744 0 -1 1077944384 7013 0 0 0 95 3 0 0 20 0 28 0 3601193 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455424447616 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9001] ppid=8997 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9001/stat : 9001 (java) S 8997 8997 7744 0 -1 1077944384 783 0 0 0 31 8 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455372827024 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9002] ppid=8997 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9002/stat : 9002 (java) S 8997 8997 7744 0 -1 1077944384 593 0 0 0 32 9 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455371774224 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9003] ppid=8997 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9003/stat : 9003 (java) S 8997 8997 7744 0 -1 1077944384 2224 0 0 0 28 9 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455370721936 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9004] ppid=8997 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9004/stat : 9004 (java) S 8997 8997 7744 0 -1 1077944384 812 0 0 0 30 10 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455369669136 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9005] ppid=8997 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9005/stat : 9005 (java) S 8997 8997 7744 0 -1 1077944384 811 0 0 0 30 9 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455368616848 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9006] ppid=8997 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9006/stat : 9006 (java) S 8997 8997 7744 0 -1 1077944384 680 0 0 0 30 9 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455367564048 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9007] ppid=8997 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9007/stat : 9007 (java) S 8997 8997 7744 0 -1 1077944384 1147 0 0 0 29 10 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455366511760 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9008] ppid=8997 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9008/stat : 9008 (java) S 8997 8997 7744 0 -1 1077944384 798 0 0 0 29 9 0 0 20 0 28 0 3601194 14133010432 74766 33554432000 4194304 4196468 140732029162608 140455365458960 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9009] ppid=8997 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9009/stat : 9009 (java) S 8997 8997 7744 0 -1 1077944384 2197 0 0 0 40 51 0 0 20 0 28 0 3601197 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454748178544 140455420217986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9010] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9010/stat : 9010 (java) S 8997 8997 7744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454747124576 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9011] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9011/stat : 9011 (java) S 8997 8997 7744 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3601198 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454746072192 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9012] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9012/stat : 9012 (java) S 8997 8997 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3601202 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454745020496 140455420225435 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9013] ppid=8997 vsize=13801768 CPUtime=3.76 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9013/stat : 9013 (java) S 8997 8997 7744 0 -1 1077944384 19237 0 0 0 374 2 0 0 20 0 28 0 3601202 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454743968368 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9014] ppid=8997 vsize=13801768 CPUtime=3.67 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9014/stat : 9014 (java) S 8997 8997 7744 0 -1 1077944384 15451 0 0 0 364 3 0 0 20 0 28 0 3601202 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454742915568 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9015] ppid=8997 vsize=13801768 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9015/stat : 9015 (java) S 8997 8997 7744 0 -1 1077944384 15058 0 0 0 408 2 0 0 20 0 28 0 3601202 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454741863280 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 17 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9016] ppid=8997 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9016/stat : 9016 (java) S 8997 8997 7744 0 -1 1077944384 12263 0 0 0 116 2 0 0 20 0 28 0 3601202 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454740810480 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9017] ppid=8997 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9017/stat : 9017 (java) S 8997 8997 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3601203 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454739757408 140455420217045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9018] ppid=8997 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9018/stat : 9018 (java) S 8997 8997 7744 0 -1 1077944384 922 0 0 0 6 8 0 0 20 0 28 0 3601203 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454738704688 140455420217986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9019] ppid=8997 vsize=13801768 CPUtime=297.28 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9019/stat : 9019 (java) R 8997 8997 7744 0 -1 4202560 1193 0 0 0 29727 1 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454730689480 140455049782881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9020] ppid=8997 vsize=13801768 CPUtime=298.14 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9020/stat : 9020 (java) R 8997 8997 7744 0 -1 4202560 1454 0 0 0 29812 2 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454729637512 140455052274047 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9021] ppid=8997 vsize=13801768 CPUtime=297.46 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9021/stat : 9021 (java) R 8997 8997 7744 0 -1 4202560 1632 0 0 0 29746 0 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454728585008 140455054484538 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9022] ppid=8997 vsize=13801768 CPUtime=296.74 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9022/stat : 9022 (java) R 8997 8997 7744 0 -1 4202560 2226 0 0 0 29673 1 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454727532504 140455054484525 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9023] ppid=8997 vsize=13801768 CPUtime=298.18 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9023/stat : 9023 (java) R 8997 8997 7744 0 -1 4202560 1323 0 0 0 29817 1 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454726482816 140455054484518 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9024] ppid=8997 vsize=13801768 CPUtime=297.59 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9024/stat : 9024 (java) R 8997 8997 7744 0 -1 4202560 751 0 0 0 29759 0 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454725427336 140455052274387 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9025] ppid=8997 vsize=13801768 CPUtime=298.94 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9025/stat : 9025 (java) R 8997 8997 7744 0 -1 4202560 1101 0 0 0 29894 0 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454724374200 140455052246740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
[pid=8998/tid=9026] ppid=8997 vsize=13801768 CPUtime=298.14 cores=1,3,5,7,9,11,13,15
/proc/8998/task/9026/stat : 9026 (java) R 8997 8997 7744 0 -1 4202560 970 0 0 0 29813 1 0 0 20 0 28 0 3601295 14133010432 74766 33554432000 4194304 4196468 140732029162608 140454723321064 140455052246485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140732029166780 140732029166956 140732029166956 140732029169615 0
Current children cumulated CPU time (s) 2400.52
Current children cumulated vsize (KiB) 13811280
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 8998 sig 9
??? kill 8997 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 8997 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2041
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1020
# CPU time returned by wait4() is 0.003061
# while last known CPU time is 2400.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.012
CPU time (s): 2400.52
CPU user time (s): 2398.98
CPU system time (s): 1.54
CPU usage (%): 792.219
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002041
system time used= 0.00102
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 4.00137 second user time and 3.93607 second system time
The end