runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1878 MiB free)
memory of node 1: 16384 MiB (3034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403209-1568974821/watcher-4403209-1568974821 -o /var/tmp/evaluation-result-4403209-1568974821/solver-4403209-1568974821 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568967596-32357 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4403209-1568974821.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1933, runsolver pid=1930
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.63 1.40 1.41 3/218 1991
/proc/meminfo: memFree=5021520/32770624 swapFree=66988420/67108860
[pid=1933] ppid=1930 vsize=9972712 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 4334 13102 0 0 1 0 5 3 20 0 6 0 473744684 10212057088 4582 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2493178 4582 1930 1 0 2481616 0
[pid=1933/tid=1987] ppid=1930 vsize=9972712 memory=4627829660337606006 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 2162 13102 0 0 1 0 5 3 20 0 6 0 473744693 10212057088 4648 33554432000 4194304 4196468 140723049753200 140439136014928 140439149301104 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 6 0 473744693 10212057088 4648 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=9972712 memory=139840041842304 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 6 0 473744693 10212057088 4648 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 6 0 473744693 10212057088 4648 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 6 0 473744693 10212057088 4648 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209821 s]*
/proc/loadavg: 1.63 1.40 1.41 3/227 2000
/proc/meminfo: memFree=5003788/32770624 swapFree=66988420/67108860
[pid=1933] ppid=1930 vsize=10820164 memory=41296 CPUtime=0.27 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 7328 13102 0 0 17 2 5 3 20 0 15 0 473744684 11079847936 10324 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2705041 10324 3266 1 0 2667149 0
[pid=1933/tid=1987] ppid=1930 vsize=10820196 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 3831 13102 0 0 10 1 5 3 20 0 15 0 473744693 11079880704 10324 33554432000 4194304 4196468 140723049753200 140439135989200 140439148258654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10820196 memory=4294967638 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 10324 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10820196 memory=139840045465514 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 10324 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10820196 memory=139840041842304 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 473744695 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 33 13102 0 0 0 0 5 3 20 0 15 0 473744695 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438622561952 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744695 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438048597232 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11079880704 10324 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 586 13102 0 0 1 0 5 3 20 0 15 0 473744698 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) R 1930 1933 32325 0 -1 4202560 65 13102 0 0 1 0 5 3 20 0 15 0 473744698 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438587951472 140439143424752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10820196 memory=139840041842304 CPUtime=0.11 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) R 1930 1933 32325 0 -1 1077944384 629 13102 0 0 3 0 5 3 20 0 15 0 473744698 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438586898416 140439164189314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11079880704 10324 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10820196 memory=139840041842304 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744699 11079880704 10324 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 41296 KiB
[startup+0.310402 s]*
/proc/loadavg: 1.63 1.40 1.41 3/227 2000
/proc/meminfo: memFree=4991444/32770624 swapFree=66988420/67108860
[pid=1933] ppid=1930 vsize=10820196 memory=49948 CPUtime=0.4 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 10402 13102 0 0 29 3 5 3 20 0 15 0 473744684 11079880704 12487 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2705049 12487 3314 1 0 2667149 0
[pid=1933/tid=1987] ppid=1930 vsize=10820196 memory=2608 CPUtime=0.29 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 6852 13102 0 0 19 2 5 3 20 0 15 0 473744693 11079880704 12552 33554432000 4194304 4196468 140723049753200 140439135990832 140439150411053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10820196 memory=4294969568 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 12552 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10820196 memory=139844336809599 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 12552 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10820196 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10820196 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 473744693 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 473744695 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 33 13102 0 0 0 0 5 3 20 0 15 0 473744695 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438622561952 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744695 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438048597232 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11079880704 12552 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 587 13102 0 0 2 0 5 3 20 0 15 0 473744698 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) S 1930 1933 32325 0 -1 1077944384 66 13102 0 0 2 0 5 3 20 0 15 0 473744698 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438587951472 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10820196 memory=139840041842304 CPUtime=0.13 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) S 1930 1933 32325 0 -1 1077944384 648 13102 0 0 5 0 5 3 20 0 15 0 473744698 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438586898416 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11079880704 12552 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10820196 memory=139840041842304 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744699 11079880704 12552 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49948 KiB
[startup+0.702723 s]
/proc/loadavg: 1.74 1.43 1.42 3/227 2000
/proc/meminfo: memFree=4975316/32770624 swapFree=66988420/67108860
[pid=1933] ppid=1930 vsize=10824364 memory=83708 CPUtime=1.17 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 15160 13102 0 0 104 5 5 3 20 0 15 0 473744684 11084148736 20927 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2706091 20927 3505 1 0 2668173 0
[pid=1933/tid=1987] ppid=1930 vsize=10824364 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 10371 13102 0 0 56 4 5 3 20 0 15 0 473744693 11084148736 20927 33554432000 4194304 4196468 140723049753200 140439135991328 140439164200093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10824364 memory=279679814880064 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11084148736 20927 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10824364 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11084148736 20927 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744693 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 473744693 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 5 13102 0 0 0 0 5 3 20 0 15 0 473744695 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10824364 memory=139840041841137 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 33 13102 0 0 0 0 5 3 20 0 15 0 473744695 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438622561952 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744695 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438048597232 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11084148736 20927 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10824364 memory=2521212913409 CPUtime=0.23 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 1174 13102 0 0 15 0 5 3 20 0 15 0 473744698 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10824364 memory=24774486 CPUtime=0.22 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) R 1930 1933 32325 0 -1 4202560 519 13102 0 0 14 0 5 3 20 0 15 0 473744698 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438587937440 140439145722815 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10824364 memory=-7886167514736700194 CPUtime=0.25 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) R 1930 1933 32325 0 -1 4202560 838 13102 0 0 17 0 5 3 20 0 15 0 473744698 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438586898416 140439164190102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10824364 memory=5939524903929996886 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11084148736 20927 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10824364 memory=8099279071866868838 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744699 11084148736 20927 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83708 KiB
[startup+1.50072 s]
/proc/loadavg: 1.74 1.43 1.42 5/227 2000
/proc/meminfo: memFree=4900792/32770624 swapFree=66988420/67108860
[pid=1933] ppid=1930 vsize=10832632 memory=252776 CPUtime=2.98 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 24416 13102 0 0 278 12 5 3 20 0 15 0 473744684 11092615168 63194 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2708158 63194 3593 1 0 2670221 0
[pid=1933/tid=1987] ppid=1930 vsize=10832632 memory=5605 CPUtime=1.43 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 14867 13102 0 0 129 6 5 3 20 0 15 0 473744693 11092615168 63194 33554432000 4194304 4196468 140723049753200 140439136010384 140438736568720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10832632 memory=2253 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 77 13102 0 0 1 0 5 3 20 0 15 0 473744693 11092615168 63194 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10832632 memory=33 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 29 13102 0 0 1 0 5 3 20 0 15 0 473744693 11092615168 63194 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 21 13102 0 0 1 0 5 3 20 0 15 0 473744693 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 270 13102 0 0 1 0 5 3 20 0 15 0 473744693 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 892 13102 0 0 1 0 5 3 20 0 15 0 473744695 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 34 13102 0 0 0 0 5 3 20 0 15 0 473744695 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438622562016 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10832632 memory=-7385037589438827369 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744695 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438048597248 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10832632 memory=-7385037589438827369 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11092615168 63194 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10832632 memory=7088771780662946468 CPUtime=0.6 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 2297 13102 0 0 52 0 5 3 20 0 15 0 473744698 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10832632 memory=6944656592455097440 CPUtime=0.58 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) R 1930 1933 32325 0 -1 1077944384 2210 13102 0 0 50 0 5 3 20 0 15 0 473744698 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438587951472 140439164189314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10832632 memory=4137287014106042739 CPUtime=0.46 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) R 1930 1933 32325 0 -1 4202560 1505 13102 0 0 38 0 5 3 20 0 15 0 473744698 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438586898416 140439157275003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10832632 memory=115 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11092615168 63194 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 473744699 11092615168 63194 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 142811 13102 0 0 225858 73 5 3 20 0 15 0 473744693 11109412864 572433 33554432000 4194304 4196468 140723049753200 140439136013312 140438749658848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10849036 memory=2289704 CPUtime=1.87 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 26108 13102 0 0 159 20 5 3 20 0 15 0 473744693 11109412864 572433 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10849036 memory=2289724 CPUtime=1.88 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 24053 13102 0 0 158 22 5 3 20 0 15 0 473744693 11109412864 572433 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10849036 memory=461 CPUtime=1.88 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 31889 13102 0 0 161 19 5 3 20 0 15 0 473744693 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10849036 memory=2289728 CPUtime=1.87 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 24803 13102 0 0 159 20 5 3 20 0 15 0 473744693 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10849036 memory=2289712 CPUtime=0.88 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 20861 13102 0 0 71 9 5 3 20 0 15 0 473744695 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10849036 memory=2289728 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 47 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438622562080 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10849036 memory=2289732 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 19 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438048597248 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10849036 memory=2289732 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572433 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10849036 memory=2289732 CPUtime=4.69 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 32847 13102 0 0 456 5 5 3 20 0 15 0 473744698 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10849036 memory=2289732 CPUtime=5.01 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) S 1930 1933 32325 0 -1 1077944384 49224 13102 0 0 487 6 5 3 20 0 15 0 473744698 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438587951472 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10849036 memory=3620 CPUtime=2.09 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) S 1930 1933 32325 0 -1 1077944384 28602 13102 0 0 197 4 5 3 20 0 15 0 473744698 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438586898416 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10849036 memory=38588 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572433 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10849036 memory=2004 CPUtime=1.21 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 2292 13102 0 0 56 57 5 3 20 0 15 0 473744699 11109412864 572433 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 2280.17 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2289732 KiB
[startup+2322.3 s]
/proc/loadavg: 1.33 1.38 1.47 3/227 2347
/proc/meminfo: memFree=1489164/32770624 swapFree=66988468/67108860
[pid=1933] ppid=1930 vsize=10849036 memory=2289756 CPUtime=2340.38 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 388760 13102 0 0 233805 225 5 3 20 0 15 0 473744684 11109412864 572439 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2712259 572439 3630 1 0 2674317 0
[pid=1933/tid=1987] ppid=1930 vsize=10849036 memory=2289756 CPUtime=2319.26 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 143988 13102 0 0 231845 73 5 3 20 0 15 0 473744693 11109412864 572439 33554432000 4194304 4196468 140723049753200 140439136006512 140438751596965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10849036 memory=2289756 CPUtime=1.95 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 26294 13102 0 0 166 21 5 3 20 0 15 0 473744693 11109412864 572439 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10849036 memory=2289756 CPUtime=1.95 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 24543 13102 0 0 165 22 5 3 20 0 15 0 473744693 11109412864 572439 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10849036 memory=2289756 CPUtime=1.95 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 32419 13102 0 0 167 20 5 3 20 0 15 0 473744693 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10849036 memory=2289752 CPUtime=1.94 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 24955 13102 0 0 165 21 5 3 20 0 15 0 473744693 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10849036 memory=461 CPUtime=0.92 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 21275 13102 0 0 75 9 5 3 20 0 15 0 473744695 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10849036 memory=2289736 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 47 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438622562080 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10849036 memory=2289748 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 19 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438048597248 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10849036 memory=2289752 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572439 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10849036 memory=2289756 CPUtime=4.69 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 32851 13102 0 0 456 5 5 3 20 0 15 0 473744698 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10849036 memory=8589934594067 CPUtime=5.01 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) S 1930 1933 32325 0 -1 1077944384 49228 13102 0 0 487 6 5 3 20 0 15 0 473744698 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438587951472 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10849036 memory=2289756 CPUtime=2.09 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) S 1930 1933 32325 0 -1 1077944384 28606 13102 0 0 197 4 5 3 20 0 15 0 473744698 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438586898416 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10849036 memory=2289756 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572439 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10849036 memory=33 CPUtime=1.25 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 2322 13102 0 0 58 59 5 3 20 0 15 0 473744699 11109412864 572439 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 2340.38 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2289756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2381.7 s]
/proc/loadavg: 1.18 1.33 1.45 3/227 2351
/proc/meminfo: memFree=1489300/32770624 swapFree=66988468/67108860
[pid=1933] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2400.07 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 392545 13102 0 0 239771 228 5 3 20 0 15 0 473744684 11109412864 572445 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2712259 572445 3630 1 0 2674317 0
[pid=1933/tid=1987] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2378.54 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 145196 13102 0 0 237773 73 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140439136014080 140438751597696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2.01 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 26573 13102 0 0 172 21 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 24806 13102 0 0 170 22 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2.01 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 32566 13102 0 0 173 20 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 25586 13102 0 0 171 21 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10849036 memory=2289764 CPUtime=0.96 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 21670 13102 0 0 79 9 5 3 20 0 15 0 473744695 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10849036 memory=2289764 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 47 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438622562080 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10849036 memory=2289780 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 19 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438048597248 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10849036 memory=2289780 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10849036 memory=2289780 CPUtime=4.69 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 33049 13102 0 0 456 5 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10849036 memory=461 CPUtime=5.09 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) S 1930 1933 32325 0 -1 1077944384 49858 13102 0 0 495 6 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438587951472 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2.09 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) S 1930 1933 32325 0 -1 1077944384 28610 13102 0 0 197 4 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438586898416 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10849036 memory=1564 CPUtime=1.28 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 2352 13102 0 0 59 61 5 3 20 0 15 0 473744699 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2289780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2381.74 s]
# the end of solver process 1933 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.8 s, system=2.32973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2381.7 s]
/proc/loadavg: 1.18 1.33 1.45 3/227 2351
/proc/meminfo: memFree=1489300/32770624 swapFree=66988468/67108860
[pid=1933] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2400.07 cores=1,3,5,7
/proc/1933/stat : 1933 (java) S 1930 1933 32325 0 -1 1077944320 392545 13102 0 0 239771 228 5 3 20 0 15 0 473744684 11109412864 572445 33554432000 4194304 4196468 140723049753200 140723049735744 140439164178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
/proc/1933/statm: 2712259 572445 3630 1 0 2674317 0
[pid=1933/tid=1987] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2378.54 cores=1,3,5,7
/proc/1933/task/1987/stat : 1987 (java) R 1930 1933 32325 0 -1 4202560 145196 13102 0 0 237773 73 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140439136014080 140438751597696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1988] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2.01 cores=1,3,5,7
/proc/1933/task/1988/stat : 1988 (java) S 1930 1933 32325 0 -1 1077944384 26573 13102 0 0 172 21 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140439168420368 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1989] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2 cores=1,3,5,7
/proc/1933/task/1989/stat : 1989 (java) S 1930 1933 32325 0 -1 1077944384 24806 13102 0 0 170 22 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140439056693904 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1990] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2.01 cores=1,3,5,7
/proc/1933/task/1990/stat : 1990 (java) S 1930 1933 32325 0 -1 1077944384 32566 13102 0 0 173 20 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438736464144 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1991] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2 cores=1,3,5,7
/proc/1933/task/1991/stat : 1991 (java) S 1930 1933 32325 0 -1 1077944384 25586 13102 0 0 171 21 5 3 20 0 15 0 473744693 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438735411600 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1992] ppid=1930 vsize=10849036 memory=2289764 CPUtime=0.96 cores=1,3,5,7
/proc/1933/task/1992/stat : 1992 (java) S 1930 1933 32325 0 -1 1077944384 21670 13102 0 0 79 9 5 3 20 0 15 0 473744695 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438623615728 140439164189314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1993] ppid=1930 vsize=10849036 memory=2289764 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1993/stat : 1993 (java) S 1930 1933 32325 0 -1 1077944384 47 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438622562080 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1994] ppid=1930 vsize=10849036 memory=2289780 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1994/stat : 1994 (java) S 1930 1933 32325 0 -1 1077944384 19 13102 0 0 0 0 5 3 20 0 15 0 473744695 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438048597248 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1995] ppid=1930 vsize=10849036 memory=2289780 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1995/stat : 1995 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140437741197776 140439164196763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1996] ppid=1930 vsize=10849036 memory=2289780 CPUtime=4.69 cores=1,3,5,7
/proc/1933/task/1996/stat : 1996 (java) S 1930 1933 32325 0 -1 1077944384 33049 13102 0 0 456 5 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438589004016 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1997] ppid=1930 vsize=10849036 memory=461 CPUtime=5.09 cores=1,3,5,7
/proc/1933/task/1997/stat : 1997 (java) S 1930 1933 32325 0 -1 1077944384 49858 13102 0 0 495 6 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438587951472 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1998] ppid=1930 vsize=10849036 memory=2289780 CPUtime=2.09 cores=1,3,5,7
/proc/1933/task/1998/stat : 1998 (java) S 1930 1933 32325 0 -1 1077944384 28610 13102 0 0 197 4 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438586898416 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=1999] ppid=1930 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/1933/task/1999/stat : 1999 (java) S 1930 1933 32325 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 473744698 11109412864 572445 33554432000 4194304 4196468 140723049753200 140437707639136 140439164188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
[pid=1933/tid=2000] ppid=1930 vsize=10849036 memory=1564 CPUtime=1.28 cores=1,3,5,7
/proc/1933/task/2000/stat : 2000 (java) S 1930 1933 32325 0 -1 1077944384 2352 13102 0 0 59 61 5 3 20 0 15 0 473744699 11109412864 572445 33554432000 4194304 4196468 140723049753200 140438129339440 140439164189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11665408 140723049757283 140723049759925 140723049759925 140723049762767 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2289780 KiB
Child status: 143
Real time (s): 2381.74
CPU time (s): 2400.13
CPU user time (s): 2397.8
CPU system time (s): 2.32973
CPU usage (%): 100.772
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 2876828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.8
system time used= 2.32973
maximum resident set size= 2879520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75821
involuntary context switches= 1418
# summary of solver processes directly reported to runsolver:
# pid: 1933
# total CPU time (s): 2400.13
# total CPU user time (s): 2397.8
# total CPU system time (s): 2.32973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6493 second user time and 18.1563 second system time
The end