0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Jul 26 03:22:07 CEST 2018
0.65/0.55 c PID: 3145
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.41/0.92 c (0,0) Parsing End
1.41/0.93 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93 c (0,0) Constraint Name Generate Begin
1.41/0.93 c (0,0) Ctr:HOME/instance-4295481-1532568127.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.41/0.93 c (0,0) Constraint Name Generate End
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.93 c (0,0) CSP to CSPinCNF Begin
3.64/1.78 c (1,1) translated 6 (10%) constraints
3.64/1.79 c (1,1) translated 11 (20%) constraints
3.64/1.80 c (1,1) translated 16 (30%) constraints
3.97/1.80 c (1,1) translated 21 (40%) constraints
3.97/1.80 c (1,1) translated 26 (50%) constraints
3.97/1.81 c (1,1) translated 32 (60%) constraints
3.97/1.81 c (1,1) translated 37 (70%) constraints
3.97/1.81 c (1,1) translated 42 (80%) constraints
3.97/1.82 c (1,1) translated 47 (90%) constraints
3.97/1.82 c (1,1) translated 52 (100%) constraints
4.31/1.98 c (1,1) STATISTICS1:HOME/instance-4295481-1532568127.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,169,14249,9223372036854775807,169,169,15,9223372036854775807:66;665416609183179904:12;3890918073946176:4;3867757847315544:8;169:13203;168:661;167:338,169:28199;168:700;167:350,169:2;2:14196;1:51,15:6;14:12;13:12;12:12;11:12;10:12;9:12;8:12;2:14202;1:338,712336:6;620944:12;535824:12;456976:12;383161:12;316969:12
4.31/1.98 c (1,1) ===========================================
4.31/1.98 c (1,1) Order
4.31/1.98 c (1,1) ===========================================
4.70/2.09 c (1,1) translated 1425 (10%) constraints
5.00/2.15 c (1,1) translated 2850 (20%) constraints
5.28/2.22 c (1,1) translated 4275 (30%) constraints
5.28/2.27 c (1,1) translated 5700 (40%) constraints
5.58/2.32 c (1,1) translated 7125 (50%) constraints
5.58/2.37 c (1,1) translated 8550 (60%) constraints
5.92/2.42 c (1,1) translated 9975 (70%) constraints
5.92/2.46 c (1,1) translated 11400 (80%) constraints
5.92/2.49 c (1,1) translated 12825 (90%) constraints
6.57/2.67 c (2,2) translated 14249 (100%) constraints
6.57/2.67 c (2,2) CSP to CSPinCNF End
6.57/2.67 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841
6.57/2.67 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.57/2.67 c (2,2) CSPinCNF Propagation Begin
6.93/2.78 c (2,2) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
6.93/2.78 c (2,2) CSPinCNF Propagation End
6.93/2.78 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841
6.93/2.78 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.93/2.78 c (2,2) Simplify CSPinCNF Begin
9.08/3.45 c (2,2) Simplify CSPinCNF End
9.08/3.46 c (2,2) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841
9.08/3.46 c (2,2) Heap : 844 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.08/3.46 c (2,2) Calculate Precise Domain Begin
9.37/3.50 c (2,2) 5 values are removed by re-calculation
9.37/3.50 c (2,2) Calculate Precise Domain End
9.37/3.51 c (2,2) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841
9.37/3.51 c (2,2) Heap : 901 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.37/3.51 c (2,2) CSPinCNF to SatSolver Begin
11.65/5.06 c (4,4) 4343 (10 %) CSP clauses are encoded (225142 SAT variables, 685321 SAT clauses)
13.15/6.23 c (5,5) 8686 (20 %) CSP clauses are encoded (225142 SAT variables, 1175806 SAT clauses)
14.22/7.21 c (6,6) 13029 (30 %) CSP clauses are encoded (225142 SAT variables, 1666429 SAT clauses)
15.13/8.18 c (7,7) 17372 (40 %) CSP clauses are encoded (225142 SAT variables, 2157044 SAT clauses)
16.35/9.20 c (8,8) 21715 (50 %) CSP clauses are encoded (225142 SAT variables, 2647823 SAT clauses)
17.27/10.66 c (10,9) 26058 (60 %) CSP clauses are encoded (225142 SAT variables, 3138422 SAT clauses)
18.36/11.66 c (11,10) 30401 (70 %) CSP clauses are encoded (225142 SAT variables, 3629005 SAT clauses)
19.36/12.63 c (12,11) 34744 (80 %) CSP clauses are encoded (225142 SAT variables, 4119732 SAT clauses)
20.34/13.62 c (13,12) 39087 (90 %) CSP clauses are encoded (225142 SAT variables, 4609965 SAT clauses)
101.23/95.03 c (94,88) 43430 (100 %) CSP clauses are encoded (225142 SAT variables, 72303490 SAT clauses)
101.23/95.03 c (94,88) CSPinCNF to SatSolver End
101.23/95.03 c (94,88) Heap : 1062 MiB used (max 11199 MiB), NonHeap : 28 MiB used (max 0 MiB)
101.75/95.28 c (94,88) STATISTICS2:HOME/instance-4295481-1532568127.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,28933,43430,704760,841,167,3,704760:6;565993:12;452929:24;339865:12;255025:24;170185:42;169848:6;169511:6;144236:6;143899:4;143562:2;113569:108;56953:114;56784:18;56615:18;28561:396;28392:18;28223:18;169:26406;168:984;167:1008,841:84;840:12;839:12;673:216;505:228;504:12;503:12;428:24;427:16;426:8;337:792;336:36;335:36;169:56072;168:1032;167:1037;2:56784,167:1;164:1;2:42588;1:840,3:834;2:28398;1:57115,
101.75/95.28 c (94,88) SatSolver.solve Begin
101.75/95.28 c (94,88) 225142 bool, 72303656 clause
101.75/95.28 c (94,88) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295481-1532568127.xml-scop-3145.cnf HOME/instance-4295481-1532568127.xml-scop-3145.cnf.out
104.21/96.01 c (95,0) receiving signal SIGTERM
104.21/96.01 s UNKNOWN
104.21/96.02 c (95,88) SatSolver is killed by some reasons.
104.21/96.02 c (95,88) 0,0,2,2,2,2,94,TO,TO,STOP-AFTER(DIMACS)
104.21/96.02 c END-Prog: Thu Jul 26 03:23:43 CEST 2018
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 (6709 MiB free)
memory of node 1: 16384 MiB (14008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295481-1532568127/watcher-4295481-1532568127 -o /tmp/evaluation-result-4295481-1532568127/solver-4295481-1532568127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295481-1532568127.xml
running on 4 cores: 1,3,5,7
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=3145, runsolver pid=3142
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.27 2.12 2.10 4/221 3160
/proc/meminfo: memFree=21153700/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15011656 memory=73292 CPUtime=0.11 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 7041 0 0 0 9 2 0 0 20 0 15 0 74375938 15371935744 18323 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3752914 18323 2754 1 0 3715374 0
[pid=3145/tid=3147] ppid=3142 vsize=15011656 memory=7100839861464500584 CPUtime=0.09 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) R 3142 3145 32649 0 -1 4202560 5437 0 0 0 8 1 0 0 20 0 15 0 74375939 15371935744 18587 33554432000 4194304 4196468 140721112941808 140472039567752 140472048031527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 18587 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 18587 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 18587 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 18587 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 18653 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 18653 33554432000 4194304 4196468 140721112941808 140470596396192 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 18653 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 18653 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) S 3142 3145 32649 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 18653 33554432000 4194304 4196468 140721112941808 140471104912112 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 18653 33554432000 4194304 4196468 140721112941808 140471103859568 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0.01 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) S 3142 3145 32649 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 74375945 15371935744 18653 33554432000 4194304 4196468 140721112941808 140471102806512 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 18653 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 18653 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73292 KiB
[startup+0.210399 s]*
/proc/loadavg: 2.27 2.12 2.10 4/221 3160
/proc/meminfo: memFree=21139748/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15011656 memory=86668 CPUtime=0.25 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 10573 0 0 0 23 2 0 0 20 0 15 0 74375938 15371935744 21667 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3752914 21667 2913 1 0 3715374 0
[pid=3145/tid=3147] ppid=3142 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) R 3142 3145 32649 0 -1 4202560 8501 0 0 0 18 2 0 0 20 0 15 0 74375939 15371935744 21733 33554432000 4194304 4196468 140721112941808 140472039581680 140472067767702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 21733 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15011656 memory=3618278490089629344 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 21733 33554432000 4194304 4196468 140721112941808 140470596396192 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 21733 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 21733 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) R 3142 3145 32649 0 -1 4202560 332 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471104912112 140472067777114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) R 3142 3145 32649 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471103859568 140472046918928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0.03 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) S 3142 3145 32649 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 74375945 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471102806512 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 21733 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 21733 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86668 KiB
[startup+0.310424 s]*
/proc/loadavg: 2.27 2.12 2.10 3/221 3160
/proc/meminfo: memFree=21136208/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15011656 memory=90140 CPUtime=0.43 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 11102 0 0 0 40 3 0 0 20 0 15 0 74375938 15371935744 22535 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3752914 22535 2990 1 0 3715374 0
[pid=3145/tid=3147] ppid=3142 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) R 3142 3145 32649 0 -1 4202560 8873 0 0 0 27 2 0 0 20 0 15 0 74375939 15371935744 22535 33554432000 4194304 4196468 140721112941808 140472039586096 140472067777114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 22535 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15011656 memory=140653870817487 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15011656 memory=140653870838223 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 22535 33554432000 4194304 4196468 140721112941808 140470596396192 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375942 15371935744 22535 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15011656 memory=281307741648768 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 22535 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) R 3142 3145 32649 0 -1 4202560 372 0 0 0 1 0 0 0 20 0 15 0 74375945 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471104912112 140472047002505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15011656 memory=140653870849967 CPUtime=0.02 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) R 3142 3145 32649 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 74375945 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471103859568 140472067766914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15011656 memory=140654025287296 CPUtime=0.07 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) R 3142 3145 32649 0 -1 4202560 292 0 0 0 7 0 0 0 20 0 15 0 74375945 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471102806512 140472067767702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15011656 memory=140653870855071 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 22535 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15011656 memory=140654099663234 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375945 15371935744 22535 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90140 KiB
[startup+0.70117 s]
/proc/loadavg: 2.27 2.12 2.10 3/221 3160
/proc/meminfo: memFree=21111624/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15020052 memory=129912 CPUtime=1 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 18199 0 0 0 95 5 0 0 20 0 15 0 74375938 15380533248 32478 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3755013 32478 3165 1 0 3716398 0
[pid=3145/tid=3147] ppid=3142 vsize=15020052 memory=53 CPUtime=0.67 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) R 3142 3145 32649 0 -1 4202560 15528 0 0 0 63 4 0 0 20 0 15 0 74375939 15380533248 32478 33554432000 4194304 4196468 140721112941808 140472039590880 140472067767702 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15380533248 32478 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375940 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15020052 memory=79 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15020052 memory=154191607635887 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74375942 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15020052 memory=433534 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74375942 15380533248 32478 33554432000 4194304 4196468 140721112941808 140470596396192 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375942 15380533248 32478 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15380533248 32478 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15020052 memory=281307741421808 CPUtime=0.08 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) R 3142 3145 32649 0 -1 4202560 606 0 0 0 8 0 0 0 20 0 15 0 74375945 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471104902496 140472052867088 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) R 3142 3145 32649 0 -1 4202560 319 0 0 0 7 0 0 0 20 0 15 0 74375945 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471103849680 140472052870851 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15020052 memory=-6305716092003769728 CPUtime=0.16 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) R 3142 3145 32649 0 -1 1077944384 405 0 0 0 16 0 0 0 20 0 15 0 74375945 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471102801552 140472067765973 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15380533248 32478 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375945 15380533248 32478 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129912 KiB
[startup+1.5016 s]
/proc/loadavg: 2.27 2.12 2.10 4/221 3160
/proc/meminfo: memFree=21083708/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15022100 memory=268412 CPUtime=2.97 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 21590 0 0 0 288 9 0 0 20 0 15 0 74375938 15382630400 67103 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3755525 67103 3201 1 0 3716910 0
[pid=3145/tid=3147] ppid=3142 vsize=15022100 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) R 3142 3145 32649 0 -1 4202560 16522 0 0 0 140 6 0 0 20 0 15 0 74375939 15382630400 67103 33554432000 4194304 4196468 140721112941808 140472039581728 140472067767702 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15382630400 67103 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74375940 15382630400 67103 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15382630400 67103 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375940 15382630400 67103 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74375942 15382630400 67103 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
################
# More data... #
################
[pid=3145/tid=3155] ppid=3142 vsize=15026264 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15386894336 811344 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15026264 memory=18268 CPUtime=3.43 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) S 3142 3145 32649 0 -1 1077944384 4179 0 0 0 342 1 0 0 20 0 15 0 74375945 15386894336 811344 33554432000 4194304 4196468 140721112941808 140471104912112 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15026264 memory=0 CPUtime=3.51 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) S 3142 3145 32649 0 -1 1077944384 5090 0 0 0 350 1 0 0 20 0 15 0 74375945 15386894336 811344 33554432000 4194304 4196468 140721112941808 140471103859568 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15026264 memory=8387223549236478041 CPUtime=1.2 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) S 3142 3145 32649 0 -1 1077944384 4084 0 0 0 119 1 0 0 20 0 15 0 74375945 15386894336 811344 33554432000 4194304 4196468 140721112941808 140471102806512 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15026264 memory=288283368364442535 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15386894336 811344 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15026264 memory=3183936 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 532 0 0 0 0 0 0 0 20 0 15 0 74375945 15386894336 811344 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 31.58 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3245376 KiB
[startup+51.1101 s]
/proc/loadavg: 2.13 2.11 2.10 3/221 3160
/proc/meminfo: memFree=16480084/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15026264 memory=4039548 CPUtime=55.9 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 42278 0 0 0 5407 183 0 0 20 0 15 0 74375938 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3756566 1009887 3256 1 0 3717422 0
[pid=3145/tid=3147] ppid=3142 vsize=15026264 memory=4551 CPUtime=45.72 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) R 3142 3145 32649 0 -1 4202560 23047 0 0 0 4423 149 0 0 20 0 15 0 74375939 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140472039595408 140471564124597 0 4 0 25189583 0 0 0 -1 3 0 0 482 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15026264 memory=2111004477854804 CPUtime=0.47 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 893 0 0 0 41 6 0 0 20 0 15 0 74375940 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15026264 memory=2321385938455118690 CPUtime=0.48 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 1528 0 0 0 42 6 0 0 20 0 15 0 74375940 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15026264 memory=281307742346624 CPUtime=0.47 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 549 0 0 0 40 7 0 0 20 0 15 0 74375940 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15026264 memory=599834407249916362 CPUtime=0.48 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 538 0 0 0 42 6 0 0 20 0 15 0 74375940 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15026264 memory=4136 CPUtime=0.02 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 74375942 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15026264 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 74375942 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140470596396256 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15026264 memory=22612 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74375942 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15026264 memory=281307742181760 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15026264 memory=6943526294502006880 CPUtime=3.43 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) S 3142 3145 32649 0 -1 1077944384 4299 0 0 0 342 1 0 0 20 0 15 0 74375945 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471104912112 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15026264 memory=12875 CPUtime=3.51 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) S 3142 3145 32649 0 -1 1077944384 5090 0 0 0 350 1 0 0 20 0 15 0 74375945 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471103859568 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15026264 memory=4039548 CPUtime=1.2 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) S 3142 3145 32649 0 -1 1077944384 4198 0 0 0 119 1 0 0 20 0 15 0 74375945 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471102806512 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15026264 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74375945 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15026264 memory=1944 CPUtime=0.02 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 534 0 0 0 1 1 0 0 20 0 15 0 74375945 15386894336 1009887 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 55.9 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 4039548 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+96.0007 s]*
/proc/loadavg: 1.72 2.02 2.07 4/226 3167
/proc/meminfo: memFree=15350560/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15683912 memory=4058360 CPUtime=103.51 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 62087 0 0 0 10045 306 0 0 20 0 19 0 74375938 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3920978 1014590 3264 1 0 3881834 0
[pid=3162] ppid=3145 vsize=218312 memory=186316 CPUtime=0.7 cores=1,3,5,7
/proc/3162/stat : 3162 (minisat_release) R 3145 3145 32649 0 -1 4202496 37859 0 0 0 64 6 0 0 20 0 1 0 74385468 223551488 46579 33554432000 4194304 4308513 140734679636096 140734678584664 4279657 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 17272832 140734679638705 140734679639214 140734679639214 140734679642053 0
/proc/3162/statm: 54578 46579 316 28 0 50818 0
[pid=3145/tid=3147] ppid=3142 vsize=15683912 memory=13984 CPUtime=89.37 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) S 3142 3145 32649 0 -1 1077944384 29228 0 0 0 8667 270 0 0 20 0 19 0 74375939 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140472039595008 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 490 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15683912 memory=4052 CPUtime=0.97 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 1208 0 0 0 90 7 0 0 20 0 19 0 74375940 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15683912 memory=644 CPUtime=0.96 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 2030 0 0 0 90 6 0 0 20 0 19 0 74375940 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15683912 memory=6935054825532540783 CPUtime=0.96 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 1303 0 0 0 89 7 0 0 20 0 19 0 74375940 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15683912 memory=1728 CPUtime=0.98 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 903 0 0 0 91 7 0 0 20 0 19 0 74375940 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15683912 memory=1708 CPUtime=0.03 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 609 0 0 0 3 0 0 0 20 0 19 0 74375942 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15683912 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74375942 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140470596396256 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15683912 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74375942 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15683912 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74375945 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15683912 memory=1944 CPUtime=4.39 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) S 3142 3145 32649 0 -1 1077944384 8479 0 0 0 438 1 0 0 20 0 19 0 74375945 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471104912112 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15683912 memory=1428 CPUtime=4.48 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) R 3142 3145 32649 0 -1 4202560 10214 0 0 0 446 2 0 0 20 0 19 0 74375945 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471103848832 140472052880457 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15683912 memory=4136 CPUtime=1.25 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) S 3142 3145 32649 0 -1 1077944384 6149 0 0 0 123 2 0 0 20 0 19 0 74375945 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471102806512 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15683912 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74375945 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15683912 memory=4128 CPUtime=0.04 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 571 0 0 0 2 2 0 0 20 0 19 0 74375945 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3163] ppid=3142 vsize=15683912 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3163/stat : 3163 (java) S 3142 3145 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74385468 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140471871767872 140472067780377 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3165] ppid=3142 vsize=15683912 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3165/stat : 3165 (java) S 3142 3145 32649 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 74385469 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140468918664496 140472067777693 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3166] ppid=3142 vsize=15683912 memory=840 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3166/stat : 3166 (java) S 3142 3145 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74385469 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140468650229680 140472067777693 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3167] ppid=3142 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/3145/task/3167/stat : 3167 (java) S 3142 3145 32649 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 74385471 16060325888 1014590 33554432000 4194304 4196468 140721112941808 140469187108640 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 104.21 s
Current children cumulated vsize: 15902224 KiB
Current children cumulated memory: 4244676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+96.2527 s]
# the end of solver process 3145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=101.12 s, system=3.37406 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+96.2008 s]
/proc/loadavg: 1.72 2.02 2.07 4/226 3167
/proc/meminfo: memFree=15350560/32770624 swapFree=67108860/67108860
[pid=3145] ppid=3142 vsize=15749448 memory=4056356 CPUtime=104.42 cores=1,3,5,7
/proc/3145/stat : 3145 (java) S 3142 3145 32649 0 -1 1077944320 62171 37923 0 0 10047 324 64 7 20 0 18 0 74375938 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140721112924352 140472067755767 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
/proc/3145/statm: 3937362 1014089 3264 1 0 3898218 0
[pid=3145/tid=3147] ppid=3142 vsize=15749448 memory=303148756931707194 CPUtime=90.08 cores=1,3,5,7
/proc/3145/task/3147/stat : 3147 (java) S 3142 3145 32649 0 -1 1077944384 29244 37923 0 0 8667 270 64 7 20 0 18 0 74375939 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140472039595968 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 490 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3148] ppid=3142 vsize=15749448 memory=15876 CPUtime=1.68 cores=1,3,5,7
/proc/3145/task/3148/stat : 3148 (java) S 3142 3145 32649 0 -1 1077944384 1208 37923 0 0 90 7 64 7 20 0 18 0 74375940 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140472071998480 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3149] ppid=3142 vsize=15749448 memory=18268 CPUtime=1.67 cores=1,3,5,7
/proc/3145/task/3149/stat : 3149 (java) S 3142 3145 32649 0 -1 1077944384 2030 37923 0 0 90 6 64 7 20 0 18 0 74375940 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471886154896 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3150] ppid=3142 vsize=15749448 memory=13984 CPUtime=1.67 cores=1,3,5,7
/proc/3145/task/3150/stat : 3150 (java) S 3142 3145 32649 0 -1 1077944384 1303 37923 0 0 89 7 64 7 20 0 18 0 74375940 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471885101840 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3151] ppid=3142 vsize=15749448 memory=4052 CPUtime=1.69 cores=1,3,5,7
/proc/3145/task/3151/stat : 3151 (java) S 3142 3145 32649 0 -1 1077944384 903 37923 0 0 91 7 64 7 20 0 18 0 74375940 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471884049296 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3152] ppid=3142 vsize=15749448 memory=644 CPUtime=0.75 cores=1,3,5,7
/proc/3145/task/3152/stat : 3152 (java) S 3142 3145 32649 0 -1 1077944384 609 37923 0 0 4 0 64 7 20 0 18 0 74375942 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471105964272 140472067766914 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3153] ppid=3142 vsize=15749448 memory=1792 CPUtime=0.71 cores=1,3,5,7
/proc/3145/task/3153/stat : 3153 (java) S 3142 3145 32649 0 -1 1077944384 14 37923 0 0 0 0 64 7 20 0 18 0 74375942 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140470596396256 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3154] ppid=3142 vsize=15749448 memory=1232 CPUtime=0.71 cores=1,3,5,7
/proc/3145/task/3154/stat : 3154 (java) S 3142 3145 32649 0 -1 1077944384 2 37923 0 0 0 0 64 7 20 0 18 0 74375942 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140470327960304 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3155] ppid=3142 vsize=15749448 memory=956 CPUtime=0.71 cores=1,3,5,7
/proc/3145/task/3155/stat : 3155 (java) S 3142 3145 32649 0 -1 1077944384 32 37923 0 0 0 0 64 7 20 0 18 0 74375945 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140469953451984 140472067774363 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3156] ppid=3142 vsize=15749448 memory=2424 CPUtime=5.1 cores=1,3,5,7
/proc/3145/task/3156/stat : 3156 (java) S 3142 3145 32649 0 -1 1077944384 8479 37923 0 0 438 1 64 7 20 0 18 0 74375945 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471104912112 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3157] ppid=3142 vsize=15749448 memory=1576 CPUtime=5.2 cores=1,3,5,7
/proc/3145/task/3157/stat : 3157 (java) S 3142 3145 32649 0 -1 1077944384 10217 37923 0 0 447 2 64 7 20 0 18 0 74375945 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471103859568 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3158] ppid=3142 vsize=15749448 memory=928 CPUtime=1.96 cores=1,3,5,7
/proc/3145/task/3158/stat : 3158 (java) S 3142 3145 32649 0 -1 1077944384 6149 37923 0 0 123 2 64 7 20 0 18 0 74375945 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471102806512 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3159] ppid=3142 vsize=15749448 memory=2240 CPUtime=0.71 cores=1,3,5,7
/proc/3145/task/3159/stat : 3159 (java) S 3142 3145 32649 0 -1 1077944384 3 37923 0 0 0 0 64 7 20 0 18 0 74375945 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140469455547232 140472067765973 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3160] ppid=3142 vsize=15749448 memory=1200 CPUtime=0.75 cores=1,3,5,7
/proc/3145/task/3160/stat : 3160 (java) S 3142 3145 32649 0 -1 1077944384 571 37923 0 0 2 2 64 7 20 0 18 0 74375945 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471101753904 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3163] ppid=3142 vsize=15749448 memory=15876 CPUtime=0.71 cores=1,3,5,7
/proc/3145/task/3163/stat : 3163 (java) S 3142 3145 32649 0 -1 1077944384 26 37923 0 0 0 0 64 7 20 0 18 0 74385468 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140471871767056 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
[pid=3145/tid=3167] ppid=3142 vsize=15749448 memory=18268 CPUtime=0.71 cores=1,3,5,7
/proc/3145/task/3167/stat : 3167 (java) S 3142 3145 32649 0 -1 1077944384 29 37923 0 0 0 0 64 7 20 0 18 0 74385471 16127434752 1014089 33554432000 4194304 4196468 140721112941808 140469187110448 140472067766914 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37957632 140721112945651 140721112945929 140721112945929 140721112948687 0
Current children cumulated CPU time: 104.42 s
Current children cumulated vsize: 15749448 KiB
Current children cumulated memory: 4056356 KiB
Child status: 1
Real time (s): 96.2527
CPU time (s): 104.494
CPU user time (s): 101.12
CPU system time (s): 3.37406
CPU usage (%): 108.562
Max. virtual memory (cumulated for all children) (KiB): 15902224
Max. memory (cumulated for all children) (KiB): 4244676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.12
system time used= 3.37406
maximum resident set size= 4060408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100122
page faults= 0
swaps= 0
block input operations= 64
block output operations= 3202352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7185
involuntary context switches= 189
# summary of solver processes directly reported to runsolver:
# pid: 3145
# total CPU time (s): 104.494
# total CPU user time (s): 101.12
# total CPU system time (s): 3.37406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.55918 second user time and 0.978915 second system time
The end