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-4249262-1500694069/watcher-4249262-1500694069 -o /tmp/evaluation-result-4249262-1500694069/solver-4249262-1500694069 -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 613973497 HOME/instance-4249262-1500694069.xml
pid=10379
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.94 15.02 14.64 11/270 10382
/proc/meminfo: memFree=27751028/32770624 swapFree=5892/128012
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 15.94 15.02 14.64 11/270 10382
/proc/meminfo: memFree=27751028/32770624 swapFree=5892/128012
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200315 s]
/proc/loadavg: 15.94 15.02 14.64 11/270 10382
/proc/meminfo: memFree=27751028/32770624 swapFree=5892/128012
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300286 s]
/proc/loadavg: 15.94 15.02 14.64 11/270 10382
/proc/meminfo: memFree=27751028/32770624 swapFree=5892/128012
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 15.94 15.02 14.64 11/270 10382
/proc/meminfo: memFree=27751028/32770624 swapFree=5892/128012
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50083 s]
/proc/loadavg: 15.94 15.02 14.64 10/291 10403
/proc/meminfo: memFree=27629532/32770624 swapFree=5892/128396
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
[pid=10383] ppid=10382 vsize=13267208 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/10383/stat : 10383 (java) S 10382 10382 15667 0 -1 1077944320 14530 0 0 0 296 6 0 0 20 0 20 0 4676618 13585620992 34861 33554432000 4194304 4196468 140736407698368 140736407680912 139673999871735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
/proc/10383/statm: 3316802 34861 3201 1 0 3304035 0
[pid=10383/tid=10384] ppid=10382 vsize=13267208 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10384/stat : 10384 (java) R 10382 10382 15667 0 -1 4202560 7183 0 0 0 143 4 0 0 20 0 20 0 4676618 13585620992 34861 33554432000 4194304 4196468 140736407698368 139674004107464 139673631855897 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10386] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10386/stat : 10386 (java) S 10382 10382 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673952491792 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10387] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10387/stat : 10387 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673951439248 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10388] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10388/stat : 10388 (java) S 10382 10382 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673950386704 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10389] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10389/stat : 10389 (java) S 10382 10382 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673949334160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10390] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10390/stat : 10390 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673948281616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10391] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10391/stat : 10391 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673594166160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10392] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10392/stat : 10392 (java) S 10382 10382 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673593113616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10393] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10393/stat : 10393 (java) S 10382 10382 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4676619 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673592061072 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10394] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10394/stat : 10394 (java) S 10382 10382 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4676622 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673462167536 139673999882882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10395] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10395/stat : 10395 (java) S 10382 10382 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4676623 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673461113760 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10396] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10396/stat : 10396 (java) S 10382 10382 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4676623 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673460061168 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10397] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10397/stat : 10397 (java) S 10382 10382 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4676627 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673459009744 139673999890331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10398] ppid=10382 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10398/stat : 10398 (java) S 10382 10382 15667 0 -1 1077944384 1778 0 0 0 38 0 0 0 20 0 20 0 4676627 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673457957360 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10399] ppid=10382 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10399/stat : 10399 (java) R 10382 10382 15667 0 -1 1077944384 1120 0 0 0 38 0 0 0 20 0 20 0 4676627 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673456904816 139673999882882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10400] ppid=10382 vsize=13267208 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10400/stat : 10400 (java) S 10382 10382 15667 0 -1 1077944384 1480 0 0 0 37 0 0 0 20 0 20 0 4676627 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673455852272 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10401] ppid=10382 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10401/stat : 10401 (java) R 10382 10382 15667 0 -1 4202560 1649 0 0 0 39 0 0 0 20 0 20 0 4676627 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673454799728 139673979795871 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10402] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10402/stat : 10402 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4676628 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673453746400 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10403] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10403/stat : 10403 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4676628 13585620992 34861 33554432000 4194304 4196468 140736407698368 139673452693936 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 13276720
[startup+3.10076 s]
/proc/loadavg: 15.94 15.02 14.64 10/291 10403
/proc/meminfo: memFree=27595104/32770624 swapFree=5892/128408
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
[pid=10383] ppid=10382 vsize=13267208 CPUtime=5.16 cores=0,2,4,6,8,10,12,14
/proc/10383/stat : 10383 (java) S 10382 10382 15667 0 -1 1077944320 17299 0 0 0 470 46 0 0 20 0 20 0 4676618 13585620992 62161 33554432000 4194304 4196468 140736407698368 140736407680912 139673999871735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
/proc/10383/statm: 3316802 62161 3230 1 0 3304035 0
[pid=10383/tid=10384] ppid=10382 vsize=13267208 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10384/stat : 10384 (java) R 10382 10382 15667 0 -1 4202560 7494 0 0 0 295 5 0 0 20 0 20 0 4676618 13585620992 62161 33554432000 4194304 4196468 140736407698368 139674004109816 139673632346058 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10386] ppid=10382 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10386/stat : 10386 (java) S 10382 10382 15667 0 -1 1077944384 52 0 0 0 1 5 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673952491792 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10387] ppid=10382 vsize=13267208 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10387/stat : 10387 (java) S 10382 10382 15667 0 -1 1077944384 47 0 0 0 1 4 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673951439248 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10388] ppid=10382 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10388/stat : 10388 (java) S 10382 10382 15667 0 -1 1077944384 385 0 0 0 2 4 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673950386704 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10389] ppid=10382 vsize=13267208 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10389/stat : 10389 (java) S 10382 10382 15667 0 -1 1077944384 342 0 0 0 1 4 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673949334160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10390] ppid=10382 vsize=13267208 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10390/stat : 10390 (java) S 10382 10382 15667 0 -1 1077944384 107 0 0 0 1 4 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673948281616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10391] ppid=10382 vsize=13267208 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10391/stat : 10391 (java) S 10382 10382 15667 0 -1 1077944384 105 0 0 0 1 4 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673594166160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10392] ppid=10382 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10392/stat : 10392 (java) S 10382 10382 15667 0 -1 1077944384 55 0 0 0 1 5 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673593113616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10393] ppid=10382 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10393/stat : 10393 (java) S 10382 10382 15667 0 -1 1077944384 44 0 0 0 2 4 0 0 20 0 20 0 4676619 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673592061072 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10394] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10394/stat : 10394 (java) S 10382 10382 15667 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 4676622 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673462167536 139673999882882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10395] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10395/stat : 10395 (java) S 10382 10382 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 4676623 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673461113760 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10396] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10396/stat : 10396 (java) S 10382 10382 15667 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4676623 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673460061168 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10397] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10397/stat : 10397 (java) S 10382 10382 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4676627 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673459009744 139673999890331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10398] ppid=10382 vsize=13267208 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10398/stat : 10398 (java) S 10382 10382 15667 0 -1 1077944384 1901 0 0 0 40 0 0 0 20 0 20 0 4676627 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673457957360 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10399] ppid=10382 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10399/stat : 10399 (java) S 10382 10382 15667 0 -1 1077944384 1183 0 0 0 39 0 0 0 20 0 20 0 4676627 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673456904816 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10400] ppid=10382 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10400/stat : 10400 (java) S 10382 10382 15667 0 -1 1077944384 1516 0 0 0 39 0 0 0 20 0 20 0 4676627 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673455852272 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10401] ppid=10382 vsize=13267208 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10401/stat : 10401 (java) S 10382 10382 15667 0 -1 1077944384 2410 0 0 0 40 0 0 0 20 0 20 0 4676627 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673454799728 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10402] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10402/stat : 10402 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4676628 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673453746400 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10403] ppid=10382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10403/stat : 10403 (java) S 10382 10382 15667 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4676628 13585620992 62161 33554432000 4194304 4196468 140736407698368 139673452693936 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 13276720
[startup+6.30117 s]
/proc/loadavg: 15.39 14.92 14.61 10/291 10403
/proc/meminfo: memFree=27514484/32770624 swapFree=5892/128412
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
[pid=10383] ppid=10382 vsize=13269256 CPUtime=10.03 cores=0,2,4,6,8,10,12,14
/proc/10383/stat : 10383 (java) S 10382 10382 15667 0 -1 1077944320 20410 0 0 0 867 136 0 0 20 0 20 0 4676618 13587718144 107662 33554432000 4194304 4196468 140736407698368 140736407680912 139673999871735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
/proc/10383/statm: 3317314 107662 3246 1 0 3304547 0
[pid=10383/tid=10384] ppid=10382 vsize=13269256 CPUtime=5.93 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10384/stat : 10384 (java) R 10382 10382 15667 0 -1 4202560 7904 0 0 0 588 5 0 0 20 0 20 0 4676618 13587718144 107662 33554432000 4194304 4196468 140736407698368 139674004109944 139673632346078 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10386] ppid=10382 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10386/stat : 10386 (java) S 10382 10382 15667 0 -1 1077944384 306 0 0 0 14 16 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673952491792 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10387] ppid=10382 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10387/stat : 10387 (java) S 10382 10382 15667 0 -1 1077944384 278 0 0 0 13 16 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673951439248 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10388] ppid=10382 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10388/stat : 10388 (java) S 10382 10382 15667 0 -1 1077944384 497 0 0 0 13 15 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673950386704 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10389] ppid=10382 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10389/stat : 10389 (java) S 10382 10382 15667 0 -1 1077944384 492 0 0 0 14 15 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673949334160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10390] ppid=10382 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10390/stat : 10390 (java) S 10382 10382 15667 0 -1 1077944384 330 0 0 0 14 15 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673948281616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10391] ppid=10382 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10391/stat : 10391 (java) S 10382 10382 15667 0 -1 1077944384 230 0 0 0 13 16 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673594166160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10392] ppid=10382 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10392/stat : 10392 (java) S 10382 10382 15667 0 -1 1077944384 222 0 0 0 13 16 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673593113616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10393] ppid=10382 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10393/stat : 10393 (java) S 10382 10382 15667 0 -1 1077944384 204 0 0 0 15 15 0 0 20 0 20 0 4676619 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673592061072 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10394] ppid=10382 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10394/stat : 10394 (java) S 10382 10382 15667 0 -1 1077944384 1161 0 0 0 2 0 0 0 20 0 20 0 4676622 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673462167536 139673999882882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10395] ppid=10382 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10395/stat : 10395 (java) S 10382 10382 15667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 4676623 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673461113824 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10396] ppid=10382 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10396/stat : 10396 (java) S 10382 10382 15667 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4676623 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673460061184 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10397] ppid=10382 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10397/stat : 10397 (java) S 10382 10382 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4676627 13587718144 107662 33554432000 4194304 4196468 140736407698368 139673459009744 139673999890331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
################
# More data... #
################
/proc/10383/task/10386/stat : 10386 (java) S 10382 10382 15667 0 -1 1077944384 3360 0 0 0 232 193 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673952491792 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10387] ppid=10382 vsize=13801768 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10387/stat : 10387 (java) S 10382 10382 15667 0 -1 1077944384 3131 0 0 0 220 204 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673951439248 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10388] ppid=10382 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10388/stat : 10388 (java) S 10382 10382 15667 0 -1 1077944384 3375 0 0 0 232 194 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673950386704 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10389] ppid=10382 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10389/stat : 10389 (java) S 10382 10382 15667 0 -1 1077944384 3144 0 0 0 224 202 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673949334160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10390] ppid=10382 vsize=13801768 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10390/stat : 10390 (java) S 10382 10382 15667 0 -1 1077944384 2515 0 0 0 227 201 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673948281616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10391] ppid=10382 vsize=13801768 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10391/stat : 10391 (java) S 10382 10382 15667 0 -1 1077944384 3056 0 0 0 233 195 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673594166160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10392] ppid=10382 vsize=13801768 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10392/stat : 10392 (java) S 10382 10382 15667 0 -1 1077944384 3423 0 0 0 224 198 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673593113616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10393] ppid=10382 vsize=13801768 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10393/stat : 10393 (java) S 10382 10382 15667 0 -1 1077944384 2905 0 0 0 220 194 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673592061072 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10394] ppid=10382 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10394/stat : 10394 (java) S 10382 10382 15667 0 -1 1077944384 7519 0 0 0 22 1 0 0 20 0 28 0 4676622 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673462167536 139673999882882 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10395] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10395/stat : 10395 (java) S 10382 10382 15667 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4676623 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673461113824 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10396] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10396/stat : 10396 (java) S 10382 10382 15667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 4676623 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673460061184 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10397] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10397/stat : 10397 (java) S 10382 10382 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673459009744 139673999890331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10398] ppid=10382 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10398/stat : 10398 (java) S 10382 10382 15667 0 -1 1077944384 7038 0 0 0 290 0 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673457957360 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10399] ppid=10382 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10399/stat : 10399 (java) S 10382 10382 15667 0 -1 1077944384 5487 0 0 0 255 1 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673456904816 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10400] ppid=10382 vsize=13801768 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10400/stat : 10400 (java) S 10382 10382 15667 0 -1 1077944384 5186 0 0 0 220 1 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673455852272 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10401] ppid=10382 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10401/stat : 10401 (java) S 10382 10382 15667 0 -1 1077944384 5568 0 0 0 88 0 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673454799728 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10402] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10402/stat : 10402 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4676628 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673453746400 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10403] ppid=10382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10403/stat : 10403 (java) S 10382 10382 15667 0 -1 1077944384 687 0 0 0 1 1 0 0 20 0 28 0 4676628 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673452693936 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10501] ppid=10382 vsize=13801768 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10501/stat : 10501 (java) R 10382 10382 15667 0 -1 4202560 60 0 0 0 294 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673444679888 139673634313497 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10502] ppid=10382 vsize=13801768 CPUtime=3.45 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10502/stat : 10502 (java) R 10382 10382 15667 0 -1 4202560 52 0 0 0 345 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673443627016 139673634312104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10503] ppid=10382 vsize=13801768 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10503/stat : 10503 (java) R 10382 10382 15667 0 -1 4202560 81 0 0 0 294 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673442576632 139673630388003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10504] ppid=10382 vsize=13801768 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10504/stat : 10504 (java) R 10382 10382 15667 0 -1 4202560 79 0 0 0 285 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673441524240 139673630387998 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10505] ppid=10382 vsize=13801768 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10505/stat : 10505 (java) R 10382 10382 15667 0 -1 4202560 40 0 0 0 303 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673440469848 139673630388003 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10506] ppid=10382 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10506/stat : 10506 (java) R 10382 10382 15667 0 -1 4202560 37 0 0 0 276 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673439417352 139673634313883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10507] ppid=10382 vsize=13801768 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10507/stat : 10507 (java) R 10382 10382 15667 0 -1 4202560 52 0 0 0 314 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673438363880 139673630387775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10508] ppid=10382 vsize=13801768 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10508/stat : 10508 (java) R 10382 10382 15667 0 -1 4202560 53 0 0 0 311 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673437310632 139673630387868 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
Current children cumulated CPU time (s) 137.28
Current children cumulated vsize (KiB) 13811280
[startup+79.3015 s]
/proc/loadavg: 11.20 13.69 14.20 10/291 10508
/proc/meminfo: memFree=25687032/32770624 swapFree=5892/128592
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
[pid=10383] ppid=10382 vsize=13801768 CPUtime=143.72 cores=0,2,4,6,8,10,12,14
/proc/10383/stat : 10383 (java) S 10382 10382 15667 0 -1 1077944320 70965 0 0 0 12763 1609 0 0 20 0 28 0 4676618 14133010432 928536 33554432000 4194304 4196468 140736407698368 140736407680912 139673999871735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
/proc/10383/statm: 3450442 928536 3293 1 0 3437675 0
[pid=10383/tid=10384] ppid=10382 vsize=13801768 CPUtime=70.1 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10384/stat : 10384 (java) S 10382 10382 15667 0 -1 1077944384 12705 0 0 0 6998 12 0 0 20 0 28 0 4676618 14133010432 928536 33554432000 4194304 4196468 140736407698368 139674004112512 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10386] ppid=10382 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10386/stat : 10386 (java) S 10382 10382 15667 0 -1 1077944384 3360 0 0 0 232 193 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673952491792 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10387] ppid=10382 vsize=13801768 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10387/stat : 10387 (java) S 10382 10382 15667 0 -1 1077944384 3131 0 0 0 220 204 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673951439248 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10388] ppid=10382 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10388/stat : 10388 (java) S 10382 10382 15667 0 -1 1077944384 3375 0 0 0 232 194 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673950386704 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10389] ppid=10382 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10389/stat : 10389 (java) S 10382 10382 15667 0 -1 1077944384 3144 0 0 0 224 202 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673949334160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10390] ppid=10382 vsize=13801768 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10390/stat : 10390 (java) S 10382 10382 15667 0 -1 1077944384 2515 0 0 0 227 201 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673948281616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10391] ppid=10382 vsize=13801768 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10391/stat : 10391 (java) S 10382 10382 15667 0 -1 1077944384 3056 0 0 0 233 195 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673594166160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10392] ppid=10382 vsize=13801768 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10392/stat : 10392 (java) S 10382 10382 15667 0 -1 1077944384 3423 0 0 0 224 198 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673593113616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10393] ppid=10382 vsize=13801768 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10393/stat : 10393 (java) S 10382 10382 15667 0 -1 1077944384 2905 0 0 0 220 194 0 0 20 0 28 0 4676619 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673592061072 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10394] ppid=10382 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10394/stat : 10394 (java) S 10382 10382 15667 0 -1 1077944384 7519 0 0 0 22 2 0 0 20 0 28 0 4676622 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673462167536 139673999882882 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10395] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10395/stat : 10395 (java) S 10382 10382 15667 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4676623 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673461113824 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10396] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10396/stat : 10396 (java) S 10382 10382 15667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 4676623 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673460061184 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10397] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10397/stat : 10397 (java) S 10382 10382 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673459009744 139673999890331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10398] ppid=10382 vsize=13801768 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10398/stat : 10398 (java) S 10382 10382 15667 0 -1 1077944384 7044 0 0 0 294 1 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673457957360 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10399] ppid=10382 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10399/stat : 10399 (java) S 10382 10382 15667 0 -1 1077944384 5487 0 0 0 255 1 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673456904816 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10400] ppid=10382 vsize=13801768 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10400/stat : 10400 (java) S 10382 10382 15667 0 -1 1077944384 5186 0 0 0 220 1 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673455852272 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10401] ppid=10382 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10401/stat : 10401 (java) S 10382 10382 15667 0 -1 1077944384 5568 0 0 0 88 0 0 0 20 0 28 0 4676627 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673454799728 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10402] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10402/stat : 10402 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4676628 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673453746400 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10403] ppid=10382 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10403/stat : 10403 (java) S 10382 10382 15667 0 -1 1077944384 687 0 0 0 1 1 0 0 20 0 28 0 4676628 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673452693936 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10501] ppid=10382 vsize=13801768 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10501/stat : 10501 (java) R 10382 10382 15667 0 -1 4202560 60 0 0 0 375 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673444678584 139673630388003 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10502] ppid=10382 vsize=13801768 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10502/stat : 10502 (java) R 10382 10382 15667 0 -1 4202560 52 0 0 0 424 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673443627592 139673634313883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10503] ppid=10382 vsize=13801768 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10503/stat : 10503 (java) R 10382 10382 15667 0 -1 4202560 82 0 0 0 375 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673442574360 139673630388012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10504] ppid=10382 vsize=13801768 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10504/stat : 10504 (java) R 10382 10382 15667 0 -1 4202560 79 0 0 0 364 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673441522680 139673630387868 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10505] ppid=10382 vsize=13801768 CPUtime=3.84 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10505/stat : 10505 (java) R 10382 10382 15667 0 -1 4202560 41 0 0 0 384 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673440469136 139673634314094 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10506] ppid=10382 vsize=13801768 CPUtime=3.57 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10506/stat : 10506 (java) R 10382 10382 15667 0 -1 4202560 37 0 0 0 357 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673439416840 139673634315038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10507] ppid=10382 vsize=13801768 CPUtime=3.96 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10507/stat : 10507 (java) R 10382 10382 15667 0 -1 4202560 52 0 0 0 396 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673438363384 139673634752953 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10508] ppid=10382 vsize=13801768 CPUtime=3.9 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10508/stat : 10508 (java) R 10382 10382 15667 0 -1 4202560 53 0 0 0 390 0 0 0 20 0 28 0 4684089 14133010432 928536 33554432000 4194304 4196468 140736407698368 139673437310728 139673634312662 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
Current children cumulated CPU time (s) 143.72
Current children cumulated vsize (KiB) 13811280
[startup+79.7015 s]
/proc/loadavg: 11.20 13.69 14.20 10/291 10508
/proc/meminfo: memFree=25687032/32770624 swapFree=5892/128592
[pid=10382] ppid=10379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10382/stat : 10382 (xcsp3-exec) S 10379 10382 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4676618 9740288 346 33554432000 4194304 5098028 140723976053632 140723976051736 140671649309308 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22622208 140723976057999 140723976058208 140723976058208 140723976060907 0
/proc/10382/statm: 2378 346 289 221 0 87 0
[pid=10383] ppid=10382 vsize=13801768 CPUtime=146.72 cores=0,2,4,6,8,10,12,14
/proc/10383/stat : 10383 (java) S 10382 10382 15667 0 -1 1077944320 71033 0 0 0 13063 1609 0 0 20 0 19 0 4676618 14133010432 928659 33554432000 4194304 4196468 140736407698368 140736407680912 139673999871735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
/proc/10383/statm: 3450442 928659 3296 1 0 3437675 0
[pid=10383/tid=10384] ppid=10382 vsize=13801768 CPUtime=70.1 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10384/stat : 10384 (java) S 10382 10382 15667 0 -1 1077944384 12718 0 0 0 6998 12 0 0 20 0 19 0 4676618 14133010432 928659 33554432000 4194304 4196468 140736407698368 139674004114576 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10386] ppid=10382 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10386/stat : 10386 (java) S 10382 10382 15667 0 -1 1077944384 3360 0 0 0 232 193 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673952491792 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10387] ppid=10382 vsize=13801768 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10387/stat : 10387 (java) S 10382 10382 15667 0 -1 1077944384 3131 0 0 0 220 204 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673951439248 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10388] ppid=10382 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10388/stat : 10388 (java) S 10382 10382 15667 0 -1 1077944384 3375 0 0 0 232 194 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673950386704 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10389] ppid=10382 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10389/stat : 10389 (java) S 10382 10382 15667 0 -1 1077944384 3144 0 0 0 224 202 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673949334160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10390] ppid=10382 vsize=13801768 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10390/stat : 10390 (java) S 10382 10382 15667 0 -1 1077944384 2515 0 0 0 227 201 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673948281616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10391] ppid=10382 vsize=13801768 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10391/stat : 10391 (java) S 10382 10382 15667 0 -1 1077944384 3056 0 0 0 233 195 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673594166160 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10392] ppid=10382 vsize=13801768 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10392/stat : 10392 (java) S 10382 10382 15667 0 -1 1077944384 3423 0 0 0 224 198 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673593113616 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10393] ppid=10382 vsize=13801768 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10393/stat : 10393 (java) S 10382 10382 15667 0 -1 1077944384 2905 0 0 0 220 194 0 0 20 0 19 0 4676619 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673592061072 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10394] ppid=10382 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10394/stat : 10394 (java) S 10382 10382 15667 0 -1 1077944384 7521 0 0 0 22 2 0 0 20 0 19 0 4676622 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673462167744 139673999882882 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10395] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10395/stat : 10395 (java) S 10382 10382 15667 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 4676623 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673461113824 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10396] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10396/stat : 10396 (java) S 10382 10382 15667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 4676623 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673460061184 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10397] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10397/stat : 10397 (java) S 10382 10382 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 4676627 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673459008512 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10398] ppid=10382 vsize=13801768 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10398/stat : 10398 (java) S 10382 10382 15667 0 -1 1077944384 7047 0 0 0 296 1 0 0 20 0 19 0 4676627 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673457957360 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10399] ppid=10382 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10399/stat : 10399 (java) S 10382 10382 15667 0 -1 1077944384 5489 0 0 0 257 1 0 0 20 0 19 0 4676627 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673456904816 139673999882882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10400] ppid=10382 vsize=13801768 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10400/stat : 10400 (java) S 10382 10382 15667 0 -1 1077944384 5187 0 0 0 226 1 0 0 20 0 19 0 4676627 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673455836784 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10401] ppid=10382 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10401/stat : 10401 (java) S 10382 10382 15667 0 -1 1077944384 5573 0 0 0 89 1 0 0 20 0 19 0 4676627 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673454795600 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
[pid=10383/tid=10402] ppid=10382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10383/task/10402/stat : 10402 (java) S 10382 10382 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4676628 14133010432 928659 33554432000 4194304 4196468 140736407698368 139673453746400 139673999881941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32260096 140736407700668 140736407700844 140736407700844 140736407703503 0
Current children cumulated CPU time (s) 146.72
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 79.7244
CPU time (s): 146.759
CPU user time (s): 130.64
CPU system time (s): 16.1195
CPU usage (%): 184.083
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.64
system time used= 16.1195
maximum resident set size= 3717184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71589
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= 6954
involuntary context switches= 10864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.619741 second user time and 0.940559 second system time
The end