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-4249525-1500695156/watcher-4249525-1500695156 -o /tmp/evaluation-result-4249525-1500695156/solver-4249525-1500695156 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 295307035 HOME/instance-4249525-1500695156.xml
pid=12049
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 16.01 15.22 15.02 10/270 12052
/proc/meminfo: memFree=31701740/32770624 swapFree=5808/123748
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[startup+0.100061 s]
/proc/loadavg: 16.01 15.22 15.02 10/270 12052
/proc/meminfo: memFree=31701740/32770624 swapFree=5808/123748
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200319 s]
/proc/loadavg: 16.01 15.22 15.02 10/270 12052
/proc/meminfo: memFree=31701740/32770624 swapFree=5808/123748
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300207 s]
/proc/loadavg: 16.01 15.22 15.02 10/270 12052
/proc/meminfo: memFree=31701740/32770624 swapFree=5808/123748
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700216 s]
/proc/loadavg: 16.01 15.22 15.02 10/270 12052
/proc/meminfo: memFree=31701740/32770624 swapFree=5808/123748
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 16.01 15.22 15.02 10/291 12073
/proc/meminfo: memFree=31516356/32770624 swapFree=5808/123852
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13267208 CPUtime=2.69 cores=0,2,4,6,8,10,12,14
/proc/12053/stat : 12053 (java) S 12052 12052 15196 0 -1 1077944320 12744 0 0 0 256 13 0 0 20 0 20 0 4780700 13585620992 49711 33554432000 4194304 4196468 140727465830896 140727465813440 139810715356919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
/proc/12053/statm: 3316802 49711 3213 1 0 3304035 0
[pid=12053/tid=12054] ppid=12052 vsize=13267208 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12054/stat : 12054 (java) R 12052 12052 15196 0 -1 4202560 6516 0 0 0 141 5 0 0 20 0 20 0 4780700 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810719595544 139810694434419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12056] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810654321168 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12057] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810653268624 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12058] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810652215568 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12059] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810651163024 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12060] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15196 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810650110992 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12061] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810649058448 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12062] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810308578064 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12063] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4780701 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810307525520 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12064] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4780703 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810177014000 139810715368066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12065] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4780704 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810175960224 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12066] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4780704 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810174907120 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12067] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4780708 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810173855696 139810715375515 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12068] ppid=12052 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15196 0 -1 1077944384 957 0 0 0 21 0 0 0 20 0 20 0 4780708 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810172803824 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12069] ppid=12052 vsize=13267208 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15196 0 -1 1077944384 1242 0 0 0 27 0 0 0 20 0 20 0 4780708 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810171751280 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12070] ppid=12052 vsize=13267208 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15196 0 -1 1077944384 1111 0 0 0 27 0 0 0 20 0 20 0 4780708 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810170698224 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12071] ppid=12052 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15196 0 -1 1077944384 1448 0 0 0 32 0 0 0 20 0 20 0 4780708 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810169645680 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12072] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4780708 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810168592864 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12073] ppid=12052 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4780709 13585620992 49711 33554432000 4194304 4196468 140727465830896 139810167540400 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 13276720
[startup+3.10114 s]
/proc/loadavg: 16.01 15.22 15.02 10/291 12073
/proc/meminfo: memFree=31515224/32770624 swapFree=5808/123852
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=4.63 cores=0,2,4,6,8,10,12,14
/proc/12053/stat : 12053 (java) S 12052 12052 15196 0 -1 1077944320 13385 0 0 0 450 13 0 0 20 0 20 0 4780700 13587718144 49963 33554432000 4194304 4196468 140727465830896 140727465813440 139810715356919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
/proc/12053/statm: 3317314 49963 3217 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12054/stat : 12054 (java) R 12052 12052 15196 0 -1 4202560 6935 0 0 0 301 5 0 0 20 0 20 0 4780700 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810719592112 139810333097695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810654321168 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810653268624 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810652215568 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810651163024 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15196 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810650110992 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810649058448 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810308578064 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810307525520 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4780703 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810177014000 139810715368066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4780704 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810175960224 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4780704 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810174907120 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4780708 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810173855696 139810715375515 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12068] ppid=12052 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15196 0 -1 1077944384 988 0 0 0 30 0 0 0 20 0 20 0 4780708 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810172803824 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12069] ppid=12052 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15196 0 -1 1077944384 1271 0 0 0 37 0 0 0 20 0 20 0 4780708 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810171751280 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12070] ppid=12052 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15196 0 -1 1077944384 1140 0 0 0 36 0 0 0 20 0 20 0 4780708 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810170698224 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12071] ppid=12052 vsize=13269256 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15196 0 -1 1077944384 1548 0 0 0 39 0 0 0 20 0 20 0 4780708 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810169645680 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12072] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4780708 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810168592864 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12073] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4780709 13587718144 49963 33554432000 4194304 4196468 140727465830896 139810167540400 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 13278768
[startup+6.30138 s]
/proc/loadavg: 15.44 15.12 14.99 10/291 12073
/proc/meminfo: memFree=31511528/32770624 swapFree=5808/123852
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=7.86 cores=0,2,4,6,8,10,12,14
/proc/12053/stat : 12053 (java) S 12052 12052 15196 0 -1 1077944320 15216 0 0 0 772 14 0 0 20 0 20 0 4780700 13587718144 50079 33554432000 4194304 4196468 140727465830896 140727465813440 139810715356919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
/proc/12053/statm: 3317314 50079 3219 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12054/stat : 12054 (java) R 12052 12052 15196 0 -1 4202560 7526 0 0 0 620 5 0 0 20 0 20 0 4780700 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810719591904 139810333220246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810654321168 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810653268624 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810652215568 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810651163024 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15196 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810650110992 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810649058448 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810308578064 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4780701 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810307525520 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15196 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 4780703 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810177014000 139810715368066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4780704 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810175960224 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4780704 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810174907120 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4780708 13587718144 50079 33554432000 4194304 4196468 140727465830896 139810173855696 139810715375515 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
################
# More data... #
################
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15196 0 -1 1077944384 6394 0 0 0 83 1 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810170698224 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12071] ppid=12052 vsize=13335820 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15196 0 -1 1077944384 5191 0 0 0 59 1 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810169645680 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12072] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810168592864 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12073] ppid=12052 vsize=13335820 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15196 0 -1 1077944384 575 0 0 0 10 10 0 0 20 0 21 0 4780709 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810167540400 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12193] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12193/stat : 12193 (java) S 12052 12052 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4814834 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810160028736 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
Current children cumulated CPU time (s) 532.03
Current children cumulated vsize (KiB) 13345332
[startup+343.301 s]
/proc/loadavg: 10.94 11.38 13.28 10/294 12193
/proc/meminfo: memFree=17333260/32770624 swapFree=5808/124340
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13335820 CPUtime=537.5 cores=0,2,4,6,8,10,12,14
/proc/12053/stat : 12053 (java) S 12052 12052 15196 0 -1 1077944320 166061 0 0 0 49743 4007 0 0 20 0 21 0 4780700 13655879680 2666550 33554432000 4194304 4196468 140727465830896 140727465813440 139810715356919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
/proc/12053/statm: 3333955 2666550 3277 1 0 3321188 0
[pid=12053/tid=12054] ppid=12052 vsize=13335820 CPUtime=304.04 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12054/stat : 12054 (java) S 12052 12052 15196 0 -1 1077944384 19419 0 0 0 30392 12 0 0 20 0 21 0 4780700 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810719597600 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12056] ppid=12052 vsize=13335820 CPUtime=27.46 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15196 0 -1 1077944384 6415 0 0 0 2238 508 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810654321168 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12057] ppid=12052 vsize=13335820 CPUtime=26.99 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15196 0 -1 1077944384 16900 0 0 0 2206 493 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810653268624 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12058] ppid=12052 vsize=13335820 CPUtime=27.52 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15196 0 -1 1077944384 9673 0 0 0 2264 488 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810652215568 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12059] ppid=12052 vsize=13335820 CPUtime=27.3 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15196 0 -1 1077944384 9423 0 0 0 2219 511 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810651163024 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12060] ppid=12052 vsize=13335820 CPUtime=27.41 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15196 0 -1 1077944384 11893 0 0 0 2241 500 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810650110992 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12061] ppid=12052 vsize=13335820 CPUtime=27.4 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15196 0 -1 1077944384 10186 0 0 0 2257 483 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810649058448 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12062] ppid=12052 vsize=13335820 CPUtime=27.29 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15196 0 -1 1077944384 12784 0 0 0 2243 486 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810308578064 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12063] ppid=12052 vsize=13335820 CPUtime=27.4 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15196 0 -1 1077944384 11224 0 0 0 2239 501 0 0 20 0 21 0 4780701 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810307525520 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12064] ppid=12052 vsize=13335820 CPUtime=11.21 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12064/stat : 12064 (java) R 12052 12052 15196 0 -1 4202560 32553 0 0 0 1117 4 0 0 20 0 21 0 4780703 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810177012432 139810700353300 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12065] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15196 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 21 0 4780704 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810175960288 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12066] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15196 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 21 0 4780704 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810174907136 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12067] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810173855696 139810715375515 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12068] ppid=12052 vsize=13335820 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15196 0 -1 1077944384 5937 0 0 0 80 1 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810172803824 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12069] ppid=12052 vsize=13335820 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15196 0 -1 1077944384 5977 0 0 0 87 1 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810171751280 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12070] ppid=12052 vsize=13335820 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15196 0 -1 1077944384 6394 0 0 0 83 1 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810170698224 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12071] ppid=12052 vsize=13335820 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15196 0 -1 1077944384 5191 0 0 0 59 1 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810169645680 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12072] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810168592864 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12073] ppid=12052 vsize=13335820 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15196 0 -1 1077944384 575 0 0 0 10 10 0 0 20 0 21 0 4780709 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810167540400 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12193] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12193/stat : 12193 (java) S 12052 12052 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4814834 13655879680 2666550 33554432000 4194304 4196468 140727465830896 139810160028736 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
Current children cumulated CPU time (s) 537.5
Current children cumulated vsize (KiB) 13345332
[startup+343.701 s]
/proc/loadavg: 10.94 11.38 13.28 10/294 12193
/proc/meminfo: memFree=17333260/32770624 swapFree=5808/124340
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13335820 CPUtime=537.9 cores=0,2,4,6,8,10,12,14
/proc/12053/stat : 12053 (java) S 12052 12052 15196 0 -1 1077944320 166111 0 0 0 49783 4007 0 0 20 0 21 0 4780700 13655879680 2666566 33554432000 4194304 4196468 140727465830896 140727465813440 139810715356919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
/proc/12053/statm: 3333955 2666566 3277 1 0 3321188 0
[pid=12053/tid=12054] ppid=12052 vsize=13335820 CPUtime=304.04 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12054/stat : 12054 (java) S 12052 12052 15196 0 -1 1077944384 19419 0 0 0 30392 12 0 0 20 0 21 0 4780700 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810719597600 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12056] ppid=12052 vsize=13335820 CPUtime=27.46 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15196 0 -1 1077944384 6415 0 0 0 2238 508 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810654321168 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12057] ppid=12052 vsize=13335820 CPUtime=26.99 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15196 0 -1 1077944384 16900 0 0 0 2206 493 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810653268624 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12058] ppid=12052 vsize=13335820 CPUtime=27.52 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15196 0 -1 1077944384 9673 0 0 0 2264 488 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810652215568 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12059] ppid=12052 vsize=13335820 CPUtime=27.3 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15196 0 -1 1077944384 9423 0 0 0 2219 511 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810651163024 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12060] ppid=12052 vsize=13335820 CPUtime=27.41 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15196 0 -1 1077944384 11893 0 0 0 2241 500 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810650110992 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12061] ppid=12052 vsize=13335820 CPUtime=27.4 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15196 0 -1 1077944384 10186 0 0 0 2257 483 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810649058448 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12062] ppid=12052 vsize=13335820 CPUtime=27.29 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15196 0 -1 1077944384 12784 0 0 0 2243 486 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810308578064 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12063] ppid=12052 vsize=13335820 CPUtime=27.4 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15196 0 -1 1077944384 11224 0 0 0 2239 501 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810307525520 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12064] ppid=12052 vsize=13335820 CPUtime=11.6 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12064/stat : 12064 (java) R 12052 12052 15196 0 -1 4202560 32603 0 0 0 1156 4 0 0 20 0 21 0 4780703 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810177012432 139810700353264 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12065] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15196 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 21 0 4780704 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810175960288 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12066] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15196 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 21 0 4780704 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810174907136 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12067] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810173855696 139810715375515 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12068] ppid=12052 vsize=13335820 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15196 0 -1 1077944384 5937 0 0 0 80 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810172803824 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12069] ppid=12052 vsize=13335820 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15196 0 -1 1077944384 5977 0 0 0 87 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810171751280 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12070] ppid=12052 vsize=13335820 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15196 0 -1 1077944384 6394 0 0 0 83 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810170698224 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12071] ppid=12052 vsize=13335820 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15196 0 -1 1077944384 5191 0 0 0 59 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810169645680 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12072] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810168592864 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12073] ppid=12052 vsize=13335820 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15196 0 -1 1077944384 575 0 0 0 10 10 0 0 20 0 21 0 4780709 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810167540400 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12193] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12193/stat : 12193 (java) S 12052 12052 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4814834 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810160028736 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
Current children cumulated CPU time (s) 537.9
Current children cumulated vsize (KiB) 13345332
[startup+343.801 s]
/proc/loadavg: 10.94 11.38 13.28 10/294 12193
/proc/meminfo: memFree=17333260/32770624 swapFree=5808/124340
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4780700 9740288 346 33554432000 4194304 5098028 140727646046032 140727646044136 140603089613436 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 24068096 140727646053519 140727646053728 140727646053728 140727646056427 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13335820 CPUtime=538 cores=0,2,4,6,8,10,12,14
/proc/12053/stat : 12053 (java) S 12052 12052 15196 0 -1 1077944320 166111 0 0 0 49793 4007 0 0 20 0 21 0 4780700 13655879680 2666566 33554432000 4194304 4196468 140727465830896 140727465813440 139810715356919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
/proc/12053/statm: 3333955 2666566 3277 1 0 3321188 0
[pid=12053/tid=12054] ppid=12052 vsize=13335820 CPUtime=304.04 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12054/stat : 12054 (java) S 12052 12052 15196 0 -1 1077944384 19419 0 0 0 30392 12 0 0 20 0 21 0 4780700 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810719597600 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12056] ppid=12052 vsize=13335820 CPUtime=27.46 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15196 0 -1 1077944384 6415 0 0 0 2238 508 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810654321168 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12057] ppid=12052 vsize=13335820 CPUtime=26.99 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15196 0 -1 1077944384 16900 0 0 0 2206 493 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810653268624 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12058] ppid=12052 vsize=13335820 CPUtime=27.52 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15196 0 -1 1077944384 9673 0 0 0 2264 488 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810652215568 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12059] ppid=12052 vsize=13335820 CPUtime=27.3 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15196 0 -1 1077944384 9423 0 0 0 2219 511 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810651163024 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12060] ppid=12052 vsize=13335820 CPUtime=27.41 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15196 0 -1 1077944384 11893 0 0 0 2241 500 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810650110992 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12061] ppid=12052 vsize=13335820 CPUtime=27.4 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15196 0 -1 1077944384 10186 0 0 0 2257 483 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810649058448 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12062] ppid=12052 vsize=13335820 CPUtime=27.29 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15196 0 -1 1077944384 12784 0 0 0 2243 486 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810308578064 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12063] ppid=12052 vsize=13335820 CPUtime=27.4 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15196 0 -1 1077944384 11224 0 0 0 2239 501 0 0 20 0 21 0 4780701 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810307525520 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12064] ppid=12052 vsize=13335820 CPUtime=11.7 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12064/stat : 12064 (java) R 12052 12052 15196 0 -1 4202560 32603 0 0 0 1166 4 0 0 20 0 21 0 4780703 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810177012432 139810693727080 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12065] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15196 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 21 0 4780704 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810175960288 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12066] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15196 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 21 0 4780704 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810174907136 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12067] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810173855696 139810715375515 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12068] ppid=12052 vsize=13335820 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15196 0 -1 1077944384 5937 0 0 0 80 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810172803824 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12069] ppid=12052 vsize=13335820 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15196 0 -1 1077944384 5977 0 0 0 87 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810171751280 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12070] ppid=12052 vsize=13335820 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15196 0 -1 1077944384 6394 0 0 0 83 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810170698224 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12071] ppid=12052 vsize=13335820 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15196 0 -1 1077944384 5191 0 0 0 59 1 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810169645680 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12072] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4780708 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810168592864 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12073] ppid=12052 vsize=13335820 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15196 0 -1 1077944384 575 0 0 0 10 10 0 0 20 0 21 0 4780709 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810167540400 139810715368066 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
[pid=12053/tid=12193] ppid=12052 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12053/task/12193/stat : 12193 (java) S 12052 12052 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4814834 13655879680 2666566 33554432000 4194304 4196468 140727465830896 139810160028736 139810715367125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32239616 140727465837756 140727465837932 140727465837932 140727465840591 0
Current children cumulated CPU time (s) 538
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 343.894
CPU time (s): 538.065
CPU user time (s): 497.951
CPU system time (s): 40.1139
CPU usage (%): 156.462
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.951
system time used= 40.1139
maximum resident set size= 10666628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14274
involuntary context switches= 36337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.991 second user time and 3.36425 second system time
The end