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-4245235-1500685659/watcher-4245235-1500685659 -o /tmp/evaluation-result-4245235-1500685659/solver-4245235-1500685659 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 645173165 HOME/instance-4245235-1500685659.xml
pid=14834
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: 13.58 12.85 13.14 10/271 14837
/proc/meminfo: memFree=31605088/32770624 swapFree=5860/236628
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[startup+0.100104 s]
/proc/loadavg: 13.58 12.85 13.14 10/271 14837
/proc/meminfo: memFree=31605088/32770624 swapFree=5860/236628
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200342 s]
/proc/loadavg: 13.58 12.85 13.14 10/271 14837
/proc/meminfo: memFree=31605088/32770624 swapFree=5860/236628
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300325 s]
/proc/loadavg: 13.58 12.85 13.14 10/271 14837
/proc/meminfo: memFree=31605088/32770624 swapFree=5860/236628
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700226 s]
/proc/loadavg: 13.58 12.85 13.14 10/271 14837
/proc/meminfo: memFree=31605088/32770624 swapFree=5860/236628
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/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: 13.58 12.85 13.14 10/292 14858
/proc/meminfo: memFree=31396816/32770624 swapFree=5860/236688
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[pid=14838] ppid=14837 vsize=13269256 CPUtime=3.23 cores=0,2,4,6,8,10,12,14
/proc/14838/stat : 14838 (java) S 14837 14837 7411 0 -1 1077944320 29090 0 0 0 314 9 0 0 20 0 20 0 3833300 13587718144 30863 33554432000 4194304 4196468 140731671619232 140731671601776 140200575172343 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
/proc/14838/statm: 3317314 30863 3202 1 0 3304547 0
[pid=14838/tid=14839] ppid=14837 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14839/stat : 14839 (java) R 14837 14837 7411 0 -1 4202560 6722 0 0 0 144 3 0 0 20 0 20 0 3833300 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200579408888 140200167586359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14841] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14841/stat : 14841 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200493652368 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14842] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14842/stat : 14842 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200492599568 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14843] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14843/stat : 14843 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200491547280 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14844] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14844/stat : 14844 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200490494480 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14845] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14845/stat : 14845 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200489442192 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14846] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14846/stat : 14846 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200488389392 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14847] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14847/stat : 14847 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200487337104 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14848] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14848/stat : 14848 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 30863 33554432000 4194304 4196468 140731671619232 140200486284304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14849] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14849/stat : 14849 (java) S 14837 14837 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3833303 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199239907440 140200575183490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14850] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14850/stat : 14850 (java) S 14837 14837 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3833304 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199238853408 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14851] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14851/stat : 14851 (java) S 14837 14837 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3833304 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199237801072 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14852] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14852/stat : 14852 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833308 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199236749392 140200575190939 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14853] ppid=14837 vsize=13269256 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14853/stat : 14853 (java) S 14837 14837 7411 0 -1 1077944384 6058 0 0 0 48 1 0 0 20 0 20 0 3833308 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199235697264 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14854] ppid=14837 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14854/stat : 14854 (java) S 14837 14837 7411 0 -1 1077944384 5861 0 0 0 50 1 0 0 20 0 20 0 3833308 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199234644464 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14855] ppid=14837 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14855/stat : 14855 (java) S 14837 14837 7411 0 -1 1077944384 7799 0 0 0 50 1 0 0 20 0 20 0 3833308 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199233592176 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14856] ppid=14837 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14856/stat : 14856 (java) S 14837 14837 7411 0 -1 1077944384 1335 0 0 0 21 0 0 0 20 0 20 0 3833308 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199232539376 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14857] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14857/stat : 14857 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3833309 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199231486304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14858] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14858/stat : 14858 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3833309 13587718144 30863 33554432000 4194304 4196468 140731671619232 140199230433584 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 13278768
[startup+3.10084 s]
/proc/loadavg: 13.58 12.85 13.14 11/292 14858
/proc/meminfo: memFree=31242708/32770624 swapFree=5860/236696
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[pid=14838] ppid=14837 vsize=13269256 CPUtime=4.89 cores=0,2,4,6,8,10,12,14
/proc/14838/stat : 14838 (java) S 14837 14837 7411 0 -1 1077944320 30879 0 0 0 479 10 0 0 20 0 20 0 3833300 13587718144 33510 33554432000 4194304 4196468 140731671619232 140731671601776 140200575172343 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
/proc/14838/statm: 3317314 33510 3203 1 0 3304547 0
[pid=14838/tid=14839] ppid=14837 vsize=13269256 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14839/stat : 14839 (java) R 14837 14837 7411 0 -1 4202560 7789 0 0 0 303 4 0 0 20 0 20 0 3833300 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200579408392 140200167017579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14841] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14841/stat : 14841 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200493652368 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14842] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14842/stat : 14842 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200492599568 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14843] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14843/stat : 14843 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200491547280 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14844] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14844/stat : 14844 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200490494480 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14845] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14845/stat : 14845 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200489442192 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14846] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14846/stat : 14846 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200488389392 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14847] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14847/stat : 14847 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200487337104 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14848] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14848/stat : 14848 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 33510 33554432000 4194304 4196468 140731671619232 140200486284304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14849] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14849/stat : 14849 (java) S 14837 14837 7411 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 3833303 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199239907440 140200575183490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14850] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14850/stat : 14850 (java) S 14837 14837 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3833304 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199238853408 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14851] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14851/stat : 14851 (java) S 14837 14837 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3833304 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199237801072 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14852] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14852/stat : 14852 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833308 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199236749392 140200575190939 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14853] ppid=14837 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14853/stat : 14853 (java) S 14837 14837 7411 0 -1 1077944384 6088 0 0 0 49 1 0 0 20 0 20 0 3833308 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199235697264 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14854] ppid=14837 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14854/stat : 14854 (java) S 14837 14837 7411 0 -1 1077944384 5864 0 0 0 50 1 0 0 20 0 20 0 3833308 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199234644464 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14855] ppid=14837 vsize=13269256 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14855/stat : 14855 (java) S 14837 14837 7411 0 -1 1077944384 7806 0 0 0 51 1 0 0 20 0 20 0 3833308 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199233592176 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14856] ppid=14837 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14856/stat : 14856 (java) S 14837 14837 7411 0 -1 1077944384 1994 0 0 0 24 0 0 0 20 0 20 0 3833308 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199232539376 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14857] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14857/stat : 14857 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3833309 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199231486304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14858] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14858/stat : 14858 (java) S 14837 14837 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 3833309 13587718144 33510 33554432000 4194304 4196468 140731671619232 140199230433584 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 13278768
[startup+6.30087 s]
/proc/loadavg: 13.22 12.79 13.12 10/292 14858
/proc/meminfo: memFree=31222032/32770624 swapFree=5860/236696
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[pid=14838] ppid=14837 vsize=13269256 CPUtime=8.17 cores=0,2,4,6,8,10,12,14
/proc/14838/stat : 14838 (java) S 14837 14837 7411 0 -1 1077944320 34669 0 0 0 807 10 0 0 20 0 20 0 3833300 13587718144 37741 33554432000 4194304 4196468 140731671619232 140731671601776 140200575172343 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
/proc/14838/statm: 3317314 37741 3209 1 0 3304547 0
[pid=14838/tid=14839] ppid=14837 vsize=13269256 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14839/stat : 14839 (java) R 14837 14837 7411 0 -1 4202560 8222 0 0 0 623 4 0 0 20 0 20 0 3833300 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200579406680 140200167583461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14841] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14841/stat : 14841 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200493652368 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14842] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14842/stat : 14842 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200492599568 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14843] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14843/stat : 14843 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200491547280 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14844] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14844/stat : 14844 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200490494480 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14845] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14845/stat : 14845 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200489442192 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14846] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14846/stat : 14846 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200488389392 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14847] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14847/stat : 14847 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200487337104 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14848] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14848/stat : 14848 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3833301 13587718144 37741 33554432000 4194304 4196468 140731671619232 140200486284304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14849] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14849/stat : 14849 (java) S 14837 14837 7411 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 3833303 13587718144 37741 33554432000 4194304 4196468 140731671619232 140199239907440 140200575183490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14850] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14850/stat : 14850 (java) S 14837 14837 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3833304 13587718144 37741 33554432000 4194304 4196468 140731671619232 140199238853408 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14851] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14851/stat : 14851 (java) S 14837 14837 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3833304 13587718144 37741 33554432000 4194304 4196468 140731671619232 140199237801072 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14852] ppid=14837 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14852/stat : 14852 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3833308 13587718144 37741 33554432000 4194304 4196468 140731671619232 140199236749392 140200575190939 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
################
# More data... #
################
Current children cumulated vsize (KiB) 13278768
[startup+7.20115 s]
/proc/loadavg: 13.22 12.79 13.12 10/292 14858
/proc/meminfo: memFree=31201056/32770624 swapFree=5860/236696
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[pid=14838] ppid=14837 vsize=13801768 CPUtime=10.27 cores=0,2,4,6,8,10,12,14
/proc/14838/stat : 14838 (java) S 14837 14837 7411 0 -1 1077944320 39959 0 0 0 1015 12 0 0 20 0 28 0 3833300 14133010432 43646 33554432000 4194304 4196468 140731671619232 140731671601776 140200575172343 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
/proc/14838/statm: 3450442 43646 3215 1 0 3437675 0
[pid=14838/tid=14839] ppid=14837 vsize=13801768 CPUtime=6.97 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14839/stat : 14839 (java) S 14837 14837 7411 0 -1 1077944384 9746 0 0 0 693 4 0 0 20 0 28 0 3833300 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200579413120 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14841] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14841/stat : 14841 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200493652368 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14842] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14842/stat : 14842 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200492599568 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14843] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14843/stat : 14843 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200491547280 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14844] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14844/stat : 14844 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200490494480 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14845] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14845/stat : 14845 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200489442192 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14846] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14846/stat : 14846 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200488389392 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14847] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14847/stat : 14847 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200487337104 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14848] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14848/stat : 14848 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 43646 33554432000 4194304 4196468 140731671619232 140200486284304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14849] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14849/stat : 14849 (java) S 14837 14837 7411 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 3833303 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199239907440 140200575183490 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14850] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14850/stat : 14850 (java) S 14837 14837 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3833304 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199238853408 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14851] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14851/stat : 14851 (java) S 14837 14837 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3833304 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199237801072 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14852] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14852/stat : 14852 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833308 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199236749392 140200575190939 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14853] ppid=14837 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14853/stat : 14853 (java) R 14837 14837 7411 0 -1 4202560 6705 0 0 0 62 1 0 0 20 0 28 0 3833308 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199235678464 140200558658368 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14854] ppid=14837 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14854/stat : 14854 (java) R 14837 14837 7411 0 -1 4202560 6554 0 0 0 61 1 0 0 20 0 28 0 3833308 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199234630816 140200556693528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14855] ppid=14837 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14855/stat : 14855 (java) S 14837 14837 7411 0 -1 1077944384 8374 0 0 0 61 1 0 0 20 0 28 0 3833308 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199233592176 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14856] ppid=14837 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14856/stat : 14856 (java) S 14837 14837 7411 0 -1 1077944384 4829 0 0 0 39 0 0 0 20 0 28 0 3833308 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199232539376 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14857] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14857/stat : 14857 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833309 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199231486304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14858] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14858/stat : 14858 (java) S 14837 14837 7411 0 -1 1077944384 1761 0 0 0 0 0 0 0 20 0 28 0 3833309 14133010432 43646 33554432000 4194304 4196468 140731671619232 140199230433584 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
Current children cumulated CPU time (s) 10.27
Current children cumulated vsize (KiB) 13811280
[startup+7.60118 s]
/proc/loadavg: 13.22 12.79 13.12 10/292 14858
/proc/meminfo: memFree=31201056/32770624 swapFree=5860/236696
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[pid=14838] ppid=14837 vsize=13801768 CPUtime=13.47 cores=0,2,4,6,8,10,12,14
/proc/14838/stat : 14838 (java) S 14837 14837 7411 0 -1 1077944320 41396 0 0 0 1334 13 0 0 20 0 28 0 3833300 14133010432 44488 33554432000 4194304 4196468 140731671619232 140731671601776 140200575172343 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
/proc/14838/statm: 3450442 44488 3218 1 0 3437675 0
[pid=14838/tid=14839] ppid=14837 vsize=13801768 CPUtime=6.97 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14839/stat : 14839 (java) S 14837 14837 7411 0 -1 1077944384 9746 0 0 0 693 4 0 0 20 0 28 0 3833300 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200579413120 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14841] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14841/stat : 14841 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200493652368 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14842] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14842/stat : 14842 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200492599568 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14843] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14843/stat : 14843 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200491547280 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14844] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14844/stat : 14844 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200490494480 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14845] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14845/stat : 14845 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200489442192 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14846] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14846/stat : 14846 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200488389392 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14847] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14847/stat : 14847 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200487337104 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14848] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14848/stat : 14848 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 44488 33554432000 4194304 4196468 140731671619232 140200486284304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14849] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14849/stat : 14849 (java) S 14837 14837 7411 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 3833303 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199239907440 140200575183490 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14850] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14850/stat : 14850 (java) S 14837 14837 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3833304 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199238853408 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14851] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14851/stat : 14851 (java) S 14837 14837 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3833304 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199237801072 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14852] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14852/stat : 14852 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833308 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199236749392 140200575190939 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14853] ppid=14837 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14853/stat : 14853 (java) R 14837 14837 7411 0 -1 4202560 7216 0 0 0 87 1 0 0 20 0 28 0 3833308 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199235682768 140200556716577 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14854] ppid=14837 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14854/stat : 14854 (java) R 14837 14837 7411 0 -1 4202560 6877 0 0 0 95 1 0 0 20 0 28 0 3833308 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199234632344 140200555002660 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14855] ppid=14837 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14855/stat : 14855 (java) R 14837 14837 7411 0 -1 4202560 8786 0 0 0 92 1 0 0 20 0 28 0 3833308 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199233581968 140200555008668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14856] ppid=14837 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14856/stat : 14856 (java) R 14837 14837 7411 0 -1 4202560 4998 0 0 0 47 0 0 0 20 0 28 0 3833308 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199232539376 140200556546112 0 4 0 16800975 0 0 0 -1 8 0 0 8 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14857] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14857/stat : 14857 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833309 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199231486304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14858] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14858/stat : 14858 (java) S 14837 14837 7411 0 -1 1077944384 1761 0 0 0 0 0 0 0 20 0 28 0 3833309 14133010432 44488 33554432000 4194304 4196468 140731671619232 140199230433584 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
Current children cumulated CPU time (s) 13.47
Current children cumulated vsize (KiB) 13811280
[startup+7.81446 s]
/proc/loadavg: 13.22 12.79 13.12 21/300 14866
/proc/meminfo: memFree=31175332/32770624 swapFree=5860/236708
[pid=14837] ppid=14834 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14837/stat : 14837 (xcsp3-exec) S 14834 14837 7411 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3833299 9740288 346 33554432000 4194304 5098028 140735154234912 140735154233016 139879284101756 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 28033024 140735154242703 140735154242912 140735154242912 140735154245611 0
/proc/14837/statm: 2378 346 289 221 0 87 0
[pid=14838] ppid=14837 vsize=13801768 CPUtime=15.15 cores=0,2,4,6,8,10,12,14
/proc/14838/stat : 14838 (java) S 14837 14837 7411 0 -1 1077944320 41586 0 0 0 1502 13 0 0 20 0 28 0 3833300 14133010432 46593 33554432000 4194304 4196468 140731671619232 140731671601776 140200575172343 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
/proc/14838/statm: 3450442 46593 3219 1 0 3437675 0
[pid=14838/tid=14839] ppid=14837 vsize=13801768 CPUtime=6.97 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14839/stat : 14839 (java) S 14837 14837 7411 0 -1 1077944384 9746 0 0 0 693 4 0 0 20 0 28 0 3833300 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200579413120 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14841] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14841/stat : 14841 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200493652368 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14842] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14842/stat : 14842 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200492599568 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14843] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14843/stat : 14843 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200491547280 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14844] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14844/stat : 14844 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200490494480 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14845] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14845/stat : 14845 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200489442192 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14846] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14846/stat : 14846 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200488389392 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14847] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14847/stat : 14847 (java) S 14837 14837 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200487337104 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14848] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14848/stat : 14848 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833301 14133010432 46593 33554432000 4194304 4196468 140731671619232 140200486284304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14849] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14849/stat : 14849 (java) S 14837 14837 7411 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 3833303 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199239907440 140200575183490 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14850] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14850/stat : 14850 (java) S 14837 14837 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3833304 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199238853408 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14851] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14851/stat : 14851 (java) S 14837 14837 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3833304 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199237801072 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14852] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14852/stat : 14852 (java) S 14837 14837 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3833308 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199236749392 140200575190939 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14853] ppid=14837 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14853/stat : 14853 (java) S 14837 14837 7411 0 -1 1077944384 7240 0 0 0 99 1 0 0 20 0 28 0 3833308 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199235697264 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14854] ppid=14837 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14854/stat : 14854 (java) R 14837 14837 7411 0 -1 4202560 6936 0 0 0 109 1 0 0 20 0 28 0 3833308 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199234644384 140200560083699 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14855] ppid=14837 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14855/stat : 14855 (java) R 14837 14837 7411 0 -1 4202560 8862 0 0 0 110 1 0 0 20 0 28 0 3833308 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199233592176 140200560052497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14856] ppid=14837 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14856/stat : 14856 (java) S 14837 14837 7411 0 -1 1077944384 5022 0 0 0 49 0 0 0 20 0 28 0 3833308 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199232539376 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14857] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14857/stat : 14857 (java) S 14837 14837 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3833309 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199231486304 140200575182549 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14858] ppid=14837 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14858/stat : 14858 (java) S 14837 14837 7411 0 -1 1077944384 1761 0 0 0 0 0 0 0 20 0 28 0 3833309 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199230433584 140200575183490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14859] ppid=14837 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14859/stat : 14859 (java) R 14837 14837 7411 0 -1 4202560 105 0 0 0 49 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199222418032 140200165596030 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14860] ppid=14837 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14860/stat : 14860 (java) R 14837 14837 7411 0 -1 4202560 63 0 0 0 51 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199221366392 140200165596000 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14861] ppid=14837 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14861/stat : 14861 (java) R 14837 14837 7411 0 -1 4202560 69 0 0 0 56 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199220313680 140200165596127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14862] ppid=14837 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14862/stat : 14862 (java) R 14837 14837 7411 0 -1 4202560 119 0 0 0 56 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199219261560 140200169870117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14863] ppid=14837 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14863/stat : 14863 (java) R 14837 14837 7411 0 -1 4202560 68 0 0 0 56 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199218209848 140200169372320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14864] ppid=14837 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14864/stat : 14864 (java) R 14837 14837 7411 0 -1 4202560 62 0 0 0 60 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199217156472 140200169356512 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14865] ppid=14837 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14865/stat : 14865 (java) R 14837 14837 7411 0 -1 4202560 48 0 0 0 42 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199216102712 140200168798589 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
[pid=14838/tid=14866] ppid=14837 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14838/task/14866/stat : 14866 (java) R 14837 14837 7411 0 -1 4202560 63 0 0 0 67 0 0 0 20 0 28 0 3834000 14133010432 46593 33554432000 4194304 4196468 140731671619232 140199215050784 140200169622119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140731671626940 140731671627116 140731671627116 140731671629775 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 7.85088
CPU time (s): 15.3059
CPU user time (s): 15.1626
CPU system time (s): 0.143318
CPU usage (%): 194.958
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1626
system time used= 0.143318
maximum resident set size= 189128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3713
involuntary context switches= 1255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060579 second user time and 0.070236 second system time
The end