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-4245414-1500685720/watcher-4245414-1500685720 -o /tmp/evaluation-result-4245414-1500685720/solver-4245414-1500685720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 878289807 HOME/instance-4245414-1500685720.xml
pid=26782
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: 15.79 15.45 13.05 9/271 26785
/proc/meminfo: memFree=31611456/32770624 swapFree=5800/238792
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 15.79 15.45 13.05 9/271 26785
/proc/meminfo: memFree=31611456/32770624 swapFree=5800/238792
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200282 s]
/proc/loadavg: 15.79 15.45 13.05 9/271 26785
/proc/meminfo: memFree=31611456/32770624 swapFree=5800/238792
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300275 s]
/proc/loadavg: 15.79 15.45 13.05 9/271 26785
/proc/meminfo: memFree=31611456/32770624 swapFree=5800/238792
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700223 s]
/proc/loadavg: 15.79 15.45 13.05 9/271 26785
/proc/meminfo: memFree=31611456/32770624 swapFree=5800/238792
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 15.32 15.36 13.04 13/292 26806
/proc/meminfo: memFree=31421924/32770624 swapFree=5800/238896
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
[pid=26786] ppid=26785 vsize=13269256 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/26786/stat : 26786 (java) S 26785 26785 7621 0 -1 1077944320 16007 0 0 0 434 31 0 0 20 0 20 0 3839749 13587718144 91087 33554432000 4194304 4196468 140731593021984 140731593004528 139650037157623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
/proc/26786/statm: 3317314 91087 3229 1 0 3304547 0
[pid=26786/tid=26787] ppid=26785 vsize=13269256 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26787/stat : 26787 (java) R 26785 26785 7621 0 -1 4202560 6762 0 0 0 134 5 0 0 20 0 20 0 3839750 13587718144 91087 33554432000 4194304 4196468 140731593021984 139650041394360 139650019564675 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26789] ppid=26785 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26789/stat : 26789 (java) S 26785 26785 7621 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649636301712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26790] ppid=26785 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26790/stat : 26790 (java) S 26785 26785 7621 0 -1 1077944384 37 0 0 0 4 3 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649635248912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26791] ppid=26785 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26791/stat : 26791 (java) S 26785 26785 7621 0 -1 1077944384 21 0 0 0 3 2 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649634196624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26792] ppid=26785 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26792/stat : 26792 (java) S 26785 26785 7621 0 -1 1077944384 29 0 0 0 3 3 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649633143824 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26793] ppid=26785 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26793/stat : 26793 (java) S 26785 26785 7621 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649632090512 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26794] ppid=26785 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26794/stat : 26794 (java) S 26785 26785 7621 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649631037712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26795] ppid=26785 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26795/stat : 26795 (java) S 26785 26785 7621 0 -1 1077944384 23 0 0 0 3 2 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649629985424 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26796] ppid=26785 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26796/stat : 26796 (java) S 26785 26785 7621 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 20 0 3839751 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649628932624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26797] ppid=26785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26797/stat : 26797 (java) S 26785 26785 7621 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3839753 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649163872880 139650037168770 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26798] ppid=26785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26798/stat : 26798 (java) S 26785 26785 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3839754 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649162818912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26799] ppid=26785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26799/stat : 26799 (java) S 26785 26785 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3839754 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649161766528 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26800] ppid=26785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26800/stat : 26800 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3839758 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649160714832 139650037176219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26801] ppid=26785 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26801/stat : 26801 (java) S 26785 26785 7621 0 -1 1077944384 2254 0 0 0 68 1 0 0 20 0 20 0 3839758 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649159661680 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26802] ppid=26785 vsize=13269256 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26802/stat : 26802 (java) S 26785 26785 7621 0 -1 1077944384 1192 0 0 0 73 0 0 0 20 0 20 0 3839758 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649158608880 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26803] ppid=26785 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26803/stat : 26803 (java) S 26785 26785 7621 0 -1 1077944384 1859 0 0 0 70 0 0 0 20 0 20 0 3839758 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649157556592 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26804] ppid=26785 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26804/stat : 26804 (java) S 26785 26785 7621 0 -1 1077944384 2214 0 0 0 59 1 0 0 20 0 20 0 3839758 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649156503792 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26805] ppid=26785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26805/stat : 26805 (java) S 26785 26785 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3839758 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649155451744 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26806] ppid=26785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26806/stat : 26806 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3839759 13587718144 91087 33554432000 4194304 4196468 140731593021984 139649154399024 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 13278768
[startup+3.1016 s]
/proc/loadavg: 15.32 15.36 13.04 20/300 26814
/proc/meminfo: memFree=31238520/32770624 swapFree=5800/238896
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
[pid=26786] ppid=26785 vsize=13801768 CPUtime=17.01 cores=1,3,5,7,9,11,13,15
/proc/26786/stat : 26786 (java) S 26785 26785 7621 0 -1 1077944320 21816 0 0 0 1666 35 0 0 20 0 28 0 3839749 14133010432 95671 33554432000 4194304 4196468 140731593021984 140731593004528 139650037157623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
/proc/26786/statm: 3450442 95671 3248 1 0 3437675 0
[pid=26786/tid=26787] ppid=26785 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26787/stat : 26787 (java) S 26785 26785 7621 0 -1 1077944384 6827 0 0 0 139 5 0 0 20 0 28 0 3839750 14133010432 95671 33554432000 4194304 4196468 140731593021984 139650041398400 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26789] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26789/stat : 26789 (java) S 26785 26785 7621 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649636301712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26790] ppid=26785 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26790/stat : 26790 (java) S 26785 26785 7621 0 -1 1077944384 37 0 0 0 4 3 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649635248912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26791] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26791/stat : 26791 (java) S 26785 26785 7621 0 -1 1077944384 21 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649634196624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26792] ppid=26785 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26792/stat : 26792 (java) S 26785 26785 7621 0 -1 1077944384 29 0 0 0 3 3 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649633143824 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26793] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26793/stat : 26793 (java) S 26785 26785 7621 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649632090512 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26794] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26794/stat : 26794 (java) S 26785 26785 7621 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649631037712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26795] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26795/stat : 26795 (java) S 26785 26785 7621 0 -1 1077944384 23 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649629985424 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26796] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26796/stat : 26796 (java) S 26785 26785 7621 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 28 0 3839751 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649628932624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26797] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26797/stat : 26797 (java) S 26785 26785 7621 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 3839753 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649163872880 139650037168770 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26798] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26798/stat : 26798 (java) S 26785 26785 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649162818912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26799] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26799/stat : 26799 (java) S 26785 26785 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649161766528 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26800] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26800/stat : 26800 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649160714832 139650037176219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26801] ppid=26785 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26801/stat : 26801 (java) R 26785 26785 7621 0 -1 4202560 3105 0 0 0 171 1 0 0 20 0 28 0 3839758 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649159647696 139650018704300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26802] ppid=26785 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26802/stat : 26802 (java) R 26785 26785 7621 0 -1 4202560 3493 0 0 0 178 1 0 0 20 0 28 0 3839758 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649158595424 139650022079580 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26803] ppid=26785 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26803/stat : 26803 (java) R 26785 26785 7621 0 -1 4202560 3541 0 0 0 180 1 0 0 20 0 28 0 3839758 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649157542656 139650016403455 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26804] ppid=26785 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26804/stat : 26804 (java) S 26785 26785 7621 0 -1 1077944384 2747 0 0 0 85 1 0 0 20 0 28 0 3839758 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649156503792 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26805] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26805/stat : 26805 (java) S 26785 26785 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649155451744 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26806] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26806/stat : 26806 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3839759 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649154399024 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26807] ppid=26785 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26807/stat : 26807 (java) R 26785 26785 7621 0 -1 4202560 57 0 0 0 115 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649146384504 139649676537490 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26808] ppid=26785 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26808/stat : 26808 (java) R 26785 26785 7621 0 -1 4202560 50 0 0 0 113 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649145332184 139649676537839 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26809] ppid=26785 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26809/stat : 26809 (java) R 26785 26785 7621 0 -1 4202560 51 0 0 0 97 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649144279592 139649676942755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26810] ppid=26785 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26810/stat : 26810 (java) R 26785 26785 7621 0 -1 4202560 83 0 0 0 109 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649143226088 139649674203060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26811] ppid=26785 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26811/stat : 26811 (java) R 26785 26785 7621 0 -1 4202560 33 0 0 0 126 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649142174000 139649677122003 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26812] ppid=26785 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26812/stat : 26812 (java) R 26785 26785 7621 0 -1 4202560 36 0 0 0 101 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649141121528 139649676537579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26813] ppid=26785 vsize=13801768 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26813/stat : 26813 (java) R 26785 26785 7621 0 -1 4202560 26 0 0 0 118 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649140069976 139650037169558 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26814] ppid=26785 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26814/stat : 26814 (java) R 26785 26785 7621 0 -1 4202560 41 0 0 0 101 0 0 0 20 0 28 0 3839905 14133010432 95671 33554432000 4194304 4196468 140731593021984 139649139016968 139649676537601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
Current children cumulated CPU time (s) 17.01
Current children cumulated vsize (KiB) 13811280
[startup+6.3016 s]
/proc/loadavg: 15.22 15.34 13.04 17/300 26814
/proc/meminfo: memFree=31243324/32770624 swapFree=5800/238904
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
[pid=26786] ppid=26785 vsize=13801768 CPUtime=42.44 cores=1,3,5,7,9,11,13,15
/proc/26786/stat : 26786 (java) S 26785 26785 7621 0 -1 1077944320 26816 0 0 0 4207 37 0 0 20 0 28 0 3839749 14133010432 96213 33554432000 4194304 4196468 140731593021984 140731593004528 139650037157623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
/proc/26786/statm: 3450442 96213 3250 1 0 3437675 0
[pid=26786/tid=26787] ppid=26785 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26787/stat : 26787 (java) S 26785 26785 7621 0 -1 1077944384 6827 0 0 0 139 5 0 0 20 0 28 0 3839750 14133010432 96213 33554432000 4194304 4196468 140731593021984 139650041398400 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26789] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26789/stat : 26789 (java) S 26785 26785 7621 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 96213 33554432000 4194304 4196468 140731593021984 139649636301712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26790] ppid=26785 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26790/stat : 26790 (java) S 26785 26785 7621 0 -1 1077944384 37 0 0 0 4 3 0 0 20 0 28 0 3839751 14133010432 96213 33554432000 4194304 4196468 140731593021984 139649635248912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26791] ppid=26785 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26791/stat : 26791 (java) S 26785 26785 7621 0 -1 1077944384 21 0 0 0 3 2 0 0 20 0 28 0 3839751 14133010432 96213 33554432000 4194304 4196468 140731593021984 139649634196624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26792] ppid=26785 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26792/stat : 26792 (java) S 26785 26785 7621 0 -1 1077944384 29 0 0 0 3 3 0 0 20 0 28 0 3839751 14133010432 96213 33554432000 4194304 4196468 140731593021984 139649633143824 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
################
# More data... #
################
/proc/26786/task/26798/stat : 26798 (java) S 26785 26785 7621 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649162818912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26799] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26799/stat : 26799 (java) S 26785 26785 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649161766528 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26800] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26800/stat : 26800 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649160714832 139650037176219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26801] ppid=26785 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26801/stat : 26801 (java) S 26785 26785 7621 0 -1 1077944384 8734 0 0 0 214 2 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649159661680 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26802] ppid=26785 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26802/stat : 26802 (java) S 26785 26785 7621 0 -1 1077944384 6537 0 0 0 217 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649158608880 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26803] ppid=26785 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26803/stat : 26803 (java) S 26785 26785 7621 0 -1 1077944384 5573 0 0 0 217 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649157556592 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26804] ppid=26785 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26804/stat : 26804 (java) S 26785 26785 7621 0 -1 1077944384 4934 0 0 0 92 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649156503792 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26805] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26805/stat : 26805 (java) S 26785 26785 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649155451744 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26806] ppid=26785 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26806/stat : 26806 (java) S 26785 26785 7621 0 -1 1077944384 878 0 0 0 6 6 0 0 20 0 28 0 3839759 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649154399024 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26807] ppid=26785 vsize=13801768 CPUtime=268.52 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26807/stat : 26807 (java) R 26785 26785 7621 0 -1 4202560 1809 0 0 0 26847 5 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649146386704 139649678637784 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26808] ppid=26785 vsize=13801768 CPUtime=268.74 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26808/stat : 26808 (java) R 26785 26785 7621 0 -1 4202560 870 0 0 0 26871 3 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649145332232 139649677335464 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26809] ppid=26785 vsize=13801768 CPUtime=268.34 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26809/stat : 26809 (java) R 26785 26785 7621 0 -1 4202560 3274 0 0 0 26823 11 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649144278920 139649677122157 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26810] ppid=26785 vsize=13801768 CPUtime=268.34 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26810/stat : 26810 (java) R 26785 26785 7621 0 -1 4202560 3043 0 0 0 26825 9 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649143226120 139649676944851 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26811] ppid=26785 vsize=13801768 CPUtime=267.53 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26811/stat : 26811 (java) R 26785 26785 7621 0 -1 4202560 2045 0 0 0 26740 13 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649142173816 139649676537290 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26812] ppid=26785 vsize=13801768 CPUtime=266.89 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26812/stat : 26812 (java) R 26785 26785 7621 0 -1 4202560 357 0 0 0 26689 0 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649141120784 139649676537388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26813] ppid=26785 vsize=13801768 CPUtime=265.11 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26813/stat : 26813 (java) R 26785 26785 7621 0 -1 4202560 938 0 0 0 26508 3 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649140068584 139649676944846 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26814] ppid=26785 vsize=13801768 CPUtime=267.67 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26814/stat : 26814 (java) R 26785 26785 7621 0 -1 4202560 2558 0 0 0 26759 8 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649139015944 139649676944688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
Current children cumulated CPU time (s) 2151.99
Current children cumulated vsize (KiB) 13811280
[startup+271.602 s]
/proc/loadavg: 16.04 15.80 13.81 17/302 26921
/proc/meminfo: memFree=26577008/32770624 swapFree=5800/239328
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
[pid=26786] ppid=26785 vsize=13801768 CPUtime=2155.18 cores=1,3,5,7,9,11,13,15
/proc/26786/stat : 26786 (java) S 26785 26785 7621 0 -1 1077944320 59497 0 0 0 215364 154 0 0 20 0 28 0 3839749 14133010432 847973 33554432000 4194304 4196468 140731593021984 140731593004528 139650037157623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
/proc/26786/statm: 3450442 847973 3263 1 0 3437675 0
[pid=26786/tid=26787] ppid=26785 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26787/stat : 26787 (java) S 26785 26785 7621 0 -1 1077944384 6827 0 0 0 139 5 0 0 20 0 28 0 3839750 14133010432 847973 33554432000 4194304 4196468 140731593021984 139650041398400 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26789] ppid=26785 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26789/stat : 26789 (java) S 26785 26785 7621 0 -1 1077944384 1178 0 0 0 8 8 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649636301712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26790] ppid=26785 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26790/stat : 26790 (java) S 26785 26785 7621 0 -1 1077944384 467 0 0 0 11 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649635248912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26791] ppid=26785 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26791/stat : 26791 (java) S 26785 26785 7621 0 -1 1077944384 485 0 0 0 10 9 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649634196624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26792] ppid=26785 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26792/stat : 26792 (java) S 26785 26785 7621 0 -1 1077944384 386 0 0 0 11 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649633143824 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26793] ppid=26785 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26793/stat : 26793 (java) S 26785 26785 7621 0 -1 1077944384 893 0 0 0 11 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649632090512 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26794] ppid=26785 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26794/stat : 26794 (java) S 26785 26785 7621 0 -1 1077944384 1260 0 0 0 11 7 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649631037712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26795] ppid=26785 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26795/stat : 26795 (java) S 26785 26785 7621 0 -1 1077944384 353 0 0 0 10 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649629985424 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26796] ppid=26785 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26796/stat : 26796 (java) S 26785 26785 7621 0 -1 1077944384 1436 0 0 0 10 9 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649628932624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26797] ppid=26785 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26797/stat : 26797 (java) S 26785 26785 7621 0 -1 1077944384 3294 0 0 0 4 3 0 0 20 0 28 0 3839753 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649163872880 139650037168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26798] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26798/stat : 26798 (java) S 26785 26785 7621 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649162818912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26799] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26799/stat : 26799 (java) S 26785 26785 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649161766528 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26800] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26800/stat : 26800 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649160714832 139650037176219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26801] ppid=26785 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26801/stat : 26801 (java) S 26785 26785 7621 0 -1 1077944384 8734 0 0 0 214 2 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649159661680 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26802] ppid=26785 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26802/stat : 26802 (java) S 26785 26785 7621 0 -1 1077944384 6537 0 0 0 217 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649158608880 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26803] ppid=26785 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26803/stat : 26803 (java) S 26785 26785 7621 0 -1 1077944384 5573 0 0 0 217 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649157556592 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26804] ppid=26785 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26804/stat : 26804 (java) S 26785 26785 7621 0 -1 1077944384 4934 0 0 0 92 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649156503792 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26805] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26805/stat : 26805 (java) S 26785 26785 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649155451744 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26806] ppid=26785 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26806/stat : 26806 (java) S 26785 26785 7621 0 -1 1077944384 878 0 0 0 6 6 0 0 20 0 28 0 3839759 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649154399024 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26807] ppid=26785 vsize=13801768 CPUtime=268.92 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26807/stat : 26807 (java) R 26785 26785 7621 0 -1 4202560 1811 0 0 0 26887 5 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649146386704 139649677122168 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26808] ppid=26785 vsize=13801768 CPUtime=269.14 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26808/stat : 26808 (java) R 26785 26785 7621 0 -1 4202560 870 0 0 0 26911 3 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649145332232 139649676537601 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26809] ppid=26785 vsize=13801768 CPUtime=268.74 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26809/stat : 26809 (java) R 26785 26785 7621 0 -1 4202560 3275 0 0 0 26863 11 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649144278920 139649676942701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26810] ppid=26785 vsize=13801768 CPUtime=268.74 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26810/stat : 26810 (java) R 26785 26785 7621 0 -1 4202560 3063 0 0 0 26865 9 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649143226120 139649676944692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26811] ppid=26785 vsize=13801768 CPUtime=267.93 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26811/stat : 26811 (java) R 26785 26785 7621 0 -1 4202560 2045 0 0 0 26780 13 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649142173816 139649677168410 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26812] ppid=26785 vsize=13801768 CPUtime=267.29 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26812/stat : 26812 (java) R 26785 26785 7621 0 -1 4202560 357 0 0 0 26729 0 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649141120784 139649678637949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26813] ppid=26785 vsize=13801768 CPUtime=265.5 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26813/stat : 26813 (java) R 26785 26785 7621 0 -1 4202560 939 0 0 0 26547 3 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649140068584 139649677020715 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26814] ppid=26785 vsize=13801768 CPUtime=268.07 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26814/stat : 26814 (java) R 26785 26785 7621 0 -1 4202560 2568 0 0 0 26799 8 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649139015944 139649678638225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
Current children cumulated CPU time (s) 2155.18
Current children cumulated vsize (KiB) 13811280
[startup+271.815 s]
/proc/loadavg: 16.04 15.80 13.81 17/302 26921
/proc/meminfo: memFree=26577008/32770624 swapFree=5800/239328
[pid=26785] ppid=26782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26785/stat : 26785 (xcsp3-exec) S 26782 26785 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3839749 9740288 346 33554432000 4194304 5098028 140730523818000 140730523816104 140329909699196 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13496320 140730523821199 140730523821408 140730523821408 140730523824107 0
/proc/26785/statm: 2378 346 289 221 0 87 0
[pid=26786] ppid=26785 vsize=13801768 CPUtime=2156.88 cores=1,3,5,7,9,11,13,15
/proc/26786/stat : 26786 (java) S 26785 26785 7621 0 -1 1077944320 59508 0 0 0 215534 154 0 0 20 0 28 0 3839749 14133010432 847973 33554432000 4194304 4196468 140731593021984 140731593004528 139650037157623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
/proc/26786/statm: 3450442 847973 3263 1 0 3437675 0
[pid=26786/tid=26787] ppid=26785 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26787/stat : 26787 (java) S 26785 26785 7621 0 -1 1077944384 6827 0 0 0 139 5 0 0 20 0 28 0 3839750 14133010432 847973 33554432000 4194304 4196468 140731593021984 139650041398400 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26789] ppid=26785 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26789/stat : 26789 (java) S 26785 26785 7621 0 -1 1077944384 1178 0 0 0 8 8 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649636301712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26790] ppid=26785 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26790/stat : 26790 (java) S 26785 26785 7621 0 -1 1077944384 467 0 0 0 11 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649635248912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26791] ppid=26785 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26791/stat : 26791 (java) S 26785 26785 7621 0 -1 1077944384 485 0 0 0 10 9 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649634196624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26792] ppid=26785 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26792/stat : 26792 (java) S 26785 26785 7621 0 -1 1077944384 386 0 0 0 11 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649633143824 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26793] ppid=26785 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26793/stat : 26793 (java) S 26785 26785 7621 0 -1 1077944384 893 0 0 0 11 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649632090512 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26794] ppid=26785 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26794/stat : 26794 (java) S 26785 26785 7621 0 -1 1077944384 1260 0 0 0 11 7 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649631037712 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26795] ppid=26785 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26795/stat : 26795 (java) S 26785 26785 7621 0 -1 1077944384 353 0 0 0 10 10 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649629985424 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26796] ppid=26785 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26796/stat : 26796 (java) S 26785 26785 7621 0 -1 1077944384 1436 0 0 0 10 9 0 0 20 0 28 0 3839751 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649628932624 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26797] ppid=26785 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26797/stat : 26797 (java) S 26785 26785 7621 0 -1 1077944384 3294 0 0 0 4 3 0 0 20 0 28 0 3839753 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649163872880 139650037168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26798] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26798/stat : 26798 (java) S 26785 26785 7621 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649162818912 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26799] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26799/stat : 26799 (java) S 26785 26785 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3839754 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649161766528 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26800] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26800/stat : 26800 (java) S 26785 26785 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649160714832 139650037176219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26801] ppid=26785 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26801/stat : 26801 (java) S 26785 26785 7621 0 -1 1077944384 8734 0 0 0 214 2 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649159661680 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26802] ppid=26785 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26802/stat : 26802 (java) S 26785 26785 7621 0 -1 1077944384 6537 0 0 0 217 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649158608880 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26803] ppid=26785 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26803/stat : 26803 (java) S 26785 26785 7621 0 -1 1077944384 5573 0 0 0 217 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649157556592 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26804] ppid=26785 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26804/stat : 26804 (java) S 26785 26785 7621 0 -1 1077944384 4934 0 0 0 92 1 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649156503792 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26805] ppid=26785 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26805/stat : 26805 (java) S 26785 26785 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3839758 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649155451744 139650037167829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26806] ppid=26785 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26806/stat : 26806 (java) S 26785 26785 7621 0 -1 1077944384 878 0 0 0 6 6 0 0 20 0 28 0 3839759 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649154399024 139650037168770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26807] ppid=26785 vsize=13801768 CPUtime=269.13 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26807/stat : 26807 (java) R 26785 26785 7621 0 -1 4202560 1813 0 0 0 26908 5 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649146386704 139649676537495 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26808] ppid=26785 vsize=13801768 CPUtime=269.35 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26808/stat : 26808 (java) R 26785 26785 7621 0 -1 4202560 870 0 0 0 26932 3 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649145332232 139649677119825 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26809] ppid=26785 vsize=13801768 CPUtime=268.95 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26809/stat : 26809 (java) R 26785 26785 7621 0 -1 4202560 3276 0 0 0 26884 11 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649144278920 139649676537399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26810] ppid=26785 vsize=13801768 CPUtime=268.95 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26810/stat : 26810 (java) R 26785 26785 7621 0 -1 4202560 3070 0 0 0 26886 9 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649143226120 139649677140235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26811] ppid=26785 vsize=13801768 CPUtime=268.14 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26811/stat : 26811 (java) R 26785 26785 7621 0 -1 4202560 2046 0 0 0 26801 13 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649142173816 139649676537990 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26812] ppid=26785 vsize=13801768 CPUtime=267.51 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26812/stat : 26812 (java) R 26785 26785 7621 0 -1 4202560 357 0 0 0 26751 0 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649141120784 139649676944795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26813] ppid=26785 vsize=13801768 CPUtime=265.7 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26813/stat : 26813 (java) R 26785 26785 7621 0 -1 4202560 939 0 0 0 26567 3 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649140068584 139649676942816 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
[pid=26786/tid=26814] ppid=26785 vsize=13801768 CPUtime=268.29 cores=1,3,5,7,9,11,13,15
/proc/26786/task/26814/stat : 26814 (java) R 26785 26785 7621 0 -1 4202560 2568 0 0 0 26821 8 0 0 20 0 28 0 3839905 14133010432 847973 33554432000 4194304 4196468 140731593021984 139649139015944 139649676944607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140731593024700 140731593024876 140731593024876 140731593027535 0
Current children cumulated CPU time (s) 2156.88
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 271.892
CPU time (s): 2157.36
CPU user time (s): 2155.8
CPU system time (s): 1.5678
CPU usage (%): 793.463
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2155.8
system time used= 1.5678
maximum resident set size= 3426124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10716
involuntary context switches= 144766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.45392 second user time and 4.04971 second system time
The end