0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 18:31:25 CEST 2018
0.67/0.55 c PID: 29645
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.17/1.53 c (1,0) Parsing End
3.17/1.53 c (1,1) CSP: 72 int (0 aux), 0 bool (0 aux), 17 ctr, max domain size 26
3.17/1.53 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.17/1.53 c (1,1) Constraint Name Generate Begin
3.17/1.54 c (1,1) Ctr:HOME/instance-4294902-1532536285.xml,ExtensionSupport:IntVar
3.17/1.54 c (1,1) Constraint Name Generate End
3.17/1.54 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.17/1.54 c (1,1) CSP to CSPinCNF Begin
59.74/44.84 c (44,43) translated 2 (10%) constraints
106.60/77.40 c (76,71) translated 4 (20%) constraints
147.13/108.69 c (108,99) translated 6 (30%) constraints
167.98/124.52 c (124,113) translated 7 (40%) constraints
208.02/155.79 c (155,142) translated 9 (50%) constraints
261.16/201.08 c (200,184) translated 11 (60%) constraints
276.71/213.64 c (213,196) translated 12 (70%) constraints
307.88/238.74 c (238,219) translated 14 (80%) constraints
338.58/263.42 c (262,242) translated 16 (90%) constraints
353.71/275.55 c (275,253) translated 17 (100%) constraints
382.12/298.45 c (297,274) STATISTICS1:HOME/instance-4294902-1532536285.xml,ExtensionSupport:IntVar,622962,5606451,-1,26,27,1,,26:8555872;2:10340072,27:411;26:119;25:230;24:262;23:316;22:442;21:373;20:523;19:612;18:708;17:736;16:757;15:1148;14:1447;13:1502;12:2038;11:2835;10:3804;9:5682;8:8903;7:13409;6:25018;5:45857;4:2896698;3:1267114;2:1325507,1:18895944;0:17,
382.12/298.45 c (297,274) ===========================================
382.12/298.45 c (297,274) Both Encoding selects:
382.12/298.45 c (297,274) Order
382.12/298.45 c (297,274) ===========================================
390.23/305.66 c (305,281) translated 560646 (10%) constraints
398.92/313.33 c (312,289) translated 1121291 (20%) constraints
408.18/321.24 c (320,296) translated 1681936 (30%) constraints
419.01/329.58 c (329,304) translated 2242581 (40%) constraints
522.35/361.25 c (360,311) translated 2803226 (50%) constraints
530.86/369.03 c (368,319) translated 3363871 (60%) constraints
539.79/376.95 c (376,326) translated 3924516 (70%) constraints
549.37/385.02 c (384,334) translated 4485161 (80%) constraints
559.21/393.19 c (392,341) translated 5045806 (90%) constraints
570.30/401.65 c (401,349) translated 5606451 (100%) constraints
570.30/401.65 c (401,349) CSP to CSPinCNF End
570.56/401.84 c (401,349) CSP: 72 int (0 aux), 622890 bool (622890 aux), 5606451 ctr, max domain size 26
570.56/401.84 c (401,349) Heap : 7326 MiB used (max 10373 MiB), NonHeap : 27 MiB used (max 0 MiB)
570.56/401.84 c (401,349) CSPinCNF Propagation Begin
754.37/465.75 c (465,372) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
754.37/465.75 c (465,372) CSPinCNF Propagation End
754.58/465.93 c (465,373) CSP: 72 int (0 aux), 622890 bool (622890 aux), 5606451 ctr, max domain size 26
754.58/465.93 c (465,373) Heap : 7281 MiB used (max 10503 MiB), NonHeap : 27 MiB used (max 0 MiB)
754.58/465.93 c (465,373) Simplify CSPinCNF Begin
765.97/474.85 c (474,381) Simplify CSPinCNF End
766.18/475.02 c (474,381) CSP: 72 int (0 aux), 622890 bool (622890 aux), 5606451 ctr, max domain size 26
766.18/475.02 c (474,381) Heap : 7548 MiB used (max 10444 MiB), NonHeap : 27 MiB used (max 0 MiB)
766.18/475.03 c (474,381) Calculate Precise Domain Begin
766.18/475.03 c (474,381) 0 values are removed by re-calculation
766.18/475.03 c (474,381) Calculate Precise Domain End
766.38/475.21 c (474,381) CSP: 72 int (0 aux), 622890 bool (622890 aux), 5606451 ctr, max domain size 26
766.38/475.21 c (474,381) Heap : 7593 MiB used (max 10444 MiB), NonHeap : 27 MiB used (max 0 MiB)
766.38/475.21 c (474,381) CSPinCNF to SatSolver Begin
772.24/479.12 c (478,385) 560646 (10 %) CSP clauses are encoded (624690 SAT variables, 562373 SAT clauses)
778.45/482.85 c (482,387) 1121291 (20 %) CSP clauses are encoded (624690 SAT variables, 1123018 SAT clauses)
783.01/486.17 c (485,390) 1681936 (30 %) CSP clauses are encoded (624690 SAT variables, 1683663 SAT clauses)
789.32/489.94 c (489,393) 2242581 (40 %) CSP clauses are encoded (624690 SAT variables, 2244308 SAT clauses)
795.52/493.70 c (493,396) 2803226 (50 %) CSP clauses are encoded (624690 SAT variables, 2804953 SAT clauses)
800.23/497.07 c (496,399) 3363871 (60 %) CSP clauses are encoded (624690 SAT variables, 3365598 SAT clauses)
806.51/500.85 c (500,402) 3924516 (70 %) CSP clauses are encoded (624690 SAT variables, 3926243 SAT clauses)
812.83/504.63 c (504,405) 4485161 (80 %) CSP clauses are encoded (624690 SAT variables, 4486888 SAT clauses)
854.05/517.24 c (516,408) 5045806 (90 %) CSP clauses are encoded (624690 SAT variables, 5047533 SAT clauses)
857.11/520.22 c (519,411) 5606451 (100 %) CSP clauses are encoded (624690 SAT variables, 5608178 SAT clauses)
857.11/520.22 c (519,411) CSPinCNF to SatSolver End
857.11/520.22 c (519,411) Heap : 5899 MiB used (max 10012 MiB), NonHeap : 28 MiB used (max 0 MiB)
867.72/530.28 c (529,421) STATISTICS2:HOME/instance-4294902-1532536285.xml,ExtensionSupport:IntVar,622962,5606451,-1,26,27,1,,26:8555872;2:10340072,27:394;26:136;25:230;24:262;23:316;22:442;21:373;20:523;19:612;18:708;17:736;16:757;15:1148;14:1447;13:1502;12:2038;11:2835;10:3804;9:5682;8:8903;7:13409;6:25018;5:45857;4:2896698;3:1267114;2:1325507,1:18895944,
867.72/530.28 c (529,421) SatSolver.solve Begin
867.72/530.28 c (529,421) 624690 bool, 5608179 clause
867.72/530.28 c (529,421) 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-4294902-1532536285.xml-scop-29645.cnf HOME/instance-4294902-1532536285.xml-scop-29645.cnf.out
868.60/531.01 c (530,0) receiving signal SIGTERM
868.60/531.01 s UNKNOWN
868.60/531.02 c (530,421) SatSolver is killed by some reasons.
868.60/531.02 c (530,421) 1,1,401,465,474,474,519,TO,TO,STOP-AFTER(DIMACS)
868.60/531.02 c END-Prog: Wed Jul 25 18:40:16 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 (134 MiB free)
memory of node 1: 16384 MiB (11891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294902-1532536285/watcher-4294902-1532536285 -o /tmp/evaluation-result-4294902-1532536285/solver-4294902-1532536285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294902-1532536285.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29645, runsolver pid=29642
Current StackSize limit: 8192 KiB
[startup+0.100645 s]*
/proc/loadavg: 7.09 5.52 3.42 6/217 29660
/proc/meminfo: memFree=12252576/32770624 swapFree=67076440/67108860
[pid=29645] ppid=29642 vsize=15011656 memory=74220 CPUtime=0.11 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 7295 0 0 0 10 1 0 0 20 0 15 0 71191649 15371935744 18555 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3752914 18555 2759 1 0 3715374 0
[pid=29645/tid=29647] ppid=29642 vsize=15011656 memory=-6894657602490753920 CPUtime=0.09 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) R 29642 29645 29212 0 -1 4202560 5437 0 0 0 8 1 0 0 20 0 15 0 71191649 15371935744 18621 33554432000 4194304 4196468 140729477126432 140129033393016 140129041868544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15011656 memory=5793855244537764281 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 18621 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 18621 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 18621 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 18621 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191652 15371935744 18621 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71191652 15371935744 18621 33554432000 4194304 4196468 140729477126432 140127737210528 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191653 15371935744 18621 33554432000 4194304 4196468 140729477126432 140127468774640 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 18621 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) S 29642 29645 29212 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 18621 33554432000 4194304 4196468 140729477126432 140127829453040 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 18687 33554432000 4194304 4196468 140729477126432 140127828400496 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0.01 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) S 29642 29645 29212 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 71191655 15371935744 18687 33554432000 4194304 4196468 140729477126432 140127827347440 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 18687 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191656 15371935744 18687 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74220 KiB
[startup+0.210464 s]*
/proc/loadavg: 7.09 5.52 3.42 6/217 29660
/proc/meminfo: memFree=12237212/32770624 swapFree=67076440/67108860
[pid=29645] ppid=29642 vsize=15011656 memory=88484 CPUtime=0.26 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 11087 0 0 0 24 2 0 0 20 0 15 0 71191649 15371935744 22121 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3752914 22121 2910 1 0 3715374 0
[pid=29645/tid=29647] ppid=29642 vsize=15011656 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) R 29642 29645 29212 0 -1 4202560 8992 0 0 0 18 2 0 0 20 0 15 0 71191649 15371935744 22121 33554432000 4194304 4196468 140729477126432 140129033419216 140129061604758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15011656 memory=4211973719732661642 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22121 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22121 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22121 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22121 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191652 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71191652 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127737210528 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191653 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127468774640 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) S 29642 29645 29212 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127829453040 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127828400496 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0.03 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) R 29642 29645 29212 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 15 0 71191655 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127827347440 140129061614170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 22121 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191656 15371935744 22121 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88484 KiB
[startup+0.310406 s]*
/proc/loadavg: 7.09 5.52 3.42 6/217 29660
/proc/meminfo: memFree=12234544/32770624 swapFree=67076440/67108860
[pid=29645] ppid=29642 vsize=15011656 memory=91852 CPUtime=0.44 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 11551 0 0 0 41 3 0 0 20 0 15 0 71191649 15371935744 22963 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3752914 22963 2976 1 0 3715374 0
[pid=29645/tid=29647] ppid=29642 vsize=15011656 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) R 29642 29645 29212 0 -1 4202560 9291 0 0 0 28 2 0 0 20 0 15 0 71191649 15371935744 22963 33554432000 4194304 4196468 140729477126432 140129033421024 140128559396911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15011656 memory=4211973719732661642 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22963 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15011656 memory=279986913253760 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22963 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15011656 memory=279986770792960 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22963 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15011656 memory=139993385382671 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15371935744 22963 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15011656 memory=279986913260672 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191652 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15011656 memory=139993385387279 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71191652 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127737210528 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15011656 memory=139993385418827 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191653 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127468774640 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15011656 memory=139993385421132 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) R 29642 29645 29212 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 71191655 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127829453040 140129061603970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) R 29642 29645 29212 0 -1 4202560 246 0 0 0 3 0 0 0 20 0 15 0 71191655 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127828400496 140129043118421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15011656 memory=139993527871104 CPUtime=0.07 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) R 29642 29645 29212 0 -1 4202560 298 0 0 0 7 0 0 0 20 0 15 0 71191655 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127827347440 140129046758462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15371935744 22963 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15011656 memory=139993527945324 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) R 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191656 15371935744 22963 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91852 KiB
[startup+0.70068 s]
/proc/loadavg: 7.09 5.52 3.42 6/217 29660
/proc/meminfo: memFree=12212096/32770624 swapFree=67076440/67108860
[pid=29645] ppid=29642 vsize=15017928 memory=133040 CPUtime=1.01 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 18017 0 0 0 96 5 0 0 20 0 15 0 71191649 15378358272 33260 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3754482 33260 3139 1 0 3715886 0
[pid=29645/tid=29647] ppid=29642 vsize=15017928 memory=54 CPUtime=0.68 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) R 29642 29645 29212 0 -1 4202560 15251 0 0 0 64 4 0 0 20 0 15 0 71191649 15378358272 33260 33554432000 4194304 4196468 140729477126432 140129033430448 140129061614749 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191651 15378358272 33260 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15378358272 33260 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15378358272 33260 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15378358272 33260 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15017928 memory=12816 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71191652 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15017928 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71191652 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127737210528 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15017928 memory=1508 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191653 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127468774640 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15017928 memory=3328 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15017928 memory=3032 CPUtime=0.07 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) R 29642 29645 29212 0 -1 4202560 550 0 0 0 7 0 0 0 20 0 15 0 71191655 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127829453040 140129045119302 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15017928 memory=2764 CPUtime=0.09 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 462 0 0 0 9 0 0 0 20 0 15 0 71191655 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127828400496 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15017928 memory=796 CPUtime=0.15 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) S 29642 29645 29212 0 -1 1077944384 414 0 0 0 15 0 0 0 20 0 15 0 71191655 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127827347440 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15017928 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15378358272 33260 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15017928 memory=15316 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191656 15378358272 33260 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 133040 KiB
[startup+1.5007 s]
/proc/loadavg: 7.08 5.54 3.44 6/217 29660
/proc/meminfo: memFree=12067444/32770624 swapFree=67076440/67108860
[pid=29645] ppid=29642 vsize=15020052 memory=469892 CPUtime=3.17 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 20392 0 0 0 306 11 0 0 20 0 15 0 71191649 15380533248 117473 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3755013 117473 3197 1 0 3716398 0
[pid=29645/tid=29647] ppid=29642 vsize=15020052 memory=3544 CPUtime=1.48 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) R 29642 29645 29212 0 -1 4202560 16069 0 0 0 138 10 0 0 20 0 15 0 71191649 15380533248 117473 33554432000 4194304 4196468 140729477126432 140129033421232 140128563372124 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15020052 memory=18400 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71191651 15380533248 117473 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15020052 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15380533248 117473 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15380533248 117473 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71191651 15380533248 117473 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15020052 memory=7089319380252648788 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71191652 15380533248 117473 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
################
# More data... #
################
[pid=29645/tid=29653] ppid=29642 vsize=15024148 memory=11741804 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 71191652 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127737210592 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15024148 memory=11741784 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 71191653 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127468774656 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15024148 memory=11741856 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15024148 memory=11741888 CPUtime=8 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) S 29642 29645 29212 0 -1 1077944384 18461 0 0 0 798 2 0 0 20 0 15 0 71191655 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127829453040 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15024148 memory=11741856 CPUtime=6.12 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 16922 0 0 0 610 2 0 0 20 0 15 0 71191655 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127828400496 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15024148 memory=11741856 CPUtime=1.23 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) S 29642 29645 29212 0 -1 1077944384 20274 0 0 0 119 4 0 0 20 0 15 0 71191655 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127827347440 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15024148 memory=11741856 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15024148 memory=3544 CPUtime=0.23 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 424 0 0 0 11 12 0 0 20 0 15 0 71191656 15384727552 2935472 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 571.21 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 11741888 KiB
[startup+462.302 s]
/proc/loadavg: 3.84 4.29 3.66 4/215 29741
/proc/meminfo: memFree=2549524/32770624 swapFree=67076440/67108860
[pid=29645] ppid=29642 vsize=15024148 memory=11768728 CPUtime=742.79 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 177317 0 0 0 73395 884 0 0 20 0 15 0 71191649 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3756037 2942182 3259 1 0 3717422 0
[pid=29645/tid=29647] ppid=29642 vsize=15024148 memory=11768728 CPUtime=372.91 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) S 29642 29645 29212 0 -1 1077944384 44412 0 0 0 37241 50 0 0 20 0 15 0 71191649 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140129033432064 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15024148 memory=11768728 CPUtime=88.52 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) R 29642 29645 29212 0 -1 4202560 14622 0 0 0 8669 183 0 0 20 0 15 0 71191651 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140129065835224 140129046292584 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15024148 memory=11760516 CPUtime=88.3 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) R 29642 29645 29212 0 -1 4202560 15495 0 0 0 8635 195 0 0 20 0 15 0 71191651 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140128879991248 140129054221031 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15024148 memory=11758408 CPUtime=88.54 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) R 29642 29645 29212 0 -1 4202560 15882 0 0 0 8638 216 0 0 20 0 15 0 71191651 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140128520841296 140129054221031 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15024148 memory=11760516 CPUtime=88.2 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) R 29642 29645 29212 0 -1 4202560 16642 0 0 0 8602 218 0 0 20 0 15 0 71191651 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140128519788752 140129054221031 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15024148 memory=11768728 CPUtime=0.41 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 11890 0 0 0 39 2 0 0 20 0 15 0 71191652 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127830504768 140129061603029 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15024148 memory=11768728 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 71191652 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127737210592 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15024148 memory=11768728 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 71191653 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127468774656 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15024148 memory=11741856 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15024148 memory=12816 CPUtime=8.06 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) S 29642 29645 29212 0 -1 1077944384 18643 0 0 0 804 2 0 0 20 0 15 0 71191655 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127829452800 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15024148 memory=11764612 CPUtime=6.24 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 17556 0 0 0 622 2 0 0 20 0 15 0 71191655 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127828400544 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15024148 memory=11760516 CPUtime=1.24 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) S 29642 29645 29212 0 -1 1077944384 20338 0 0 0 120 4 0 0 20 0 15 0 71191655 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127827347488 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15024148 memory=267301584693156 CPUtime=0.28 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 452 0 0 0 14 14 0 0 20 0 15 0 71191656 15384727552 2942182 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 742.79 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 11768728 KiB
[startup+522.302 s]
/proc/loadavg: 3.81 4.18 3.66 3/216 29750
/proc/meminfo: memFree=666656/32770624 swapFree=67076452/67108860
[pid=29645] ppid=29642 vsize=15026264 memory=11768700 CPUtime=859.5 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 195199 0 0 0 85041 909 0 0 20 0 15 0 71191649 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3756566 2942175 3271 1 0 3717422 0
[pid=29645/tid=29647] ppid=29642 vsize=15026264 memory=11768700 CPUtime=413.92 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) R 29642 29645 29212 0 -1 4202560 47781 0 0 0 41326 66 0 0 20 0 15 0 71191649 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140129033431968 140128565682459 0 4 0 25189583 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15026264 memory=11775816 CPUtime=107.12 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 16661 0 0 0 10528 184 0 0 20 0 15 0 71191651 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15026264 memory=11775816 CPUtime=106.92 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 16769 0 0 0 10496 196 0 0 20 0 15 0 71191651 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15026264 memory=11775816 CPUtime=107.24 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 17181 0 0 0 10506 218 0 0 20 0 15 0 71191651 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15026264 memory=11768700 CPUtime=106.89 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 18486 0 0 0 10468 221 0 0 20 0 15 0 71191651 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15026264 memory=11768700 CPUtime=0.55 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 13939 0 0 0 53 2 0 0 20 0 15 0 71191652 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71191652 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127737210592 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15026264 memory=11768700 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 71191653 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127468774656 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15026264 memory=11775816 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15026264 memory=11775816 CPUtime=8.46 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) S 29642 29645 29212 0 -1 1077944384 20431 0 0 0 844 2 0 0 20 0 15 0 71191655 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127829453040 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15026264 memory=11775816 CPUtime=6.63 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 20091 0 0 0 661 2 0 0 20 0 15 0 71191655 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127828400496 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15026264 memory=6791534058613427641 CPUtime=1.36 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) S 29642 29645 29212 0 -1 1077944384 22007 0 0 0 131 5 0 0 20 0 15 0 71191655 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127827347440 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15026264 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71191655 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15026264 memory=9023629670928638048 CPUtime=0.32 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 465 0 0 0 16 16 0 0 20 0 15 0 71191656 15386894336 2942175 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 859.5 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 11768700 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+531.001 s]*
/proc/loadavg: 3.46 4.09 3.64 3/221 29756
/proc/meminfo: memFree=502164/32770624 swapFree=67076452/67108860
[pid=29645] ppid=29642 vsize=15681864 memory=11771828 CPUtime=867.9 cores=1,3,5,7
/proc/29645/stat : 29645 (java) S 29642 29645 29212 0 -1 1077944320 204069 0 0 0 85879 911 0 0 20 0 19 0 71191649 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140729477108976 140129061592823 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
/proc/29645/statm: 3920466 2942957 3278 1 0 3881322 0
[pid=29751] ppid=29645 vsize=197080 memory=169092 CPUtime=0.7 cores=1,3,5,7
/proc/29751/stat : 29751 (minisat_release) R 29645 29645 29212 0 -1 4202496 36154 0 0 0 59 11 0 0 20 0 1 0 71244678 201809920 42273 33554432000 4194304 4308513 140724560843440 140724559791848 4248293 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 21307392 140724560847535 140724560848046 140724560848046 140724560850885 0
/proc/29751/statm: 49270 42273 316 28 0 45510 0
[pid=29645/tid=29647] ppid=29642 vsize=15681864 memory=-7824251494390716773 CPUtime=421.84 cores=1,3,5,7
/proc/29645/task/29647/stat : 29647 (java) S 29642 29645 29212 0 -1 1077944384 52446 0 0 0 42117 67 0 0 20 0 19 0 71191649 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140129033432064 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29648] ppid=29642 vsize=15681864 memory=-7003737579269690708 CPUtime=107.23 cores=1,3,5,7
/proc/29645/task/29648/stat : 29648 (java) S 29642 29645 29212 0 -1 1077944384 17540 0 0 0 10539 184 0 0 20 0 19 0 71191651 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140129065835024 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29649] ppid=29642 vsize=15681864 memory=6791534058613427641 CPUtime=107.03 cores=1,3,5,7
/proc/29645/task/29649/stat : 29649 (java) S 29642 29645 29212 0 -1 1077944384 17007 0 0 0 10507 196 0 0 20 0 19 0 71191651 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140128879991440 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29650] ppid=29642 vsize=15681864 memory=-7003737579269690708 CPUtime=107.34 cores=1,3,5,7
/proc/29645/task/29650/stat : 29650 (java) S 29642 29645 29212 0 -1 1077944384 17260 0 0 0 10516 218 0 0 20 0 19 0 71191651 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140128520841488 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29651] ppid=29642 vsize=15681864 memory=4100 CPUtime=106.99 cores=1,3,5,7
/proc/29645/task/29651/stat : 29651 (java) S 29642 29645 29212 0 -1 1077944384 18638 0 0 0 10478 221 0 0 20 0 19 0 71191651 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140128519788944 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29652] ppid=29642 vsize=15681864 memory=1800 CPUtime=0.56 cores=1,3,5,7
/proc/29645/task/29652/stat : 29652 (java) S 29642 29645 29212 0 -1 1077944384 14314 0 0 0 54 2 0 0 20 0 19 0 71191652 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127830506224 140129061603970 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29653] ppid=29642 vsize=15681864 memory=920 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29653/stat : 29653 (java) S 29642 29645 29212 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 71191652 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127737210592 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29654] ppid=29642 vsize=15681864 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29654/stat : 29654 (java) S 29642 29645 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 71191653 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127468774656 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29655] ppid=29642 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29655/stat : 29655 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71191655 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127094266320 140129061611419 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29656] ppid=29642 vsize=15681864 memory=0 CPUtime=8.46 cores=1,3,5,7
/proc/29645/task/29656/stat : 29656 (java) S 29642 29645 29212 0 -1 1077944384 20845 0 0 0 844 2 0 0 20 0 19 0 71191655 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127829453040 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29657] ppid=29642 vsize=15681864 memory=0 CPUtime=6.63 cores=1,3,5,7
/proc/29645/task/29657/stat : 29657 (java) S 29642 29645 29212 0 -1 1077944384 20093 0 0 0 661 2 0 0 20 0 19 0 71191655 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127828400496 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29658] ppid=29642 vsize=15681864 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/29645/task/29658/stat : 29658 (java) S 29642 29645 29212 0 -1 1077944384 23966 0 0 0 133 5 0 0 20 0 19 0 71191655 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127827347440 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29659] ppid=29642 vsize=15681864 memory=7229797203491971648 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29659/stat : 29659 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71191655 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140126596360544 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29660] ppid=29642 vsize=15681864 memory=7738987790123684458 CPUtime=0.32 cores=1,3,5,7
/proc/29645/task/29660/stat : 29660 (java) S 29642 29645 29212 0 -1 1077944384 486 0 0 0 16 16 0 0 20 0 19 0 71191656 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140127826295856 140129061603970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29752] ppid=29642 vsize=15681864 memory=-7029379521808015264 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29752/stat : 29752 (java) S 29642 29645 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71244678 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140128476018496 140129061617433 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29754] ppid=29642 vsize=15681864 memory=7681407940103534239 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29754/stat : 29754 (java) S 29642 29645 29212 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 71244679 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140126059474832 140129061614749 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29755] ppid=29642 vsize=15681864 memory=3472328296160571440 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29755/stat : 29755 (java) S 29642 29645 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71244679 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140126193696272 140129061614749 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
[pid=29645/tid=29756] ppid=29642 vsize=15681864 memory=8317415468381188143 CPUtime=0 cores=1,3,5,7
/proc/29645/task/29756/stat : 29756 (java) S 29642 29645 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71244681 16058228736 2942957 33554432000 4194304 4196468 140729477126432 140125791051040 140129061603029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23556096 140729477133300 140729477133577 140729477133577 140729477136335 0
Current children cumulated CPU time: 868.6 s
Current children cumulated vsize: 15878944 KiB
Current children cumulated memory: 11940920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+531.108 s]
# the end of solver process 29645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=859.402 s, system=9.30418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 531.108
CPU time (s): 868.706
CPU user time (s): 859.402
CPU system time (s): 9.30418
CPU usage (%): 163.565
Max. virtual memory (cumulated for all children) (KiB): 15878944
Max. memory (cumulated for all children) (KiB): 11940920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.402
system time used= 9.30418
maximum resident set size= 11775876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240414
page faults= 0
swaps= 0
block input operations= 32
block output operations= 255304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19188
involuntary context switches= 5482
# summary of solver processes directly reported to runsolver:
# pid: 29645
# total CPU time (s): 868.706
# total CPU user time (s): 859.402
# total CPU system time (s): 9.30418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.00801 second user time and 5.23752 second system time
The end