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 (13398 MiB free)
memory of node 1: 16384 MiB (13739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392197-1568319660/watcher-4392197-1568319660 -o /tmp/evaluation-result-4392197-1568319660/solver-4392197-1568319660 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568305960-30577 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1540976175 HOME/instance-4392197-1568319660.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=1554, runsolver pid=1551
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 1.38 1.37 1.40 3/218 1614
/proc/meminfo: memFree=27779812/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=9972712 memory=18332 CPUtime=0.09 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 4341 13250 0 0 1 1 5 2 20 0 6 0 408234912 10212057088 4583 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2493178 4583 1931 1 0 2481616 0
[pid=1554/tid=1610] ppid=1551 vsize=9972712 memory=576460756329955604 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 2176 13250 0 0 0 0 5 2 20 0 6 0 408234921 10212057088 4649 33554432000 4194304 4196468 140725196790064 140581281915472 140581301933442 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 6 0 408234922 10212057088 4649 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=9972712 memory=1968646 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 6 0 408234922 10212057088 4649 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 6 0 408234922 10212057088 4649 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 6 0 408234922 10212057088 4649 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210029 s]*
/proc/loadavg: 1.38 1.37 1.40 3/227 1623
/proc/meminfo: memFree=27760672/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10818940 memory=41836 CPUtime=0.25 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 6761 13250 0 0 16 2 5 2 20 0 15 0 408234912 11078594560 10459 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2704735 10459 2989 1 0 2667149 0
[pid=1554/tid=1610] ppid=1551 vsize=10818940 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 3288 13250 0 0 11 1 5 2 20 0 15 0 408234921 11078594560 10524 33554432000 4194304 4196468 140725196790064 140581281912184 140581310100637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10818940 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234922 11078594560 10524 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10818940 memory=3907067002695071392 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11078594560 10524 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11078594560 10524 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11078594560 10524 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10818940 memory=140221425792640 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234923 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 33 13250 0 0 0 0 5 2 20 0 15 0 408234924 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580768129824 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234924 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580654933104 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 349 13250 0 0 0 0 5 2 20 0 15 0 408234927 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 265 13250 0 0 1 0 5 2 20 0 15 0 408234927 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10818940 memory=140221425792640 CPUtime=0.1 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) R 1551 1554 10805 0 -1 4202560 630 13250 0 0 3 0 5 2 20 0 15 0 408234927 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580732468080 140581302315838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11078594560 10524 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10818940 memory=140221425792640 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234927 11078594560 10524 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 41836 KiB
[startup+0.310522 s]*
/proc/loadavg: 1.38 1.37 1.40 3/227 1623
/proc/meminfo: memFree=27750172/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10820096 memory=53200 CPUtime=0.39 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 10506 13250 0 0 28 4 5 2 20 0 15 0 408234912 11079778304 13300 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2705024 13300 3243 1 0 2667149 0
[pid=1554/tid=1610] ppid=1551 vsize=10820244 memory=658484 CPUtime=0.28 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 7031 13250 0 0 19 2 5 2 20 0 15 0 408234921 11079929856 13365 33554432000 4194304 4196468 140725196790064 140581281898256 140581310100637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10820244 memory=4294969536 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234922 11079929856 13365 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10820244 memory=140221425792640 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11079929856 13365 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11079929856 13365 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11079929856 13365 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10820244 memory=140221425792639 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234923 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 33 13250 0 0 0 0 5 2 20 0 15 0 408234924 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580768129824 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234924 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580654933104 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 351 13250 0 0 1 0 5 2 20 0 15 0 408234927 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) R 1551 1554 10805 0 -1 1077944384 265 13250 0 0 1 0 5 2 20 0 15 0 408234927 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10820244 memory=140221425792640 CPUtime=0.12 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 642 13250 0 0 5 0 5 2 20 0 15 0 408234927 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11079929856 13365 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10820244 memory=140221425792640 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234927 11079929856 13365 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 53200 KiB
[startup+0.700668 s]
/proc/loadavg: 1.38 1.37 1.40 5/227 1623
/proc/meminfo: memFree=27734332/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10824340 memory=82704 CPUtime=1.13 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 14517 13250 0 0 101 5 5 2 20 0 15 0 408234912 11084124160 20676 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2706085 20676 3503 1 0 2668173 0
[pid=1554/tid=1610] ppid=1551 vsize=10824340 memory=3624 CPUtime=0.66 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 10213 13250 0 0 55 4 5 2 20 0 15 0 408234921 11084124160 20676 33554432000 4194304 4196468 140725196790064 140581281896672 140581294159198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234922 11084124160 20676 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10824340 memory=38144 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11084124160 20676 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10824340 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11084124160 20676 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10824340 memory=2024 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234922 11084124160 20676 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 5 13250 0 0 0 0 5 2 20 0 15 0 408234923 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10824340 memory=140222092280387 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 33 13250 0 0 0 0 5 2 20 0 15 0 408234924 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580768129824 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10824340 memory=140222092280393 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234924 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580654933104 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10824340 memory=140222092280394 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10824340 memory=140222092280395 CPUtime=0.2 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 646 13250 0 0 13 0 5 2 20 0 15 0 408234927 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10824340 memory=140222092280396 CPUtime=0.21 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 592 13250 0 0 14 0 5 2 20 0 15 0 408234927 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10824340 memory=140222092280397 CPUtime=0.24 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 807 13250 0 0 17 0 5 2 20 0 15 0 408234927 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10824340 memory=140222092280407 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11084124160 20676 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10824340 memory=140222092280425 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234927 11084124160 20676 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82704 KiB
[startup+1.50073 s]
/proc/loadavg: 1.38 1.37 1.40 3/227 1623
/proc/meminfo: memFree=27673144/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10834656 memory=202916 CPUtime=2.82 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 25924 13250 0 0 264 11 5 2 20 0 15 0 408234912 11094687744 50729 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2708664 50729 3581 1 0 2670733 0
[pid=1554/tid=1610] ppid=1551 vsize=10834656 memory=7 CPUtime=1.42 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 16297 13250 0 0 129 6 5 2 20 0 15 0 408234921 11094687744 50729 33554432000 4194304 4196468 140725196790064 140581281902688 140581294159198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10834656 memory=38144 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 36 13250 0 0 1 0 5 2 20 0 15 0 408234922 11094687744 50729 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10834656 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 36 13250 0 0 1 0 5 2 20 0 15 0 408234922 11094687744 50729 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10834656 memory=2024 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 307 13250 0 0 1 0 5 2 20 0 15 0 408234922 11094687744 50729 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 75 13250 0 0 1 0 5 2 20 0 15 0 408234922 11094687744 50729 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 217 13250 0 0 1 0 5 2 20 0 15 0 408234923 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 34 13250 0 0 0 0 5 2 20 0 15 0 408234924 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580768129888 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234924 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580654933120 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10834656 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 2611 13250 0 0 45 0 5 2 20 0 15 0 408234927 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10834656 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 2402 13250 0 0 41 0 5 2 20 0 15 0 408234927 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10834656 memory=9023629670928638048 CPUtime=0.47 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 1693 13250 0 0 39 1 5 2 20 0 15 0 408234927 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10834656 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11094687744 50729 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10834656 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1 13250 0 0 0 0 5 2 20 0 15 0 408234927 11094687744 50729 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 127483 13250 0 0 224599 28 5 2 20 0 15 0 408234921 11105193984 348740 33554432000 4194304 4196468 140725196790064 140581281914208 140580888811721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10844916 memory=1402656 CPUtime=14.02 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 23077 13250 0 0 1348 47 5 2 20 0 15 0 408234922 11105193984 348740 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10844916 memory=1401116 CPUtime=14.12 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 25617 13250 0 0 1357 48 5 2 20 0 15 0 408234922 11105193984 348740 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10844916 memory=1400092 CPUtime=14.15 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 30215 13250 0 0 1359 49 5 2 20 0 15 0 408234922 11105193984 348740 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10844916 memory=1398040 CPUtime=14.07 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 24130 13250 0 0 1351 49 5 2 20 0 15 0 408234922 11105193984 348740 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10844916 memory=1395988 CPUtime=1.26 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 14082 13250 0 0 103 16 5 2 20 0 15 0 408234923 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10844916 memory=1402656 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 51 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580768129888 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10844916 memory=5900 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 16 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580654933120 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10844916 memory=280442573947120 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10844916 memory=1395988 CPUtime=8.23 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 35782 13250 0 0 808 8 5 2 20 0 15 0 408234927 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10844916 memory=3624 CPUtime=7.96 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 40296 13250 0 0 781 8 5 2 20 0 15 0 408234927 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10844916 memory=1398552 CPUtime=4.62 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 37378 13250 0 0 446 9 5 2 20 0 15 0 408234927 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10844916 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 348740 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10844916 memory=1401116 CPUtime=1.18 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1365 13250 0 0 51 60 5 2 20 0 15 0 408234927 11105193984 348740 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 2325.43 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1394960 KiB
[startup+2322.3 s]
/proc/loadavg: 1.48 1.58 1.55 3/227 1965
/proc/meminfo: memFree=26082444/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10844916 memory=1360072 CPUtime=2386.74 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 363992 13250 0 0 238353 314 5 2 20 0 15 0 408234912 11105193984 340018 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2711229 340018 3625 1 0 2673293 0
[pid=1554/tid=1610] ppid=1551 vsize=10844916 memory=1370844 CPUtime=2305.85 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 128103 13250 0 0 230550 28 5 2 20 0 15 0 408234921 11105193984 340018 33554432000 4194304 4196468 140725196790064 140581281914992 140580888504767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10844916 memory=1367256 CPUtime=14.46 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 23528 13250 0 0 1392 47 5 2 20 0 15 0 408234922 11105193984 340018 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10844916 memory=1363152 CPUtime=14.55 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 25926 13250 0 0 1400 48 5 2 20 0 15 0 408234922 11105193984 340018 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10844916 memory=1360072 CPUtime=14.59 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 30754 13250 0 0 1403 49 5 2 20 0 15 0 408234922 11105193984 340018 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10844916 memory=1363152 CPUtime=14.5 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 24277 13250 0 0 1394 49 5 2 20 0 15 0 408234922 11105193984 340018 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10844916 memory=1360072 CPUtime=1.3 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 14280 13250 0 0 106 17 5 2 20 0 15 0 408234923 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10844916 memory=1360072 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 51 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580768129888 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10844916 memory=1360072 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 16 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580654933120 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10844916 memory=1381108 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10844916 memory=1374948 CPUtime=8.23 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 35784 13250 0 0 808 8 5 2 20 0 15 0 408234927 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10844916 memory=280442574179592 CPUtime=7.96 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 40298 13250 0 0 781 8 5 2 20 0 15 0 408234927 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10844916 memory=1360072 CPUtime=4.62 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 37380 13250 0 0 446 9 5 2 20 0 15 0 408234927 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10844916 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 340018 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10844916 memory=1361612 CPUtime=1.21 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1381 13250 0 0 53 61 5 2 20 0 15 0 408234927 11105193984 340018 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 2386.74 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1360072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2335.3 s]
/proc/loadavg: 1.45 1.56 1.54 3/227 1965
/proc/meminfo: memFree=26112720/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10844916 memory=1352892 CPUtime=2400.05 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 364131 13250 0 0 239684 314 5 2 20 0 15 0 408234912 11105193984 338223 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2711229 338223 3625 1 0 2673293 0
[pid=1554/tid=1610] ppid=1551 vsize=10844916 memory=1353404 CPUtime=2318.73 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 128231 13250 0 0 231838 28 5 2 20 0 15 0 408234921 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581281914320 140580886987312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10844916 memory=1353404 CPUtime=14.56 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 23528 13250 0 0 1402 47 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10844916 memory=1353404 CPUtime=14.65 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 25928 13250 0 0 1410 48 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10844916 memory=1381108 CPUtime=14.7 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 30754 13250 0 0 1414 49 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10844916 memory=1356996 CPUtime=14.6 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 24279 13250 0 0 1404 49 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10844916 memory=1356996 CPUtime=1.31 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 14285 13250 0 0 107 17 5 2 20 0 15 0 408234923 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10844916 memory=1363152 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 51 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580768129888 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10844916 memory=1370844 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 16 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580654933120 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10844916 memory=1354428 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10844916 memory=1353404 CPUtime=8.23 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 35784 13250 0 0 808 8 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10844916 memory=1354428 CPUtime=7.96 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 40298 13250 0 0 781 8 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10844916 memory=1353404 CPUtime=4.62 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 37380 13250 0 0 446 9 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10844916 memory=301741373374332954 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10844916 memory=288230596050944315 CPUtime=1.22 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1383 13250 0 0 54 61 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1352892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2335.33 s]
# the end of solver process 1554 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.92 s, system=3.18761 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2335.3 s]
/proc/loadavg: 1.45 1.56 1.54 3/227 1965
/proc/meminfo: memFree=26112720/32770624 swapFree=66998520/67108860
[pid=1554] ppid=1551 vsize=10844916 memory=1352892 CPUtime=2400.05 cores=1,3,5,7
/proc/1554/stat : 1554 (java) S 1551 1554 10805 0 -1 1077944320 364131 13250 0 0 239684 314 5 2 20 0 15 0 408234912 11105193984 338223 33554432000 4194304 4196468 140725196790064 140725196772608 140581310078711 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
/proc/1554/statm: 2711229 338223 3625 1 0 2673293 0
[pid=1554/tid=1610] ppid=1551 vsize=10844916 memory=1353404 CPUtime=2318.73 cores=1,3,5,7
/proc/1554/task/1610/stat : 1610 (java) R 1551 1554 10805 0 -1 4202560 128231 13250 0 0 231838 28 5 2 20 0 15 0 408234921 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581281914320 140580886987312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1611] ppid=1551 vsize=10844916 memory=1353404 CPUtime=14.56 cores=1,3,5,7
/proc/1554/task/1611/stat : 1611 (java) S 1551 1554 10805 0 -1 1077944384 23528 13250 0 0 1402 47 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581314321296 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1612] ppid=1551 vsize=10844916 memory=1353404 CPUtime=14.65 cores=1,3,5,7
/proc/1554/task/1612/stat : 1612 (java) S 1551 1554 10805 0 -1 1077944384 25928 13250 0 0 1410 48 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581202594576 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1613] ppid=1551 vsize=10844916 memory=1381108 CPUtime=14.7 cores=1,3,5,7
/proc/1554/task/1613/stat : 1613 (java) S 1551 1554 10805 0 -1 1077944384 30754 13250 0 0 1414 49 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581201542288 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1614] ppid=1551 vsize=10844916 memory=1356996 CPUtime=14.6 cores=1,3,5,7
/proc/1554/task/1614/stat : 1614 (java) S 1551 1554 10805 0 -1 1077944384 24279 13250 0 0 1404 49 5 2 20 0 15 0 408234922 11105193984 338223 33554432000 4194304 4196468 140725196790064 140581200489488 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1615] ppid=1551 vsize=10844916 memory=1356996 CPUtime=1.31 cores=1,3,5,7
/proc/1554/task/1615/stat : 1615 (java) S 1551 1554 10805 0 -1 1077944384 14285 13250 0 0 107 17 5 2 20 0 15 0 408234923 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580769183856 140581310089858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1616] ppid=1551 vsize=10844916 memory=1363152 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1616/stat : 1616 (java) S 1551 1554 10805 0 -1 1077944384 51 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580768129888 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1617] ppid=1551 vsize=10844916 memory=1370844 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1617/stat : 1617 (java) S 1551 1554 10805 0 -1 1077944384 16 13250 0 0 0 0 5 2 20 0 15 0 408234924 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580654933120 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1618] ppid=1551 vsize=10844916 memory=1354428 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1618/stat : 1618 (java) S 1551 1554 10805 0 -1 1077944384 2 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580050954320 140581310097307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1619] ppid=1551 vsize=10844916 memory=1353404 CPUtime=8.23 cores=1,3,5,7
/proc/1554/task/1619/stat : 1619 (java) S 1551 1554 10805 0 -1 1077944384 35784 13250 0 0 808 8 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580734573168 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1620] ppid=1551 vsize=10844916 memory=1354428 CPUtime=7.96 cores=1,3,5,7
/proc/1554/task/1620/stat : 1620 (java) S 1551 1554 10805 0 -1 1077944384 40298 13250 0 0 781 8 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580733520368 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1621] ppid=1551 vsize=10844916 memory=1353404 CPUtime=4.62 cores=1,3,5,7
/proc/1554/task/1621/stat : 1621 (java) S 1551 1554 10805 0 -1 1077944384 37380 13250 0 0 446 9 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580732468080 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1622] ppid=1551 vsize=10844916 memory=301741373374332954 CPUtime=0.07 cores=1,3,5,7
/proc/1554/task/1622/stat : 1622 (java) S 1551 1554 10805 0 -1 1077944384 3 13250 0 0 0 0 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140579581193184 140581310088917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
[pid=1554/tid=1623] ppid=1551 vsize=10844916 memory=288230596050944315 CPUtime=1.22 cores=1,3,5,7
/proc/1554/task/1623/stat : 1623 (java) S 1551 1554 10805 0 -1 1077944384 1383 13250 0 0 54 61 5 2 20 0 15 0 408234927 11105193984 338223 33554432000 4194304 4196468 140725196790064 140580731414960 140581310089858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 17539072 140725196794613 140725196797125 140725196797125 140725196799951 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 1352892 KiB
Child status: 143
Real time (s): 2335.33
CPU time (s): 2400.11
CPU user time (s): 2396.92
CPU system time (s): 3.18761
CPU usage (%): 102.774
Max. virtual memory (cumulated for all children) (KiB): 10847656
Max. memory (cumulated for all children) (KiB): 2140112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.92
system time used= 3.18762
maximum resident set size= 2140112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91583
involuntary context switches= 4766
# summary of solver processes directly reported to runsolver:
# pid: 1554
# total CPU time (s): 2400.11
# total CPU user time (s): 2396.92
# total CPU system time (s): 3.18761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9173 second user time and 23.0445 second system time
The end