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-4249149-1500693745/watcher-4249149-1500693745 -o /tmp/evaluation-result-4249149-1500693745/solver-4249149-1500693745 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1217765256 HOME/instance-4249149-1500693745.xml
pid=9757
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.03 15.17 14.66 10/271 9760
/proc/meminfo: memFree=30039548/32770624 swapFree=5892/127476
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
[startup+0.100131 s]
/proc/loadavg: 16.03 15.17 14.66 10/271 9760
/proc/meminfo: memFree=30039548/32770624 swapFree=5892/127476
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200321 s]
/proc/loadavg: 16.03 15.17 14.66 10/271 9760
/proc/meminfo: memFree=30039548/32770624 swapFree=5892/127476
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300297 s]
/proc/loadavg: 16.03 15.17 14.66 10/271 9760
/proc/meminfo: memFree=30039548/32770624 swapFree=5892/127476
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700202 s]
/proc/loadavg: 16.03 15.17 14.66 10/271 9760
/proc/meminfo: memFree=30039548/32770624 swapFree=5892/127476
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 16.03 15.17 14.66 10/292 9781
/proc/meminfo: memFree=29968848/32770624 swapFree=5892/127844
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
[pid=9761] ppid=9760 vsize=13267208 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/9761/stat : 9761 (java) S 9760 9760 15667 0 -1 1077944320 13865 0 0 0 266 5 0 0 20 0 20 0 4644162 13585620992 28900 33554432000 4194304 4196468 140723987398080 140723987380624 140282457636599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
/proc/9761/statm: 3316802 28900 3201 1 0 3304035 0
[pid=9761/tid=9762] ppid=9760 vsize=13267208 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9762/stat : 9762 (java) R 9760 9760 15667 0 -1 4202560 6460 0 0 0 144 3 0 0 20 0 20 0 4644163 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282461872712 140282097185670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9764] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9764/stat : 9764 (java) S 9760 9760 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282425195536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9765] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9765/stat : 9765 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282055298192 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9766] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9766/stat : 9766 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282054245136 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9767] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9767/stat : 9767 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282053192592 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9768] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9768/stat : 9768 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282052139536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9769] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9769/stat : 9769 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282051086992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9770] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9770/stat : 9770 (java) S 9760 9760 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282050033936 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9771] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9771/stat : 9771 (java) S 9760 9760 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4644164 13585620992 28900 33554432000 4194304 4196468 140723987398080 140282048981392 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9772] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9772/stat : 9772 (java) S 9760 9760 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4644166 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281122437872 140282457647746 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9773] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9773/stat : 9773 (java) S 9760 9760 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4644167 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281121384096 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9774] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9774/stat : 9774 (java) S 9760 9760 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4644167 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281120330992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9775] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9775/stat : 9775 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281119279568 140282457655195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9776] ppid=9760 vsize=13267208 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9776/stat : 9776 (java) S 9760 9760 15667 0 -1 1077944384 1643 0 0 0 31 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281118226672 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9777] ppid=9760 vsize=13267208 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9777/stat : 9777 (java) S 9760 9760 15667 0 -1 1077944384 1171 0 0 0 26 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281117174128 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9778] ppid=9760 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9778/stat : 9778 (java) S 9760 9760 15667 0 -1 1077944384 1352 0 0 0 30 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281116121072 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9779] ppid=9760 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9779/stat : 9779 (java) S 9760 9760 15667 0 -1 1077944384 1923 0 0 0 33 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281115068528 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9780] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9780/stat : 9780 (java) S 9760 9760 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281114016736 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9781] ppid=9760 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9781/stat : 9781 (java) S 9760 9760 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4644172 13585620992 28900 33554432000 4194304 4196468 140723987398080 140281112964272 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 13276720
[startup+3.10094 s]
/proc/loadavg: 16.03 15.17 14.66 10/292 9781
/proc/meminfo: memFree=29928000/32770624 swapFree=5892/127844
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
[pid=9761] ppid=9760 vsize=13269256 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/9761/stat : 9761 (java) S 9760 9760 15667 0 -1 1077944320 20977 0 0 0 481 47 0 0 20 0 20 0 4644162 13587718144 65156 33554432000 4194304 4196468 140723987398080 140723987380624 140282457636599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
/proc/9761/statm: 3317314 65156 3228 1 0 3304547 0
[pid=9761/tid=9762] ppid=9760 vsize=13269256 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9762/stat : 9762 (java) R 9760 9760 15667 0 -1 4202560 8798 0 0 0 294 5 0 0 20 0 20 0 4644163 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282461872440 140282097185670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9764] ppid=9760 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9764/stat : 9764 (java) S 9760 9760 15667 0 -1 1077944384 47 0 0 0 2 4 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282425195536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9765] ppid=9760 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9765/stat : 9765 (java) S 9760 9760 15667 0 -1 1077944384 70 0 0 0 2 4 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282055298192 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9766] ppid=9760 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9766/stat : 9766 (java) S 9760 9760 15667 0 -1 1077944384 73 0 0 0 1 4 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282054245136 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9767] ppid=9760 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9767/stat : 9767 (java) S 9760 9760 15667 0 -1 1077944384 72 0 0 0 2 5 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282053192592 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9768] ppid=9760 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9768/stat : 9768 (java) S 9760 9760 15667 0 -1 1077944384 178 0 0 0 2 4 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282052139536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9769] ppid=9760 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9769/stat : 9769 (java) S 9760 9760 15667 0 -1 1077944384 121 0 0 0 2 5 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282051086992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9770] ppid=9760 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9770/stat : 9770 (java) S 9760 9760 15667 0 -1 1077944384 54 0 0 0 2 4 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282050033936 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9771] ppid=9760 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9771/stat : 9771 (java) S 9760 9760 15667 0 -1 1077944384 84 0 0 0 2 5 0 0 20 0 20 0 4644164 13587718144 65156 33554432000 4194304 4196468 140723987398080 140282048981392 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9772] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9772/stat : 9772 (java) S 9760 9760 15667 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 20 0 4644166 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281122437872 140282457647746 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9773] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9773/stat : 9773 (java) S 9760 9760 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4644167 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281121384096 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9774] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9774/stat : 9774 (java) S 9760 9760 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4644167 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281120330992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9775] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9775/stat : 9775 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281119279568 140282457655195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9776] ppid=9760 vsize=13269256 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9776/stat : 9776 (java) S 9760 9760 15667 0 -1 1077944384 2607 0 0 0 44 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281118226672 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9777] ppid=9760 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9777/stat : 9777 (java) S 9760 9760 15667 0 -1 1077944384 2035 0 0 0 38 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281117174128 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9778] ppid=9760 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9778/stat : 9778 (java) S 9760 9760 15667 0 -1 1077944384 2160 0 0 0 43 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281116121072 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9779] ppid=9760 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9779/stat : 9779 (java) S 9760 9760 15667 0 -1 1077944384 3099 0 0 0 40 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281115068528 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9780] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9780/stat : 9780 (java) S 9760 9760 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281114016736 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9781] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9781/stat : 9781 (java) S 9760 9760 15667 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4644172 13587718144 65156 33554432000 4194304 4196468 140723987398080 140281112964272 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 13278768
[startup+6.30097 s]
/proc/loadavg: 15.78 15.14 14.65 10/292 9781
/proc/meminfo: memFree=29716352/32770624 swapFree=5892/127856
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
[pid=9761] ppid=9760 vsize=13269256 CPUtime=10.67 cores=0,2,4,6,8,10,12,14
/proc/9761/stat : 9761 (java) S 9760 9760 15667 0 -1 1077944320 28473 0 0 0 932 135 0 0 20 0 20 0 4644162 13587718144 106327 33554432000 4194304 4196468 140723987398080 140723987380624 140282457636599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
/proc/9761/statm: 3317314 106327 3234 1 0 3304547 0
[pid=9761/tid=9762] ppid=9760 vsize=13269256 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9762/stat : 9762 (java) R 9760 9760 15667 0 -1 4202560 8859 0 0 0 599 5 0 0 20 0 20 0 4644163 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282461871832 140282097185701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9764] ppid=9760 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9764/stat : 9764 (java) S 9760 9760 15667 0 -1 1077944384 175 0 0 0 5 15 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282425195536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9765] ppid=9760 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9765/stat : 9765 (java) S 9760 9760 15667 0 -1 1077944384 174 0 0 0 5 15 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282055298192 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9766] ppid=9760 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9766/stat : 9766 (java) S 9760 9760 15667 0 -1 1077944384 198 0 0 0 5 15 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282054245136 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9767] ppid=9760 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9767/stat : 9767 (java) S 9760 9760 15667 0 -1 1077944384 195 0 0 0 5 16 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282053192592 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9768] ppid=9760 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9768/stat : 9768 (java) S 9760 9760 15667 0 -1 1077944384 276 0 0 0 6 16 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282052139536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9769] ppid=9760 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9769/stat : 9769 (java) S 9760 9760 15667 0 -1 1077944384 222 0 0 0 5 16 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282051086992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9770] ppid=9760 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9770/stat : 9770 (java) S 9760 9760 15667 0 -1 1077944384 154 0 0 0 6 15 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282050033936 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9771] ppid=9760 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9771/stat : 9771 (java) S 9760 9760 15667 0 -1 1077944384 182 0 0 0 6 15 0 0 20 0 20 0 4644164 13587718144 106327 33554432000 4194304 4196468 140723987398080 140282048981392 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9772] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9772/stat : 9772 (java) S 9760 9760 15667 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 20 0 4644166 13587718144 106327 33554432000 4194304 4196468 140723987398080 140281122437872 140282457647746 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9773] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9773/stat : 9773 (java) S 9760 9760 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4644167 13587718144 106327 33554432000 4194304 4196468 140723987398080 140281121384160 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9774] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9774/stat : 9774 (java) S 9760 9760 15667 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4644167 13587718144 106327 33554432000 4194304 4196468 140723987398080 140281120331008 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9775] ppid=9760 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9775/stat : 9775 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4644172 13587718144 106327 33554432000 4194304 4196468 140723987398080 140281119279568 140282457655195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
################
# More data... #
################
/proc/9761/task/9773/stat : 9773 (java) S 9760 9760 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4644167 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281121384160 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9774] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9774/stat : 9774 (java) S 9760 9760 15667 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4644167 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281120331008 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9775] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9775/stat : 9775 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281119279568 140282457655195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9776] ppid=9760 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9776/stat : 9776 (java) S 9760 9760 15667 0 -1 1077944384 9837 0 0 0 275 1 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281118226672 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9777] ppid=9760 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9777/stat : 9777 (java) S 9760 9760 15667 0 -1 1077944384 5638 0 0 0 210 1 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281117174128 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9778] ppid=9760 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9778/stat : 9778 (java) S 9760 9760 15667 0 -1 1077944384 9099 0 0 0 275 1 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281116121072 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9779] ppid=9760 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9779/stat : 9779 (java) S 9760 9760 15667 0 -1 1077944384 5425 0 0 0 85 2 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281115068528 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9780] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9780/stat : 9780 (java) S 9760 9760 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281114016736 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9781] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9781/stat : 9781 (java) S 9760 9760 15667 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281112964272 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9782] ppid=9760 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9782/stat : 9782 (java) R 9760 9760 15667 0 -1 4202560 295 0 0 0 207 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281104948904 140282100846026 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9783] ppid=9760 vsize=13801768 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9783/stat : 9783 (java) R 9760 9760 15667 0 -1 4202560 143 0 0 0 221 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281103897336 140282100371735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9784] ppid=9760 vsize=13801768 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9784/stat : 9784 (java) R 9760 9760 15667 0 -1 4202560 324 0 0 0 227 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281102845712 140282100200104 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9785] ppid=9760 vsize=13801768 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9785/stat : 9785 (java) R 9760 9760 15667 0 -1 4202560 301 0 0 0 222 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281101793448 140282100200034 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9786] ppid=9760 vsize=13801768 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9786/stat : 9786 (java) R 9760 9760 15667 0 -1 4202560 152 0 0 0 234 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281100737704 140282100201049 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9787] ppid=9760 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9787/stat : 9787 (java) R 9760 9760 15667 0 -1 4202560 166 0 0 0 219 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281099686224 140282100328933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9788] ppid=9760 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9788/stat : 9788 (java) R 9760 9760 15667 0 -1 4202560 257 0 0 0 200 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281098633992 140282100373421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9789] ppid=9760 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9789/stat : 9789 (java) R 9760 9760 15667 0 -1 4202560 169 0 0 0 197 0 0 0 20 0 28 0 4645637 14133010432 200867 33554432000 4194304 4196468 140723987398080 140281097581800 140282100201555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
Current children cumulated CPU time (s) 44.34
Current children cumulated vsize (KiB) 13811280
[startup+18.0014 s]
/proc/loadavg: 14.81 14.95 14.59 17/300 9789
/proc/meminfo: memFree=29492956/32770624 swapFree=5892/127864
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
[pid=9761] ppid=9760 vsize=13801768 CPUtime=47.22 cores=0,2,4,6,8,10,12,14
/proc/9761/stat : 9761 (java) S 9760 9760 15667 0 -1 1077944320 73090 0 0 0 4387 335 0 0 20 0 28 0 4644162 14133010432 235099 33554432000 4194304 4196468 140723987398080 140723987380624 140282457636599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
/proc/9761/statm: 3450442 235099 3274 1 0 3437675 0
[pid=9761/tid=9762] ppid=9760 vsize=13801768 CPUtime=14.1 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9762/stat : 9762 (java) S 9760 9760 15667 0 -1 1077944384 11142 0 0 0 1403 7 0 0 20 0 28 0 4644163 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282461877376 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9764] ppid=9760 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9764/stat : 9764 (java) S 9760 9760 15667 0 -1 1077944384 3239 0 0 0 37 40 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282425195536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9765] ppid=9760 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9765/stat : 9765 (java) S 9760 9760 15667 0 -1 1077944384 1553 0 0 0 34 39 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282055298192 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9766] ppid=9760 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9766/stat : 9766 (java) S 9760 9760 15667 0 -1 1077944384 2742 0 0 0 36 40 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282054245136 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9767] ppid=9760 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9767/stat : 9767 (java) S 9760 9760 15667 0 -1 1077944384 2858 0 0 0 36 39 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282053192592 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9768] ppid=9760 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9768/stat : 9768 (java) S 9760 9760 15667 0 -1 1077944384 3192 0 0 0 38 38 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282052139536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9769] ppid=9760 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9769/stat : 9769 (java) S 9760 9760 15667 0 -1 1077944384 3289 0 0 0 36 41 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282051086992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9770] ppid=9760 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9770/stat : 9770 (java) S 9760 9760 15667 0 -1 1077944384 2266 0 0 0 36 39 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282050033936 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9771] ppid=9760 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9771/stat : 9771 (java) S 9760 9760 15667 0 -1 1077944384 2599 0 0 0 38 39 0 0 20 0 28 0 4644164 14133010432 235099 33554432000 4194304 4196468 140723987398080 140282048981392 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9772] ppid=9760 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9772/stat : 9772 (java) S 9760 9760 15667 0 -1 1077944384 5090 0 0 0 8 0 0 0 20 0 28 0 4644166 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281122437872 140282457647746 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9773] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9773/stat : 9773 (java) S 9760 9760 15667 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4644167 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281121384160 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9774] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9774/stat : 9774 (java) S 9760 9760 15667 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 4644167 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281120331008 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9775] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9775/stat : 9775 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281119279568 140282457655195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9776] ppid=9760 vsize=13801768 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9776/stat : 9776 (java) S 9760 9760 15667 0 -1 1077944384 9837 0 0 0 276 1 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281118226672 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9777] ppid=9760 vsize=13801768 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9777/stat : 9777 (java) S 9760 9760 15667 0 -1 1077944384 5658 0 0 0 215 1 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281117174128 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9778] ppid=9760 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9778/stat : 9778 (java) S 9760 9760 15667 0 -1 1077944384 9105 0 0 0 277 1 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281116121072 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9779] ppid=9760 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9779/stat : 9779 (java) S 9760 9760 15667 0 -1 1077944384 5425 0 0 0 85 2 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281115068528 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9780] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9780/stat : 9780 (java) S 9760 9760 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281114016736 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9781] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9781/stat : 9781 (java) S 9760 9760 15667 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281112964272 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9782] ppid=9760 vsize=13801768 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9782/stat : 9782 (java) R 9760 9760 15667 0 -1 4202560 322 0 0 0 220 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281104948264 140282100201084 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9783] ppid=9760 vsize=13801768 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9783/stat : 9783 (java) R 9760 9760 15667 0 -1 4202560 158 0 0 0 234 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281103896920 140282100201555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9784] ppid=9760 vsize=13801768 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9784/stat : 9784 (java) R 9760 9760 15667 0 -1 4202560 1231 0 0 0 239 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281102843640 140282100373628 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9785] ppid=9760 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9785/stat : 9785 (java) R 9760 9760 15667 0 -1 4202560 314 0 0 0 232 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281101791096 140282099463021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9786] ppid=9760 vsize=13801768 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9786/stat : 9786 (java) R 9760 9760 15667 0 -1 4202560 159 0 0 0 247 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281100738016 140282100375072 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9787] ppid=9760 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9787/stat : 9787 (java) R 9760 9760 15667 0 -1 4202560 583 0 0 0 232 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281099685512 140282100201805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9788] ppid=9760 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9788/stat : 9788 (java) R 9760 9760 15667 0 -1 4202560 269 0 0 0 213 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281098633848 140282100846964 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9789] ppid=9760 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9789/stat : 9789 (java) R 9760 9760 15667 0 -1 4202560 189 0 0 0 207 0 0 0 20 0 28 0 4645637 14133010432 235099 33554432000 4194304 4196468 140723987398080 140281097581160 140282100721913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
Current children cumulated CPU time (s) 47.22
Current children cumulated vsize (KiB) 13811280
[startup+18.2015 s]
/proc/loadavg: 14.81 14.95 14.59 17/300 9789
/proc/meminfo: memFree=29492956/32770624 swapFree=5892/127864
[pid=9760] ppid=9757 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9760/stat : 9760 (xcsp3-exec) S 9757 9760 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4644162 9740288 346 33554432000 4194304 5098028 140725412878384 140725412876488 140086931034748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 7823360 140725412885646 140725412885856 140725412885856 140725412888555 0
/proc/9760/statm: 2378 346 289 221 0 87 0
[pid=9761] ppid=9760 vsize=13801768 CPUtime=48.82 cores=0,2,4,6,8,10,12,14
/proc/9761/stat : 9761 (java) S 9760 9760 15667 0 -1 1077944320 73610 0 0 0 4547 335 0 0 20 0 28 0 4644162 14133010432 235100 33554432000 4194304 4196468 140723987398080 140723987380624 140282457636599 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
/proc/9761/statm: 3450442 235100 3274 1 0 3437675 0
[pid=9761/tid=9762] ppid=9760 vsize=13801768 CPUtime=14.1 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9762/stat : 9762 (java) S 9760 9760 15667 0 -1 1077944384 11142 0 0 0 1403 7 0 0 20 0 28 0 4644163 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282461877376 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9764] ppid=9760 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9764/stat : 9764 (java) S 9760 9760 15667 0 -1 1077944384 3239 0 0 0 37 40 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282425195536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9765] ppid=9760 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9765/stat : 9765 (java) S 9760 9760 15667 0 -1 1077944384 1553 0 0 0 34 39 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282055298192 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9766] ppid=9760 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9766/stat : 9766 (java) S 9760 9760 15667 0 -1 1077944384 2742 0 0 0 36 40 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282054245136 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9767] ppid=9760 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9767/stat : 9767 (java) S 9760 9760 15667 0 -1 1077944384 2858 0 0 0 36 39 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282053192592 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9768] ppid=9760 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9768/stat : 9768 (java) S 9760 9760 15667 0 -1 1077944384 3192 0 0 0 38 38 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282052139536 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9769] ppid=9760 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9769/stat : 9769 (java) S 9760 9760 15667 0 -1 1077944384 3289 0 0 0 36 41 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282051086992 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9770] ppid=9760 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9770/stat : 9770 (java) S 9760 9760 15667 0 -1 1077944384 2266 0 0 0 36 39 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282050033936 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9771] ppid=9760 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9771/stat : 9771 (java) S 9760 9760 15667 0 -1 1077944384 2599 0 0 0 38 39 0 0 20 0 28 0 4644164 14133010432 235100 33554432000 4194304 4196468 140723987398080 140282048981392 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9772] ppid=9760 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9772/stat : 9772 (java) S 9760 9760 15667 0 -1 1077944384 5090 0 0 0 8 0 0 0 20 0 28 0 4644166 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281122437872 140282457647746 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9773] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9773/stat : 9773 (java) S 9760 9760 15667 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4644167 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281121384160 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9774] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9774/stat : 9774 (java) S 9760 9760 15667 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 4644167 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281120331008 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9775] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9775/stat : 9775 (java) S 9760 9760 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281119279568 140282457655195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9776] ppid=9760 vsize=13801768 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9776/stat : 9776 (java) S 9760 9760 15667 0 -1 1077944384 9855 0 0 0 277 1 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281118226672 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9777] ppid=9760 vsize=13801768 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9777/stat : 9777 (java) S 9760 9760 15667 0 -1 1077944384 5658 0 0 0 215 1 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281117174128 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9778] ppid=9760 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9778/stat : 9778 (java) R 9760 9760 15667 0 -1 4202560 9106 0 0 0 278 1 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281116121072 140282441133130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9779] ppid=9760 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9779/stat : 9779 (java) S 9760 9760 15667 0 -1 1077944384 5425 0 0 0 85 2 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281115068528 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9780] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9780/stat : 9780 (java) S 9760 9760 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281114016736 140282457646805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9781] ppid=9760 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9781/stat : 9781 (java) S 9760 9760 15667 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 28 0 4644172 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281112964272 140282457647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9782] ppid=9760 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9782/stat : 9782 (java) R 9760 9760 15667 0 -1 4202560 323 0 0 0 240 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281104948552 140282100201555 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9783] ppid=9760 vsize=13801768 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9783/stat : 9783 (java) R 9760 9760 15667 0 -1 4202560 158 0 0 0 252 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281103896920 140282100373673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9784] ppid=9760 vsize=13801768 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9784/stat : 9784 (java) R 9760 9760 15667 0 -1 4202560 1568 0 0 0 259 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281102844112 140282100201805 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9785] ppid=9760 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9785/stat : 9785 (java) R 9760 9760 15667 0 -1 4202560 314 0 0 0 251 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281101791096 140282099463187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9786] ppid=9760 vsize=13801768 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9786/stat : 9786 (java) R 9760 9760 15667 0 -1 4202560 159 0 0 0 267 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281100738016 140282100200739 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9787] ppid=9760 vsize=13801768 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9787/stat : 9787 (java) R 9760 9760 15667 0 -1 4202560 740 0 0 0 252 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281099685512 140282100201687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9788] ppid=9760 vsize=13801768 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9788/stat : 9788 (java) R 9760 9760 15667 0 -1 4202560 269 0 0 0 232 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281098633848 140282100329099 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
[pid=9761/tid=9789] ppid=9760 vsize=13801768 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/9761/task/9789/stat : 9789 (java) R 9760 9760 15667 0 -1 4202560 195 0 0 0 227 0 0 0 20 0 28 0 4645637 14133010432 235100 33554432000 4194304 4196468 140723987398080 140281097581160 140282100328576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30322688 140723987399868 140723987400044 140723987400044 140723987402703 0
Current children cumulated CPU time (s) 48.82
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 18.2647
CPU time (s): 49.1477
CPU user time (s): 45.773
CPU system time (s): 3.37462
CPU usage (%): 269.086
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.773
system time used= 3.37462
maximum resident set size= 940580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5835
involuntary context switches= 4041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.153312 second user time and 0.183596 second system time
The end