0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 14:01:44 CEST 2018
0.67/0.54 c PID: 10156
0.67/0.54 c IP: 172.20.3.150
0.67/0.54 c HOST: node150.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.63/1.28 c (0,0) Parsing End
2.63/1.29 c (0,0) CSP: 385 int (0 aux), 0 bool (0 aux), 166 ctr, max domain size 121
2.63/1.29 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.63/1.29 c (0,0) Constraint Name Generate Begin
2.98/1.30 c (0,0) Ctr:HOME/instance-4296119-1532606504.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.98/1.30 c (0,0) Constraint Name Generate End
2.98/1.30 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.98/1.30 c (0,0) CSP to CSPinCNF Begin
16.86/7.56 c (7,7) translated 17 (10%) constraints
22.52/12.63 c (12,11) translated 34 (20%) constraints
27.91/17.35 c (16,16) translated 50 (30%) constraints
32.80/22.13 c (21,21) translated 67 (40%) constraints
38.27/26.89 c (26,25) translated 83 (50%) constraints
44.31/31.98 c (31,30) translated 100 (60%) constraints
49.14/36.76 c (36,35) translated 117 (70%) constraints
52.30/38.81 c (38,37) translated 133 (80%) constraints
52.30/38.81 c (38,37) translated 150 (90%) constraints
52.30/38.81 c (38,37) translated 166 (100%) constraints
54.58/40.45 c (39,38) STATISTICS1:HOME/instance-4296119-1532606504.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,86053,545756,121,121,122,2,121:7260,121:43802;16:627330;2:935935;1:62777,122:121;121:2;5:10406;4:222156;3:88209;2:224818;1:44,2:7260;1:1655368;0:121,
54.58/40.45 c (39,38) ===========================================
54.58/40.45 c (39,38) Order
54.58/40.45 c (39,38) ===========================================
58.42/41.92 c (41,39) translated 54576 (10%) constraints
59.22/42.73 c (42,40) translated 109152 (20%) constraints
60.06/43.56 c (43,41) translated 163727 (30%) constraints
60.88/44.37 c (43,42) translated 218303 (40%) constraints
61.69/45.19 c (44,43) translated 272878 (50%) constraints
62.49/46.00 c (45,43) translated 327454 (60%) constraints
63.39/46.82 c (46,44) translated 382030 (70%) constraints
64.19/47.63 c (47,45) translated 436605 (80%) constraints
65.00/48.45 c (47,46) translated 491181 (90%) constraints
68.10/49.84 c (49,47) translated 545756 (100%) constraints
68.10/49.84 c (49,47) CSP to CSPinCNF End
68.10/49.89 c (49,47) CSP: 385 int (0 aux), 85668 bool (85668 aux), 545800 ctr, max domain size 121
68.10/49.89 c (49,47) Heap : 807 MiB used (max 10562 MiB), NonHeap : 30 MiB used (max 0 MiB)
68.10/49.89 c (49,47) CSPinCNF Propagation Begin
83.01/60.72 c (60,56) 21829 values, 115878 unsatisfiable literals, and 125782 valid clauses are removed
83.01/60.72 c (60,56) CSPinCNF Propagation End
83.01/60.75 c (60,57) CSP: 18830 int (18445 aux), 67223 bool (67223 aux), 420018 ctr, max domain size 121
83.01/60.75 c (60,57) Heap : 1394 MiB used (max 10590 MiB), NonHeap : 31 MiB used (max 0 MiB)
83.01/60.75 c (60,57) Simplify CSPinCNF Begin
85.02/61.81 c (61,58) Simplify CSPinCNF End
85.02/61.84 c (61,58) CSP: 18830 int (18445 aux), 81743 bool (81743 aux), 434538 ctr, max domain size 121
85.02/61.84 c (61,58) Heap : 1826 MiB used (max 10590 MiB), NonHeap : 31 MiB used (max 0 MiB)
85.02/61.84 c (61,58) Calculate Precise Domain Begin
85.02/61.84 c (61,58) 0 values are removed by re-calculation
85.02/61.84 c (61,58) Calculate Precise Domain End
85.02/61.87 c (61,58) CSP: 18830 int (18445 aux), 81743 bool (81743 aux), 434538 ctr, max domain size 121
85.02/61.87 c (61,58) Heap : 1826 MiB used (max 10590 MiB), NonHeap : 31 MiB used (max 0 MiB)
85.02/61.87 c (61,58) CSPinCNF to SatSolver Begin
90.23/65.04 c (64,61) 43454 (10 %) CSP clauses are encoded (96179 SAT variables, 1114580 SAT clauses)
90.44/65.25 c (64,61) 86908 (20 %) CSP clauses are encoded (96179 SAT variables, 1158034 SAT clauses)
90.67/65.46 c (64,61) 130362 (30 %) CSP clauses are encoded (96179 SAT variables, 1201488 SAT clauses)
90.87/65.67 c (65,61) 173816 (40 %) CSP clauses are encoded (96179 SAT variables, 1244942 SAT clauses)
91.15/66.12 c (65,61) 217269 (50 %) CSP clauses are encoded (96179 SAT variables, 1288395 SAT clauses)
91.34/66.33 c (65,62) 260723 (60 %) CSP clauses are encoded (96179 SAT variables, 1331849 SAT clauses)
91.54/66.54 c (66,62) 304177 (70 %) CSP clauses are encoded (96179 SAT variables, 1375303 SAT clauses)
92.57/66.97 c (66,62) 347631 (80 %) CSP clauses are encoded (96179 SAT variables, 1418757 SAT clauses)
92.78/67.18 c (66,62) 391085 (90 %) CSP clauses are encoded (96179 SAT variables, 1462211 SAT clauses)
92.98/67.39 c (66,62) 434538 (100 %) CSP clauses are encoded (96179 SAT variables, 1505664 SAT clauses)
92.98/67.39 c (66,62) CSPinCNF to SatSolver End
92.98/67.39 c (66,62) Heap : 1317 MiB used (max 10012 MiB), NonHeap : 33 MiB used (max 0 MiB)
94.37/68.44 c (67,63) STATISTICS2:HOME/instance-4296119-1532606504.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,100573,434538,121,121,121,2,121:6480;40:7092;4:948,121:39042;40:11484;16:522481;4:988;2:739908,121:82;81:1;40:36;5:7245;4:164787;3:67793;2:194594,2:14520;1:1284863,
94.37/68.44 c (67,63) SatSolver.solve Begin
94.37/68.44 c (67,63) 96179 bool, 1505665 clause
94.37/68.44 c (67,63) 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-4296119-1532606504.xml-scop-10156.cnf HOME/instance-4296119-1532606504.xml-scop-10156.cnf.out
96.43/70.41 c (69,0) receiving signal SIGTERM
96.43/70.41 s UNKNOWN
96.43/70.41 c (69,64) SatSolver is killed by some reasons.
96.43/70.41 c (69,64) 0,0,49,60,61,61,66,TO,TO,STOP-AFTER(DIMACS)
96.43/70.41 c END-Prog: Thu Jul 26 14:02:54 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 (9837 MiB free)
memory of node 1: 16384 MiB (13984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296119-1532606504/watcher-4296119-1532606504 -o /tmp/evaluation-result-4296119-1532606504/solver-4296119-1532606504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9420 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296119-1532606504.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=10156, runsolver pid=10152
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 2.14 2.14 2.09 3/211 10191
/proc/meminfo: memFree=24273824/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15011656 memory=73752 CPUtime=0.11 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 6624 0 0 0 9 2 0 0 20 0 15 0 78213626 15371935744 18438 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3752914 18438 2782 1 0 3715374 0
[pid=10156/tid=10160] ppid=10152 vsize=15011656 memory=5450919713671312938 CPUtime=0.08 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 4942 0 0 0 7 1 0 0 20 0 15 0 78213627 15371935744 18702 33554432000 4194304 4196468 140732013103712 140015106199944 140015118468446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15011656 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 18702 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 18702 33554432000 4194304 4196468 140732013103712 140013752804896 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 18702 33554432000 4194304 4196468 140732013103712 140013517923696 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 18702 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0.01 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) R 10152 10156 8644 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 78213633 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014471313520 140015134409306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 18702 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 18702 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73752 KiB
[startup+0.210467 s]*
/proc/loadavg: 2.13 2.14 2.09 4/217 10197
/proc/meminfo: memFree=24239164/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15011656 memory=86056 CPUtime=0.26 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 9862 0 0 0 23 3 0 0 20 0 15 0 78213626 15371935744 21514 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3752914 21514 2943 1 0 3715374 0
[pid=10156/tid=10160] ppid=10152 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 7758 0 0 0 18 2 0 0 20 0 15 0 78213627 15371935744 21514 33554432000 4194304 4196468 140732013103712 140015106214464 140014609617632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 21514 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15011656 memory=3618554860713309856 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 21514 33554432000 4194304 4196468 140732013103712 140013752804896 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 21514 33554432000 4194304 4196468 140732013103712 140013517923696 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 21514 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) R 10152 10156 8644 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 78213633 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014473419120 140015117880050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) R 10152 10156 8644 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0.03 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 78213633 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 21514 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 21514 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86056 KiB
[startup+0.310582 s]*
/proc/loadavg: 2.13 2.14 2.09 4/217 10197
/proc/meminfo: memFree=24232096/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15011656 memory=89680 CPUtime=0.43 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 10461 0 0 0 40 3 0 0 20 0 15 0 78213626 15371935744 22420 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3752914 22420 2981 1 0 3715374 0
[pid=10156/tid=10160] ppid=10152 vsize=15011656 memory=93310187 CPUtime=0.3 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 8193 0 0 0 28 2 0 0 20 0 15 0 78213627 15371935744 22420 33554432000 4194304 4196468 140732013103712 140015106215584 140015115951488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 22420 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15011656 memory=139951912097743 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15011656 memory=279903824193168 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15011656 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213628 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15011656 memory=279903959394624 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15011656 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 22420 33554432000 4194304 4196468 140732013103712 140013752804896 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15011656 memory=2110302519236420 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213630 15371935744 22420 33554432000 4194304 4196468 140732013103712 140013517923696 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15011656 memory=2110302519236452 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 22420 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 78213633 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 78213633 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0.07 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 15 0 78213633 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 22420 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15011656 memory=139952047289984 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213633 15371935744 22420 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89680 KiB
[startup+0.700739 s]
/proc/loadavg: 2.13 2.14 2.09 3/217 10197
/proc/meminfo: memFree=24185040/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15020052 memory=129268 CPUtime=1 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 17539 0 0 0 95 5 0 0 20 0 15 0 78213626 15380533248 32317 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3755013 32317 3096 1 0 3716398 0
[pid=10156/tid=10160] ppid=10152 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 14804 0 0 0 63 4 0 0 20 0 15 0 78213627 15380533248 32317 33554432000 4194304 4196468 140732013103712 140015106219840 140015118468446 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15020052 memory=3184237871988096192 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15380533248 32317 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15020052 memory=33 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213628 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78213630 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213630 15380533248 32317 33554432000 4194304 4196468 140732013103712 140013752804896 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15020052 memory=183610254572308 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213630 15380533248 32317 33554432000 4194304 4196468 140732013103712 140013517923696 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15020052 memory=462675 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15380533248 32317 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 627 0 0 0 8 0 0 0 20 0 15 0 78213633 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15020052 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 262 0 0 0 6 0 0 0 20 0 15 0 78213633 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15020052 memory=7809523229951467574 CPUtime=0.17 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 508 0 0 0 17 0 0 0 20 0 15 0 78213633 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15380533248 32317 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213633 15380533248 32317 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129268 KiB
[startup+1.50072 s]
/proc/loadavg: 2.13 2.14 2.09 8/217 10197
/proc/meminfo: memFree=24051444/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15022100 memory=269820 CPUtime=3.58 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 20930 0 0 0 349 9 0 0 20 0 15 0 78213626 15382630400 67455 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3755525 67455 3202 1 0 3716910 0
[pid=10156/tid=10160] ppid=10152 vsize=15022100 memory=279903824803360 CPUtime=1.47 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 15861 0 0 0 140 7 0 0 20 0 15 0 78213627 15382630400 67455 33554432000 4194304 4196468 140732013103712 140015106222144 140015116256464 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15022100 memory=183554017349469 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15382630400 67455 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15022100 memory=33 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15382630400 67455 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213628 15382630400 67455 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213628 15382630400 67455 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78213630 15382630400 67455 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
################
# More data... #
################
[pid=10156/tid=10170] ppid=10152 vsize=15024148 memory=-4865682228692870029 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 78213630 15384727552 774169 33554432000 4194304 4196468 140732013103712 140013752804960 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15024148 memory=3096676 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213630 15384727552 774169 33554432000 4194304 4196468 140732013103712 140013517923712 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15024148 memory=3096676 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 774169 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15024148 memory=25315 CPUtime=4.21 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 4587 0 0 0 420 1 0 0 20 0 15 0 78213633 15384727552 774169 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15024148 memory=584064 CPUtime=4.1 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 2671 0 0 0 409 1 0 0 20 0 15 0 78213633 15384727552 774169 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15024148 memory=279903824451776 CPUtime=1.26 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 4036 0 0 0 124 2 0 0 20 0 15 0 78213633 15384727552 774169 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15024148 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 774169 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15024148 memory=139951912148489 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 774169 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 22.62 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3096676 KiB
[startup+25.5008 s]
/proc/loadavg: 2.61 2.26 2.13 3/217 10281
/proc/meminfo: memFree=17824200/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15024148 memory=3477920 CPUtime=36.96 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 38267 0 0 0 3591 105 0 0 20 0 15 0 78213626 15384727552 869480 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3756037 869480 3238 1 0 3717422 0
[pid=10156/tid=10160] ppid=10152 vsize=15024148 memory=3477908 CPUtime=24.87 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 20415 0 0 0 2440 47 0 0 20 0 15 0 78213627 15384727552 869480 33554432000 4194304 4196468 140732013103712 140015106224904 140014619110016 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15024148 memory=4136 CPUtime=0.57 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 398 0 0 0 44 13 0 0 20 0 15 0 78213628 15384727552 869480 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15024148 memory=33 CPUtime=0.56 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 304 0 0 0 44 12 0 0 20 0 15 0 78213628 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15024148 memory=303430223234596890 CPUtime=0.56 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 926 0 0 0 43 13 0 0 20 0 15 0 78213628 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15024148 memory=288230583166042426 CPUtime=0.56 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 768 0 0 0 44 12 0 0 20 0 15 0 78213628 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15024148 memory=3477908 CPUtime=0.01 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 78213630 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15024148 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 78213630 15384727552 869480 33554432000 4194304 4196468 140732013103712 140013752804960 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15024148 memory=3303824 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213630 15384727552 869480 33554432000 4194304 4196468 140732013103712 140013517923712 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15024148 memory=23540 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 869480 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15024148 memory=1292 CPUtime=4.26 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 4838 0 0 0 425 1 0 0 20 0 15 0 78213633 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15024148 memory=2436 CPUtime=4.19 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 3793 0 0 0 418 1 0 0 20 0 15 0 78213633 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15024148 memory=1728 CPUtime=1.29 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 5168 0 0 0 127 2 0 0 20 0 15 0 78213633 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15024148 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 869480 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15024148 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 869480 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 36.96 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3477920 KiB
[startup+51.1103 s]
/proc/loadavg: 2.17 2.18 2.11 3/217 10281
/proc/meminfo: memFree=16479740/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15024148 memory=4146940 CPUtime=70.05 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 52241 0 0 0 6823 182 0 0 20 0 15 0 78213626 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3756037 1036735 3242 1 0 3717422 0
[pid=10156/tid=10160] ppid=10152 vsize=15024148 memory=0 CPUtime=48.88 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) R 10152 10156 8644 0 -1 4202560 22584 0 0 0 4841 47 0 0 20 0 15 0 78213627 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140015106224016 140014620506224 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15024148 memory=11763915425922 CPUtime=2.13 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 841 0 0 0 181 32 0 0 20 0 15 0 78213628 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15024148 memory=123 CPUtime=2.15 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 694 0 0 0 184 31 0 0 20 0 15 0 78213628 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15024148 memory=2 CPUtime=2.13 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1334 0 0 0 182 31 0 0 20 0 15 0 78213628 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15024148 memory=3972800 CPUtime=2.14 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 1236 0 0 0 184 30 0 0 20 0 15 0 78213628 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15024148 memory=3972800 CPUtime=0.02 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 15 0 78213630 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15024148 memory=279903824631504 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 78213630 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140013752804960 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15024148 memory=7649399375708368945 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 78213630 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140013517923712 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15024148 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15024148 memory=4136 CPUtime=5.58 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 7548 0 0 0 556 2 0 0 20 0 15 0 78213633 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15024148 memory=23540 CPUtime=5.36 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 6064 0 0 0 535 1 0 0 20 0 15 0 78213633 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15024148 memory=1292 CPUtime=1.54 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 10262 0 0 0 152 2 0 0 20 0 15 0 78213633 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15024148 memory=279903825193952 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213633 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15024148 memory=279903825121792 CPUtime=0.02 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 15 0 78213633 15384727552 1036735 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 70.05 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4146940 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+70.4009 s]
/proc/loadavg: 2.13 2.17 2.11 3/222 10287
/proc/meminfo: memFree=15187344/32770624 swapFree=67108860/67108860
[pid=10156] ppid=10152 vsize=15683912 memory=4718260 CPUtime=94.5 cores=1,3,5,7
/proc/10156/stat : 10156 (java) S 10152 10156 8644 0 -1 1077944320 69314 0 0 0 9206 244 0 0 20 0 19 0 78213626 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140732013086256 140015134387959 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
/proc/10156/statm: 3920978 1179565 3263 1 0 3881834 0
[pid=10282] ppid=10156 vsize=210128 memory=157064 CPUtime=1.93 cores=1,3,5,7
/proc/10282/stat : 10282 (minisat_release) R 10156 10156 8644 0 -1 4202496 30562 0 0 0 188 5 0 0 20 0 1 0 78220472 215171072 39266 33554432000 4194304 4308513 140732594091472 140732594088216 4221778 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 9883648 140732594094767 140732594095278 140732594095278 140732594098117 0
/proc/10282/statm: 52532 39266 331 28 0 48772 0
[pid=10156/tid=10160] ppid=10152 vsize=15683912 memory=23540 CPUtime=64.52 cores=1,3,5,7
/proc/10156/task/10160/stat : 10160 (java) S 10152 10156 8644 0 -1 1077944384 26822 0 0 0 6400 52 0 0 20 0 19 0 78213627 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140015106227200 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10161] ppid=10152 vsize=15683912 memory=1292 CPUtime=3.63 cores=1,3,5,7
/proc/10156/task/10161/stat : 10161 (java) S 10152 10156 8644 0 -1 1077944384 1592 0 0 0 317 46 0 0 20 0 19 0 78213628 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140015138630288 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10162] ppid=10152 vsize=15683912 memory=2436 CPUtime=3.65 cores=1,3,5,7
/proc/10156/task/10162/stat : 10162 (java) S 10152 10156 8644 0 -1 1077944384 1310 0 0 0 320 45 0 0 20 0 19 0 78213628 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014929713680 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10163] ppid=10152 vsize=15683912 memory=1728 CPUtime=3.62 cores=1,3,5,7
/proc/10156/task/10163/stat : 10163 (java) S 10152 10156 8644 0 -1 1077944384 1921 0 0 0 318 44 0 0 20 0 19 0 78213628 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014928660880 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10164] ppid=10152 vsize=15683912 memory=6791534058613427641 CPUtime=3.65 cores=1,3,5,7
/proc/10156/task/10164/stat : 10164 (java) S 10152 10156 8644 0 -1 1077944384 2427 0 0 0 320 45 0 0 20 0 19 0 78213628 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014593063184 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10165] ppid=10152 vsize=15683912 memory=4325256 CPUtime=0.03 cores=1,3,5,7
/proc/10156/task/10165/stat : 10165 (java) S 10152 10156 8644 0 -1 1077944384 1109 0 0 0 3 0 0 0 20 0 19 0 78213630 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014474472304 140015134399106 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10170] ppid=10152 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10170/stat : 10170 (java) S 10152 10156 8644 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 78213630 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140013752804960 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10171] ppid=10152 vsize=15683912 memory=23540 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10171/stat : 10171 (java) S 10152 10156 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 78213630 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140013517923712 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10179] ppid=10152 vsize=15683912 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10179/stat : 10179 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213633 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140013143415120 140015134406555 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10180] ppid=10152 vsize=15683912 memory=2436 CPUtime=6.84 cores=1,3,5,7
/proc/10156/task/10180/stat : 10180 (java) S 10152 10156 8644 0 -1 1077944384 10906 0 0 0 682 2 0 0 20 0 19 0 78213633 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014473419120 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10181] ppid=10152 vsize=15683912 memory=4325256 CPUtime=6.7 cores=1,3,5,7
/proc/10156/task/10181/stat : 10181 (java) S 10152 10156 8644 0 -1 1077944384 9114 0 0 0 668 2 0 0 20 0 19 0 78213633 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014472366320 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10182] ppid=10152 vsize=15683912 memory=4325256 CPUtime=1.73 cores=1,3,5,7
/proc/10156/task/10182/stat : 10182 (java) S 10152 10156 8644 0 -1 1077944384 12509 0 0 0 170 3 0 0 20 0 19 0 78213633 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014471313520 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10183] ppid=10152 vsize=15683912 memory=3972800 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10183/stat : 10183 (java) S 10152 10156 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213633 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140012645509344 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10184] ppid=10152 vsize=15683912 memory=1576 CPUtime=0.03 cores=1,3,5,7
/proc/10156/task/10184/stat : 10184 (java) S 10152 10156 8644 0 -1 1077944384 196 0 0 0 1 2 0 0 20 0 19 0 78213633 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014470261936 140015134399106 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10283] ppid=10152 vsize=15683912 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10283/stat : 10283 (java) S 10152 10156 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78220473 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140014458590912 140015134412569 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10285] ppid=10152 vsize=15683912 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10285/stat : 10285 (java) S 10152 10156 8644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 78220473 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140012242845360 140015134409885 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10286] ppid=10152 vsize=15683912 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10286/stat : 10286 (java) S 10152 10156 8644 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 78220473 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140012108623408 140015134409885 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
[pid=10156/tid=10287] ppid=10152 vsize=15683912 memory=23540 CPUtime=0 cores=1,3,5,7
/proc/10156/task/10287/stat : 10287 (java) S 10152 10156 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 78220475 16060325888 1179565 33554432000 4194304 4196468 140732013103712 140011840199840 140015134398165 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140732013110259 140732013110537 140732013110537 140732013113295 0
Current children cumulated CPU time: 96.43 s
Current children cumulated vsize: 15894040 KiB
Current children cumulated memory: 4875324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+70.4442 s]
# the end of solver process 10156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=93.9685 s, system=2.54264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 70.4443
CPU time (s): 96.5112
CPU user time (s): 93.9685
CPU system time (s): 2.54264
CPU usage (%): 137.004
Max. virtual memory (cumulated for all children) (KiB): 15894040
Max. memory (cumulated for all children) (KiB): 4875324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.9685
system time used= 2.54264
maximum resident set size= 4721148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 59952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7639
involuntary context switches= 225
# summary of solver processes directly reported to runsolver:
# pid: 10156
# total CPU time (s): 96.5112
# total CPU user time (s): 93.9685
# total CPU system time (s): 2.54264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.456027 second user time and 0.716232 second system time
The end