0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 18:17:15 CEST 2018
0.67/0.55 c PID: 29456
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.46/1.26 c (0,0) Parsing End
2.46/1.27 c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 13 ctr, max domain size 26
2.46/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.46/1.27 c (0,0) Constraint Name Generate Begin
2.46/1.27 c (0,0) Ctr:HOME/instance-4294884-1532535434.xml,ExtensionSupport:IntVar
2.46/1.27 c (0,0) Constraint Name Generate End
2.46/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.46/1.27 c (0,0) CSP to CSPinCNF Begin
38.18/23.55 c (23,22) translated 2 (10%) constraints
49.32/31.99 c (31,30) translated 3 (20%) constraints
60.91/40.55 c (40,38) translated 4 (30%) constraints
82.56/57.08 c (56,52) translated 6 (40%) constraints
94.09/65.57 c (65,60) translated 7 (50%) constraints
106.08/76.39 c (75,70) translated 8 (60%) constraints
116.85/85.66 c (85,79) translated 10 (70%) constraints
122.14/90.27 c (89,84) translated 11 (80%) constraints
127.48/94.87 c (94,88) translated 12 (90%) constraints
132.85/99.48 c (98,92) translated 13 (100%) constraints
144.18/108.43 c (107,101) STATISTICS1:HOME/instance-4294884-1532535434.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:323;26:177;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989;0:13,
144.18/108.43 c (107,101) ===========================================
144.18/108.43 c (107,101) Both Encoding selects:
144.18/108.43 c (107,101) Order
144.18/108.43 c (107,101) ===========================================
147.49/111.05 c (110,103) translated 204282 (10%) constraints
150.18/113.62 c (113,106) translated 408563 (20%) constraints
153.73/116.48 c (115,108) translated 612844 (30%) constraints
156.61/119.13 c (118,111) translated 817125 (40%) constraints
159.25/121.74 c (121,114) translated 1021406 (50%) constraints
163.33/124.77 c (124,116) translated 1225687 (60%) constraints
166.03/127.43 c (126,119) translated 1429968 (70%) constraints
170.17/130.44 c (129,122) translated 1634249 (80%) constraints
172.78/133.10 c (132,124) translated 1838530 (90%) constraints
177.05/136.15 c (135,127) translated 2042811 (100%) constraints
177.05/136.15 c (135,127) CSP to CSPinCNF End
177.18/136.24 c (135,127) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
177.18/136.24 c (135,127) Heap : 3299 MiB used (max 10764 MiB), NonHeap : 27 MiB used (max 0 MiB)
177.18/136.24 c (135,127) CSPinCNF Propagation Begin
196.96/148.33 c (147,137) 0 values, 13 unsatisfiable literals, and 0 valid clauses are removed
196.96/148.33 c (147,137) CSPinCNF Propagation End
197.07/148.41 c (147,137) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
197.07/148.41 c (147,137) Heap : 4566 MiB used (max 10749 MiB), NonHeap : 28 MiB used (max 0 MiB)
197.07/148.41 c (147,137) Simplify CSPinCNF Begin
200.65/151.97 c (151,140) Simplify CSPinCNF End
200.76/152.04 c (151,140) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
200.76/152.04 c (151,140) Heap : 6082 MiB used (max 10749 MiB), NonHeap : 28 MiB used (max 0 MiB)
200.76/152.04 c (151,140) Calculate Precise Domain Begin
200.76/152.04 c (151,140) 0 values are removed by re-calculation
200.76/152.04 c (151,140) Calculate Precise Domain End
200.86/152.11 c (151,140) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
200.86/152.11 c (151,140) Heap : 6082 MiB used (max 10749 MiB), NonHeap : 28 MiB used (max 0 MiB)
200.86/152.11 c (151,140) CSPinCNF to SatSolver Begin
206.44/154.36 c (153,142) 204282 (10 %) CSP clauses are encoded (187699 SAT variables, 205289 SAT clauses)
207.46/155.39 c (154,143) 408563 (20 %) CSP clauses are encoded (187699 SAT variables, 409570 SAT clauses)
210.93/157.02 c (156,144) 612844 (30 %) CSP clauses are encoded (187699 SAT variables, 613851 SAT clauses)
211.96/158.09 c (157,145) 817125 (40 %) CSP clauses are encoded (187699 SAT variables, 818132 SAT clauses)
213.06/159.17 c (158,146) 1021406 (50 %) CSP clauses are encoded (187699 SAT variables, 1022413 SAT clauses)
214.21/160.25 c (159,147) 1225687 (60 %) CSP clauses are encoded (187699 SAT variables, 1226694 SAT clauses)
215.30/161.33 c (160,148) 1429968 (70 %) CSP clauses are encoded (187699 SAT variables, 1430975 SAT clauses)
216.45/162.42 c (161,149) 1634249 (80 %) CSP clauses are encoded (187699 SAT variables, 1635256 SAT clauses)
217.45/163.49 c (162,150) 1838530 (90 %) CSP clauses are encoded (187699 SAT variables, 1839537 SAT clauses)
218.55/164.56 c (164,151) 2042811 (100 %) CSP clauses are encoded (187699 SAT variables, 2043818 SAT clauses)
218.55/164.56 c (164,151) CSPinCNF to SatSolver End
218.55/164.56 c (164,151) Heap : 6247 MiB used (max 10740 MiB), NonHeap : 29 MiB used (max 0 MiB)
223.71/169.39 c (168,156) STATISTICS2:HOME/instance-4294884-1532535434.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:310;26:190;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989,
223.71/169.39 c (168,156) SatSolver.solve Begin
223.71/169.39 c (168,156) 187699 bool, 2043819 clause
223.71/169.39 c (168,156) 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-4294884-1532535434.xml-scop-29456.cnf HOME/instance-4294884-1532535434.xml-scop-29456.cnf.out
224.79/170.20 c (169,0) receiving signal SIGTERM
224.79/170.20 s UNKNOWN
224.79/170.21 c (169,156) SatSolver is killed by some reasons.
224.79/170.21 c (169,156) 0,0,135,147,151,151,164,TO,TO,STOP-AFTER(DIMACS)
224.79/170.21 c END-Prog: Wed Jul 25 18:20:05 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 (4863 MiB free)
memory of node 1: 16384 MiB (6024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294884-1532535434/watcher-4294884-1532535434 -o /tmp/evaluation-result-4294884-1532535434/solver-4294884-1532535434 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294884-1532535434.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29456, runsolver pid=29453
[startup+0.100094 s]*
/proc/loadavg: 2.43 1.53 1.23 3/215 29471
/proc/meminfo: memFree=11089888/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15011656 memory=72912 CPUtime=0.11 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 6885 0 0 0 9 2 0 0 20 0 15 0 71106611 15371935744 18162 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3752914 18162 2782 1 0 3715374 0
[pid=29456/tid=29458] ppid=29453 vsize=15011656 memory=-6894657602490753920 CPUtime=0.09 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 5008 0 0 0 8 1 0 0 20 0 15 0 71106611 15371935744 18228 33554432000 4194304 4196468 140726203637904 140365189872016 140365199609247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15011656 memory=5793855881221179833 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 18228 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 18228 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 18228 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 18228 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106614 15371935744 18228 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71106615 15371935744 18228 33554432000 4194304 4196468 140726203637904 140363759084576 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106615 15371935744 18294 33554432000 4194304 4196468 140726203637904 140363490648944 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 18294 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) S 29453 29456 29212 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 18294 33554432000 4194304 4196468 140726203637904 140364255320944 140365218056834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) S 29453 29456 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 18294 33554432000 4194304 4196468 140726203637904 140364254268144 140365218056834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0.01 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) S 29453 29456 29212 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 71106617 15371935744 18294 33554432000 4194304 4196468 140726203637904 140364253215344 140365218056834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15371935744 18294 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106618 15371935744 18294 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72912 KiB
[startup+0.210311 s]*
/proc/loadavg: 2.43 1.53 1.23 6/215 29471
/proc/meminfo: memFree=11016792/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15011656 memory=85472 CPUtime=0.26 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 10364 0 0 0 23 3 0 0 20 0 15 0 71106611 15371935744 21368 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3752914 21368 2914 1 0 3715374 0
[pid=29456/tid=29458] ppid=29453 vsize=15011656 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 8247 0 0 0 18 2 0 0 20 0 15 0 71106611 15371935744 21368 33554432000 4194304 4196468 140726203637904 140365189872080 140365218057622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15011656 memory=4211974356416077194 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 21368 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 21368 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 21368 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 21368 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106614 15371935744 21368 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71106615 15371935744 21368 33554432000 4194304 4196468 140726203637904 140363759084576 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106615 15371935744 21368 33554432000 4194304 4196468 140726203637904 140363490648944 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 21368 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) R 29453 29456 29212 0 -1 4202560 312 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 21368 33554432000 4194304 4196468 140726203637904 140364255320944 140365218057622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) R 29453 29456 29212 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 21368 33554432000 4194304 4196468 140726203637904 140364254268240 140365218055893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0.03 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) R 29453 29456 29212 0 -1 4202560 312 0 0 0 3 0 0 0 20 0 15 0 71106617 15371935744 21368 33554432000 4194304 4196468 140726203637904 140364253215344 140365196695105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15371935744 21368 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) R 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106618 15371935744 21368 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85472 KiB
[startup+0.310369 s]*
/proc/loadavg: 2.43 1.53 1.23 6/215 29471
/proc/meminfo: memFree=10947116/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15011656 memory=89896 CPUtime=0.43 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 10977 0 0 0 40 3 0 0 20 0 15 0 71106611 15371935744 22474 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3752914 22474 3033 1 0 3715374 0
[pid=29456/tid=29458] ppid=29453 vsize=15011656 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 8680 0 0 0 27 2 0 0 20 0 15 0 71106611 15371935744 22474 33554432000 4194304 4196468 140726203637904 140365189859392 140365218067613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15011656 memory=4211974356416077194 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 22474 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15011656 memory=281260325570944 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 22474 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15011656 memory=281260228596224 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 22474 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15011656 memory=140630114284303 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15371935744 22474 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15011656 memory=281260325577856 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106614 15371935744 22474 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15011656 memory=140630114288911 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71106615 15371935744 22474 33554432000 4194304 4196468 140726203637904 140363759084576 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15011656 memory=140630114320459 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106615 15371935744 22474 33554432000 4194304 4196468 140726203637904 140363490648944 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15011656 memory=140630114322764 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15371935744 22474 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) R 29453 29456 29212 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 71106617 15371935744 22474 33554432000 4194304 4196468 140726203637904 140364255320944 140365218056834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) R 29453 29456 29212 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 15 0 71106617 15371935744 22474 33554432000 4194304 4196468 140726203637904 140364254268144 140365199243714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15011656 memory=140630211286656 CPUtime=0.07 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) R 29453 29456 29212 0 -1 4202560 351 0 0 0 7 0 0 0 20 0 15 0 71106617 15371935744 22474 33554432000 4194304 4196468 140726203637904 140364253215344 140365196641547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15371935744 22474 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15011656 memory=140630211359568 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106618 15371935744 22474 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89896 KiB
[startup+0.707603 s]
/proc/loadavg: 2.43 1.53 1.23 6/215 29471
/proc/meminfo: memFree=10808120/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15017928 memory=131016 CPUtime=1.02 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 17984 0 0 0 96 6 0 0 20 0 15 0 71106611 15378358272 32754 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3754482 32754 3139 1 0 3715886 0
[pid=29456/tid=29458] ppid=29453 vsize=15017928 memory=54 CPUtime=0.68 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 15164 0 0 0 63 5 0 0 20 0 15 0 71106611 15378358272 32754 33554432000 4194304 4196468 140726203637904 140365189881856 140365218067709 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106613 15378358272 32754 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15378358272 32754 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15378358272 32754 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15378358272 32754 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15017928 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71106614 15378358272 32754 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15017928 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71106615 15378358272 32754 33554432000 4194304 4196468 140726203637904 140363759084576 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15017928 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106615 15378358272 32754 33554432000 4194304 4196468 140726203637904 140363490648944 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15017928 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15378358272 32754 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15017928 memory=3032 CPUtime=0.07 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) R 29453 29456 29212 0 -1 4202560 514 0 0 0 7 0 0 0 20 0 15 0 71106617 15378358272 32754 33554432000 4194304 4196468 140726203637904 140364255307488 140365199567906 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15017928 memory=2764 CPUtime=0.09 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) S 29453 29456 29212 0 -1 1077944384 491 0 0 0 9 0 0 0 20 0 15 0 71106617 15378358272 32754 33554432000 4194304 4196468 140726203637904 140364254268144 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15017928 memory=796 CPUtime=0.15 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) R 29453 29456 29212 0 -1 4202560 476 0 0 0 15 0 0 0 20 0 15 0 71106617 15378358272 32754 33554432000 4194304 4196468 140726203637904 140364253215344 140365218067034 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15017928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15378358272 32754 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15017928 memory=15316 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106618 15378358272 32754 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131016 KiB
[startup+1.50067 s]
/proc/loadavg: 2.43 1.53 1.23 5/215 29471
/proc/meminfo: memFree=10684892/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15022100 memory=345816 CPUtime=3.25 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 21008 0 0 0 315 10 0 0 20 0 15 0 71106611 15382630400 86454 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3755525 86454 3204 1 0 3716910 0
[pid=29456/tid=29458] ppid=29453 vsize=15022100 memory=3544 CPUtime=1.47 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 16424 0 0 0 139 8 0 0 20 0 15 0 71106611 15382630400 86454 33554432000 4194304 4196468 140726203637904 140365189873136 140365218057622 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15022100 memory=18368 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71106613 15382630400 86454 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15022100 memory=776 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15382630400 86454 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15382630400 86454 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71106613 15382630400 86454 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15022100 memory=7089319380252649045 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71106614 15382630400 86454 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
################
# More data... #
################
[pid=29456/tid=29464] ppid=29453 vsize=15024148 memory=2 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 71106615 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140363759084640 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15024148 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71106615 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140363490648960 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15024148 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15024148 memory=1828 CPUtime=6.5 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) S 29453 29456 29212 0 -1 1077944384 8370 0 0 0 648 2 0 0 20 0 15 0 71106617 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140364255320944 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15024148 memory=3544 CPUtime=7.38 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) S 29453 29456 29212 0 -1 1077944384 12987 0 0 0 736 2 0 0 20 0 15 0 71106617 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140364254268144 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15024148 memory=18368 CPUtime=1.02 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) S 29453 29456 29212 0 -1 1077944384 8097 0 0 0 101 1 0 0 20 0 15 0 71106617 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140364253215344 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15024148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15024148 memory=3945468 CPUtime=0.02 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 15 0 71106618 15384727552 1082124 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 75.18 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4328496 KiB
[startup+102.301 s]
/proc/loadavg: 2.48 1.79 1.36 3/215 29472
/proc/meminfo: memFree=1887492/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15024148 memory=5636244 CPUtime=136.6 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 69571 0 0 0 13374 286 0 0 20 0 15 0 71106611 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3756037 1409061 3239 1 0 3717422 0
[pid=29456/tid=29458] ppid=29453 vsize=15024148 memory=5433076 CPUtime=95.8 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 25604 0 0 0 9533 47 0 0 20 0 15 0 71106611 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140365189880880 140364720428224 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15024148 memory=637 CPUtime=6.37 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 2677 0 0 0 579 58 0 0 20 0 15 0 71106613 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15024148 memory=56 CPUtime=6.4 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 2141 0 0 0 584 56 0 0 20 0 15 0 71106613 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15024148 memory=281260229587920 CPUtime=6.37 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 2291 0 0 0 578 59 0 0 20 0 15 0 71106613 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15024148 memory=5433076 CPUtime=6.4 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 1853 0 0 0 586 54 0 0 20 0 15 0 71106613 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15024148 memory=1008 CPUtime=0.03 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 499 0 0 0 3 0 0 0 20 0 15 0 71106614 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15024148 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 71106615 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140363759084640 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15024148 memory=18368 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71106615 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140363490648960 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15024148 memory=5533768 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15024148 memory=5533768 CPUtime=6.59 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) S 29453 29456 29212 0 -1 1077944384 10294 0 0 0 657 2 0 0 20 0 15 0 71106617 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140364255320944 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15024148 memory=5230272 CPUtime=7.45 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) S 29453 29456 29212 0 -1 1077944384 14163 0 0 0 743 2 0 0 20 0 15 0 71106617 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140364254268144 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15024148 memory=5115348 CPUtime=1.04 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) S 29453 29456 29212 0 -1 1077944384 8643 0 0 0 102 2 0 0 20 0 15 0 71106617 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140364253215344 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15024148 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15024148 memory=1828 CPUtime=0.05 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 70 0 0 0 3 2 0 0 20 0 15 0 71106618 15384727552 1409061 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 136.6 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 5636244 KiB
[startup+162.301 s]
/proc/loadavg: 2.41 1.88 1.41 7/215 29473
/proc/meminfo: memFree=267528/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15026264 memory=7983164 CPUtime=216.35 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 277010 0 0 0 21074 561 0 0 20 0 15 0 71106611 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3756566 1995791 3254 1 0 3717422 0
[pid=29456/tid=29458] ppid=29453 vsize=15026264 memory=7757272 CPUtime=150.01 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) R 29453 29456 29212 0 -1 4202560 29646 0 0 0 14949 52 0 0 20 0 15 0 71106611 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140365189884336 140364723672947 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15026264 memory=7983164 CPUtime=12.09 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 47173 0 0 0 1079 130 0 0 20 0 15 0 71106613 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15026264 memory=7983164 CPUtime=12.15 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 50365 0 0 0 1095 120 0 0 20 0 15 0 71106613 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15026264 memory=7983164 CPUtime=12.12 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 43534 0 0 0 1090 122 0 0 20 0 15 0 71106613 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15026264 memory=7983164 CPUtime=12.14 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 54070 0 0 0 1093 121 0 0 20 0 15 0 71106613 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15026264 memory=7983164 CPUtime=0.04 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 737 0 0 0 4 0 0 0 20 0 15 0 71106614 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15026264 memory=281260229463648 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 71106615 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140363759084640 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15026264 memory=281260229012296 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71106615 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140363490648960 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15026264 memory=7983164 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106617 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15026264 memory=7983164 CPUtime=7.73 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) S 29453 29456 29212 0 -1 1077944384 15191 0 0 0 771 2 0 0 20 0 15 0 71106617 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140364255320944 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15026264 memory=7983164 CPUtime=8.6 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) S 29453 29456 29212 0 -1 1077944384 19321 0 0 0 857 3 0 0 20 0 15 0 71106617 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140364254268144 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15026264 memory=7983164 CPUtime=1.29 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) S 29453 29456 29212 0 -1 1077944384 15471 0 0 0 126 3 0 0 20 0 15 0 71106617 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140364253215344 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15026264 memory=7983164 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71106618 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15026264 memory=7983164 CPUtime=0.09 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 162 0 0 0 4 5 0 0 20 0 15 0 71106618 15386894336 1995791 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 216.35 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 7983164 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+170.201 s]
/proc/loadavg: 2.37 1.88 1.42 3/221 29487
/proc/meminfo: memFree=194284/32770624 swapFree=67076436/67108860
[pid=29456] ppid=29453 vsize=15681864 memory=7984280 CPUtime=224.01 cores=0,2,4,6
/proc/29456/stat : 29456 (java) S 29453 29456 29212 0 -1 1077944320 280313 0 0 0 21837 564 0 0 20 0 19 0 71106611 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140726203620448 140365218045687 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
/proc/29456/statm: 3920466 1996070 3261 1 0 3881322 0
[pid=29482] ppid=29456 vsize=226240 memory=174620 CPUtime=0.78 cores=0,2,4,6
/proc/29482/stat : 29482 (minisat_release) R 29456 29456 29212 0 -1 4202496 42141 0 0 0 66 12 0 0 20 0 1 0 71123551 231669760 43655 33554432000 4194304 4308513 140732211677440 140732210625896 4248293 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 29077504 140732211684015 140732211684526 140732211684526 140732211687365 0
/proc/29482/statm: 56560 43655 316 28 0 52800 0
[pid=29456/tid=29458] ppid=29453 vsize=15681864 memory=7375072376273676954 CPUtime=157.09 cores=0,2,4,6
/proc/29456/task/29458/stat : 29458 (java) S 29453 29456 29212 0 -1 1077944384 32030 0 0 0 15655 54 0 0 20 0 19 0 71106611 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140365189884928 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29459] ppid=29453 vsize=15681864 memory=15458000954 CPUtime=12.15 cores=0,2,4,6
/proc/29456/task/29459/stat : 29459 (java) S 29453 29456 29212 0 -1 1077944384 47174 0 0 0 1085 130 0 0 20 0 19 0 71106613 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140365222288528 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29460] ppid=29453 vsize=15681864 memory=288230574492221466 CPUtime=12.21 cores=0,2,4,6
/proc/29456/task/29460/stat : 29460 (java) S 29453 29456 29212 0 -1 1077944384 50366 0 0 0 1101 120 0 0 20 0 19 0 71106613 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140365036444688 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29461] ppid=29453 vsize=15681864 memory=288230621803970871 CPUtime=12.19 cores=0,2,4,6
/proc/29456/task/29461/stat : 29461 (java) S 29453 29456 29212 0 -1 1077944384 43536 0 0 0 1097 122 0 0 20 0 19 0 71106613 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140365035391888 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29462] ppid=29453 vsize=15681864 memory=15258134151170438 CPUtime=12.2 cores=0,2,4,6
/proc/29456/task/29462/stat : 29462 (java) S 29453 29456 29212 0 -1 1077944384 54072 0 0 0 1099 121 0 0 20 0 19 0 71106613 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364676934416 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29463] ppid=29453 vsize=15681864 memory=1876 CPUtime=0.05 cores=0,2,4,6
/proc/29456/task/29463/stat : 29463 (java) S 29453 29456 29212 0 -1 1077944384 737 0 0 0 5 0 0 0 20 0 19 0 71106614 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364256373104 140365218056834 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29464] ppid=29453 vsize=15681864 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29464/stat : 29464 (java) S 29453 29456 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 71106615 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140363759084640 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29465] ppid=29453 vsize=15681864 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29465/stat : 29465 (java) S 29453 29456 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 71106615 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140363490648960 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29466] ppid=29453 vsize=15681864 memory=800 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29466/stat : 29466 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71106617 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140363116140368 140365218064283 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29467] ppid=29453 vsize=15681864 memory=5192 CPUtime=7.92 cores=0,2,4,6
/proc/29456/task/29467/stat : 29467 (java) S 29453 29456 29212 0 -1 1077944384 15603 0 0 0 790 2 0 0 20 0 19 0 71106617 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364255320944 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29468] ppid=29453 vsize=15681864 memory=12816 CPUtime=8.68 cores=0,2,4,6
/proc/29456/task/29468/stat : 29468 (java) S 29453 29456 29212 0 -1 1077944384 19335 0 0 0 865 3 0 0 20 0 19 0 71106617 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364254268144 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29469] ppid=29453 vsize=15681864 memory=1332 CPUtime=1.31 cores=0,2,4,6
/proc/29456/task/29469/stat : 29469 (java) S 29453 29456 29212 0 -1 1077944384 15862 0 0 0 128 3 0 0 20 0 19 0 71106617 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364253215344 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29470] ppid=29453 vsize=15681864 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29470/stat : 29470 (java) S 29453 29456 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71106618 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140362618235616 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29471] ppid=29453 vsize=15681864 memory=3328 CPUtime=0.1 cores=0,2,4,6
/proc/29456/task/29471/stat : 29471 (java) S 29453 29456 29212 0 -1 1077944384 162 0 0 0 4 6 0 0 20 0 19 0 71106618 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364252162736 140365218056834 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29483] ppid=29453 vsize=15681864 memory=3032 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29483/stat : 29483 (java) S 29453 29456 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71123552 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140364235896000 140365218070297 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29485] ppid=29453 vsize=15681864 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29485/stat : 29485 (java) S 29453 29456 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71123552 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140362215570608 140365218067613 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29486] ppid=29453 vsize=15681864 memory=734122147864328497 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29486/stat : 29486 (java) S 29453 29456 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71123552 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140362081349680 140365218067613 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
[pid=29456/tid=29487] ppid=29453 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29456/task/29487/stat : 29487 (java) S 29453 29456 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 71123554 16058228736 1996070 33554432000 4194304 4196468 140726203637904 140361812926112 140365218055893 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140726203642868 140726203643145 140726203643145 140726203645903 0
Current children cumulated CPU time: 224.79 s
Current children cumulated vsize: 15908104 KiB
Current children cumulated memory: 8158900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+170.297 s]
# the end of solver process 29456 was just reported to runsolver
# cumulated CPU time of all completed processes: user=219.045 s, system=5.86743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 170.297
CPU time (s): 224.913
CPU user time (s): 219.045
CPU system time (s): 5.86743
CPU usage (%): 132.071
Max. virtual memory (cumulated for all children) (KiB): 15908104
Max. memory (cumulated for all children) (KiB): 8158900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.045
system time used= 5.86743
maximum resident set size= 7987356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 98032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9843
involuntary context switches= 843
# summary of solver processes directly reported to runsolver:
# pid: 29456
# total CPU time (s): 224.913
# total CPU user time (s): 219.045
# total CPU system time (s): 5.86743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.926385 second user time and 1.73007 second system time
The end