0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Thu Jul 26 11:38:20 CEST 2018
0.67/0.55 c PID: 4766
0.67/0.55 c IP: 172.20.3.134
0.67/0.55 c HOST: node134.alineos.net
0.67/0.56 c (0,0) Parsing Begin
3.20/1.62 c (1,1) Parsing End
3.20/1.63 c (1,1) CSP: 705 int (0 aux), 0 bool (0 aux), 286 ctr, max domain size 225
3.20/1.63 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.20/1.63 c (1,1) Constraint Name Generate Begin
3.20/1.64 c (1,1) Ctr:HOME/instance-4296109-1532597900.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
3.20/1.64 c (1,1) Constraint Name Generate End
3.20/1.64 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.20/1.64 c (1,1) CSP to CSPinCNF Begin
38.96/26.44 c (25,25) translated 29 (10%) constraints
65.68/50.59 c (50,48) translated 58 (20%) constraints
91.75/73.89 c (73,71) translated 86 (30%) constraints
117.29/97.68 c (97,94) translated 115 (40%) constraints
141.48/120.61 c (120,116) translated 143 (50%) constraints
166.38/144.33 c (143,140) translated 172 (60%) constraints
191.25/168.06 c (167,163) translated 201 (70%) constraints
213.75/189.39 c (188,184) translated 229 (80%) constraints
213.88/189.41 c (188,184) translated 258 (90%) constraints
213.88/189.41 c (188,184) translated 286 (100%) constraints
220.42/194.63 c (194,189) STATISTICS1:HOME/instance-4296109-1532597900.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,303105,1948787,225,225,226,2,225:25200,225:151650;22:2330160;2:3321225;1:166500,226:225;225:2;5:35100;4:814725;3:286650;2:812025;1:60,2:25200;1:5919195;0:225,
220.42/194.63 c (194,189) ===========================================
220.42/194.63 c (194,189) Both Encoding selects:
220.42/194.63 c (194,189) Order
220.42/194.63 c (194,189) ===========================================
225.43/197.90 c (197,192) translated 194879 (10%) constraints
228.16/200.61 c (200,195) translated 389758 (20%) constraints
230.86/203.31 c (202,198) translated 584637 (30%) constraints
234.72/206.30 c (205,200) translated 779515 (40%) constraints
237.33/209.00 c (208,203) translated 974394 (50%) constraints
240.13/211.75 c (211,206) translated 1169273 (60%) constraints
244.64/214.97 c (214,209) translated 1364151 (70%) constraints
247.43/217.75 c (217,211) translated 1559030 (80%) constraints
250.23/220.53 c (220,214) translated 1753909 (90%) constraints
254.79/223.77 c (223,217) translated 1948787 (100%) constraints
254.79/223.78 c (223,217) CSP to CSPinCNF End
254.94/223.87 c (223,217) CSP: 705 int (0 aux), 302400 bool (302400 aux), 1948847 ctr, max domain size 225
254.94/223.87 c (223,217) Heap : 2876 MiB used (max 10884 MiB), NonHeap : 30 MiB used (max 0 MiB)
254.94/223.87 c (223,217) CSPinCNF Propagation Begin
311.63/270.87 c (270,261) 59953 values, 313119 unsatisfiable literals, and 347199 valid clauses are removed
311.63/270.87 c (270,261) CSPinCNF Propagation End
311.73/270.97 c (270,261) CSP: 50986 int (50281 aux), 252119 bool (252119 aux), 1601648 ctr, max domain size 225
311.73/270.97 c (270,261) Heap : 3999 MiB used (max 10887 MiB), NonHeap : 31 MiB used (max 0 MiB)
311.73/270.97 c (270,261) Simplify CSPinCNF Begin
315.18/273.70 c (273,264) Simplify CSPinCNF End
315.28/273.81 c (273,264) CSP: 50986 int (50281 aux), 302519 bool (302519 aux), 1652048 ctr, max domain size 225
315.28/273.81 c (273,264) Heap : 5758 MiB used (max 10887 MiB), NonHeap : 30 MiB used (max 0 MiB)
315.28/273.81 c (273,264) Calculate Precise Domain Begin
315.28/273.81 c (273,264) 0 values are removed by re-calculation
315.28/273.81 c (273,264) Calculate Precise Domain End
315.38/273.92 c (273,264) CSP: 50986 int (50281 aux), 302519 bool (302519 aux), 1652048 ctr, max domain size 225
315.38/273.92 c (273,264) Heap : 5758 MiB used (max 10887 MiB), NonHeap : 30 MiB used (max 0 MiB)
315.38/273.92 c (273,264) CSPinCNF to SatSolver Begin
339.23/293.27 c (292,282) 165205 (10 %) CSP clauses are encoded (352067 SAT variables, 7691795 SAT clauses)
340.22/294.14 c (293,283) 330410 (20 %) CSP clauses are encoded (352067 SAT variables, 7857000 SAT clauses)
341.02/295.00 c (294,284) 495615 (30 %) CSP clauses are encoded (352067 SAT variables, 8022205 SAT clauses)
341.92/295.86 c (295,284) 660820 (40 %) CSP clauses are encoded (352067 SAT variables, 8187410 SAT clauses)
342.80/296.74 c (296,285) 826024 (50 %) CSP clauses are encoded (352067 SAT variables, 8352614 SAT clauses)
343.74/297.61 c (297,286) 991229 (60 %) CSP clauses are encoded (352067 SAT variables, 8517819 SAT clauses)
344.54/298.46 c (297,287) 1156434 (70 %) CSP clauses are encoded (352067 SAT variables, 8683024 SAT clauses)
345.44/299.32 c (298,288) 1321639 (80 %) CSP clauses are encoded (352067 SAT variables, 8848229 SAT clauses)
346.25/300.18 c (299,289) 1486844 (90 %) CSP clauses are encoded (352067 SAT variables, 9013434 SAT clauses)
347.19/301.05 c (300,290) 1652048 (100 %) CSP clauses are encoded (352067 SAT variables, 9178638 SAT clauses)
347.66/301.24 c (300,290) CSPinCNF to SatSolver End
347.66/301.24 c (300,290) Heap : 3987 MiB used (max 10906 MiB), NonHeap : 31 MiB used (max 0 MiB)
352.32/305.50 c (304,294) STATISTICS2:HOME/instance-4296109-1532597900.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,353505,1652048,225,225,225,2,225:28392;56:20228;4:1780,225:151762;56:29068;22:2029302;4:1820;2:2807494,225:170;169:1;56:52;5:26897;4:654855;3:233664;2:736409,2:50400;1:4918646,
352.32/305.50 c (304,294) SatSolver.solve Begin
352.32/305.50 c (304,294) 352067 bool, 9178639 clause
352.32/305.50 c (304,294) 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-4296109-1532597900.xml-scop-4766.cnf HOME/instance-4296109-1532597900.xml-scop-4766.cnf.out
352.89/306.01 c (305,0) receiving signal SIGTERM
352.89/306.01 s UNKNOWN
352.89/306.02 c (305,294) SatSolver is killed by some reasons.
352.89/306.02 c (305,294) 1,1,223,270,273,273,300,TO,TO,STOP-AFTER(DIMACS)
352.89/306.02 c END-Prog: Thu Jul 26 11:43:26 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 (9129 MiB free)
memory of node 1: 16384 MiB (8214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296109-1532597900/watcher-4296109-1532597900 -o /tmp/evaluation-result-4296109-1532597900/solver-4296109-1532597900 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532597865-4306 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296109-1532597900.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=4766, runsolver pid=4763
[startup+0.100164 s]*
/proc/loadavg: 2.07 1.30 1.41 5/219 4781
/proc/meminfo: memFree=17698424/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15011656 memory=71484 CPUtime=0.11 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 7075 0 0 0 9 2 0 0 20 0 15 0 77353170 15371935744 17871 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3752914 17871 2773 1 0 3715374 0
[pid=4766/tid=4768] ppid=4763 vsize=15011656 memory=-8679947729513575616 CPUtime=0.09 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) R 4763 4766 4275 0 -1 4202560 5398 0 0 0 7 2 0 0 20 0 15 0 77353170 15371935744 18135 33554432000 4194304 4196468 140729137593424 140462412059016 140462420522859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15011656 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 18135 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 18135 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 18135 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 18135 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353173 15371935744 18135 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77353174 15371935744 18135 33554432000 4194304 4196468 140729137593424 140460999828768 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353174 15371935744 18135 33554432000 4194304 4196468 140729137593424 140460731393648 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15371935744 18135 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) S 4763 4766 4275 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 77353176 15371935744 18135 33554432000 4194304 4196468 140729137593424 140461477189744 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353176 15371935744 18201 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0.01 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 77353176 15371935744 18201 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15371935744 18201 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353177 15371935744 18201 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71484 KiB
[startup+0.210603 s]*
/proc/loadavg: 2.07 1.30 1.41 4/219 4781
/proc/meminfo: memFree=17688564/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15011656 memory=84308 CPUtime=0.25 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 10502 0 0 0 22 3 0 0 20 0 15 0 77353170 15371935744 21077 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3752914 21077 2884 1 0 3715374 0
[pid=4766/tid=4768] ppid=4763 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) S 4763 4766 4275 0 -1 1077944384 8335 0 0 0 17 2 0 0 20 0 15 0 77353170 15371935744 21077 33554432000 4194304 4196468 140729137593424 140462412072944 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15011656 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 21077 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15011656 memory=288370894598473344 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353173 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77353174 15371935744 21077 33554432000 4194304 4196468 140729137593424 140460999828768 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353174 15371935744 21077 33554432000 4194304 4196468 140729137593424 140460731393648 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15371935744 21077 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) R 4763 4766 4275 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 77353176 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461477189744 140462440258178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) R 4763 4766 4275 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 77353176 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461476136944 140462418114848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0.03 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 348 0 0 0 3 0 0 0 20 0 15 0 77353176 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15371935744 21077 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353177 15371935744 21077 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84308 KiB
[startup+0.310637 s]*
/proc/loadavg: 2.07 1.30 1.41 3/219 4781
/proc/meminfo: memFree=17684920/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15011656 memory=88496 CPUtime=0.42 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 11202 0 0 0 39 3 0 0 20 0 15 0 77353170 15371935744 22124 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3752914 22124 3016 1 0 3715374 0
[pid=4766/tid=4768] ppid=4763 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) R 4763 4766 4275 0 -1 4202560 8770 0 0 0 27 3 0 0 20 0 15 0 77353170 15371935744 22124 33554432000 4194304 4196468 140729137593424 140462412070432 140462424327518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15011656 memory=4294980952 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 22124 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15011656 memory=288370894598473344 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353173 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77353174 15371935744 22124 33554432000 4194304 4196468 140729137593424 140460999828768 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353174 15371935744 22124 33554432000 4194304 4196468 140729137593424 140460731393648 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15371935744 22124 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) R 4763 4766 4275 0 -1 4202560 493 0 0 0 2 0 0 0 20 0 15 0 77353176 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461477189744 140462419903440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 15 0 77353176 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0.07 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 460 0 0 0 7 0 0 0 20 0 15 0 77353176 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15371935744 22124 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15011656 memory=140518446761600 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353177 15371935744 22124 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88496 KiB
[startup+0.701454 s]
/proc/loadavg: 2.07 1.30 1.41 4/219 4781
/proc/meminfo: memFree=17660264/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15017928 memory=128812 CPUtime=1.03 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 18402 0 0 0 97 6 0 0 20 0 15 0 77353170 15378358272 32203 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3754482 32203 3147 1 0 3715886 0
[pid=4766/tid=4768] ppid=4763 vsize=15017928 memory=1236 CPUtime=0.68 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) R 4763 4766 4275 0 -1 4202560 15293 0 0 0 63 5 0 0 20 0 15 0 77353170 15378358272 32203 33554432000 4194304 4196468 140729137593424 140462412084704 140462440268957 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15017928 memory=13560 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15378358272 32203 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15017928 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15017928 memory=644 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15017928 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15017928 memory=956 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77353173 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15017928 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77353174 15378358272 32203 33554432000 4194304 4196468 140729137593424 140460999828768 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15017928 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353174 15378358272 32203 33554432000 4194304 4196468 140729137593424 140460731393648 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15017928 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15378358272 32203 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15017928 memory=7733916894068367465 CPUtime=0.09 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) R 4763 4766 4275 0 -1 4202560 747 0 0 0 9 0 0 0 20 0 15 0 77353176 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461477189744 140462419463016 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15017928 memory=6154282490091891024 CPUtime=0.07 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 15 0 77353176 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) R 4763 4766 4275 0 -1 4202560 712 0 0 0 17 0 0 0 20 0 15 0 77353176 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461475084952 140462425412670 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15378358272 32203 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15017928 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353177 15378358272 32203 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 128812 KiB
[startup+1.50073 s]
/proc/loadavg: 2.07 1.30 1.41 6/219 4781
/proc/meminfo: memFree=17558900/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15022100 memory=416864 CPUtime=3.02 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 20923 0 0 0 291 11 0 0 20 0 15 0 77353170 15382630400 104216 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3755525 104216 3196 1 0 3716910 0
[pid=4766/tid=4768] ppid=4763 vsize=15022100 memory=398444 CPUtime=1.47 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) R 4763 4766 4275 0 -1 4202560 16142 0 0 0 137 10 0 0 20 0 15 0 77353170 15382630400 104216 33554432000 4194304 4196468 140729137593424 140462412084576 140461944107940 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15022100 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15382630400 104216 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15382630400 104216 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353172 15382630400 104216 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77353172 15382630400 104216 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77353173 15382630400 104216 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
################
# More data... #
################
[pid=4766/tid=4774] ppid=4763 vsize=15024148 memory=5057888 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 77353174 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140460999828832 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15024148 memory=5117288 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77353174 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140460731393664 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15024148 memory=14248 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15024148 memory=11840 CPUtime=5.29 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) S 4763 4766 4275 0 -1 1077944384 7317 0 0 0 528 1 0 0 20 0 15 0 77353176 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140461477189744 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15024148 memory=5117288 CPUtime=4.84 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 8738 0 0 0 483 1 0 0 20 0 15 0 77353176 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15024148 memory=5117288 CPUtime=1.39 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 10318 0 0 0 137 2 0 0 20 0 15 0 77353176 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15024148 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15024148 memory=23156 CPUtime=0.08 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 246 0 0 0 5 3 0 0 20 0 15 0 77353177 15384727552 1279322 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 185.16 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 5117288 KiB
[startup+222.301 s]
/proc/loadavg: 2.88 1.96 1.63 3/226 4799
/proc/meminfo: memFree=11584616/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15024148 memory=6116536 CPUtime=252.83 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 97812 0 0 0 24969 314 0 0 20 0 15 0 77353170 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3756037 1529134 3245 1 0 3717422 0
[pid=4766/tid=4768] ppid=4763 vsize=15024148 memory=5928120 CPUtime=216.68 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) S 4763 4766 4275 0 -1 1077944384 33022 0 0 0 21617 51 0 0 20 0 15 0 77353170 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140462412086080 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15024148 memory=5324144 CPUtime=5.47 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) R 4763 4766 4275 0 -1 4202560 3583 0 0 0 488 59 0 0 20 0 15 0 77353172 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140462444486624 140462425270734 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15024148 memory=5928120 CPUtime=5.46 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) R 4763 4766 4275 0 -1 4202560 3759 0 0 0 483 63 0 0 20 0 15 0 77353172 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461900582912 140462425274450 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15024148 memory=5928120 CPUtime=5.48 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) R 4763 4766 4275 0 -1 4202560 4108 0 0 0 485 63 0 0 20 0 15 0 77353172 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461899532944 140462421872976 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15024148 memory=5979320 CPUtime=5.48 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) R 4763 4766 4275 0 -1 4202560 3885 0 0 0 485 63 0 0 20 0 15 0 77353172 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461898480144 140462425274450 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15024148 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 1127 0 0 0 4 0 0 0 20 0 15 0 77353173 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461478241440 140462440257237 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15024148 memory=5622968 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77353174 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140460999828832 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15024148 memory=5622968 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77353174 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140460731393664 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15024148 memory=5928120 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15024148 memory=4096 CPUtime=6.4 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) S 4763 4766 4275 0 -1 1077944384 13691 0 0 0 638 2 0 0 20 0 15 0 77353176 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461477189744 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15024148 memory=2240 CPUtime=6.04 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 16517 0 0 0 602 2 0 0 20 0 15 0 77353176 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15024148 memory=4124 CPUtime=1.58 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 16332 0 0 0 155 3 0 0 20 0 15 0 77353176 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15024148 memory=5928120 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15024148 memory=5928120 CPUtime=0.11 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 445 0 0 0 6 5 0 0 20 0 15 0 77353177 15384727552 1529134 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 252.83 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 6116536 KiB
[startup+282.301 s]
/proc/loadavg: 2.36 1.98 1.66 3/225 4800
/proc/meminfo: memFree=9800700/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15028312 memory=7649120 CPUtime=328.39 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 121360 0 0 0 32333 506 0 0 20 0 15 0 77353170 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3757078 1912280 3259 1 0 3717934 0
[pid=4766/tid=4768] ppid=4763 vsize=15028312 memory=7087416 CPUtime=272.19 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) R 4763 4766 4275 0 -1 4202560 38826 0 0 0 27159 60 0 0 20 0 15 0 77353170 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140462412086512 140461947238503 0 4 0 25189583 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15028312 memory=7087416 CPUtime=9.76 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 4613 0 0 0 874 102 0 0 20 0 15 0 77353172 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15028312 memory=7087436 CPUtime=9.71 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 4885 0 0 0 862 109 0 0 20 0 15 0 77353172 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15028312 memory=7290416 CPUtime=9.76 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 5311 0 0 0 868 108 0 0 20 0 15 0 77353172 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15028312 memory=7649120 CPUtime=9.78 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 5547 0 0 0 870 108 0 0 20 0 15 0 77353172 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15028312 memory=7082460 CPUtime=0.06 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 2166 0 0 0 5 1 0 0 20 0 15 0 77353173 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15028312 memory=7628640 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 77353174 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140460999828832 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15028312 memory=7649120 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 77353174 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140460731393664 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15028312 memory=7649120 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353176 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15028312 memory=0 CPUtime=7.72 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) S 4763 4766 4275 0 -1 1077944384 17831 0 0 0 769 3 0 0 20 0 15 0 77353176 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461477189744 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15028312 memory=7087436 CPUtime=7.4 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 21100 0 0 0 738 2 0 0 20 0 15 0 77353176 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15028312 memory=4096 CPUtime=1.77 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 19248 0 0 0 173 4 0 0 20 0 15 0 77353176 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15028312 memory=7649120 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77353177 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15028312 memory=1844 CPUtime=0.15 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 487 0 0 0 8 7 0 0 20 0 15 0 77353177 15388991488 1912280 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 328.39 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 7649120 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+306.001 s]*
/proc/loadavg: 2.16 1.97 1.67 3/230 4807
/proc/meminfo: memFree=9511224/32770624 swapFree=67108860/67108860
[pid=4766] ppid=4763 vsize=15683912 memory=7652284 CPUtime=352.41 cores=0,2,4,6
/proc/4766/stat : 4766 (java) S 4763 4766 4275 0 -1 1077944320 125291 0 0 0 34714 527 0 0 20 0 19 0 77353170 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140729137575968 140462440247031 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
/proc/4766/statm: 3920978 1913071 3263 1 0 3881834 0
[pid=4802] ppid=4766 vsize=207988 memory=152380 CPUtime=0.48 cores=0,2,4,6
/proc/4802/stat : 4802 (minisat_release) R 4766 4766 4275 0 -1 4202496 33402 0 0 0 43 5 0 0 20 0 1 0 77383722 212979712 38095 33554432000 4194304 4308513 140735713376928 140735713374072 140550832233445 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10207232 140735713383089 140735713383598 140735713383598 140735713386437 0
/proc/4802/statm: 51997 38095 316 28 0 48237 0
[pid=4766/tid=4768] ppid=4763 vsize=15683912 memory=4026532046 CPUtime=295.02 cores=0,2,4,6
/proc/4766/task/4768/stat : 4768 (java) S 4763 4766 4275 0 -1 1077944384 39483 0 0 0 29422 80 0 0 20 0 19 0 77353170 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140462412086272 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4769] ppid=4763 vsize=15683912 memory=0 CPUtime=9.86 cores=0,2,4,6
/proc/4766/task/4769/stat : 4769 (java) S 4763 4766 4275 0 -1 1077944384 5283 0 0 0 884 102 0 0 20 0 19 0 77353172 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140462444489104 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4770] ppid=4763 vsize=15683912 memory=447303 CPUtime=9.82 cores=0,2,4,6
/proc/4766/task/4770/stat : 4770 (java) S 4763 4766 4275 0 -1 1077944384 5564 0 0 0 873 109 0 0 20 0 19 0 77353172 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461900585232 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4771] ppid=4763 vsize=15683912 memory=-7606742951091920751 CPUtime=9.86 cores=0,2,4,6
/proc/4766/task/4771/stat : 4771 (java) S 4763 4766 4275 0 -1 1077944384 6260 0 0 0 878 108 0 0 20 0 19 0 77353172 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461899532944 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4772] ppid=4763 vsize=15683912 memory=0 CPUtime=9.89 cores=0,2,4,6
/proc/4766/task/4772/stat : 4772 (java) S 4763 4766 4275 0 -1 1077944384 6067 0 0 0 881 108 0 0 20 0 19 0 77353172 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461898480144 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4773] ppid=4763 vsize=15683912 memory=3472328296227418159 CPUtime=0.07 cores=0,2,4,6
/proc/4766/task/4773/stat : 4773 (java) S 4763 4766 4275 0 -1 1077944384 2169 0 0 0 6 1 0 0 20 0 19 0 77353173 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461478242928 140462440258178 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4774] ppid=4763 vsize=15683912 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4774/stat : 4774 (java) S 4763 4766 4275 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77353174 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140460999828832 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4775] ppid=4763 vsize=15683912 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4775/stat : 4775 (java) S 4763 4766 4275 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 77353174 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140460731393664 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4776] ppid=4763 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4776/stat : 4776 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77353176 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140460356885072 140462440265627 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4777] ppid=4763 vsize=15683912 memory=67 CPUtime=8.12 cores=0,2,4,6
/proc/4766/task/4777/stat : 4777 (java) S 4763 4766 4275 0 -1 1077944384 17927 0 0 0 809 3 0 0 20 0 19 0 77353176 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461477189744 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4778] ppid=4763 vsize=15683912 memory=3472468814674441904 CPUtime=7.69 cores=0,2,4,6
/proc/4766/task/4778/stat : 4778 (java) S 4763 4766 4275 0 -1 1077944384 21208 0 0 0 767 2 0 0 20 0 19 0 77353176 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461476136944 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4779] ppid=4763 vsize=15683912 memory=35 CPUtime=1.82 cores=0,2,4,6
/proc/4766/task/4779/stat : 4779 (java) S 4763 4766 4275 0 -1 1077944384 19425 0 0 0 178 4 0 0 20 0 19 0 77353176 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461475084656 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4780] ppid=4763 vsize=15683912 memory=281036757567224 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4780/stat : 4780 (java) S 4763 4766 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77353177 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140459858979296 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4781] ppid=4763 vsize=15683912 memory=32 CPUtime=0.17 cores=0,2,4,6
/proc/4766/task/4781/stat : 4781 (java) S 4763 4766 4275 0 -1 1077944384 489 0 0 0 9 8 0 0 20 0 19 0 77353177 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461474032560 140462440258178 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4803] ppid=4763 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4803/stat : 4803 (java) S 4763 4766 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77383722 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140461470844352 140462440271641 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4805] ppid=4763 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4805/stat : 4805 (java) S 4763 4766 4275 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 77383722 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140459322093488 140462440268957 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4806] ppid=4763 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4806/stat : 4806 (java) S 4763 4766 4275 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 77383722 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140459456314672 140462440268957 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
[pid=4766/tid=4807] ppid=4763 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4766/task/4807/stat : 4807 (java) S 4763 4766 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77383724 16060325888 1913071 33554432000 4194304 4196468 140729137593424 140459053669280 140462440257237 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9486336 140729137599476 140729137599753 140729137599753 140729137602511 0
Current children cumulated CPU time: 352.89 s
Current children cumulated vsize: 15891900 KiB
Current children cumulated memory: 7804664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+306.091 s]
# the end of solver process 4766 was just reported to runsolver
# cumulated CPU time of all completed processes: user=347.587 s, system=5.40997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 306.091
CPU time (s): 352.997
CPU user time (s): 347.587
CPU system time (s): 5.40997
CPU usage (%): 115.324
Max. virtual memory (cumulated for all children) (KiB): 15891900
Max. memory (cumulated for all children) (KiB): 7804664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 347.587
system time used= 5.40997
maximum resident set size= 7654800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158902
page faults= 0
swaps= 0
block input operations= 8
block output operations= 403464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14166
involuntary context switches= 821
# summary of solver processes directly reported to runsolver:
# pid: 4766
# total CPU time (s): 352.997
# total CPU user time (s): 347.587
# total CPU system time (s): 5.40997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78758 second user time and 3.03112 second system time
The end