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 (2779 MiB free)
memory of node 1: 16384 MiB (862 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402733-1568983810/watcher-4402733-1568983810 -o /var/tmp/evaluation-result-4402733-1568983810/solver-4402733-1568983810 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568967593-29694 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1433918022 HOME/instance-4402733-1568983810.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=1935, runsolver pid=1932
Current StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 1.12 1.35 1.38 3/219 1992
/proc/meminfo: memFree=3722176/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=9972712 memory=16548 CPUtime=0.1 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 4365 13338 0 0 1 1 5 3 20 0 6 0 474294854 10212057088 4137 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2493178 4137 1932 1 0 2481616 0
[pid=1935/tid=1988] ppid=1932 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 2244 13338 0 0 0 0 5 3 20 0 6 0 474294863 10212057088 4203 33554432000 4194304 4196468 140729411476496 139655550026320 139655562270076 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 6 0 474294864 10212057088 4203 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=9972712 memory=139912584300160 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 6 0 474294864 10212057088 4203 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 6 0 474294864 10212057088 4203 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 6 0 474294864 10212057088 4203 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210118 s]*
/proc/loadavg: 1.12 1.35 1.38 4/228 2001
/proc/meminfo: memFree=3698552/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10819716 memory=45100 CPUtime=0.26 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 7036 13338 0 0 17 1 5 3 20 0 15 0 474294854 11079389184 11275 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2704929 11275 3179 1 0 2667149 0
[pid=1935/tid=1988] ppid=1932 vsize=10819856 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 3722 13338 0 0 10 1 5 3 20 0 15 0 474294863 11079532544 11306 33554432000 4194304 4196468 140729411476496 139655550000592 139655570867573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10820000 memory=4294967641 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079680000 11306 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10820000 memory=3834163562505766560 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079680000 11306 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079680000 11306 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10820000 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079680000 11306 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10820000 memory=139912584300160 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294866 11079680000 11371 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10820000 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 13 13338 0 0 0 0 5 3 20 0 15 0 474294866 11079680000 11371 33554432000 4194304 4196468 140729411476496 139655022372256 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11079680000 11371 33554432000 4194304 4196468 140729411476496 139654888154608 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11079680000 11371 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10820000 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) S 1932 1935 29663 0 -1 1077944384 350 13338 0 0 1 0 5 3 20 0 15 0 474294869 11079680000 11371 33554432000 4194304 4196468 140729411476496 139655103727600 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10820000 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) S 1932 1935 29663 0 -1 1077944384 317 13338 0 0 1 0 5 3 20 0 15 0 474294869 11079680000 11371 33554432000 4194304 4196468 140729411476496 139655102675056 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10820000 memory=139912584300160 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) S 1932 1935 29663 0 -1 1077944384 597 13338 0 0 3 0 5 3 20 0 15 0 474294869 11079680000 11371 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10820000 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11079680000 11371 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10820000 memory=139912584300160 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294870 11079680000 11371 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 45100 KiB
[startup+0.310352 s]*
/proc/loadavg: 1.12 1.35 1.38 4/228 2001
/proc/meminfo: memFree=3685756/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10820196 memory=54064 CPUtime=0.41 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 10368 13338 0 0 30 3 5 3 20 0 15 0 474294854 11079880704 13516 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2705049 13516 3310 1 0 2667149 0
[pid=1935/tid=1988] ppid=1932 vsize=10820196 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 6852 13338 0 0 19 2 5 3 20 0 15 0 474294863 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655549999808 139655561376368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10820196 memory=4294969568 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10820196 memory=139916879267455 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10820196 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10820196 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294864 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294866 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 13 13338 0 0 0 0 5 3 20 0 15 0 474294866 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655022372256 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11079880704 13516 33554432000 4194304 4196468 140729411476496 139654888154608 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11079880704 13516 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) S 1932 1935 29663 0 -1 1077944384 351 13338 0 0 2 0 5 3 20 0 15 0 474294869 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655103727600 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) S 1932 1935 29663 0 -1 1077944384 326 13338 0 0 2 0 5 3 20 0 15 0 474294869 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655102675056 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10820196 memory=139912584300160 CPUtime=0.13 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) S 1932 1935 29663 0 -1 1077944384 617 13338 0 0 5 0 5 3 20 0 15 0 474294869 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11079880704 13516 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10820196 memory=139912584300160 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294870 11079880704 13516 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54064 KiB
[startup+0.705775 s]
/proc/loadavg: 1.12 1.35 1.38 3/228 2001
/proc/meminfo: memFree=3671056/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10824364 memory=87512 CPUtime=1.15 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 15083 13338 0 0 103 4 5 3 20 0 15 0 474294854 11084148736 21878 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2706091 21878 3510 1 0 2668173 0
[pid=1935/tid=1988] ppid=1932 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 10427 13338 0 0 56 3 5 3 20 0 15 0 474294863 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655550019104 139655578211485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10824364 memory=139912584298993 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294864 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294864 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294864 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294864 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 5 13338 0 0 0 0 5 3 20 0 15 0 474294866 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10824364 memory=2533628053249 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 13 13338 0 0 0 0 5 3 20 0 15 0 474294866 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655022372256 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10824364 memory=206042844 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11084148736 21878 33554432000 4194304 4196468 140729411476496 139654888154608 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10824364 memory=6811895185499135200 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11084148736 21878 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10824364 memory=6220154360695969126 CPUtime=0.21 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) R 1932 1935 29663 0 -1 4202560 771 13338 0 0 13 0 5 3 20 0 15 0 474294869 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655103714144 139655561576781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10824364 memory=14008 CPUtime=0.23 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) S 1932 1935 29663 0 -1 1077944384 836 13338 0 0 15 0 5 3 20 0 15 0 474294869 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655102675056 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10824364 memory=4104 CPUtime=0.25 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) S 1932 1935 29663 0 -1 1077944384 815 13338 0 0 17 0 5 3 20 0 15 0 474294869 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10824364 memory=12040 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11084148736 21878 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10824364 memory=2124 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294870 11084148736 21878 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87512 KiB
[startup+1.50072 s]
/proc/loadavg: 1.12 1.35 1.38 5/228 2001
/proc/meminfo: memFree=3616288/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10834680 memory=209928 CPUtime=3.06 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 36771 13338 0 0 287 11 5 3 20 0 15 0 474294854 11094712320 52482 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2708670 52482 3584 1 0 2670733 0
[pid=1935/tid=1988] ppid=1932 vsize=10834680 memory=3512 CPUtime=1.44 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 17864 13338 0 0 130 6 5 3 20 0 15 0 474294863 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655550019376 139655562270046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 95 13338 0 0 1 0 5 3 20 0 15 0 474294864 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 89 13338 0 0 1 0 5 3 20 0 15 0 474294864 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10834680 memory=5864063183020638307 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 294 13338 0 0 1 0 5 3 20 0 15 0 474294864 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10834680 memory=5866318277074239587 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 23 13338 0 0 1 0 5 3 20 0 15 0 474294864 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10834680 memory=-2921583094684216152 CPUtime=0.09 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 525 13338 0 0 1 0 5 3 20 0 15 0 474294866 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10834680 memory=-7595754389018307734 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 14 13338 0 0 0 0 5 3 20 0 15 0 474294866 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655022372320 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10834680 memory=55600 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11094712320 52482 33554432000 4194304 4196468 140729411476496 139654888154624 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10834680 memory=2020 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11094712320 52482 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10834680 memory=988 CPUtime=0.6 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) S 1932 1935 29663 0 -1 1077944384 5666 13338 0 0 52 0 5 3 20 0 15 0 474294869 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655103727600 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10834680 memory=1368 CPUtime=0.64 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) S 1932 1935 29663 0 -1 1077944384 7735 13338 0 0 55 1 5 3 20 0 15 0 474294869 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655102675056 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10834680 memory=1056 CPUtime=0.5 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) R 1932 1935 29663 0 -1 4202560 2258 13338 0 0 41 1 5 3 20 0 15 0 474294869 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655101622512 139655556710476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10834680 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11094712320 52482 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10834680 memory=6024 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294870 11094712320 52482 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+4.13396 s]
# the end of solver process 1935 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.1329 s, system=0.230623 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20087 s]
/proc/loadavg: 1.12 1.35 1.38 5/228 2001
/proc/meminfo: memFree=3492432/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10844940 memory=281524 CPUtime=7.4 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 52314 13338 0 0 716 16 5 3 20 0 15 0 474294854 11105218560 70381 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2711235 70381 3605 1 0 2673293 0
[pid=1935/tid=1988] ppid=1932 vsize=10844940 memory=4644 CPUtime=3.08 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 24562 13338 0 0 292 8 5 3 20 0 15 0 474294863 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655550025024 139655570426686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10844940 memory=6916 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 127 13338 0 0 3 0 5 3 20 0 15 0 474294864 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10844940 memory=2244 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 123 13338 0 0 3 0 5 3 20 0 15 0 474294864 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10844940 memory=139912452245664 CPUtime=0.1 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 391 13338 0 0 2 0 5 3 20 0 15 0 474294864 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10844940 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 49 13338 0 0 3 0 5 3 20 0 15 0 474294864 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10844940 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 2596 13338 0 0 3 0 5 3 20 0 15 0 474294866 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 15 13338 0 0 0 0 5 3 20 0 15 0 474294866 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655022372320 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10844940 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11105218560 70381 33554432000 4194304 4196468 140729411476496 139654888154624 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10844940 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11105218560 70381 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10844940 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) S 1932 1935 29663 0 -1 1077944384 7244 13338 0 0 135 1 5 3 20 0 15 0 474294869 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655103727600 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10844940 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) R 1932 1935 29663 0 -1 4202560 9340 13338 0 0 141 1 5 3 20 0 15 0 474294869 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655102675056 139655561565267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10844940 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) S 1932 1935 29663 0 -1 1077944384 5652 13338 0 0 127 2 5 3 20 0 15 0 474294869 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11105218560 70381 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10844940 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 9 13338 0 0 0 0 5 3 20 0 15 0 474294870 11105218560 70381 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 281524 KiB
[startup+3.60079 s]
/proc/loadavg: 1.12 1.35 1.38 5/228 2001
/proc/meminfo: memFree=3492432/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10846988 memory=289812 CPUtime=8.71 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 57213 13338 0 0 846 17 5 3 20 0 15 0 474294854 11107315712 72453 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2711747 72453 3607 1 0 2673805 0
[pid=1935/tid=1988] ppid=1932 vsize=10846988 memory=279824903962864 CPUtime=3.47 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 25414 13338 0 0 331 8 5 3 20 0 15 0 474294863 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655550023568 139655188150982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10846988 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 127 13338 0 0 3 0 5 3 20 0 15 0 474294864 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10846988 memory=4716000717808770439 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 123 13338 0 0 3 0 5 3 20 0 15 0 474294864 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10846988 memory=288287796408623904 CPUtime=0.1 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 391 13338 0 0 2 0 5 3 20 0 15 0 474294864 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10846988 memory=3991427759677386784 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 49 13338 0 0 3 0 5 3 20 0 15 0 474294864 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10846988 memory=-6079959004214013070 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 2596 13338 0 0 3 0 5 3 20 0 15 0 474294866 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10846988 memory=667680 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 15 13338 0 0 0 0 5 3 20 0 15 0 474294866 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655022372320 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10846988 memory=2728 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11107315712 72453 33554432000 4194304 4196468 140729411476496 139654888154624 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10846988 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11107315712 72453 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10846988 memory=6935054825532540783 CPUtime=1.76 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) R 1932 1935 29663 0 -1 4202560 8288 13338 0 0 167 1 5 3 20 0 15 0 474294869 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655103713696 139655557876223 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10846988 memory=4126316290023845779 CPUtime=1.9 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) R 1932 1935 29663 0 -1 4202560 11103 13338 0 0 181 1 5 3 20 0 15 0 474294869 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655102660016 139655555784464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10846988 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) S 1932 1935 29663 0 -1 1077944384 6889 13338 0 0 146 2 5 3 20 0 15 0 474294869 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11107315712 72453 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10846988 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 9 13338 0 0 0 0 5 3 20 0 15 0 474294870 11107315712 72453 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 289812 KiB
[startup+4.0012 s]*
/proc/loadavg: 1.12 1.35 1.38 5/228 2001
/proc/meminfo: memFree=3462484/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10849036 memory=307944 CPUtime=10 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 61810 13338 0 0 974 18 5 3 20 0 15 0 474294854 11109412864 76986 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2712259 76986 3607 1 0 2674317 0
[pid=1935/tid=1988] ppid=1932 vsize=10849036 memory=-8171376296011865461 CPUtime=3.89 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 25515 13338 0 0 372 9 5 3 20 0 15 0 474294863 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655550025448 139655187636615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10849036 memory=3691042062614868232 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 127 13338 0 0 3 0 5 3 20 0 15 0 474294864 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10849036 memory=3472468208811970490 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 123 13338 0 0 3 0 5 3 20 0 15 0 474294864 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10849036 memory=7377848712034412605 CPUtime=0.1 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 391 13338 0 0 2 0 5 3 20 0 15 0 474294864 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10849036 memory=3472328295574038117 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 49 13338 0 0 3 0 5 3 20 0 15 0 474294864 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10849036 memory=7008596559786096304 CPUtime=0.12 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 2596 13338 0 0 4 0 5 3 20 0 15 0 474294866 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10849036 memory=739271074867393073 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 15 13338 0 0 0 0 5 3 20 0 15 0 474294866 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655022372320 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10849036 memory=-8412652143485227891 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11109412864 76986 33554432000 4194304 4196468 140729411476496 139654888154624 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10849036 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11109412864 76986 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10849036 memory=7597685182856913236 CPUtime=2.17 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) R 1932 1935 29663 0 -1 4202560 8687 13338 0 0 208 1 5 3 20 0 15 0 474294869 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655103713040 139655561746898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10849036 memory=7739276948477931367 CPUtime=2.31 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) R 1932 1935 29663 0 -1 4202560 14586 13338 0 0 222 1 5 3 20 0 15 0 474294869 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655102661080 139655556605387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10849036 memory=7380106142448641899 CPUtime=1.63 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) R 1932 1935 29663 0 -1 1077944384 7503 13338 0 0 153 2 5 3 20 0 15 0 474294869 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10849036 memory=7451579874606929000 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11109412864 76986 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10849036 memory=7161658427962774891 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 9 13338 0 0 0 0 5 3 20 0 15 0 474294870 11109412864 76986 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 307944 KiB
[startup+4.11036 s]
/proc/loadavg: 1.12 1.35 1.38 5/228 2001
/proc/meminfo: memFree=3462484/32770624 swapFree=66935828/67108860
[pid=1935] ppid=1932 vsize=10849036 memory=326728 CPUtime=10.32 cores=0,2,4,6
/proc/1935/stat : 1935 (java) S 1932 1935 29663 0 -1 1077944320 61984 13338 0 0 1006 18 5 3 20 0 15 0 474294854 11109412864 81682 33554432000 4194304 4196468 140729411476496 140729411459040 139655578189559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
/proc/1935/statm: 2712259 81682 3608 1 0 2674317 0
[pid=1935/tid=1988] ppid=1932 vsize=10849036 memory=280340 CPUtime=3.99 cores=0,2,4,6
/proc/1935/task/1988/stat : 1988 (java) R 1932 1935 29663 0 -1 4202560 25540 13338 0 0 382 9 5 3 20 0 15 0 474294863 11109412864 81697 33554432000 4194304 4196468 140729411476496 139655550022272 139655570906711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1989] ppid=1932 vsize=10849036 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1989/stat : 1989 (java) S 1932 1935 29663 0 -1 1077944384 127 13338 0 0 3 0 5 3 20 0 15 0 474294864 11109412864 81697 33554432000 4194304 4196468 140729411476496 139655582431504 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1990] ppid=1932 vsize=10849036 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1990/stat : 1990 (java) S 1932 1935 29663 0 -1 1077944384 123 13338 0 0 3 0 5 3 20 0 15 0 474294864 11109412864 81697 33554432000 4194304 4196468 140729411476496 139655497251216 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1991] ppid=1932 vsize=10849036 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/1935/task/1991/stat : 1991 (java) S 1932 1935 29663 0 -1 1077944384 391 13338 0 0 2 0 5 3 20 0 15 0 474294864 11109412864 81697 33554432000 4194304 4196468 140729411476496 139655496198672 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1992] ppid=1932 vsize=10881808 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/1935/task/1992/stat : 1992 (java) S 1932 1935 29663 0 -1 1077944384 49 13338 0 0 3 0 5 3 20 0 15 0 474294864 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655495146128 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1993] ppid=1932 vsize=10881808 memory=8 CPUtime=0.12 cores=0,2,4,6
/proc/1935/task/1993/stat : 1993 (java) S 1932 1935 29663 0 -1 1077944384 2596 13338 0 0 4 0 5 3 20 0 15 0 474294866 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655104780784 139655578200706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1994] ppid=1932 vsize=10881808 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1994/stat : 1994 (java) S 1932 1935 29663 0 -1 1077944384 15 13338 0 0 0 0 5 3 20 0 15 0 474294866 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655022372320 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1995] ppid=1932 vsize=10881808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1995/stat : 1995 (java) S 1932 1935 29663 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 474294866 11142971392 81697 33554432000 4194304 4196468 140729411476496 139654888154624 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1996] ppid=1932 vsize=10881808 memory=-4546129931942301728 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/1996/stat : 1996 (java) S 1932 1935 29663 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 474294869 11142971392 81697 33554432000 4194304 4196468 140729411476496 139654284176080 139655578208155 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1997] ppid=1932 vsize=10881808 memory=-5921431000321636112 CPUtime=2.27 cores=0,2,4,6
/proc/1935/task/1997/stat : 1997 (java) R 1932 1935 29663 0 -1 4202560 8744 13338 0 0 218 1 5 3 20 0 15 0 474294869 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655103713040 139655559712508 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1998] ppid=1932 vsize=10881808 memory=-7097481891625773097 CPUtime=2.41 cores=0,2,4,6
/proc/1935/task/1998/stat : 1998 (java) R 1932 1935 29663 0 -1 4202560 14649 13338 0 0 232 1 5 3 20 0 15 0 474294869 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655102668080 139655578203441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=1999] ppid=1932 vsize=10881808 memory=-5921431000321636112 CPUtime=1.65 cores=0,2,4,6
/proc/1935/task/1999/stat : 1999 (java) S 1932 1935 29663 0 -1 1077944384 7535 13338 0 0 155 2 5 3 20 0 15 0 474294869 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655101622512 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2000] ppid=1932 vsize=10881808 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2000/stat : 2000 (java) S 1932 1935 29663 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 474294869 11142971392 81697 33554432000 4194304 4196468 140729411476496 139653814413920 139655578199765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
[pid=1935/tid=2001] ppid=1932 vsize=10881808 memory=-7450779821759504288 CPUtime=0.08 cores=0,2,4,6
/proc/1935/task/2001/stat : 2001 (java) S 1932 1935 29663 0 -1 1077944384 9 13338 0 0 0 0 5 3 20 0 15 0 474294870 11142971392 81697 33554432000 4194304 4196468 140729411476496 139655100570416 139655578200706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36687872 140729411480163 140729411482805 140729411482805 140729411485647 0
Current children cumulated CPU time: 10.32 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 326728 KiB
Child status: 0
Real time (s): 4.13401
CPU time (s): 10.3635
CPU user time (s): 10.1329
CPU system time (s): 0.230623
CPU usage (%): 250.69
Max. virtual memory (cumulated for all children) (KiB): 10851792
Max. memory (cumulated for all children) (KiB): 326728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1329
system time used= 0.230623
maximum resident set size= 330884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6333
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 1935
# total CPU time (s): 10.3635
# total CPU user time (s): 10.1329
# total CPU system time (s): 0.230623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044168 second user time and 0.089295 second system time
The end