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-4246569-1500687655/watcher-4246569-1500687655 -o /tmp/evaluation-result-4246569-1500687655/solver-4246569-1500687655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 112248257 HOME/instance-4246569-1500687655.xml
pid=4797
running on 8 cores: 0-3,8-11
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: 11.24 13.38 14.30 10/274 4800
/proc/meminfo: memFree=26715208/32770624 swapFree=5944/247556
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
[startup+0.10014 s]
/proc/loadavg: 11.24 13.38 14.30 10/274 4800
/proc/meminfo: memFree=26715208/32770624 swapFree=5944/247556
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200347 s]
/proc/loadavg: 11.24 13.38 14.30 10/274 4800
/proc/meminfo: memFree=26715208/32770624 swapFree=5944/247556
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300285 s]
/proc/loadavg: 11.24 13.38 14.30 10/274 4800
/proc/meminfo: memFree=26715208/32770624 swapFree=5944/247556
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700243 s]
/proc/loadavg: 11.24 13.38 14.30 10/274 4800
/proc/meminfo: memFree=26715208/32770624 swapFree=5944/247556
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50089 s]
/proc/loadavg: 11.24 13.38 14.30 10/295 4821
/proc/meminfo: memFree=26520052/32770624 swapFree=5944/247640
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
[pid=4801] ppid=4800 vsize=13267208 CPUtime=3.01 cores=0-3,8-11
/proc/4801/stat : 4801 (java) S 4800 4800 18810 0 -1 1077944320 13887 0 0 0 289 12 0 0 20 0 20 0 4032641 13585620992 52349 33554432000 4194304 4196468 140737073884736 140737073867280 139803872521975 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
/proc/4801/statm: 3316802 52349 3213 1 0 3304035 0
[pid=4801/tid=4802] ppid=4800 vsize=13267208 CPUtime=1.46 cores=0-3,8-11
/proc/4801/task/4802/stat : 4802 (java) R 4800 4800 18810 0 -1 4202560 6543 0 0 0 141 5 0 0 20 0 20 0 4032642 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803876757704 139803487768743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4804] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4804/stat : 4804 (java) S 4800 4800 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4032642 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803804658704 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4805] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4805/stat : 4805 (java) S 4800 4800 18810 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4032642 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803470302352 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4806] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4806/stat : 4806 (java) S 4800 4800 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4032642 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803469249296 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4807] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4807/stat : 4807 (java) S 4800 4800 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4032643 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803468196752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4808] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4808/stat : 4808 (java) S 4800 4800 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4032643 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803467143696 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4809] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4809/stat : 4809 (java) S 4800 4800 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4032643 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803466091152 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4810] ppid=4800 vsize=13267208 CPUtime=0.01 cores=0-3,8-11
/proc/4801/task/4810/stat : 4810 (java) S 4800 4800 18810 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 4032643 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803465038096 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4811] ppid=4800 vsize=13267208 CPUtime=0.01 cores=0-3,8-11
/proc/4801/task/4811/stat : 4811 (java) S 4800 4800 18810 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 4032643 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803463985552 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4812] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4812/stat : 4812 (java) S 4800 4800 18810 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4032644 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803402005232 139803872533122 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4813] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4813/stat : 4813 (java) S 4800 4800 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4032645 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803198744224 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4814] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4814/stat : 4814 (java) S 4800 4800 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4032645 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803197691120 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4815] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4815/stat : 4815 (java) S 4800 4800 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4032649 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803196639696 139803872540571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4816] ppid=4800 vsize=13267208 CPUtime=0.37 cores=0-3,8-11
/proc/4801/task/4816/stat : 4816 (java) S 4800 4800 18810 0 -1 1077944384 1362 0 0 0 37 0 0 0 20 0 20 0 4032649 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803195586800 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4817] ppid=4800 vsize=13267208 CPUtime=0.36 cores=0-3,8-11
/proc/4801/task/4817/stat : 4817 (java) S 4800 4800 18810 0 -1 1077944384 1290 0 0 0 36 0 0 0 20 0 20 0 4032650 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803194534256 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4818] ppid=4800 vsize=13267208 CPUtime=0.37 cores=0-3,8-11
/proc/4801/task/4818/stat : 4818 (java) R 4800 4800 18810 0 -1 4202560 1547 0 0 0 37 0 0 0 20 0 20 0 4032650 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803193467744 139803853932125 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4819] ppid=4800 vsize=13267208 CPUtime=0.29 cores=0-3,8-11
/proc/4801/task/4819/stat : 4819 (java) S 4800 4800 18810 0 -1 1077944384 1679 0 0 0 29 0 0 0 20 0 20 0 4032650 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803192428656 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4820] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4820/stat : 4820 (java) S 4800 4800 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4032650 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803191376864 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4821] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4821/stat : 4821 (java) S 4800 4800 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4032650 13585620992 52349 33554432000 4194304 4196468 140737073884736 139803190324400 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 13276720
[startup+3.10098 s]
/proc/loadavg: 11.14 13.32 14.28 10/295 4821
/proc/meminfo: memFree=26518764/32770624 swapFree=5944/247656
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
[pid=4801] ppid=4800 vsize=13267208 CPUtime=4.67 cores=0-3,8-11
/proc/4801/stat : 4801 (java) S 4800 4800 18810 0 -1 1077944320 14726 0 0 0 454 13 0 0 20 0 20 0 4032641 13585620992 52406 33554432000 4194304 4196468 140737073884736 140737073867280 139803872521975 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
/proc/4801/statm: 3316802 52406 3216 1 0 3304035 0
[pid=4801/tid=4802] ppid=4800 vsize=13267208 CPUtime=3.05 cores=0-3,8-11
/proc/4801/task/4802/stat : 4802 (java) R 4800 4800 18810 0 -1 4202560 7337 0 0 0 300 5 0 0 20 0 20 0 4032642 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803876760168 139803487819142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4804] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4804/stat : 4804 (java) S 4800 4800 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4032642 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803804658704 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4805] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4805/stat : 4805 (java) S 4800 4800 18810 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4032642 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803470302352 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4806] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4806/stat : 4806 (java) S 4800 4800 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4032642 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803469249296 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4807] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4807/stat : 4807 (java) S 4800 4800 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4032643 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803468196752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4808] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4808/stat : 4808 (java) S 4800 4800 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4032643 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803467143696 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4809] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4809/stat : 4809 (java) S 4800 4800 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4032643 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803466091152 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4810] ppid=4800 vsize=13267208 CPUtime=0.01 cores=0-3,8-11
/proc/4801/task/4810/stat : 4810 (java) S 4800 4800 18810 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 4032643 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803465038096 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4811] ppid=4800 vsize=13267208 CPUtime=0.01 cores=0-3,8-11
/proc/4801/task/4811/stat : 4811 (java) S 4800 4800 18810 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 4032643 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803463985552 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4812] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4812/stat : 4812 (java) S 4800 4800 18810 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4032644 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803402005232 139803872533122 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4813] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4813/stat : 4813 (java) S 4800 4800 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4032645 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803198744224 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4814] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4814/stat : 4814 (java) S 4800 4800 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4032645 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803197691120 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4815] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4815/stat : 4815 (java) S 4800 4800 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4032649 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803196639696 139803872540571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4816] ppid=4800 vsize=13267208 CPUtime=0.39 cores=0-3,8-11
/proc/4801/task/4816/stat : 4816 (java) S 4800 4800 18810 0 -1 1077944384 1364 0 0 0 39 0 0 0 20 0 20 0 4032649 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803195586800 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4817] ppid=4800 vsize=13267208 CPUtime=0.37 cores=0-3,8-11
/proc/4801/task/4817/stat : 4817 (java) S 4800 4800 18810 0 -1 1077944384 1291 0 0 0 37 0 0 0 20 0 20 0 4032650 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803194534256 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4818] ppid=4800 vsize=13267208 CPUtime=0.37 cores=0-3,8-11
/proc/4801/task/4818/stat : 4818 (java) S 4800 4800 18810 0 -1 1077944384 1556 0 0 0 37 0 0 0 20 0 20 0 4032650 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803193481200 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4819] ppid=4800 vsize=13267208 CPUtime=0.3 cores=0-3,8-11
/proc/4801/task/4819/stat : 4819 (java) S 4800 4800 18810 0 -1 1077944384 1692 0 0 0 30 0 0 0 20 0 20 0 4032650 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803192428656 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4820] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4820/stat : 4820 (java) S 4800 4800 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4032650 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803191376864 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4821] ppid=4800 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4821/stat : 4821 (java) S 4800 4800 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4032650 13585620992 52406 33554432000 4194304 4196468 140737073884736 139803190324400 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 13276720
[startup+6.30097 s]
/proc/loadavg: 11.14 13.32 14.28 11/295 4821
/proc/meminfo: memFree=26270216/32770624 swapFree=5944/247656
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
[pid=4801] ppid=4800 vsize=13269256 CPUtime=9.01 cores=0-3,8-11
/proc/4801/stat : 4801 (java) S 4800 4800 18810 0 -1 1077944320 20338 0 0 0 846 55 0 0 20 0 20 0 4032641 13587718144 114255 33554432000 4194304 4196468 140737073884736 140737073867280 139803872521975 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
/proc/4801/statm: 3317314 114255 3230 1 0 3304547 0
[pid=4801/tid=4802] ppid=4800 vsize=13269256 CPUtime=6.1 cores=0-3,8-11
/proc/4801/task/4802/stat : 4802 (java) R 4800 4800 18810 0 -1 4202560 8797 0 0 0 604 6 0 0 20 0 20 0 4032642 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803876757640 139803487819137 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4804] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4804/stat : 4804 (java) S 4800 4800 18810 0 -1 1077944384 123 0 0 0 9 5 0 0 20 0 20 0 4032642 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803804658704 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4805] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4805/stat : 4805 (java) S 4800 4800 18810 0 -1 1077944384 178 0 0 0 9 5 0 0 20 0 20 0 4032642 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803470302352 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4806] ppid=4800 vsize=13269256 CPUtime=0.15 cores=0-3,8-11
/proc/4801/task/4806/stat : 4806 (java) S 4800 4800 18810 0 -1 1077944384 71 0 0 0 9 6 0 0 20 0 20 0 4032642 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803469249296 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4807] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4807/stat : 4807 (java) S 4800 4800 18810 0 -1 1077944384 264 0 0 0 9 5 0 0 20 0 20 0 4032643 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803468196752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4808] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4808/stat : 4808 (java) S 4800 4800 18810 0 -1 1077944384 353 0 0 0 9 5 0 0 20 0 20 0 4032643 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803467143696 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4809] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4809/stat : 4809 (java) S 4800 4800 18810 0 -1 1077944384 393 0 0 0 8 6 0 0 20 0 20 0 4032643 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803466091152 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4810] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4810/stat : 4810 (java) S 4800 4800 18810 0 -1 1077944384 133 0 0 0 8 6 0 0 20 0 20 0 4032643 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803465038096 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4811] ppid=4800 vsize=13269256 CPUtime=0.14 cores=0-3,8-11
/proc/4801/task/4811/stat : 4811 (java) S 4800 4800 18810 0 -1 1077944384 160 0 0 0 10 4 0 0 20 0 20 0 4032643 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803463985552 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4812] ppid=4800 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4812/stat : 4812 (java) S 4800 4800 18810 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 20 0 4032644 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803402005232 139803872533122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4813] ppid=4800 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4813/stat : 4813 (java) S 4800 4800 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4032645 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803198744288 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4814] ppid=4800 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4814/stat : 4814 (java) S 4800 4800 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4032645 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803197691136 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4815] ppid=4800 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4815/stat : 4815 (java) S 4800 4800 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4032649 13587718144 114255 33554432000 4194304 4196468 140737073884736 139803196639696 139803872540571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
################
# More data... #
################
/proc/4801/task/4813/stat : 4813 (java) S 4800 4800 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4032645 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803198744288 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4814] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4814/stat : 4814 (java) S 4800 4800 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4032645 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803197691136 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4815] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4815/stat : 4815 (java) S 4800 4800 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4032649 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803196639696 139803872540571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4816] ppid=4800 vsize=13801768 CPUtime=1.88 cores=0-3,8-11
/proc/4801/task/4816/stat : 4816 (java) S 4800 4800 18810 0 -1 1077944384 7559 0 0 0 186 2 0 0 20 0 28 0 4032649 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803195586800 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4817] ppid=4800 vsize=13801768 CPUtime=1.64 cores=0-3,8-11
/proc/4801/task/4817/stat : 4817 (java) S 4800 4800 18810 0 -1 1077944384 8769 0 0 0 163 1 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803194534256 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4818] ppid=4800 vsize=13801768 CPUtime=2.14 cores=0-3,8-11
/proc/4801/task/4818/stat : 4818 (java) S 4800 4800 18810 0 -1 1077944384 12903 0 0 0 212 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803193481200 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4819] ppid=4800 vsize=13801768 CPUtime=0.73 cores=0-3,8-11
/proc/4801/task/4819/stat : 4819 (java) S 4800 4800 18810 0 -1 1077944384 7107 0 0 0 71 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803192428656 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4820] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4820/stat : 4820 (java) S 4800 4800 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803191376864 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4821] ppid=4800 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/4801/task/4821/stat : 4821 (java) S 4800 4800 18810 0 -1 1077944384 1122 0 0 0 1 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803190324400 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4822] ppid=4800 vsize=13801768 CPUtime=10.88 cores=0-3,8-11
/proc/4801/task/4822/stat : 4822 (java) R 4800 4800 18810 0 -1 4202560 522 0 0 0 1088 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803182808032 139803489967342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4823] ppid=4800 vsize=13801768 CPUtime=10.53 cores=0-3,8-11
/proc/4801/task/4823/stat : 4823 (java) R 4800 4800 18810 0 -1 4202560 570 0 0 0 1053 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803181756856 139803490410170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4824] ppid=4800 vsize=13801768 CPUtime=10.51 cores=0-3,8-11
/proc/4801/task/4824/stat : 4824 (java) R 4800 4800 18810 0 -1 4202560 723 0 0 0 1051 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803180705848 139803489838013 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4825] ppid=4800 vsize=13801768 CPUtime=10.56 cores=0-3,8-11
/proc/4801/task/4825/stat : 4825 (java) R 4800 4800 18810 0 -1 4202560 567 0 0 0 1056 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803179651160 139803489710891 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4826] ppid=4800 vsize=13801768 CPUtime=10.88 cores=0-3,8-11
/proc/4801/task/4826/stat : 4826 (java) R 4800 4800 18810 0 -1 4202560 1992 0 0 0 1088 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803178598440 139803489711182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4827] ppid=4800 vsize=13801768 CPUtime=10.49 cores=0-3,8-11
/proc/4801/task/4827/stat : 4827 (java) R 4800 4800 18810 0 -1 4202560 376 0 0 0 1049 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803177545656 139803490409984 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4828] ppid=4800 vsize=13801768 CPUtime=10.81 cores=0-3,8-11
/proc/4801/task/4828/stat : 4828 (java) R 4800 4800 18810 0 -1 4202560 425 0 0 0 1081 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803176493624 139803489711182 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4829] ppid=4800 vsize=13801768 CPUtime=10.89 cores=0-3,8-11
/proc/4801/task/4829/stat : 4829 (java) R 4800 4800 18810 0 -1 4202560 408 0 0 0 1089 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803175441080 139803489838013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
Current children cumulated CPU time (s) 141.44
Current children cumulated vsize (KiB) 13811280
[startup+52.2014 s]
/proc/loadavg: 11.64 13.04 14.13 17/303 4829
/proc/meminfo: memFree=25182140/32770624 swapFree=5944/247700
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
[pid=4801] ppid=4800 vsize=13801768 CPUtime=143.04 cores=0-3,8-11
/proc/4801/stat : 4801 (java) S 4800 4800 18810 0 -1 1077944320 69577 0 0 0 14021 283 0 0 20 0 28 0 4032641 14133010432 385308 33554432000 4194304 4196468 140737073884736 140737073867280 139803872521975 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
/proc/4801/statm: 3450442 385308 3275 1 0 3437675 0
[pid=4801/tid=4802] ppid=4800 vsize=13801768 CPUtime=38.26 cores=0-3,8-11
/proc/4801/task/4802/stat : 4802 (java) S 4800 4800 18810 0 -1 1077944384 13343 0 0 0 3814 12 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803876762752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4804] ppid=4800 vsize=13801768 CPUtime=1.17 cores=0-3,8-11
/proc/4801/task/4804/stat : 4804 (java) S 4800 4800 18810 0 -1 1077944384 927 0 0 0 88 29 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803804658704 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4805] ppid=4800 vsize=13801768 CPUtime=1.25 cores=0-3,8-11
/proc/4801/task/4805/stat : 4805 (java) S 4800 4800 18810 0 -1 1077944384 1403 0 0 0 92 33 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803470302352 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4806] ppid=4800 vsize=13801768 CPUtime=1.24 cores=0-3,8-11
/proc/4801/task/4806/stat : 4806 (java) S 4800 4800 18810 0 -1 1077944384 1233 0 0 0 92 32 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803469249296 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4807] ppid=4800 vsize=13801768 CPUtime=1.22 cores=0-3,8-11
/proc/4801/task/4807/stat : 4807 (java) S 4800 4800 18810 0 -1 1077944384 1048 0 0 0 92 30 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803468196752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4808] ppid=4800 vsize=13801768 CPUtime=1.26 cores=0-3,8-11
/proc/4801/task/4808/stat : 4808 (java) S 4800 4800 18810 0 -1 1077944384 1182 0 0 0 92 34 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803467143696 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4809] ppid=4800 vsize=13801768 CPUtime=1.26 cores=0-3,8-11
/proc/4801/task/4809/stat : 4809 (java) S 4800 4800 18810 0 -1 1077944384 1238 0 0 0 93 33 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803466091152 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4810] ppid=4800 vsize=13801768 CPUtime=1.27 cores=0-3,8-11
/proc/4801/task/4810/stat : 4810 (java) S 4800 4800 18810 0 -1 1077944384 1142 0 0 0 93 34 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803465038096 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4811] ppid=4800 vsize=13801768 CPUtime=1.14 cores=0-3,8-11
/proc/4801/task/4811/stat : 4811 (java) S 4800 4800 18810 0 -1 1077944384 951 0 0 0 89 25 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803463985552 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4812] ppid=4800 vsize=13801768 CPUtime=1.17 cores=0-3,8-11
/proc/4801/task/4812/stat : 4812 (java) S 4800 4800 18810 0 -1 1077944384 2695 0 0 0 116 1 0 0 20 0 28 0 4032644 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803402005232 139803872533122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4813] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4813/stat : 4813 (java) S 4800 4800 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4032645 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803198744288 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4814] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4814/stat : 4814 (java) S 4800 4800 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4032645 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803197691136 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4815] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4815/stat : 4815 (java) S 4800 4800 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4032649 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803196639696 139803872540571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4816] ppid=4800 vsize=13801768 CPUtime=1.88 cores=0-3,8-11
/proc/4801/task/4816/stat : 4816 (java) S 4800 4800 18810 0 -1 1077944384 7559 0 0 0 186 2 0 0 20 0 28 0 4032649 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803195586800 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4817] ppid=4800 vsize=13801768 CPUtime=1.64 cores=0-3,8-11
/proc/4801/task/4817/stat : 4817 (java) S 4800 4800 18810 0 -1 1077944384 8769 0 0 0 163 1 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803194534256 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4818] ppid=4800 vsize=13801768 CPUtime=2.14 cores=0-3,8-11
/proc/4801/task/4818/stat : 4818 (java) S 4800 4800 18810 0 -1 1077944384 12903 0 0 0 212 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803193481200 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4819] ppid=4800 vsize=13801768 CPUtime=0.73 cores=0-3,8-11
/proc/4801/task/4819/stat : 4819 (java) S 4800 4800 18810 0 -1 1077944384 7107 0 0 0 71 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803192428656 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4820] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4820/stat : 4820 (java) S 4800 4800 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803191376864 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4821] ppid=4800 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/4801/task/4821/stat : 4821 (java) S 4800 4800 18810 0 -1 1077944384 1122 0 0 0 1 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803190324400 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4822] ppid=4800 vsize=13801768 CPUtime=11.08 cores=0-3,8-11
/proc/4801/task/4822/stat : 4822 (java) R 4800 4800 18810 0 -1 4202560 522 0 0 0 1108 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803182808032 139803489711182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4823] ppid=4800 vsize=13801768 CPUtime=10.73 cores=0-3,8-11
/proc/4801/task/4823/stat : 4823 (java) R 4800 4800 18810 0 -1 4202560 570 0 0 0 1073 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803181756856 139803489878633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4824] ppid=4800 vsize=13801768 CPUtime=10.71 cores=0-3,8-11
/proc/4801/task/4824/stat : 4824 (java) R 4800 4800 18810 0 -1 4202560 724 0 0 0 1071 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803180705848 139803489711182 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4825] ppid=4800 vsize=13801768 CPUtime=10.76 cores=0-3,8-11
/proc/4801/task/4825/stat : 4825 (java) R 4800 4800 18810 0 -1 4202560 567 0 0 0 1076 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803179651160 139803489711182 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4826] ppid=4800 vsize=13801768 CPUtime=11.08 cores=0-3,8-11
/proc/4801/task/4826/stat : 4826 (java) R 4800 4800 18810 0 -1 4202560 1992 0 0 0 1108 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803178598440 139803489846154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4827] ppid=4800 vsize=13801768 CPUtime=10.69 cores=0-3,8-11
/proc/4801/task/4827/stat : 4827 (java) R 4800 4800 18810 0 -1 4202560 376 0 0 0 1069 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803177545656 139803489711168 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4828] ppid=4800 vsize=13801768 CPUtime=11.01 cores=0-3,8-11
/proc/4801/task/4828/stat : 4828 (java) R 4800 4800 18810 0 -1 4202560 425 0 0 0 1101 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803176493624 139803490410334 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4829] ppid=4800 vsize=13801768 CPUtime=11.09 cores=0-3,8-11
/proc/4801/task/4829/stat : 4829 (java) R 4800 4800 18810 0 -1 4202560 409 0 0 0 1109 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803175441080 139803489711224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
Current children cumulated CPU time (s) 143.04
Current children cumulated vsize (KiB) 13811280
[startup+52.3015 s]
/proc/loadavg: 11.64 13.04 14.13 17/303 4829
/proc/meminfo: memFree=25182140/32770624 swapFree=5944/247700
[pid=4800] ppid=4797 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4800/stat : 4800 (xcsp3-exec) S 4797 4800 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4032641 9740288 346 33554432000 4194304 5098028 140733275002464 140733275000568 140449916416636 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27369472 140733275010191 140733275010400 140733275010400 140733275013099 0
/proc/4800/statm: 2378 346 289 221 0 87 0
[pid=4801] ppid=4800 vsize=13801768 CPUtime=143.83 cores=0-3,8-11
/proc/4801/stat : 4801 (java) S 4800 4800 18810 0 -1 1077944320 69656 0 0 0 14100 283 0 0 20 0 28 0 4032641 14133010432 385308 33554432000 4194304 4196468 140737073884736 140737073867280 139803872521975 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
/proc/4801/statm: 3450442 385308 3275 1 0 3437675 0
[pid=4801/tid=4802] ppid=4800 vsize=13801768 CPUtime=38.26 cores=0-3,8-11
/proc/4801/task/4802/stat : 4802 (java) S 4800 4800 18810 0 -1 1077944384 13343 0 0 0 3814 12 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803876762752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4804] ppid=4800 vsize=13801768 CPUtime=1.17 cores=0-3,8-11
/proc/4801/task/4804/stat : 4804 (java) S 4800 4800 18810 0 -1 1077944384 927 0 0 0 88 29 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803804658704 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4805] ppid=4800 vsize=13801768 CPUtime=1.25 cores=0-3,8-11
/proc/4801/task/4805/stat : 4805 (java) S 4800 4800 18810 0 -1 1077944384 1403 0 0 0 92 33 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803470302352 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4806] ppid=4800 vsize=13801768 CPUtime=1.24 cores=0-3,8-11
/proc/4801/task/4806/stat : 4806 (java) S 4800 4800 18810 0 -1 1077944384 1233 0 0 0 92 32 0 0 20 0 28 0 4032642 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803469249296 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4807] ppid=4800 vsize=13801768 CPUtime=1.22 cores=0-3,8-11
/proc/4801/task/4807/stat : 4807 (java) S 4800 4800 18810 0 -1 1077944384 1048 0 0 0 92 30 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803468196752 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4808] ppid=4800 vsize=13801768 CPUtime=1.26 cores=0-3,8-11
/proc/4801/task/4808/stat : 4808 (java) S 4800 4800 18810 0 -1 1077944384 1182 0 0 0 92 34 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803467143696 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4809] ppid=4800 vsize=13801768 CPUtime=1.26 cores=0-3,8-11
/proc/4801/task/4809/stat : 4809 (java) S 4800 4800 18810 0 -1 1077944384 1238 0 0 0 93 33 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803466091152 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4810] ppid=4800 vsize=13801768 CPUtime=1.27 cores=0-3,8-11
/proc/4801/task/4810/stat : 4810 (java) S 4800 4800 18810 0 -1 1077944384 1142 0 0 0 93 34 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803465038096 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4811] ppid=4800 vsize=13801768 CPUtime=1.14 cores=0-3,8-11
/proc/4801/task/4811/stat : 4811 (java) S 4800 4800 18810 0 -1 1077944384 951 0 0 0 89 25 0 0 20 0 28 0 4032643 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803463985552 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4812] ppid=4800 vsize=13801768 CPUtime=1.17 cores=0-3,8-11
/proc/4801/task/4812/stat : 4812 (java) S 4800 4800 18810 0 -1 1077944384 2695 0 0 0 116 1 0 0 20 0 28 0 4032644 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803402005232 139803872533122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4813] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4813/stat : 4813 (java) S 4800 4800 18810 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4032645 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803198744288 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4814] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4814/stat : 4814 (java) S 4800 4800 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4032645 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803197691136 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4815] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4815/stat : 4815 (java) S 4800 4800 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4032649 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803196639696 139803872540571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4816] ppid=4800 vsize=13801768 CPUtime=1.88 cores=0-3,8-11
/proc/4801/task/4816/stat : 4816 (java) S 4800 4800 18810 0 -1 1077944384 7559 0 0 0 186 2 0 0 20 0 28 0 4032649 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803195586800 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4817] ppid=4800 vsize=13801768 CPUtime=1.65 cores=0-3,8-11
/proc/4801/task/4817/stat : 4817 (java) S 4800 4800 18810 0 -1 1077944384 8807 0 0 0 164 1 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803194534256 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4818] ppid=4800 vsize=13801768 CPUtime=2.14 cores=0-3,8-11
/proc/4801/task/4818/stat : 4818 (java) S 4800 4800 18810 0 -1 1077944384 12903 0 0 0 212 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803193481200 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4819] ppid=4800 vsize=13801768 CPUtime=0.73 cores=0-3,8-11
/proc/4801/task/4819/stat : 4819 (java) S 4800 4800 18810 0 -1 1077944384 7107 0 0 0 71 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803192428656 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4820] ppid=4800 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4801/task/4820/stat : 4820 (java) S 4800 4800 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803191376864 139803872532181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4821] ppid=4800 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/4801/task/4821/stat : 4821 (java) S 4800 4800 18810 0 -1 1077944384 1122 0 0 0 1 2 0 0 20 0 28 0 4032650 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803190324400 139803872533122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4822] ppid=4800 vsize=13801768 CPUtime=11.18 cores=0-3,8-11
/proc/4801/task/4822/stat : 4822 (java) R 4800 4800 18810 0 -1 4202560 529 0 0 0 1118 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803182808032 139803489711159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4823] ppid=4800 vsize=13801768 CPUtime=10.82 cores=0-3,8-11
/proc/4801/task/4823/stat : 4823 (java) R 4800 4800 18810 0 -1 4202560 570 0 0 0 1082 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803181756856 139803490410227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4824] ppid=4800 vsize=13801768 CPUtime=10.81 cores=0-3,8-11
/proc/4801/task/4824/stat : 4824 (java) R 4800 4800 18810 0 -1 4202560 724 0 0 0 1081 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803180704072 139803489837603 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4825] ppid=4800 vsize=13801768 CPUtime=10.86 cores=0-3,8-11
/proc/4801/task/4825/stat : 4825 (java) R 4800 4800 18810 0 -1 4202560 567 0 0 0 1086 0 0 0 20 0 28 0 4036717 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803179651160 139803489836911 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4826] ppid=4800 vsize=13801768 CPUtime=11.18 cores=0-3,8-11
/proc/4801/task/4826/stat : 4826 (java) R 4800 4800 18810 0 -1 4202560 1992 0 0 0 1118 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803178598440 139803489846159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4827] ppid=4800 vsize=13801768 CPUtime=10.79 cores=0-3,8-11
/proc/4801/task/4827/stat : 4827 (java) R 4800 4800 18810 0 -1 4202560 389 0 0 0 1079 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803177545656 139803489711159 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4828] ppid=4800 vsize=13801768 CPUtime=11.1 cores=0-3,8-11
/proc/4801/task/4828/stat : 4828 (java) R 4800 4800 18810 0 -1 4202560 446 0 0 0 1110 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803176493624 139803489967124 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
[pid=4801/tid=4829] ppid=4800 vsize=13801768 CPUtime=11.19 cores=0-3,8-11
/proc/4801/task/4829/stat : 4829 (java) R 4800 4800 18810 0 -1 4202560 409 0 0 0 1119 0 0 0 20 0 28 0 4036718 14133010432 385308 33554432000 4194304 4196468 140737073884736 139803175441080 139803489711182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140737073890492 140737073890668 140737073890668 140737073893327 0
Current children cumulated CPU time (s) 143.83
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 52.3725
CPU time (s): 144.196
CPU user time (s): 141.348
CPU system time (s): 2.84825
CPU usage (%): 275.328
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.348
system time used= 2.84825
maximum resident set size= 1544916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6183
involuntary context switches= 9561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.408324 second user time and 0.53044 second system time
The end