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-4247872-1500690902/watcher-4247872-1500690902 -o /tmp/evaluation-result-4247872-1500690902/solver-4247872-1500690902 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 469006687 HOME/instance-4247872-1500690902.xml
pid=513
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: 14.10 14.83 11.87 10/270 516
/proc/meminfo: memFree=31719008/32770624 swapFree=5892/121420
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
[startup+0.10013 s]
/proc/loadavg: 14.10 14.83 11.87 10/270 516
/proc/meminfo: memFree=31719008/32770624 swapFree=5892/121420
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200337 s]
/proc/loadavg: 14.10 14.83 11.87 10/270 516
/proc/meminfo: memFree=31719008/32770624 swapFree=5892/121420
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300254 s]
/proc/loadavg: 14.10 14.83 11.87 10/270 516
/proc/meminfo: memFree=31719008/32770624 swapFree=5892/121420
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700174 s]
/proc/loadavg: 14.10 14.83 11.87 10/270 516
/proc/meminfo: memFree=31719008/32770624 swapFree=5892/121420
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 14.10 14.83 11.87 13/291 537
/proc/meminfo: memFree=31588304/32770624 swapFree=5892/121452
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
[pid=517] ppid=516 vsize=13269256 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/517/stat : 517 (java) S 516 516 15667 0 -1 1077944320 31944 0 0 0 478 10 0 0 20 0 20 0 4359920 13587718144 48903 33554432000 4194304 4196468 140727282284368 140727282266912 140052171587319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
/proc/517/statm: 3317314 48903 3225 1 0 3304547 0
[pid=517/tid=518] ppid=516 vsize=13269256 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/517/task/518/stat : 518 (java) R 516 516 15667 0 -1 4202560 7353 0 0 0 141 5 0 0 20 0 20 0 4359921 13587718144 48903 33554432000 4194304 4196468 140727282284368 140052175822680 140051791329328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=520] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/520/stat : 520 (java) S 516 516 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140052110551568 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=521] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/521/stat : 521 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140052109499024 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=522] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/522/stat : 522 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140052108445968 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=523] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/523/stat : 523 (java) S 516 516 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140052107393424 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=524] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/524/stat : 524 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140051766270992 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=525] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/525/stat : 525 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140051765218448 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=526] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/526/stat : 526 (java) S 516 516 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140051764165392 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=527] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/527/stat : 527 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359922 13587718144 48903 33554432000 4194304 4196468 140727282284368 140051763112848 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=528] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/528/stat : 528 (java) S 516 516 15667 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4359924 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050903320816 140052171598466 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=529] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/529/stat : 529 (java) S 516 516 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4359925 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050902267040 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=530] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/530/stat : 530 (java) S 516 516 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4359925 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050901213936 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=531] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/531/stat : 531 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359929 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050900162512 140052171605915 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=532] ppid=516 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/517/task/532/stat : 532 (java) R 516 516 15667 0 -1 4202560 4142 0 0 0 90 1 0 0 20 0 20 0 4359929 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050899098752 140052171608666 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=533] ppid=516 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/517/task/533/stat : 533 (java) R 516 516 15667 0 -1 4202560 9999 0 0 0 95 1 0 0 20 0 20 0 4359929 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050562004704 140052171599254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=534] ppid=516 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/517/task/534/stat : 534 (java) R 516 516 15667 0 -1 4202560 5065 0 0 0 90 1 0 0 20 0 20 0 4359929 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050560951072 140052153131408 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=535] ppid=516 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/517/task/535/stat : 535 (java) S 516 516 15667 0 -1 1077944384 4056 0 0 0 60 1 0 0 20 0 20 0 4359929 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050559912560 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=536] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/536/stat : 536 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359930 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050558859744 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=537] ppid=516 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/537/stat : 537 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359930 13587718144 48903 33554432000 4194304 4196468 140727282284368 140050557807280 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 13278768
[startup+3.10151 s]
/proc/loadavg: 14.10 14.83 11.87 21/299 545
/proc/meminfo: memFree=31496528/32770624 swapFree=5892/121452
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
[pid=517] ppid=516 vsize=13801768 CPUtime=16.45 cores=0,2,4,6,8,10,12,14
/proc/517/stat : 517 (java) S 516 516 15667 0 -1 1077944320 36289 0 0 0 1627 18 0 0 20 0 28 0 4359920 14133010432 58286 33554432000 4194304 4196468 140727282284368 140727282266912 140052171587319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
/proc/517/statm: 3450442 58286 3243 1 0 3437675 0
[pid=517/tid=518] ppid=516 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/517/task/518/stat : 518 (java) S 516 516 15667 0 -1 1077944384 7482 0 0 0 165 6 0 0 20 0 28 0 4359921 14133010432 58286 33554432000 4194304 4196468 140727282284368 140052175828096 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=520] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/520/stat : 520 (java) S 516 516 15667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140052110551568 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=521] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/521/stat : 521 (java) S 516 516 15667 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140052109499024 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=522] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/522/stat : 522 (java) S 516 516 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140052108445968 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=523] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/523/stat : 523 (java) S 516 516 15667 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140052107393424 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=524] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/524/stat : 524 (java) S 516 516 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140051766270992 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=525] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/525/stat : 525 (java) S 516 516 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140051765218448 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=526] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/526/stat : 526 (java) S 516 516 15667 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140051764165392 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=527] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/527/stat : 527 (java) S 516 516 15667 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58286 33554432000 4194304 4196468 140727282284368 140051763112848 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=528] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/528/stat : 528 (java) S 516 516 15667 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4359924 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050903320816 140052171598466 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=529] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/529/stat : 529 (java) S 516 516 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050902267104 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=530] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/530/stat : 530 (java) S 516 516 15667 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050901213936 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=531] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/531/stat : 531 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359929 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050900162512 140052171605915 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=532] ppid=516 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/517/task/532/stat : 532 (java) R 516 516 15667 0 -1 4202560 5177 0 0 0 218 1 0 0 20 0 28 0 4359929 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050899095440 140052156511666 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=533] ppid=516 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/517/task/533/stat : 533 (java) R 516 516 15667 0 -1 4202560 10461 0 0 0 192 1 0 0 20 0 28 0 4359929 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050562004384 140052153106780 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=534] ppid=516 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/517/task/534/stat : 534 (java) R 516 516 15667 0 -1 4202560 6241 0 0 0 194 1 0 0 20 0 28 0 4359929 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050560961512 140052155118825 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=535] ppid=516 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/517/task/535/stat : 535 (java) S 516 516 15667 0 -1 1077944384 4482 0 0 0 89 1 0 0 20 0 28 0 4359929 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050559912560 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=536] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/536/stat : 536 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4359930 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050558859744 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=537] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/537/stat : 537 (java) S 516 516 15667 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4359930 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050557807280 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=538] ppid=516 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/517/task/538/stat : 538 (java) R 516 516 15667 0 -1 4202560 136 0 0 0 86 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050549791536 140051794311791 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=539] ppid=516 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/517/task/539/stat : 539 (java) R 516 516 15667 0 -1 4202560 145 0 0 0 101 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050548740440 140051794311556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=540] ppid=516 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/540/stat : 540 (java) R 516 516 15667 0 -1 4202560 137 0 0 0 109 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050547688536 140051793974183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=541] ppid=516 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/517/task/541/stat : 541 (java) R 516 516 15667 0 -1 4202560 115 0 0 0 89 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050546634616 140051794219450 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=542] ppid=516 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/517/task/542/stat : 542 (java) R 516 516 15667 0 -1 4202560 69 0 0 0 79 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050545584544 140051794311830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=543] ppid=516 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/517/task/543/stat : 543 (java) R 516 516 15667 0 -1 4202560 53 0 0 0 105 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050544530472 140051791349312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=544] ppid=516 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/517/task/544/stat : 544 (java) R 516 516 15667 0 -1 4202560 45 0 0 0 101 0 0 0 20 0 28 0 4360096 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050543476512 140051794311890 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=545] ppid=516 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/517/task/545/stat : 545 (java) R 516 516 15667 0 -1 4202560 38 0 0 0 89 0 0 0 20 0 28 0 4360097 14133010432 58286 33554432000 4194304 4196468 140727282284368 140050542426792 140051794229834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
Current children cumulated CPU time (s) 16.45
Current children cumulated vsize (KiB) 13811280
[startup+6.30153 s]
/proc/loadavg: 13.93 14.78 11.87 17/299 545
/proc/meminfo: memFree=31492760/32770624 swapFree=5892/121460
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
[pid=517] ppid=516 vsize=13801768 CPUtime=41.9 cores=0,2,4,6,8,10,12,14
/proc/517/stat : 517 (java) S 516 516 15667 0 -1 1077944320 37604 0 0 0 4171 19 0 0 20 0 28 0 4359920 14133010432 58492 33554432000 4194304 4196468 140727282284368 140727282266912 140052171587319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
/proc/517/statm: 3450442 58492 3261 1 0 3437675 0
[pid=517/tid=518] ppid=516 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/517/task/518/stat : 518 (java) S 516 516 15667 0 -1 1077944384 7482 0 0 0 165 6 0 0 20 0 28 0 4359921 14133010432 58492 33554432000 4194304 4196468 140727282284368 140052175828096 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=520] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/520/stat : 520 (java) S 516 516 15667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58492 33554432000 4194304 4196468 140727282284368 140052110551568 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=521] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/521/stat : 521 (java) S 516 516 15667 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58492 33554432000 4194304 4196468 140727282284368 140052109499024 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=522] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/522/stat : 522 (java) S 516 516 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58492 33554432000 4194304 4196468 140727282284368 140052108445968 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=523] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/523/stat : 523 (java) S 516 516 15667 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4359922 14133010432 58492 33554432000 4194304 4196468 140727282284368 140052107393424 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
################
# More data... #
################
/proc/517/task/529/stat : 529 (java) S 516 516 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050902267104 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=530] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/530/stat : 530 (java) S 516 516 15667 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050901213952 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=531] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/531/stat : 531 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050900162512 140052171605915 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=532] ppid=516 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/517/task/532/stat : 532 (java) S 516 516 15667 0 -1 1077944384 8286 0 0 0 257 1 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050899110640 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=533] ppid=516 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/517/task/533/stat : 533 (java) S 516 516 15667 0 -1 1077944384 13960 0 0 0 247 1 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050562018160 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=534] ppid=516 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/517/task/534/stat : 534 (java) S 516 516 15667 0 -1 1077944384 8253 0 0 0 221 2 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050560965104 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=535] ppid=516 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/517/task/535/stat : 535 (java) S 516 516 15667 0 -1 1077944384 6940 0 0 0 93 1 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050559912560 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=536] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/536/stat : 536 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4359930 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050558859744 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=537] ppid=516 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/517/task/537/stat : 537 (java) S 516 516 15667 0 -1 1077944384 362 0 0 0 0 1 0 0 20 0 28 0 4359930 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050557807280 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=538] ppid=516 vsize=13801768 CPUtime=63.18 cores=0,2,4,6,8,10,12,14
/proc/517/task/538/stat : 538 (java) R 516 516 15667 0 -1 4202560 903 0 0 0 6318 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050549791640 140051794311417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=539] ppid=516 vsize=13801768 CPUtime=63.31 cores=0,2,4,6,8,10,12,14
/proc/517/task/539/stat : 539 (java) R 516 516 15667 0 -1 4202560 651 0 0 0 6331 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050548742768 140051793966316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=540] ppid=516 vsize=13801768 CPUtime=63.15 cores=0,2,4,6,8,10,12,14
/proc/517/task/540/stat : 540 (java) R 516 516 15667 0 -1 4202560 1542 0 0 0 6315 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050547687824 140051793966304 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=541] ppid=516 vsize=13801768 CPUtime=62.98 cores=0,2,4,6,8,10,12,14
/proc/517/task/541/stat : 541 (java) R 516 516 15667 0 -1 4202560 742 0 0 0 6298 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050546635480 140051794312665 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=542] ppid=516 vsize=13801768 CPUtime=63.25 cores=0,2,4,6,8,10,12,14
/proc/517/task/542/stat : 542 (java) R 516 516 15667 0 -1 4202560 564 0 0 0 6325 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050545582568 140051795464505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=543] ppid=516 vsize=13801768 CPUtime=63.42 cores=0,2,4,6,8,10,12,14
/proc/517/task/543/stat : 543 (java) R 516 516 15667 0 -1 4202560 478 0 0 0 6342 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050544529928 140051794229586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=544] ppid=516 vsize=13801768 CPUtime=63 cores=0,2,4,6,8,10,12,14
/proc/517/task/544/stat : 544 (java) R 516 516 15667 0 -1 4202560 355 0 0 0 6300 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050543476872 140051793966438 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=545] ppid=516 vsize=13801768 CPUtime=63.15 cores=0,2,4,6,8,10,12,14
/proc/517/task/545/stat : 545 (java) R 516 516 15667 0 -1 4202560 698 0 0 0 6314 1 0 0 20 0 28 0 4360097 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050542424280 140051794312009 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
Current children cumulated CPU time (s) 516.3
Current children cumulated vsize (KiB) 13811280
[startup+66.2014 s]
/proc/loadavg: 14.63 14.87 12.09 21/299 654
/proc/meminfo: memFree=31552044/32770624 swapFree=5892/121568
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
[pid=517] ppid=516 vsize=13801768 CPUtime=517.84 cores=0,2,4,6,8,10,12,14
/proc/517/stat : 517 (java) S 516 516 15667 0 -1 1077944320 61282 0 0 0 51738 46 0 0 20 0 28 0 4359920 14133010432 47912 33554432000 4194304 4196468 140727282284368 140727282266912 140052171587319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
/proc/517/statm: 3450442 47912 3273 1 0 3437675 0
[pid=517/tid=518] ppid=516 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/517/task/518/stat : 518 (java) S 516 516 15667 0 -1 1077944384 7482 0 0 0 165 6 0 0 20 0 28 0 4359921 14133010432 47912 33554432000 4194304 4196468 140727282284368 140052175828096 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=520] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/520/stat : 520 (java) S 516 516 15667 0 -1 1077944384 1809 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140052110551568 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=521] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/521/stat : 521 (java) S 516 516 15667 0 -1 1077944384 312 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140052109499024 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=522] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/522/stat : 522 (java) S 516 516 15667 0 -1 1077944384 266 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140052108445968 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=523] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/523/stat : 523 (java) S 516 516 15667 0 -1 1077944384 230 0 0 0 7 2 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140052107393424 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=524] ppid=516 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/517/task/524/stat : 524 (java) S 516 516 15667 0 -1 1077944384 303 0 0 0 7 3 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140051766270992 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=525] ppid=516 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/517/task/525/stat : 525 (java) S 516 516 15667 0 -1 1077944384 1855 0 0 0 6 2 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140051765218448 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=526] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/526/stat : 526 (java) S 516 516 15667 0 -1 1077944384 1273 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140051764165392 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=527] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/527/stat : 527 (java) S 516 516 15667 0 -1 1077944384 1043 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47912 33554432000 4194304 4196468 140727282284368 140051763112848 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=528] ppid=516 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/517/task/528/stat : 528 (java) S 516 516 15667 0 -1 1077944384 1600 0 0 0 5 5 0 0 20 0 28 0 4359924 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050903320816 140052171598466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=529] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/529/stat : 529 (java) S 516 516 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050902267104 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=530] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/530/stat : 530 (java) S 516 516 15667 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050901213952 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=531] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/531/stat : 531 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050900162512 140052171605915 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=532] ppid=516 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/517/task/532/stat : 532 (java) S 516 516 15667 0 -1 1077944384 8286 0 0 0 257 1 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050899110640 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=533] ppid=516 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/517/task/533/stat : 533 (java) S 516 516 15667 0 -1 1077944384 13960 0 0 0 247 1 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050562018160 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=534] ppid=516 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/517/task/534/stat : 534 (java) S 516 516 15667 0 -1 1077944384 8253 0 0 0 221 2 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050560965104 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=535] ppid=516 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/517/task/535/stat : 535 (java) S 516 516 15667 0 -1 1077944384 6940 0 0 0 93 1 0 0 20 0 28 0 4359929 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050559912560 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=536] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/536/stat : 536 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4359930 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050558859744 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=537] ppid=516 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/517/task/537/stat : 537 (java) S 516 516 15667 0 -1 1077944384 362 0 0 0 0 1 0 0 20 0 28 0 4359930 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050557807280 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=538] ppid=516 vsize=13801768 CPUtime=63.36 cores=0,2,4,6,8,10,12,14
/proc/517/task/538/stat : 538 (java) R 516 516 15667 0 -1 4202560 903 0 0 0 6336 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050549791640 140051794275489 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=539] ppid=516 vsize=13801768 CPUtime=63.5 cores=0,2,4,6,8,10,12,14
/proc/517/task/539/stat : 539 (java) R 516 516 15667 0 -1 4202560 651 0 0 0 6350 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050548742768 140051794312670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=540] ppid=516 vsize=13801768 CPUtime=63.33 cores=0,2,4,6,8,10,12,14
/proc/517/task/540/stat : 540 (java) R 516 516 15667 0 -1 4202560 1542 0 0 0 6333 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050547687824 140051787898095 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=541] ppid=516 vsize=13801768 CPUtime=63.16 cores=0,2,4,6,8,10,12,14
/proc/517/task/541/stat : 541 (java) R 516 516 15667 0 -1 4202560 742 0 0 0 6316 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050546635480 140051796004463 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=542] ppid=516 vsize=13801768 CPUtime=63.43 cores=0,2,4,6,8,10,12,14
/proc/517/task/542/stat : 542 (java) R 516 516 15667 0 -1 4202560 564 0 0 0 6343 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050545582568 140051794311804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=543] ppid=516 vsize=13801768 CPUtime=63.6 cores=0,2,4,6,8,10,12,14
/proc/517/task/543/stat : 543 (java) R 516 516 15667 0 -1 4202560 478 0 0 0 6360 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050544529928 140051794230119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=544] ppid=516 vsize=13801768 CPUtime=63.18 cores=0,2,4,6,8,10,12,14
/proc/517/task/544/stat : 544 (java) R 516 516 15667 0 -1 4202560 355 0 0 0 6318 0 0 0 20 0 28 0 4360096 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050543476872 140051794311958 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=545] ppid=516 vsize=13801768 CPUtime=63.33 cores=0,2,4,6,8,10,12,14
/proc/517/task/545/stat : 545 (java) R 516 516 15667 0 -1 4202560 698 0 0 0 6332 1 0 0 20 0 28 0 4360097 14133010432 47912 33554432000 4194304 4196468 140727282284368 140050542424280 140051794554472 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
Current children cumulated CPU time (s) 517.84
Current children cumulated vsize (KiB) 13811280
[startup+66.3015 s]
/proc/loadavg: 14.63 14.87 12.09 21/299 654
/proc/meminfo: memFree=31552044/32770624 swapFree=5892/121568
[pid=516] ppid=513 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/516/stat : 516 (xcsp3-exec) S 513 516 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359920 9740288 346 33554432000 4194304 5098028 140732264666320 140732264664424 140112578073212 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12046336 140732264670351 140732264670560 140732264670560 140732264673259 0
/proc/516/statm: 2378 346 289 221 0 87 0
[pid=517] ppid=516 vsize=13801768 CPUtime=518.61 cores=0,2,4,6,8,10,12,14
/proc/517/stat : 517 (java) S 516 516 15667 0 -1 1077944320 61284 0 0 0 51815 46 0 0 20 0 28 0 4359920 14133010432 47399 33554432000 4194304 4196468 140727282284368 140727282266912 140052171587319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
/proc/517/statm: 3450442 47399 3273 1 0 3437675 0
[pid=517/tid=518] ppid=516 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/517/task/518/stat : 518 (java) S 516 516 15667 0 -1 1077944384 7482 0 0 0 165 6 0 0 20 0 28 0 4359921 14133010432 47399 33554432000 4194304 4196468 140727282284368 140052175828096 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=520] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/520/stat : 520 (java) S 516 516 15667 0 -1 1077944384 1809 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140052110551568 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=521] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/521/stat : 521 (java) S 516 516 15667 0 -1 1077944384 312 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140052109499024 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=522] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/522/stat : 522 (java) S 516 516 15667 0 -1 1077944384 266 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140052108445968 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=523] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/523/stat : 523 (java) S 516 516 15667 0 -1 1077944384 230 0 0 0 7 2 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140052107393424 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=524] ppid=516 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/517/task/524/stat : 524 (java) S 516 516 15667 0 -1 1077944384 304 0 0 0 7 3 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140051766270992 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=525] ppid=516 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/517/task/525/stat : 525 (java) S 516 516 15667 0 -1 1077944384 1855 0 0 0 6 2 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140051765218448 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=526] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/526/stat : 526 (java) S 516 516 15667 0 -1 1077944384 1273 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140051764165392 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=527] ppid=516 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/517/task/527/stat : 527 (java) S 516 516 15667 0 -1 1077944384 1043 0 0 0 6 3 0 0 20 0 28 0 4359922 14133010432 47399 33554432000 4194304 4196468 140727282284368 140051763112848 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=528] ppid=516 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/517/task/528/stat : 528 (java) S 516 516 15667 0 -1 1077944384 1600 0 0 0 5 5 0 0 20 0 28 0 4359924 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050903320816 140052171598466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=529] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/529/stat : 529 (java) S 516 516 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050902267104 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=530] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/530/stat : 530 (java) S 516 516 15667 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4359925 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050901213952 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=531] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/531/stat : 531 (java) S 516 516 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359929 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050900162512 140052171605915 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=532] ppid=516 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/517/task/532/stat : 532 (java) S 516 516 15667 0 -1 1077944384 8286 0 0 0 257 1 0 0 20 0 28 0 4359929 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050899110640 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=533] ppid=516 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/517/task/533/stat : 533 (java) S 516 516 15667 0 -1 1077944384 13960 0 0 0 247 1 0 0 20 0 28 0 4359929 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050562018160 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=534] ppid=516 vsize=13801768 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/517/task/534/stat : 534 (java) S 516 516 15667 0 -1 1077944384 8253 0 0 0 221 2 0 0 20 0 28 0 4359929 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050560965104 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=535] ppid=516 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/517/task/535/stat : 535 (java) S 516 516 15667 0 -1 1077944384 6940 0 0 0 93 1 0 0 20 0 28 0 4359929 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050559912560 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=536] ppid=516 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/517/task/536/stat : 536 (java) S 516 516 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4359930 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050558859744 140052171597525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=537] ppid=516 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/517/task/537/stat : 537 (java) S 516 516 15667 0 -1 1077944384 362 0 0 0 0 1 0 0 20 0 28 0 4359930 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050557807280 140052171598466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=538] ppid=516 vsize=13801768 CPUtime=63.45 cores=0,2,4,6,8,10,12,14
/proc/517/task/538/stat : 538 (java) R 516 516 15667 0 -1 4202560 903 0 0 0 6345 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050549791640 140051794311727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=539] ppid=516 vsize=13801768 CPUtime=63.59 cores=0,2,4,6,8,10,12,14
/proc/517/task/539/stat : 539 (java) R 516 516 15667 0 -1 4202560 651 0 0 0 6359 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050548740104 140051795488816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=540] ppid=516 vsize=13801768 CPUtime=63.43 cores=0,2,4,6,8,10,12,14
/proc/517/task/540/stat : 540 (java) R 516 516 15667 0 -1 4202560 1542 0 0 0 6343 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050547688600 140051794312374 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=541] ppid=516 vsize=13801768 CPUtime=63.26 cores=0,2,4,6,8,10,12,14
/proc/517/task/541/stat : 541 (java) R 516 516 15667 0 -1 4202560 742 0 0 0 6326 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050546635528 140051794312190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=542] ppid=516 vsize=13801768 CPUtime=63.53 cores=0,2,4,6,8,10,12,14
/proc/517/task/542/stat : 542 (java) R 516 516 15667 0 -1 4202560 565 0 0 0 6353 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050545584816 140051791349338 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=543] ppid=516 vsize=13801768 CPUtime=63.69 cores=0,2,4,6,8,10,12,14
/proc/517/task/543/stat : 543 (java) R 516 516 15667 0 -1 4202560 478 0 0 0 6369 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050544529680 140051793966438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=544] ppid=516 vsize=13801768 CPUtime=63.28 cores=0,2,4,6,8,10,12,14
/proc/517/task/544/stat : 544 (java) R 516 516 15667 0 -1 4202560 355 0 0 0 6328 0 0 0 20 0 28 0 4360096 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050543476824 140051794311881 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
[pid=517/tid=545] ppid=516 vsize=13801768 CPUtime=63.42 cores=0,2,4,6,8,10,12,14
/proc/517/task/545/stat : 545 (java) R 516 516 15667 0 -1 4202560 698 0 0 0 6341 1 0 0 20 0 28 0 4360097 14133010432 47399 33554432000 4194304 4196468 140727282284368 140050542424152 140051794311963 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29917184 140727282291900 140727282292076 140727282292076 140727282294735 0
Current children cumulated CPU time (s) 518.61
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 66.347
CPU time (s): 518.836
CPU user time (s): 518.36
CPU system time (s): 0.476605
CPU usage (%): 782.005
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.36
system time used= 0.476605
maximum resident set size= 266996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7876
involuntary context switches= 38650
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.80401 second user time and 0.917882 second system time
The end