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-4245886-1500686406/watcher-4245886-1500686406 -o /tmp/evaluation-result-4245886-1500686406/solver-4245886-1500686406 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1504602025 HOME/instance-4245886-1500686406.xml
pid=5368
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: 15.85 15.67 15.25 10/267 5371
/proc/meminfo: memFree=30691060/32770624 swapFree=5900/228296
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
[startup+0.100075 s]
/proc/loadavg: 15.85 15.67 15.25 10/267 5371
/proc/meminfo: memFree=30691060/32770624 swapFree=5900/228296
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200383 s]
/proc/loadavg: 15.85 15.67 15.25 10/267 5371
/proc/meminfo: memFree=30691060/32770624 swapFree=5900/228296
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300342 s]
/proc/loadavg: 15.85 15.67 15.25 10/267 5371
/proc/meminfo: memFree=30691060/32770624 swapFree=5900/228296
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700235 s]
/proc/loadavg: 15.85 15.67 15.25 10/267 5371
/proc/meminfo: memFree=30691060/32770624 swapFree=5900/228296
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50142 s]
/proc/loadavg: 15.85 15.67 15.25 10/288 5392
/proc/meminfo: memFree=30229716/32770624 swapFree=5900/228596
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
[pid=5372] ppid=5371 vsize=13269256 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/5372/stat : 5372 (java) S 5371 5371 16913 0 -1 1077944320 25352 0 0 0 524 22 0 0 20 0 20 0 3907509 13587718144 63216 33554432000 4194304 4196468 140723684921568 140723684904112 140205782658807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
/proc/5372/statm: 3317314 63216 3248 1 0 3304547 0
[pid=5372/tid=5373] ppid=5371 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5373/stat : 5373 (java) R 5371 5371 16913 0 -1 4202560 7347 0 0 0 135 5 0 0 20 0 20 0 3907509 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205786894984 140205402567424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5375] ppid=5371 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5375/stat : 5375 (java) S 5371 5371 16913 0 -1 1077944384 106 0 0 0 3 2 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205721623184 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5376] ppid=5371 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5376/stat : 5376 (java) S 5371 5371 16913 0 -1 1077944384 81 0 0 0 2 1 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205720570384 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5377] ppid=5371 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5377/stat : 5377 (java) S 5371 5371 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205719517584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5378] ppid=5371 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5378/stat : 5378 (java) S 5371 5371 16913 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205378459920 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5379] ppid=5371 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5379/stat : 5379 (java) S 5371 5371 16913 0 -1 1077944384 175 0 0 0 1 1 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205377408144 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5380] ppid=5371 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5380/stat : 5380 (java) S 5371 5371 16913 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205376355344 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5381] ppid=5371 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5381/stat : 5381 (java) S 5371 5371 16913 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205375302544 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5382] ppid=5371 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5382/stat : 5382 (java) S 5371 5371 16913 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 20 0 3907510 13587718144 63216 33554432000 4194304 4196468 140723684921568 140205374249744 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5383] ppid=5371 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5383/stat : 5383 (java) S 5371 5371 16913 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 20 0 3907513 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204976355696 140205782669954 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5384] ppid=5371 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5384/stat : 5384 (java) S 5371 5371 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3907514 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204975301728 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5385] ppid=5371 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5385/stat : 5385 (java) S 5371 5371 16913 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 3907514 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204974248832 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5386] ppid=5371 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5386/stat : 5386 (java) S 5371 5371 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3907518 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204973197136 140205782677403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5387] ppid=5371 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5387/stat : 5387 (java) R 5371 5371 16913 0 -1 4202560 4256 0 0 0 103 0 0 0 20 0 20 0 3907518 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204972131544 140205764203369 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5388] ppid=5371 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5388/stat : 5388 (java) R 5371 5371 16913 0 -1 4202560 3794 0 0 0 103 0 0 0 20 0 20 0 3907518 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204971078744 140205764179986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5389] ppid=5371 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5389/stat : 5389 (java) R 5371 5371 16913 0 -1 4202560 4112 0 0 0 98 0 0 0 20 0 20 0 3907518 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204970022272 140205762502420 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5390] ppid=5371 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5390/stat : 5390 (java) S 5371 5371 16913 0 -1 1077944384 3694 0 0 0 62 0 0 0 20 0 20 0 3907518 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204968987120 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5391] ppid=5371 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5391/stat : 5391 (java) S 5371 5371 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3907518 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204967934560 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5392] ppid=5371 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5392/stat : 5392 (java) S 5371 5371 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3907519 13587718144 63216 33554432000 4194304 4196468 140723684921568 140204966881840 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 13278768
[startup+3.10118 s]
/proc/loadavg: 15.85 15.67 15.25 17/288 5392
/proc/meminfo: memFree=29978704/32770624 swapFree=5900/228596
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
[pid=5372] ppid=5371 vsize=13801768 CPUtime=12.49 cores=0,2,4,6,8,10,12,14
/proc/5372/stat : 5372 (java) S 5371 5371 16913 0 -1 1077944320 29694 0 0 0 1170 79 0 0 20 0 28 0 3907509 14133010432 142309 33554432000 4194304 4196468 140723684921568 140723684904112 140205782658807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
/proc/5372/statm: 3450442 142309 3253 1 0 3437675 0
[pid=5372/tid=5373] ppid=5371 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5373/stat : 5373 (java) S 5371 5371 16913 0 -1 1077944384 8430 0 0 0 232 9 0 0 20 0 28 0 3907509 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205786899584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5375] ppid=5371 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5375/stat : 5375 (java) S 5371 5371 16913 0 -1 1077944384 171 0 0 0 9 8 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205721623184 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5376] ppid=5371 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5376/stat : 5376 (java) S 5371 5371 16913 0 -1 1077944384 152 0 0 0 10 8 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205720570384 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5377] ppid=5371 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5377/stat : 5377 (java) S 5371 5371 16913 0 -1 1077944384 85 0 0 0 9 7 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205719517584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5378] ppid=5371 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5378/stat : 5378 (java) S 5371 5371 16913 0 -1 1077944384 550 0 0 0 9 8 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205378459920 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5379] ppid=5371 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5379/stat : 5379 (java) S 5371 5371 16913 0 -1 1077944384 314 0 0 0 9 8 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205377408144 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5380] ppid=5371 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5380/stat : 5380 (java) S 5371 5371 16913 0 -1 1077944384 171 0 0 0 9 7 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205376355344 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5381] ppid=5371 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5381/stat : 5381 (java) S 5371 5371 16913 0 -1 1077944384 158 0 0 0 10 8 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205375302544 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5382] ppid=5371 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5382/stat : 5382 (java) S 5371 5371 16913 0 -1 1077944384 130 0 0 0 10 9 0 0 20 0 28 0 3907510 14133010432 142309 33554432000 4194304 4196468 140723684921568 140205374249744 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5383] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5383/stat : 5383 (java) S 5371 5371 16913 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 28 0 3907513 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204976355696 140205782669954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5384] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5384/stat : 5384 (java) S 5371 5371 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204975301728 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5385] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5385/stat : 5385 (java) S 5371 5371 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204974248832 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5386] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5386/stat : 5386 (java) S 5371 5371 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204973197136 140205782677403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5387] ppid=5371 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5387/stat : 5387 (java) R 5371 5371 16913 0 -1 4202560 4487 0 0 0 177 0 0 0 20 0 28 0 3907518 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204972132336 140205766159345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5388] ppid=5371 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5388/stat : 5388 (java) R 5371 5371 16913 0 -1 4202560 4283 0 0 0 190 0 0 0 20 0 28 0 3907518 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204971078736 140205767764890 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5389] ppid=5371 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5389/stat : 5389 (java) R 5371 5371 16913 0 -1 4202560 4526 0 0 0 169 0 0 0 20 0 28 0 3907518 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204970025944 140205760792369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5390] ppid=5371 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5390/stat : 5390 (java) S 5371 5371 16913 0 -1 1077944384 4076 0 0 0 83 1 0 0 20 0 28 0 3907518 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204968987120 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5391] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5391/stat : 5391 (java) S 5371 5371 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204967934560 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5392] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5392/stat : 5392 (java) S 5371 5371 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3907519 14133010432 142309 33554432000 4194304 4196468 140723684921568 140204966881840 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 13811280
[startup+6.30157 s]
/proc/loadavg: 16.18 15.74 15.28 19/296 5400
/proc/meminfo: memFree=29720140/32770624 swapFree=5900/228604
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
[pid=5372] ppid=5371 vsize=13801768 CPUtime=37.87 cores=0,2,4,6,8,10,12,14
/proc/5372/stat : 5372 (java) S 5371 5371 16913 0 -1 1077944320 37772 0 0 0 3703 84 0 0 20 0 28 0 3907509 14133010432 155283 33554432000 4194304 4196468 140723684921568 140723684904112 140205782658807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
/proc/5372/statm: 3450442 155283 3283 1 0 3437675 0
[pid=5372/tid=5373] ppid=5371 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5373/stat : 5373 (java) S 5371 5371 16913 0 -1 1077944384 8430 0 0 0 232 9 0 0 20 0 28 0 3907509 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205786899584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5375] ppid=5371 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5375/stat : 5375 (java) S 5371 5371 16913 0 -1 1077944384 171 0 0 0 9 8 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205721623184 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5376] ppid=5371 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5376/stat : 5376 (java) S 5371 5371 16913 0 -1 1077944384 152 0 0 0 10 8 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205720570384 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5377] ppid=5371 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5377/stat : 5377 (java) S 5371 5371 16913 0 -1 1077944384 85 0 0 0 9 7 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205719517584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5378] ppid=5371 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5378/stat : 5378 (java) S 5371 5371 16913 0 -1 1077944384 550 0 0 0 9 8 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205378459920 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5379] ppid=5371 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5379/stat : 5379 (java) S 5371 5371 16913 0 -1 1077944384 314 0 0 0 9 8 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205377408144 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5380] ppid=5371 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5380/stat : 5380 (java) S 5371 5371 16913 0 -1 1077944384 171 0 0 0 9 7 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205376355344 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5381] ppid=5371 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5381/stat : 5381 (java) S 5371 5371 16913 0 -1 1077944384 158 0 0 0 10 8 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205375302544 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5382] ppid=5371 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5382/stat : 5382 (java) S 5371 5371 16913 0 -1 1077944384 130 0 0 0 10 9 0 0 20 0 28 0 3907510 14133010432 155283 33554432000 4194304 4196468 140723684921568 140205374249744 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5383] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5383/stat : 5383 (java) S 5371 5371 16913 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 28 0 3907513 14133010432 155283 33554432000 4194304 4196468 140723684921568 140204976355696 140205782669954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5384] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5384/stat : 5384 (java) S 5371 5371 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 155283 33554432000 4194304 4196468 140723684921568 140204975301728 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5385] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5385/stat : 5385 (java) S 5371 5371 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 155283 33554432000 4194304 4196468 140723684921568 140204974248832 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5386] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5386/stat : 5386 (java) S 5371 5371 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 155283 33554432000 4194304 4196468 140723684921568 140204973197136 140205782677403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
################
# More data... #
################
/proc/5372/task/5384/stat : 5384 (java) S 5371 5371 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204975301728 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5385] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5385/stat : 5385 (java) S 5371 5371 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204974248832 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5386] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5386/stat : 5386 (java) S 5371 5371 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204973197136 140205782677403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5387] ppid=5371 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5387/stat : 5387 (java) S 5371 5371 16913 0 -1 1077944384 6501 0 0 0 234 1 0 0 20 0 28 0 3907518 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204972145520 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5388] ppid=5371 vsize=13801768 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5388/stat : 5388 (java) S 5371 5371 16913 0 -1 1077944384 8102 0 0 0 261 1 0 0 20 0 28 0 3907518 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204971092720 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5389] ppid=5371 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5389/stat : 5389 (java) S 5371 5371 16913 0 -1 1077944384 8049 0 0 0 222 1 0 0 20 0 28 0 3907518 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204970039920 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 9 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5390] ppid=5371 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5390/stat : 5390 (java) S 5371 5371 16913 0 -1 1077944384 5414 0 0 0 97 1 0 0 20 0 28 0 3907518 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204968987120 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5391] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5391/stat : 5391 (java) S 5371 5371 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204967934560 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5392] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5392/stat : 5392 (java) S 5371 5371 16913 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 28 0 3907519 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204966881840 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5393] ppid=5371 vsize=13801768 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5393/stat : 5393 (java) R 5371 5371 16913 0 -1 4202560 266 0 0 0 642 0 0 0 20 0 28 0 3907774 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204958866304 140205406602556 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5394] ppid=5371 vsize=13801768 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5394/stat : 5394 (java) R 5371 5371 16913 0 -1 4202560 213 0 0 0 634 0 0 0 20 0 28 0 3907774 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204957814728 140205406193131 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5395] ppid=5371 vsize=13801768 CPUtime=6.36 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5395/stat : 5395 (java) R 5371 5371 16913 0 -1 4202560 272 0 0 0 636 0 0 0 20 0 28 0 3907774 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204956762616 140205406605275 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5396] ppid=5371 vsize=13801768 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5396/stat : 5396 (java) R 5371 5371 16913 0 -1 4202560 1116 0 0 0 621 3 0 0 20 0 28 0 3907774 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204955712632 140205406266381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5397] ppid=5371 vsize=13801768 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5397/stat : 5397 (java) R 5371 5371 16913 0 -1 4202560 218 0 0 0 626 0 0 0 20 0 28 0 3907774 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204954656800 140205407413452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5398] ppid=5371 vsize=13801768 CPUtime=6.46 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5398/stat : 5398 (java) R 5371 5371 16913 0 -1 4202560 212 0 0 0 646 0 0 0 20 0 28 0 3907774 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204953605000 140205406701842 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5399] ppid=5371 vsize=13801768 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5399/stat : 5399 (java) R 5371 5371 16913 0 -1 4202560 228 0 0 0 651 0 0 0 20 0 28 0 3907775 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204952551416 140205406230772 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5400] ppid=5371 vsize=13801768 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5400/stat : 5400 (java) R 5371 5371 16913 0 -1 4202560 140 0 0 0 640 0 0 0 20 0 28 0 3907775 14133010432 192215 33554432000 4194304 4196468 140723684921568 140204951498648 140205406605738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
Current children cumulated CPU time (s) 64.1
Current children cumulated vsize (KiB) 13811280
[startup+10.0144 s]
/proc/loadavg: 16.17 15.74 15.28 18/303 6404
/proc/meminfo: memFree=27176876/32770624 swapFree=5900/228620
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
[pid=5372] ppid=5371 vsize=13801768 CPUtime=67.36 cores=0,2,4,6,8,10,12,14
/proc/5372/stat : 5372 (java) S 5371 5371 16913 0 -1 1077944320 45573 0 0 0 6606 130 0 0 20 0 28 0 3907509 14133010432 192222 33554432000 4194304 4196468 140723684921568 140723684904112 140205782658807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
/proc/5372/statm: 3450442 192222 3285 1 0 3437675 0
[pid=5372/tid=5373] ppid=5371 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5373/stat : 5373 (java) S 5371 5371 16913 0 -1 1077944384 8430 0 0 0 232 9 0 0 20 0 28 0 3907509 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205786899584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5375] ppid=5371 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5375/stat : 5375 (java) S 5371 5371 16913 0 -1 1077944384 290 0 0 0 14 12 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205721623184 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5376] ppid=5371 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5376/stat : 5376 (java) S 5371 5371 16913 0 -1 1077944384 258 0 0 0 16 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205720570384 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5377] ppid=5371 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5377/stat : 5377 (java) S 5371 5371 16913 0 -1 1077944384 197 0 0 0 15 12 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205719517584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5378] ppid=5371 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5378/stat : 5378 (java) S 5371 5371 16913 0 -1 1077944384 653 0 0 0 16 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205378459920 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5379] ppid=5371 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5379/stat : 5379 (java) S 5371 5371 16913 0 -1 1077944384 447 0 0 0 16 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205377408144 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5380] ppid=5371 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5380/stat : 5380 (java) S 5371 5371 16913 0 -1 1077944384 324 0 0 0 15 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205376355344 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5381] ppid=5371 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5381/stat : 5381 (java) S 5371 5371 16913 0 -1 1077944384 255 0 0 0 16 14 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205375302544 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5382] ppid=5371 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5382/stat : 5382 (java) S 5371 5371 16913 0 -1 1077944384 1119 0 0 0 17 14 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205374249744 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5383] ppid=5371 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5383/stat : 5383 (java) S 5371 5371 16913 0 -1 1077944384 1126 0 0 0 1 1 0 0 20 0 28 0 3907513 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204976355696 140205782669954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5384] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5384/stat : 5384 (java) S 5371 5371 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204975301728 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5385] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5385/stat : 5385 (java) S 5371 5371 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204974248832 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5386] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5386/stat : 5386 (java) S 5371 5371 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204973197136 140205782677403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5387] ppid=5371 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5387/stat : 5387 (java) S 5371 5371 16913 0 -1 1077944384 6502 0 0 0 234 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204972145520 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5388] ppid=5371 vsize=13801768 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5388/stat : 5388 (java) S 5371 5371 16913 0 -1 1077944384 8102 0 0 0 261 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204971092720 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5389] ppid=5371 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5389/stat : 5389 (java) S 5371 5371 16913 0 -1 1077944384 8049 0 0 0 223 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204970039920 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 9 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5390] ppid=5371 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5390/stat : 5390 (java) S 5371 5371 16913 0 -1 1077944384 5421 0 0 0 98 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204968987120 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5391] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5391/stat : 5391 (java) S 5371 5371 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204967934560 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5392] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5392/stat : 5392 (java) S 5371 5371 16913 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 28 0 3907519 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204966881840 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5393] ppid=5371 vsize=13801768 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5393/stat : 5393 (java) R 5371 5371 16913 0 -1 4202560 266 0 0 0 683 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204958866216 140205406701597 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5394] ppid=5371 vsize=13801768 CPUtime=6.75 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5394/stat : 5394 (java) R 5371 5371 16913 0 -1 4202560 213 0 0 0 675 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204957814392 140205406193510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5395] ppid=5371 vsize=13801768 CPUtime=6.77 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5395/stat : 5395 (java) R 5371 5371 16913 0 -1 4202560 272 0 0 0 677 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204956762648 140205406603473 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5396] ppid=5371 vsize=13801768 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5396/stat : 5396 (java) R 5371 5371 16913 0 -1 4202560 1121 0 0 0 662 3 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204955712376 140205406193137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5397] ppid=5371 vsize=13801768 CPUtime=6.67 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5397/stat : 5397 (java) R 5371 5371 16913 0 -1 4202560 218 0 0 0 667 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204954656896 140205406193137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5398] ppid=5371 vsize=13801768 CPUtime=6.87 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5398/stat : 5398 (java) R 5371 5371 16913 0 -1 4202560 214 0 0 0 687 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204953604248 140205406193380 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5399] ppid=5371 vsize=13801768 CPUtime=6.9 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5399/stat : 5399 (java) R 5371 5371 16913 0 -1 4202560 229 0 0 0 690 0 0 0 20 0 28 0 3907775 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204952551416 140205406701729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5400] ppid=5371 vsize=13801768 CPUtime=6.81 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5400/stat : 5400 (java) R 5371 5371 16913 0 -1 4202560 140 0 0 0 681 0 0 0 20 0 28 0 3907775 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204951498648 140205406419861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
Current children cumulated CPU time (s) 67.36
Current children cumulated vsize (KiB) 13811280
[startup+10.2015 s]
/proc/loadavg: 16.17 15.74 15.28 18/303 6404
/proc/meminfo: memFree=27176876/32770624 swapFree=5900/228620
[pid=5371] ppid=5368 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5371/stat : 5371 (xcsp3-exec) S 5368 5371 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3907509 9740288 345 33554432000 4194304 5098028 140722309634864 140722309632968 139958189363836 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 16924672 140722309641358 140722309641568 140722309641568 140722309644267 0
/proc/5371/statm: 2378 345 289 221 0 87 0
[pid=5372] ppid=5371 vsize=13801768 CPUtime=68.85 cores=0,2,4,6,8,10,12,14
/proc/5372/stat : 5372 (java) S 5371 5371 16913 0 -1 1077944320 45575 0 0 0 6755 130 0 0 20 0 28 0 3907509 14133010432 192222 33554432000 4194304 4196468 140723684921568 140723684904112 140205782658807 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
/proc/5372/statm: 3450442 192222 3285 1 0 3437675 0
[pid=5372/tid=5373] ppid=5371 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5373/stat : 5373 (java) S 5371 5371 16913 0 -1 1077944384 8430 0 0 0 232 9 0 0 20 0 28 0 3907509 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205786899584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5375] ppid=5371 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5375/stat : 5375 (java) S 5371 5371 16913 0 -1 1077944384 290 0 0 0 14 12 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205721623184 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5376] ppid=5371 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5376/stat : 5376 (java) S 5371 5371 16913 0 -1 1077944384 258 0 0 0 16 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205720570384 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5377] ppid=5371 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5377/stat : 5377 (java) S 5371 5371 16913 0 -1 1077944384 197 0 0 0 15 12 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205719517584 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5378] ppid=5371 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5378/stat : 5378 (java) S 5371 5371 16913 0 -1 1077944384 653 0 0 0 16 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205378459920 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5379] ppid=5371 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5379/stat : 5379 (java) S 5371 5371 16913 0 -1 1077944384 447 0 0 0 16 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205377408144 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5380] ppid=5371 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5380/stat : 5380 (java) S 5371 5371 16913 0 -1 1077944384 324 0 0 0 15 13 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205376355344 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5381] ppid=5371 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5381/stat : 5381 (java) S 5371 5371 16913 0 -1 1077944384 255 0 0 0 16 14 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205375302544 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5382] ppid=5371 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5382/stat : 5382 (java) S 5371 5371 16913 0 -1 1077944384 1119 0 0 0 17 14 0 0 20 0 28 0 3907510 14133010432 192222 33554432000 4194304 4196468 140723684921568 140205374249744 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5383] ppid=5371 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5383/stat : 5383 (java) S 5371 5371 16913 0 -1 1077944384 1126 0 0 0 1 1 0 0 20 0 28 0 3907513 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204976355696 140205782669954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5384] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5384/stat : 5384 (java) S 5371 5371 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204975301728 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5385] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5385/stat : 5385 (java) S 5371 5371 16913 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3907514 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204974248832 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5386] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5386/stat : 5386 (java) S 5371 5371 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204973197136 140205782677403 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5387] ppid=5371 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5387/stat : 5387 (java) S 5371 5371 16913 0 -1 1077944384 6502 0 0 0 234 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204972145520 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5388] ppid=5371 vsize=13801768 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5388/stat : 5388 (java) S 5371 5371 16913 0 -1 1077944384 8102 0 0 0 261 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204971092720 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5389] ppid=5371 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5389/stat : 5389 (java) S 5371 5371 16913 0 -1 1077944384 8049 0 0 0 223 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204970039920 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 9 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5390] ppid=5371 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5390/stat : 5390 (java) S 5371 5371 16913 0 -1 1077944384 5421 0 0 0 98 1 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204968987120 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5391] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5391/stat : 5391 (java) S 5371 5371 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3907518 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204967934560 140205782669013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5392] ppid=5371 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5392/stat : 5392 (java) S 5371 5371 16913 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 28 0 3907519 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204966881840 140205782669954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5393] ppid=5371 vsize=13801768 CPUtime=7.02 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5393/stat : 5393 (java) R 5371 5371 16913 0 -1 4202560 266 0 0 0 702 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204958866216 140205406266192 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5394] ppid=5371 vsize=13801768 CPUtime=6.93 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5394/stat : 5394 (java) R 5371 5371 16913 0 -1 4202560 213 0 0 0 693 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204957814392 140205406193137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5395] ppid=5371 vsize=13801768 CPUtime=6.96 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5395/stat : 5395 (java) R 5371 5371 16913 0 -1 4202560 272 0 0 0 696 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204956762648 140205406605760 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5396] ppid=5371 vsize=13801768 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5396/stat : 5396 (java) R 5371 5371 16913 0 -1 4202560 1123 0 0 0 680 3 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204955712376 140205406193380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5397] ppid=5371 vsize=13801768 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5397/stat : 5397 (java) R 5371 5371 16913 0 -1 4202560 218 0 0 0 686 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204954656896 140205406701842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5398] ppid=5371 vsize=13801768 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5398/stat : 5398 (java) R 5371 5371 16913 0 -1 4202560 214 0 0 0 706 0 0 0 20 0 28 0 3907774 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204953604248 140205406701917 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5399] ppid=5371 vsize=13801768 CPUtime=7.08 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5399/stat : 5399 (java) R 5371 5371 16913 0 -1 4202560 229 0 0 0 708 0 0 0 20 0 28 0 3907775 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204952551416 140205406420240 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
[pid=5372/tid=5400] ppid=5371 vsize=13801768 CPUtime=7 cores=0,2,4,6,8,10,12,14
/proc/5372/task/5400/stat : 5400 (java) R 5371 5371 16913 0 -1 4202560 140 0 0 0 700 0 0 0 20 0 28 0 3907775 14133010432 192222 33554432000 4194304 4196468 140723684921568 140204951498648 140205406419902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17162240 140723684926652 140723684926828 140723684926828 140723684929487 0
Current children cumulated CPU time (s) 68.85
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 10.272
CPU time (s): 69.2452
CPU user time (s): 67.9286
CPU system time (s): 1.31655
CPU usage (%): 674.118
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.9286
system time used= 1.31655
maximum resident set size= 769500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46897
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= 4669
involuntary context switches= 5841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109503 second user time and 0.15674 second system time
The end