0.67/0.53
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 15:12:52 CEST 2018
0.67/0.55 c PID: 14850
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
13.39/5.63 c (5,4) Parsing End
13.39/5.69 c (5,5) CSP: 0 int (0 aux), 50575 bool (0 aux), 48366 ctr, max domain size 2
13.39/5.69 c (5,5) Heap : 1972 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
13.39/5.69 c (5,5) Constraint Name Generate Begin
13.82/5.84 c (5,5) Ctr:HOME/instance-4294095-1532351571.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
13.82/5.84 c (5,5) Constraint Name Generate End
13.82/5.84 c (5,5) Heap : 2028 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
13.82/5.84 c (5,5) CSP to CSPinCNF Begin
19.38/7.84 c (7,7) translated 4837 (10%) constraints
20.47/8.77 c (8,8) translated 9674 (20%) constraints
22.24/9.83 c (9,8) translated 14510 (30%) constraints
23.04/10.66 c (10,9) translated 19347 (40%) constraints
23.94/11.50 c (10,10) translated 24183 (50%) constraints
24.75/12.36 c (11,11) translated 29020 (60%) constraints
25.57/13.20 c (12,12) translated 33857 (70%) constraints
26.53/14.04 c (13,13) translated 38693 (80%) constraints
27.32/14.88 c (14,14) translated 43530 (90%) constraints
32.37/18.36 c (17,17) translated 48366 (100%) constraints
67.07/44.22 c (43,40) STATISTICS1:HOME/instance-4294095-1532351571.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,151372,250193,9223372036854775807,2,4,85,9223372036854775807:1190;8589934592:170;2:106575,2:616691,4:5427;3:95487;2:100797;1:48482,85:1190;34:170;2:106575;1:493131,3136:1190
67.07/44.22 c (43,40) ===========================================
67.07/44.22 c (43,40) Both Encoding selects:
67.07/44.22 c (43,40) Log
67.07/44.22 c (43,40) ===========================================
69.77/45.28 c (44,41) translated 25020 (10%) constraints
70.52/45.99 c (45,42) translated 50039 (20%) constraints
71.22/46.68 c (46,43) translated 75058 (30%) constraints
71.92/47.38 c (46,44) translated 100078 (40%) constraints
72.63/48.08 c (47,44) translated 125097 (50%) constraints
73.32/48.78 c (48,45) translated 150116 (60%) constraints
74.02/49.48 c (48,46) translated 175136 (70%) constraints
74.73/50.18 c (49,46) translated 200155 (80%) constraints
75.42/50.88 c (50,47) translated 225174 (90%) constraints
78.61/53.01 c (52,49) translated 250193 (100%) constraints
78.61/53.01 c (52,49) CSP to CSPinCNF End
78.61/53.09 c (52,49) CSP: 0 int (0 aux), 199057 bool (148482 aux), 393928 ctr, max domain size 2
78.61/53.09 c (52,49) Heap : 1491 MiB used (max 10656 MiB), NonHeap : 31 MiB used (max 0 MiB)
78.61/53.09 c (52,49) CSPinCNF Propagation Begin
81.07/54.97 c (54,51) 0 values, 47685 unsatisfiable literals, and 47685 valid clauses are removed
81.07/54.97 c (54,51) CSPinCNF Propagation End
81.18/55.05 c (54,51) CSP: 0 int (0 aux), 199057 bool (148482 aux), 346243 ctr, max domain size 2
81.18/55.05 c (54,51) Heap : 2979 MiB used (max 10656 MiB), NonHeap : 31 MiB used (max 0 MiB)
81.18/55.05 c (54,51) Simplify CSPinCNF Begin
83.50/56.19 c (55,52) Simplify CSPinCNF End
83.76/56.28 c (55,52) CSP: 0 int (0 aux), 210262 bool (159687 aux), 357448 ctr, max domain size 2
83.76/56.28 c (55,52) Heap : 859 MiB used (max 10728 MiB), NonHeap : 30 MiB used (max 0 MiB)
83.76/56.28 c (55,52) Calculate Precise Domain Begin
83.76/56.28 c (55,52) 0 values are removed by re-calculation
83.76/56.28 c (55,52) Calculate Precise Domain End
83.87/56.36 c (55,52) CSP: 0 int (0 aux), 210262 bool (159687 aux), 357448 ctr, max domain size 2
83.87/56.36 c (55,52) Heap : 859 MiB used (max 10728 MiB), NonHeap : 30 MiB used (max 0 MiB)
83.87/56.36 c (55,52) CSPinCNF to SatSolver Begin
89.50/59.29 c (58,55) 35745 (10 %) CSP clauses are being encoded (393414 SAT variables, 532580 SAT clauses)
90.23/59.95 c (59,56) 71490 (20 %) CSP clauses are being encoded (413838 SAT variables, 588749 SAT clauses)
92.31/60.95 c (60,56) 107235 (30 %) CSP clauses are being encoded (434264 SAT variables, 644920 SAT clauses)
93.00/61.61 c (61,57) 142980 (40 %) CSP clauses are being encoded (454690 SAT variables, 701091 SAT clauses)
93.60/62.26 c (61,58) 178724 (50 %) CSP clauses are being encoded (475114 SAT variables, 757259 SAT clauses)
94.30/62.91 c (62,58) 214469 (60 %) CSP clauses are being encoded (495542 SAT variables, 813432 SAT clauses)
94.90/63.56 c (63,59) 250214 (70 %) CSP clauses are being encoded (515966 SAT variables, 869601 SAT clauses)
95.60/64.21 c (63,60) 285959 (80 %) CSP clauses are being encoded (536392 SAT variables, 925772 SAT clauses)
96.20/64.86 c (64,60) 321704 (90 %) CSP clauses are being encoded (556818 SAT variables, 981943 SAT clauses)
109.22/74.43 c (73,68) 357448 (100 %) CSP clauses are being encoded (1469912 SAT variables, 3633713 SAT clauses)
109.22/74.43 c (73,68) CSPinCNF to SatSolver End
109.22/74.43 c (73,68) Heap : 3154 MiB used (max 10802 MiB), NonHeap : 32 MiB used (max 0 MiB)
111.36/75.79 c (75,70) STATISTICS2:HOME/instance-4294095-1532351571.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,210262,357448,9223372036854775807,2,4,85,9223372036854775807:1190;8589934592:170;2:112119,2:894394,4:5427;3:47802;2:207372;1:96847,85:1190;34:170;2:112119;1:563226,2:1190
111.36/75.79 c (75,70) SatSolver.solve Begin
111.36/75.79 c (75,70) 1469913 bool, 3633715 clause
111.36/75.79 c (75,70) 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-4294095-1532351571.xml-scop-14850.cnf HOME/instance-4294095-1532351571.xml-scop-14850.cnf.out
112.99/76.20 c (75,0) receiving signal SIGTERM
112.99/76.20 s UNKNOWN
112.99/76.21 c (75,70) SatSolver is killed by some reasons.
112.99/76.21 c (75,70) 5,5,52,54,55,55,73,TO,TO,STOP-AFTER(DIMACS)
112.99/76.21 c END-Prog: Mon Jul 23 15:14:07 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 (5805 MiB free)
memory of node 1: 16384 MiB (10187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294095-1532351571/watcher-4294095-1532351571 -o /tmp/evaluation-result-4294095-1532351571/solver-4294095-1532351571 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294095-1532351571.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=14850, runsolver pid=14847
[startup+0.10009 s]*
/proc/loadavg: 2.04 2.08 2.07 3/221 14865
/proc/meminfo: memFree=16317216/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15011656 memory=72340 CPUtime=0.11 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 6270 0 0 0 9 2 0 0 20 0 15 0 52720268 15371935744 18085 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3752914 18085 2779 1 0 3715374 0
[pid=14850/tid=14852] ppid=14847 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 4351 0 0 0 8 1 0 0 20 0 15 0 52720269 15371935744 18085 33554432000 4194304 4196468 140733663936256 140488661635464 140488674989134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 18085 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 18085 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 18085 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 18085 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720272 15371935744 18085 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52720272 15371935744 18085 33554432000 4194304 4196468 140733663936256 140487239394080 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720273 15371935744 18085 33554432000 4194304 4196468 140733663936256 140486970958960 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 18085 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) S 14847 14850 8919 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 18085 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 18085 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0.01 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) S 14847 14850 8919 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 52720275 15371935744 18085 33554432000 4194304 4196468 140733663936256 140487725034352 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 18085 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 18085 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72340 KiB
[startup+0.210449 s]*
/proc/loadavg: 2.04 2.08 2.07 3/221 14865
/proc/meminfo: memFree=16303480/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15011656 memory=85680 CPUtime=0.25 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 9875 0 0 0 23 2 0 0 20 0 15 0 52720268 15371935744 21420 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3752914 21420 2887 1 0 3715374 0
[pid=14850/tid=14852] ppid=14847 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 7770 0 0 0 18 2 0 0 20 0 15 0 52720269 15371935744 21420 33554432000 4194304 4196468 140733663936256 140488661642448 140488689835414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 21420 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15011656 memory=140214495347704 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 21420 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 21420 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 21420 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720272 15371935744 21420 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52720272 15371935744 21420 33554432000 4194304 4196468 140733663936256 140487239394080 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720273 15371935744 21420 33554432000 4194304 4196468 140733663936256 140486970958960 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 21420 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) S 14847 14850 8919 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 15 0 52720275 15371935744 21420 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 21420 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0.03 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) R 14847 14850 8919 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 15 0 52720275 15371935744 21420 33554432000 4194304 4196468 140733663936256 140487725034352 140488673903966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 21420 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 21420 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85680 KiB
[startup+0.310321 s]*
/proc/loadavg: 2.04 2.08 2.07 3/221 14865
/proc/meminfo: memFree=16299572/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15011656 memory=89800 CPUtime=0.43 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 10489 0 0 0 40 3 0 0 20 0 15 0 52720268 15371935744 22450 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3752914 22450 2995 1 0 3715374 0
[pid=14850/tid=14852] ppid=14847 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 8200 0 0 0 28 2 0 0 20 0 15 0 52720269 15371935744 22450 33554432000 4194304 4196468 140733663936256 140488661627632 140488689845405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 22450 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15011656 memory=140214495347630 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 22450 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 22450 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15371935744 22450 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720272 15371935744 22450 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52720272 15371935744 22450 33554432000 4194304 4196468 140733663936256 140487239394080 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720273 15371935744 22450 33554432000 4194304 4196468 140733663936256 140486970958960 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 22450 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) R 14847 14850 8919 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 52720275 15371935744 22450 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 52720275 15371935744 22450 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0.07 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) S 14847 14850 8919 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 52720275 15371935744 22450 33554432000 4194304 4196468 140733663936256 140487725034352 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 22450 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15011656 memory=140214495037056 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720275 15371935744 22450 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89800 KiB
[startup+0.709552 s]
/proc/loadavg: 2.04 2.08 2.07 3/221 14865
/proc/meminfo: memFree=16275760/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15017928 memory=131304 CPUtime=1.06 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 17517 0 0 0 101 5 0 0 20 0 15 0 52720268 15378358272 32826 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3754482 32826 3136 1 0 3715886 0
[pid=14850/tid=14852] ppid=14847 vsize=15017928 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 14726 0 0 0 64 4 0 0 20 0 15 0 52720269 15378358272 32826 33554432000 4194304 4196468 140733663936256 140488661659296 140488193768322 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15378358272 32826 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15378358272 32826 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15378358272 32826 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15017928 memory=204024703896936 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15378358272 32826 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15017928 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52720272 15378358272 32826 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52720272 15378358272 32826 33554432000 4194304 4196468 140733663936256 140487239394080 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720273 15378358272 32826 33554432000 4194304 4196468 140733663936256 140486970958960 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15378358272 32826 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15017928 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) R 14847 14850 8919 0 -1 4202560 775 0 0 0 10 0 0 0 20 0 15 0 52720275 15378358272 32826 33554432000 4194304 4196468 140733663936256 140487727128912 140488674947074 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15017928 memory=-3472574513799858009 CPUtime=0.07 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) R 14847 14850 8919 0 -1 4202560 160 0 0 0 7 0 0 0 20 0 15 0 52720275 15378358272 32826 33554432000 4194304 4196468 140733663936256 140487726077968 140488674705404 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15017928 memory=6944656592387989600 CPUtime=0.18 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) R 14847 14850 8919 0 -1 4202560 515 0 0 0 18 0 0 0 20 0 15 0 52720275 15378358272 32826 33554432000 4194304 4196468 140733663936256 140487725031288 140488668014767 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15378358272 32826 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720275 15378358272 32826 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131304 KiB
[startup+1.50156 s]
/proc/loadavg: 2.04 2.08 2.07 5/221 14865
/proc/meminfo: memFree=16167788/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15020052 memory=497008 CPUtime=3.45 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 19960 0 0 0 334 11 0 0 20 0 15 0 52720268 15380533248 124252 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3755013 124252 3208 1 0 3716398 0
[pid=14850/tid=14852] ppid=14847 vsize=15020052 memory=127 CPUtime=1.47 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 15297 0 0 0 138 9 0 0 20 0 15 0 52720269 15380533248 124252 33554432000 4194304 4196468 140733663936256 140488661658728 140488195440362 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15380533248 124252 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15380533248 124764 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52720270 15380533248 124764 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52720270 15380533248 124764 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52720272 15380533248 124764 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
################
# More data... #
################
[pid=14850/tid=14857] ppid=14847 vsize=15024148 memory=3167884 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 52720272 15384727552 791971 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 52720272 15384727552 791971 33554432000 4194304 4196468 140733663936256 140487239394144 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15024148 memory=7594848339793112408 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720273 15384727552 791971 33554432000 4194304 4196468 140733663936256 140486970958960 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15024148 memory=7594848339793112408 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 791971 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15024148 memory=4140 CPUtime=5.39 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) S 14847 14850 8919 0 -1 1077944384 5202 0 0 0 538 1 0 0 20 0 15 0 52720275 15384727552 791971 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15024148 memory=0 CPUtime=5.25 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 6524 0 0 0 524 1 0 0 20 0 15 0 52720275 15384727552 791971 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15024148 memory=148 CPUtime=1.34 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) S 14847 14850 8919 0 -1 1077944384 5366 0 0 0 133 1 0 0 20 0 15 0 52720275 15384727552 791971 33554432000 4194304 4196468 140733663936256 140487725034352 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15024148 memory=303711745523056951 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 791971 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 791971 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3167884 KiB
[startup+25.5009 s]
/proc/loadavg: 2.14 2.10 2.08 4/221 14865
/proc/meminfo: memFree=12613784/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15024148 memory=3765600 CPUtime=41.52 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 55238 0 0 0 4006 146 0 0 20 0 15 0 52720268 15384727552 941400 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3756037 941400 3251 1 0 3717422 0
[pid=14850/tid=14852] ppid=14847 vsize=15024148 memory=2257 CPUtime=24.36 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 21360 0 0 0 2390 46 0 0 20 0 15 0 52720269 15384727552 941400 33554432000 4194304 4196468 140733663936256 140488661592232 140488192427056 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15024148 memory=2257 CPUtime=0.95 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 481 0 0 0 73 22 0 0 20 0 15 0 52720270 15384727552 941400 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15024148 memory=3167884 CPUtime=0.95 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 459 0 0 0 72 23 0 0 20 0 15 0 52720270 15384727552 941400 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15024148 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 508 0 0 0 70 22 0 0 20 0 15 0 52720270 15384727552 941400 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15024148 memory=-8634980985311628903 CPUtime=0.95 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 610 0 0 0 73 22 0 0 20 0 15 0 52720270 15384727552 941400 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15024148 memory=3769228 CPUtime=0.01 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 52720272 15384727552 941400 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15024148 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 52720272 15384727552 941400 33554432000 4194304 4196468 140733663936256 140487239394144 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15024148 memory=280428749843840 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 52720273 15384727552 941400 33554432000 4194304 4196468 140733663936256 140486970958976 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15024148 memory=3504740 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 941400 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15024148 memory=3504740 CPUtime=6.24 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) S 14847 14850 8919 0 -1 1077944384 9993 0 0 0 622 2 0 0 20 0 15 0 52720275 15384727552 941400 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15024148 memory=3515080 CPUtime=5.53 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 8409 0 0 0 552 1 0 0 20 0 15 0 52720275 15384727552 941400 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15024148 memory=3504588 CPUtime=1.49 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) S 14847 14850 8919 0 -1 1077944384 11815 0 0 0 147 2 0 0 20 0 15 0 52720275 15384727552 941400 33554432000 4194304 4196468 140733663936256 140487725034352 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15024148 memory=3765332 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 941400 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15024148 memory=3248 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 941400 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 41.52 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3765600 KiB
[startup+51.11 s]
/proc/loadavg: 2.09 2.09 2.08 3/221 14865
/proc/meminfo: memFree=11970040/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15024148 memory=4410280 CPUtime=75.73 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 68531 0 0 0 7337 236 0 0 20 0 15 0 52720268 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3756037 1102570 3254 1 0 3717422 0
[pid=14850/tid=14852] ppid=14847 vsize=15024148 memory=4410280 CPUtime=48.31 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 23297 0 0 0 4784 47 0 0 20 0 15 0 52720269 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140488661654176 140488199538368 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15024148 memory=4410280 CPUtime=2.58 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 834 0 0 0 214 44 0 0 20 0 15 0 52720270 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15024148 memory=4810 CPUtime=2.57 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1013 0 0 0 210 47 0 0 20 0 15 0 52720270 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15024148 memory=4366796 CPUtime=2.54 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 1156 0 0 0 210 44 0 0 20 0 15 0 52720270 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15024148 memory=4366796 CPUtime=2.55 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 1093 0 0 0 212 43 0 0 20 0 15 0 52720270 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15024148 memory=4410280 CPUtime=0.03 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 235 0 0 0 3 0 0 0 20 0 15 0 52720272 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 52720272 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140487239394144 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 52720273 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140486970958976 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15024148 memory=140214374827418 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15024148 memory=6944656592387989600 CPUtime=8.05 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) S 14847 14850 8919 0 -1 1077944384 14646 0 0 0 802 3 0 0 20 0 15 0 52720275 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15024148 memory=4048 CPUtime=7.28 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 11446 0 0 0 727 1 0 0 20 0 15 0 52720275 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15024148 memory=10856 CPUtime=1.7 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) S 14847 14850 8919 0 -1 1077944384 12284 0 0 0 168 2 0 0 20 0 15 0 52720275 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140487725034352 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15024148 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52720275 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15024148 memory=3167884 CPUtime=0.02 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 1191 0 0 0 1 1 0 0 20 0 15 0 52720275 15384727552 1102570 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 75.73 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4410280 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+76.2009 s]
/proc/loadavg: 2.12 2.10 2.08 7/225 14871
/proc/meminfo: memFree=10844364/32770624 swapFree=67108860/67108860
[pid=14850] ppid=14847 vsize=15683912 memory=5451852 CPUtime=112.61 cores=0,2,4,6
/proc/14850/stat : 14850 (java) S 14847 14850 8919 0 -1 1077944320 90513 0 0 0 10891 370 0 0 20 0 19 0 52720268 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140733663918800 140488689823479 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
/proc/14850/statm: 3920978 1362963 3277 1 0 3881834 0
[pid=14867] ppid=14850 vsize=192816 memory=143796 CPUtime=0.38 cores=0,2,4,6
/proc/14867/stat : 14867 (minisat_release) R 14850 14850 8919 0 -1 4202496 30481 0 0 0 32 6 0 0 20 0 1 0 52727849 197443584 35949 33554432000 4194304 4308513 140721774791392 140721773739800 140324860947429 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 35250176 140721774793391 140721774793902 140721774793902 140721774796741 0
/proc/14867/statm: 48204 35949 318 28 0 44444 0
[pid=14850/tid=14852] ppid=14847 vsize=15683912 memory=6944656575208382560 CPUtime=70.71 cores=0,2,4,6
/proc/14850/task/14852/stat : 14852 (java) R 14847 14850 8919 0 -1 4202560 27359 0 0 0 7010 61 0 0 20 0 19 0 52720269 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140488661661360 140488673867109 0 4 0 25189583 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14853] ppid=14847 vsize=15683912 memory=-2317720213663851332 CPUtime=4.84 cores=0,2,4,6
/proc/14850/task/14853/stat : 14853 (java) S 14847 14850 8919 0 -1 1077944384 2062 0 0 0 411 73 0 0 20 0 19 0 52720270 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140488694066064 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14854] ppid=14847 vsize=15683912 memory=-2746958450906831424 CPUtime=4.76 cores=0,2,4,6
/proc/14850/task/14854/stat : 14854 (java) S 14847 14850 8919 0 -1 1077944384 1639 0 0 0 400 76 0 0 20 0 19 0 52720270 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140488516561680 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14855] ppid=14847 vsize=15683912 memory=0 CPUtime=4.84 cores=0,2,4,6
/proc/14850/task/14855/stat : 14855 (java) S 14847 14850 8919 0 -1 1077944384 2812 0 0 0 411 73 0 0 20 0 19 0 52720270 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140488148905104 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14856] ppid=14847 vsize=15683912 memory=0 CPUtime=4.7 cores=0,2,4,6
/proc/14850/task/14856/stat : 14856 (java) S 14847 14850 8919 0 -1 1077944384 1957 0 0 0 398 72 0 0 20 0 19 0 52720270 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140488147852304 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14857] ppid=14847 vsize=15683912 memory=280428750900736 CPUtime=0.04 cores=0,2,4,6
/proc/14850/task/14857/stat : 14857 (java) S 14847 14850 8919 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 19 0 52720272 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487728191600 140488689834626 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14858] ppid=14847 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14858/stat : 14858 (java) S 14847 14850 8919 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 52720272 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487239394144 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14859] ppid=14847 vsize=15683912 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14859/stat : 14859 (java) S 14847 14850 8919 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 52720273 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140486970958976 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14860] ppid=14847 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14860/stat : 14860 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52720275 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140486596450384 140488689842075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14861] ppid=14847 vsize=15683912 memory=7307208482941069396 CPUtime=10.84 cores=0,2,4,6
/proc/14850/task/14861/stat : 14861 (java) S 14847 14850 8919 0 -1 1077944384 21748 0 0 0 1080 4 0 0 20 0 19 0 52720275 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487727139440 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14862] ppid=14847 vsize=15683912 memory=6298673690012635237 CPUtime=9.75 cores=0,2,4,6
/proc/14850/task/14862/stat : 14862 (java) S 14847 14850 8919 0 -1 1077944384 15431 0 0 0 973 2 0 0 20 0 19 0 52720275 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487726086640 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14863] ppid=14847 vsize=15683912 memory=2319414509710618928 CPUtime=2 cores=0,2,4,6
/proc/14850/task/14863/stat : 14863 (java) S 14847 14850 8919 0 -1 1077944384 14441 0 0 0 197 3 0 0 20 0 19 0 52720275 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487725034352 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14864] ppid=14847 vsize=15683912 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14864/stat : 14864 (java) S 14847 14850 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52720275 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140486098545632 140488689833685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14865] ppid=14847 vsize=15683912 memory=2244 CPUtime=0.04 cores=0,2,4,6
/proc/14850/task/14865/stat : 14865 (java) S 14847 14850 8919 0 -1 1077944384 1193 0 0 0 2 2 0 0 20 0 19 0 52720275 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487723981232 140488689834626 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14868] ppid=14847 vsize=15683912 memory=55204 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14868/stat : 14868 (java) S 14847 14850 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52727849 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140487709881280 140488689848089 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14870] ppid=14847 vsize=15683912 memory=6296967299138344806 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14870/stat : 14870 (java) S 14847 14850 8919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 52727850 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140485695880720 140488689845405 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
[pid=14850/tid=14871] ppid=14847 vsize=15683912 memory=7450735414763808089 CPUtime=0 cores=0,2,4,6
/proc/14850/task/14871/stat : 14871 (java) S 14847 14850 8919 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52727850 16060325888 1362963 33554432000 4194304 4196468 140733663936256 140485561659280 140488689845405 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17276928 140733663937524 140733663937801 140733663937801 140733663940559 0
Current children cumulated CPU time: 112.99 s
Current children cumulated vsize: 15876728 KiB
Current children cumulated memory: 5595648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+76.2512 s]
# the end of solver process 14850 was just reported to runsolver
# cumulated CPU time of all completed processes: user=109.259 s, system=3.81636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 76.2512
CPU time (s): 113.076
CPU user time (s): 109.259
CPU system time (s): 3.81636
CPU usage (%): 148.293
Max. virtual memory (cumulated for all children) (KiB): 15876728
Max. memory (cumulated for all children) (KiB): 5595648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.259
system time used= 3.81636
maximum resident set size= 5454392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8956
involuntary context switches= 463
# summary of solver processes directly reported to runsolver:
# pid: 14850
# total CPU time (s): 113.076
# total CPU user time (s): 109.259
# total CPU system time (s): 3.81636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.46635 second user time and 0.778357 second system time
The end