0.66/0.52
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Mon Jul 23 17:30:55 CEST 2018
0.66/0.55 c PID: 14105
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.51/1.25 c (0,0) Parsing End
2.51/1.25 c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 13 ctr, max domain size 26
2.51/1.25 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.51/1.25 c (0,0) Constraint Name Generate Begin
2.51/1.26 c (0,0) Ctr:HOME/instance-4294885-1532359854.xml,ExtensionSupport:IntVar
2.51/1.26 c (0,0) Constraint Name Generate End
2.51/1.26 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.51/1.26 c (0,0) CSP to CSPinCNF Begin
38.15/23.80 c (23,22) translated 2 (10%) constraints
49.37/32.34 c (31,30) translated 3 (20%) constraints
61.09/41.02 c (40,38) translated 4 (30%) constraints
83.29/57.99 c (57,53) translated 6 (40%) constraints
95.09/66.67 c (66,61) translated 7 (50%) constraints
107.48/77.87 c (77,72) translated 8 (60%) constraints
118.62/87.38 c (86,81) translated 10 (70%) constraints
124.22/92.15 c (91,85) translated 11 (80%) constraints
129.77/96.88 c (96,90) translated 12 (90%) constraints
135.44/101.68 c (101,94) translated 13 (100%) constraints
147.19/110.83 c (110,103) STATISTICS1:HOME/instance-4294885-1532359854.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,
147.19/110.83 c (110,103) ===========================================
147.19/110.83 c (110,103) Order
147.19/110.83 c (110,103) ===========================================
150.31/113.51 c (112,105) translated 204282 (10%) constraints
153.47/116.39 c (115,108) translated 408563 (20%) constraints
156.32/119.17 c (118,111) translated 612844 (30%) constraints
160.29/122.24 c (121,114) translated 817125 (40%) constraints
163.05/125.00 c (124,116) translated 1021406 (50%) constraints
167.47/128.21 c (127,119) translated 1225687 (60%) constraints
170.28/131.06 c (130,122) translated 1429968 (70%) constraints
174.59/134.28 c (133,125) translated 1634249 (80%) constraints
177.50/137.18 c (136,128) translated 1838530 (90%) constraints
182.04/140.49 c (139,131) translated 2042811 (100%) constraints
182.04/140.49 c (139,131) CSP to CSPinCNF End
182.16/140.57 c (140,131) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
182.16/140.57 c (140,131) Heap : 3135 MiB used (max 10765 MiB), NonHeap : 27 MiB used (max 0 MiB)
182.16/140.57 c (140,131) CSPinCNF Propagation Begin
202.45/152.96 c (152,141) 0 values, 13 unsatisfiable literals, and 0 valid clauses are removed
202.45/152.96 c (152,141) CSPinCNF Propagation End
202.57/153.02 c (152,141) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
202.57/153.02 c (152,141) Heap : 4387 MiB used (max 10734 MiB), NonHeap : 28 MiB used (max 0 MiB)
202.57/153.02 c (152,141) Simplify CSPinCNF Begin
205.95/156.33 c (155,144) Simplify CSPinCNF End
205.95/156.38 c (155,144) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
205.95/156.38 c (155,144) Heap : 5896 MiB used (max 10734 MiB), NonHeap : 28 MiB used (max 0 MiB)
205.95/156.38 c (155,144) Calculate Precise Domain Begin
205.95/156.39 c (155,144) 0 values are removed by re-calculation
205.95/156.39 c (155,144) Calculate Precise Domain End
206.05/156.44 c (155,144) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
206.05/156.44 c (155,144) Heap : 5896 MiB used (max 10734 MiB), NonHeap : 28 MiB used (max 0 MiB)
206.05/156.44 c (155,144) CSPinCNF to SatSolver Begin
212.14/158.82 c (158,146) 204282 (10 %) CSP clauses are encoded (187699 SAT variables, 205289 SAT clauses)
213.25/159.90 c (159,147) 408563 (20 %) CSP clauses are encoded (187699 SAT variables, 409570 SAT clauses)
216.52/161.54 c (161,148) 612844 (30 %) CSP clauses are encoded (187699 SAT variables, 613851 SAT clauses)
217.66/162.64 c (162,149) 817125 (40 %) CSP clauses are encoded (187699 SAT variables, 818132 SAT clauses)
218.77/163.74 c (163,150) 1021406 (50 %) CSP clauses are encoded (187699 SAT variables, 1022413 SAT clauses)
219.90/164.85 c (164,151) 1225687 (60 %) CSP clauses are encoded (187699 SAT variables, 1226694 SAT clauses)
221.01/165.95 c (165,152) 1429968 (70 %) CSP clauses are encoded (187699 SAT variables, 1430975 SAT clauses)
222.12/167.09 c (166,153) 1634249 (80 %) CSP clauses are encoded (187699 SAT variables, 1635256 SAT clauses)
223.36/168.22 c (167,154) 1838530 (90 %) CSP clauses are encoded (187699 SAT variables, 1839537 SAT clauses)
224.46/169.34 c (168,156) 2042811 (100 %) CSP clauses are encoded (187699 SAT variables, 2043818 SAT clauses)
224.46/169.34 c (168,156) CSPinCNF to SatSolver End
224.46/169.34 c (168,156) Heap : 6006 MiB used (max 10746 MiB), NonHeap : 29 MiB used (max 0 MiB)
229.35/173.95 c (173,160) STATISTICS2:HOME/instance-4294885-1532359854.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,
229.35/173.95 c (173,160) SatSolver.solve Begin
229.35/173.95 c (173,160) 187699 bool, 2043819 clause
229.35/173.95 c (173,160) 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-4294885-1532359854.xml-scop-14105.cnf HOME/instance-4294885-1532359854.xml-scop-14105.cnf.out
230.51/174.80 c (174,0) receiving signal SIGTERM
230.51/174.80 s UNKNOWN
230.51/174.81 c (174,160) SatSolver is killed by some reasons.
230.51/174.81 c (174,160) 0,0,140,152,155,155,168,TO,TO,STOP-AFTER(DIMACS)
230.51/174.81 c END-Prog: Mon Jul 23 17:33:49 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 (4957 MiB free)
memory of node 1: 16384 MiB (1000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294885-1532359854/watcher-4294885-1532359854 -o /tmp/evaluation-result-4294885-1532359854/solver-4294885-1532359854 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294885-1532359854.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=14105, runsolver pid=14102
[startup+0.100842 s]*
/proc/loadavg: 3.57 3.00 3.10 6/216 14120
/proc/meminfo: memFree=6040496/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15011656 memory=71768 CPUtime=0.11 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 6702 0 0 0 9 2 0 0 20 0 15 0 53548612 15371935744 17942 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3752914 17942 2753 1 0 3715374 0
[pid=14105/tid=14107] ppid=14102 vsize=15011656 memory=-8700564654885080956 CPUtime=0.08 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 4831 0 0 0 7 1 0 0 20 0 15 0 53548612 15371935744 18008 33554432000 4194304 4196468 140732413700560 140439014595456 140439026877790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 18008 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548615 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53548616 15371935744 18008 33554432000 4194304 4196468 140732413700560 140437645943968 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548616 15371935744 18008 33554432000 4194304 4196468 140732413700560 140437377508080 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 18008 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) S 14102 14105 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0.01 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) R 14102 14105 2271 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 53548618 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438032804312 140439020920241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 18008 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548619 15371935744 18008 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71768 KiB
[startup+0.210569 s]*
/proc/loadavg: 3.57 3.00 3.10 6/216 14120
/proc/meminfo: memFree=6026876/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15011656 memory=85636 CPUtime=0.25 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 10349 0 0 0 23 2 0 0 20 0 15 0 53548612 15371935744 21409 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3752914 21409 2879 1 0 3715374 0
[pid=14105/tid=14107] ppid=14102 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 8259 0 0 0 17 2 0 0 20 0 15 0 53548612 15371935744 21409 33554432000 4194304 4196468 140732413700560 140439014622352 140439026840933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 21409 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15011656 memory=140717352153267 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548615 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53548616 15371935744 21409 33554432000 4194304 4196468 140732413700560 140437645943968 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548616 15371935744 21409 33554432000 4194304 4196468 140732413700560 140437377508080 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 21409 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) S 14102 14105 2271 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0.03 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) R 14102 14105 2271 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 15 0 53548618 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438032808432 140439026877790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 21409 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548619 15371935744 21409 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85636 KiB
[startup+0.310515 s]*
/proc/loadavg: 3.57 3.00 3.10 6/216 14120
/proc/meminfo: memFree=6022968/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15011656 memory=89452 CPUtime=0.42 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 10950 0 0 0 39 3 0 0 20 0 15 0 53548612 15371935744 22363 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3752914 22363 2986 1 0 3715374 0
[pid=14105/tid=14107] ppid=14102 vsize=15011656 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 8695 0 0 0 27 3 0 0 20 0 15 0 53548612 15371935744 22363 33554432000 4194304 4196468 140732413700560 140439014601456 140439026877790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15011656 memory=304556149062238231 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 22363 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15011656 memory=140717352146002 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548615 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53548616 15371935744 22363 33554432000 4194304 4196468 140732413700560 140437645943968 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548616 15371935744 22363 33554432000 4194304 4196468 140732413700560 140437377508080 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 22363 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) R 14102 14105 2271 0 -1 4202560 484 0 0 0 1 0 0 0 20 0 15 0 53548618 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438034914032 140439035034430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) R 14102 14105 2271 0 -1 1077944384 127 0 0 0 3 0 0 0 20 0 15 0 53548618 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0.07 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) R 14102 14105 2271 0 -1 4202560 320 0 0 0 7 0 0 0 20 0 15 0 53548618 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438032808432 140439021395905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15371935744 22363 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15011656 memory=140717351773824 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548619 15371935744 22363 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89452 KiB
[startup+0.700734 s]
/proc/loadavg: 3.57 3.00 3.10 3/216 14120
/proc/meminfo: memFree=5999404/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15017928 memory=131116 CPUtime=1 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 17977 0 0 0 95 5 0 0 20 0 15 0 53548612 15378358272 32779 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3754482 32779 3150 1 0 3715886 0
[pid=14105/tid=14107] ppid=14102 vsize=15017928 memory=18448 CPUtime=0.67 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 15188 0 0 0 63 4 0 0 20 0 15 0 53548612 15378358272 32779 33554432000 4194304 4196468 140732413700560 140439014632816 140439042819229 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15017928 memory=10432 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15378358272 32779 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15017928 memory=644 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15017928 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15017928 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53548615 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15017928 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53548616 15378358272 32779 33554432000 4194304 4196468 140732413700560 140437645943968 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15017928 memory=928 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548616 15378358272 32779 33554432000 4194304 4196468 140732413700560 140437377508080 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15017928 memory=6153431502485414243 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15378358272 32779 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15017928 memory=7733916894068367465 CPUtime=0.08 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 53548618 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15017928 memory=5788647689011156329 CPUtime=0.07 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) R 14102 14105 2271 0 -1 4202560 272 0 0 0 7 0 0 0 20 0 15 0 53548618 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438033861488 140439026283303 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15017928 memory=7440052414092175185 CPUtime=0.15 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) S 14102 14105 2271 0 -1 1077944384 433 0 0 0 15 0 0 0 20 0 15 0 53548618 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438032808432 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15017928 memory=8098710602360516455 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15378358272 32779 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15017928 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548619 15378358272 32779 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131116 KiB
[startup+1.50164 s]
/proc/loadavg: 3.60 3.01 3.10 6/216 14120
/proc/meminfo: memFree=5880832/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15022100 memory=349912 CPUtime=3.35 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 20996 0 0 0 325 10 0 0 20 0 15 0 53548612 15382630400 87478 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3755525 87478 3199 1 0 3716910 0
[pid=14105/tid=14107] ppid=14102 vsize=15022100 memory=317984 CPUtime=1.47 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 16280 0 0 0 139 8 0 0 20 0 15 0 53548612 15382630400 87478 33554432000 4194304 4196468 140732413700560 140439014623984 140439042819229 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15382630400 87478 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53548614 15382630400 87478 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15382630400 87478 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53548614 15382630400 87478 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53548615 15382630400 87478 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
################
# More data... #
################
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 13165 0 0 0 701 1 0 0 20 0 15 0 53548618 15384727552 1078872 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15024148 memory=1228 CPUtime=6.47 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) S 14102 14105 2271 0 -1 1077944384 8482 0 0 0 646 1 0 0 20 0 15 0 53548618 15384727552 1078872 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15024148 memory=2735108 CPUtime=1.07 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) S 14102 14105 2271 0 -1 1077944384 7451 0 0 0 105 2 0 0 20 0 15 0 53548618 15384727552 1078872 33554432000 4194304 4196468 140732413700560 140438032808432 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15024148 memory=1037 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15384727552 1078872 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15024148 memory=4251752 CPUtime=0.02 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 15 0 53548619 15384727552 1078872 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 74.44 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4315488 KiB
[startup+102.301 s]
/proc/loadavg: 4.02 3.35 3.21 6/216 14121
/proc/meminfo: memFree=444668/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15024148 memory=5520788 CPUtime=136.14 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 326899 0 0 0 13267 347 0 0 20 0 15 0 53548612 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3756037 1380197 3238 1 0 3717422 0
[pid=14105/tid=14107] ppid=14102 vsize=15024148 memory=4136 CPUtime=95.83 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 28148 0 0 0 9532 51 0 0 20 0 15 0 53548612 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140439014632520 140438543003916 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15024148 memory=4136 CPUtime=6.37 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 55752 0 0 0 575 62 0 0 20 0 15 0 53548614 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15024148 memory=5520788 CPUtime=6.39 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 47987 0 0 0 569 70 0 0 20 0 15 0 53548614 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15024148 memory=5520788 CPUtime=6.33 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 86962 0 0 0 556 77 0 0 20 0 15 0 53548614 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15024148 memory=281433235589662 CPUtime=6.35 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 73736 0 0 0 559 76 0 0 20 0 15 0 53548614 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15024148 memory=5113220 CPUtime=0.03 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 447 0 0 0 3 0 0 0 20 0 15 0 53548615 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15024148 memory=164 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 53548616 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140437645944032 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15024148 memory=5520788 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53548616 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140437377508096 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15024148 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15024148 memory=844 CPUtime=7.09 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 14795 0 0 0 708 1 0 0 20 0 15 0 53548618 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15024148 memory=4100 CPUtime=6.55 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) S 14102 14105 2271 0 -1 1077944384 9575 0 0 0 654 1 0 0 20 0 15 0 53548618 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15024148 memory=5419120 CPUtime=1.08 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) S 14102 14105 2271 0 -1 1077944384 8049 0 0 0 106 2 0 0 20 0 15 0 53548618 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438032808432 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15024148 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15024148 memory=10432 CPUtime=0.04 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 112 0 0 0 2 2 0 0 20 0 15 0 53548619 15384727552 1380197 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 136.14 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 5520788 KiB
[startup+162.301 s]
/proc/loadavg: 3.94 3.44 3.25 6/216 14122
/proc/meminfo: memFree=235392/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15026264 memory=7946956 CPUtime=217.36 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 1266174 0 0 0 20997 739 0 0 20 0 15 0 53548612 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3756566 1986739 3256 1 0 3717422 0
[pid=14105/tid=14107] ppid=14102 vsize=15026264 memory=7946956 CPUtime=149.51 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) R 14102 14105 2271 0 -1 4202560 424678 0 0 0 14856 95 0 0 20 0 15 0 53548612 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140439014636720 140438543000780 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15026264 memory=8 CPUtime=12.61 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 171354 0 0 0 1113 148 0 0 20 0 15 0 53548614 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15026264 memory=7254216 CPUtime=12.67 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 190291 0 0 0 1103 164 0 0 20 0 15 0 53548614 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15026264 memory=7538564 CPUtime=12.61 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 206862 0 0 0 1114 147 0 0 20 0 15 0 53548614 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15026264 memory=0 CPUtime=12.55 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 222606 0 0 0 1085 170 0 0 20 0 15 0 53548614 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15026264 memory=7946956 CPUtime=0.04 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 694 0 0 0 4 0 0 0 20 0 15 0 53548615 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15026264 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 53548616 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140437645944032 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15026264 memory=7409072 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53548616 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140437377508096 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15026264 memory=7348468 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15026264 memory=4136 CPUtime=8.32 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 20200 0 0 0 830 2 0 0 20 0 15 0 53548618 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15026264 memory=17268 CPUtime=7.56 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) S 14102 14105 2271 0 -1 1077944384 14038 0 0 0 754 2 0 0 20 0 15 0 53548618 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15026264 memory=7581556 CPUtime=1.32 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) S 14102 14105 2271 0 -1 1077944384 13149 0 0 0 130 2 0 0 20 0 15 0 53548618 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438032808432 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15026264 memory=17268 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53548618 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15026264 memory=7306592 CPUtime=0.09 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 963 0 0 0 4 5 0 0 20 0 15 0 53548619 15386894336 1986739 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 217.36 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 7946956 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+174.801 s]
/proc/loadavg: 3.96 3.46 3.26 8/221 14128
/proc/meminfo: memFree=209352/32770624 swapFree=67108860/67108860
[pid=14105] ppid=14102 vsize=15681864 memory=7935428 CPUtime=229.69 cores=0,2,4,6
/proc/14105/stat : 14105 (java) S 14102 14105 2271 0 -1 1077944320 1269653 0 0 0 22225 744 0 0 20 0 19 0 53548612 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140732413683104 140439042797303 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
/proc/14105/statm: 3920466 1983857 3261 1 0 3881322 0
[pid=14123] ppid=14105 vsize=242892 memory=191304 CPUtime=0.82 cores=0,2,4,6
/proc/14123/stat : 14123 (minisat_release) R 14105 14105 2271 0 -1 4202496 44756 0 0 0 68 14 0 0 20 0 1 0 53566008 248721408 47826 33554432000 4194304 4308513 140728777040720 140728775989128 4279657 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 23961600 140728777048751 140728777049262 140728777049262 140728777052101 0
/proc/14123/statm: 60723 47826 315 28 0 56963 0
[pid=14105/tid=14107] ppid=14102 vsize=15681864 memory=5450916471341747007 CPUtime=161.13 cores=0,2,4,6
/proc/14105/task/14107/stat : 14107 (java) S 14102 14105 2271 0 -1 1077944384 427477 0 0 0 16014 99 0 0 20 0 19 0 53548612 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140439014636544 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14108] ppid=14102 vsize=15681864 memory=2317753097046959219 CPUtime=12.7 cores=0,2,4,6
/proc/14105/task/14108/stat : 14108 (java) S 14102 14105 2271 0 -1 1077944384 171381 0 0 0 1122 148 0 0 20 0 19 0 53548614 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140439047040016 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14109] ppid=14102 vsize=15681864 memory=7517468104422273086 CPUtime=12.76 cores=0,2,4,6
/proc/14105/task/14109/stat : 14109 (java) S 14102 14105 2271 0 -1 1077944384 190292 0 0 0 1112 164 0 0 20 0 19 0 53548614 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438861196432 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14110] ppid=14102 vsize=15681864 memory=7012777965065759849 CPUtime=12.69 cores=0,2,4,6
/proc/14105/task/14110/stat : 14110 (java) S 14102 14105 2271 0 -1 1077944384 206865 0 0 0 1122 147 0 0 20 0 19 0 53548614 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438860143376 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14111] ppid=14102 vsize=15681864 memory=6791534058613427641 CPUtime=12.64 cores=0,2,4,6
/proc/14105/task/14111/stat : 14111 (java) S 14102 14105 2271 0 -1 1077944384 222607 0 0 0 1094 170 0 0 20 0 19 0 53548614 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438859090832 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14112] ppid=14102 vsize=15681864 memory=7528 CPUtime=0.04 cores=0,2,4,6
/proc/14105/task/14112/stat : 14112 (java) S 14102 14105 2271 0 -1 1077944384 699 0 0 0 4 0 0 0 20 0 19 0 53548615 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438035966192 140439042808450 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14113] ppid=14102 vsize=15681864 memory=844 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14113/stat : 14113 (java) S 14102 14105 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 53548616 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140437645944032 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14114] ppid=14102 vsize=15681864 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14114/stat : 14114 (java) S 14102 14105 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53548616 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140437377508096 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14115] ppid=14102 vsize=15681864 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14115/stat : 14115 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53548618 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140437002999760 140439042815899 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14116] ppid=14102 vsize=15681864 memory=3076 CPUtime=8.41 cores=0,2,4,6
/proc/14105/task/14116/stat : 14116 (java) S 14102 14105 2271 0 -1 1077944384 20214 0 0 0 839 2 0 0 20 0 19 0 53548618 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438034914032 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14117] ppid=14102 vsize=15681864 memory=12074752 CPUtime=7.79 cores=0,2,4,6
/proc/14105/task/14117/stat : 14117 (java) S 14102 14105 2271 0 -1 1077944384 14514 0 0 0 777 2 0 0 20 0 19 0 53548618 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438033861488 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14118] ppid=14102 vsize=15681864 memory=1412 CPUtime=1.36 cores=0,2,4,6
/proc/14105/task/14118/stat : 14118 (java) S 14102 14105 2271 0 -1 1077944384 13207 0 0 0 133 3 0 0 20 0 19 0 53548618 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438032808432 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14119] ppid=14102 vsize=15681864 memory=3040 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14119/stat : 14119 (java) S 14102 14105 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53548618 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140436505095008 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14120] ppid=14102 vsize=15681864 memory=7946956 CPUtime=0.09 cores=0,2,4,6
/proc/14105/task/14120/stat : 14120 (java) S 14102 14105 2271 0 -1 1077944384 963 0 0 0 4 5 0 0 20 0 19 0 53548619 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438031755824 140439042808450 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14124] ppid=14102 vsize=15681864 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14124/stat : 14124 (java) S 14102 14105 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53566009 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140438854542656 140439042821913 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14126] ppid=14102 vsize=15681864 memory=928 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14126/stat : 14126 (java) S 14102 14105 2271 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53566009 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140436102430000 140439042819229 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14127] ppid=14102 vsize=15681864 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14127/stat : 14127 (java) S 14102 14105 2271 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 53566009 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140435968208816 140439042819229 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
[pid=14105/tid=14128] ppid=14102 vsize=15681864 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/14105/task/14128/stat : 14128 (java) S 14102 14105 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53566011 16058228736 1983857 33554432000 4194304 4196468 140732413700560 140435699785504 140439042807509 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35381248 140732413703155 140732413703433 140732413703433 140732413706191 0
Current children cumulated CPU time: 230.51 s
Current children cumulated vsize: 15924756 KiB
Current children cumulated memory: 8126732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+175.045 s]
# the end of solver process 14105 was just reported to runsolver
# cumulated CPU time of all completed processes: user=222.944 s, system=7.84295 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+175.01 s]*
/proc/loadavg: 3.96 3.46 3.26 6/202 14129
/proc/meminfo: memFree=4303896/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 175.045
CPU time (s): 230.787
CPU user time (s): 222.944
CPU system time (s): 7.84295
CPU usage (%): 131.844
Max. virtual memory (cumulated for all children) (KiB): 15924756
Max. memory (cumulated for all children) (KiB): 8126732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.944
system time used= 7.84295
maximum resident set size= 7947004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1314544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9853
involuntary context switches= 1367
# summary of solver processes directly reported to runsolver:
# pid: 14105
# total CPU time (s): 230.787
# total CPU user time (s): 222.944
# total CPU system time (s): 7.84295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14262 second user time and 1.63477 second system time
The end