0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Wed Jul 25 18:40:17 CEST 2018
0.67/0.54 c PID: 29819
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.70/1.37 c (0,0) Parsing End
2.70/1.38 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 15 ctr, max domain size 26
2.70/1.38 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.70/1.38 c (0,0) Constraint Name Generate Begin
2.70/1.38 c (0,0) Ctr:HOME/instance-4294920-1532536816.xml,ExtensionSupport:IntVar
2.70/1.38 c (0,0) Constraint Name Generate End
2.70/1.38 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.70/1.38 c (0,0) CSP to CSPinCNF Begin
49.53/34.30 c (33,33) translated 2 (10%) constraints
66.15/46.96 c (46,44) translated 3 (20%) constraints
104.25/73.44 c (72,67) translated 5 (30%) constraints
119.17/85.42 c (84,78) translated 6 (40%) constraints
150.22/109.93 c (109,100) translated 8 (50%) constraints
172.43/129.88 c (129,120) translated 9 (60%) constraints
192.76/146.65 c (146,135) translated 11 (70%) constraints
203.92/155.30 c (154,143) translated 12 (80%) constraints
222.25/171.58 c (171,159) translated 14 (90%) constraints
232.71/180.01 c (179,166) translated 15 (100%) constraints
253.09/197.16 c (196,183) STATISTICS1:HOME/instance-4294920-1532536816.xml,ExtensionSupport:IntVar,368542,3669637,-1,26,27,1,,26:5758368;2:6862760,27:405;26:145;25:146;24:250;23:292;22:390;21:355;20:429;19:476;18:596;17:528;16:667;15:796;14:1105;13:1386;12:1570;11:2429;10:2988;9:4326;8:6769;7:9983;6:18134;5:31343;4:1959582;3:889262;2:735285,1:12621128;0:15,
253.09/197.16 c (196,183) ===========================================
253.09/197.16 c (196,183) Both Encoding selects:
253.09/197.16 c (196,183) Order
253.09/197.16 c (196,183) ===========================================
258.78/202.04 c (201,187) translated 366964 (10%) constraints
264.80/207.17 c (206,192) translated 733928 (20%) constraints
269.68/212.01 c (211,197) translated 1100892 (30%) constraints
276.35/217.36 c (216,202) translated 1467855 (40%) constraints
283.06/222.75 c (222,207) translated 1834819 (50%) constraints
289.75/228.15 c (227,212) translated 2201783 (60%) constraints
294.77/233.18 c (232,217) translated 2568746 (70%) constraints
301.48/238.62 c (238,222) translated 2935710 (80%) constraints
308.39/244.13 c (243,227) translated 3302674 (90%) constraints
313.39/249.15 c (248,232) translated 3669637 (100%) constraints
313.39/249.15 c (248,232) CSP to CSPinCNF End
313.53/249.27 c (248,232) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
313.53/249.27 c (248,232) Heap : 7961 MiB used (max 10841 MiB), NonHeap : 27 MiB used (max 0 MiB)
313.53/249.27 c (248,232) CSPinCNF Propagation Begin
348.20/270.03 c (269,248) 0 values, 15 unsatisfiable literals, and 0 valid clauses are removed
348.20/270.03 c (269,248) CSPinCNF Propagation End
348.31/270.14 c (269,249) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
348.31/270.14 c (269,249) Heap : 9381 MiB used (max 10885 MiB), NonHeap : 28 MiB used (max 0 MiB)
348.31/270.14 c (269,249) Simplify CSPinCNF Begin
360.09/277.42 c (276,254) Simplify CSPinCNF End
360.19/277.54 c (277,254) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
360.19/277.54 c (277,254) Heap : 9622 MiB used (max 10213 MiB), NonHeap : 27 MiB used (max 0 MiB)
360.19/277.54 c (277,254) Calculate Precise Domain Begin
360.19/277.54 c (277,254) 0 values are removed by re-calculation
360.19/277.54 c (277,254) Calculate Precise Domain End
360.29/277.65 c (277,255) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
360.29/277.65 c (277,255) Heap : 9622 MiB used (max 10213 MiB), NonHeap : 28 MiB used (max 0 MiB)
360.29/277.65 c (277,255) CSPinCNF to SatSolver Begin
416.62/293.37 c (292,257) 366964 (10 %) CSP clauses are encoded (369886 SAT variables, 368307 SAT clauses)
418.58/295.16 c (294,258) 733928 (20 %) CSP clauses are encoded (369886 SAT variables, 735271 SAT clauses)
420.48/296.96 c (296,260) 1100892 (30 %) CSP clauses are encoded (369886 SAT variables, 1102235 SAT clauses)
422.30/298.72 c (298,262) 1467855 (40 %) CSP clauses are encoded (369886 SAT variables, 1469198 SAT clauses)
424.04/300.48 c (299,264) 1834819 (50 %) CSP clauses are encoded (369886 SAT variables, 1836162 SAT clauses)
425.81/302.48 c (301,266) 2201783 (60 %) CSP clauses are encoded (369886 SAT variables, 2203126 SAT clauses)
427.63/304.27 c (303,267) 2568746 (70 %) CSP clauses are encoded (369886 SAT variables, 2570089 SAT clauses)
429.46/306.06 c (305,269) 2935710 (80 %) CSP clauses are encoded (369886 SAT variables, 2937053 SAT clauses)
431.26/307.86 c (307,271) 3302674 (90 %) CSP clauses are encoded (369886 SAT variables, 3304017 SAT clauses)
433.09/309.65 c (309,273) 3669637 (100 %) CSP clauses are encoded (369886 SAT variables, 3670980 SAT clauses)
433.09/309.65 c (309,273) CSPinCNF to SatSolver End
433.09/309.65 c (309,273) Heap : 3745 MiB used (max 10621 MiB), NonHeap : 29 MiB used (max 0 MiB)
441.91/318.03 c (317,281) STATISTICS2:HOME/instance-4294920-1532536816.xml,ExtensionSupport:IntVar,368542,3669637,-1,26,27,1,,26:5758368;2:6862760,27:390;26:160;25:146;24:250;23:292;22:390;21:355;20:429;19:476;18:596;17:528;16:667;15:796;14:1105;13:1386;12:1570;11:2429;10:2988;9:4326;8:6769;7:9983;6:18134;5:31343;4:1959582;3:889262;2:735285,1:12621128,
441.91/318.03 c (317,281) SatSolver.solve Begin
441.91/318.03 c (317,281) 369886 bool, 3670981 clause
441.91/318.03 c (317,281) 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-4294920-1532536816.xml-scop-29819.cnf HOME/instance-4294920-1532536816.xml-scop-29819.cnf.out
443.02/319.01 c (318,0) receiving signal SIGTERM
443.02/319.01 s UNKNOWN
443.02/319.02 c (318,281) SatSolver is killed by some reasons.
443.02/319.02 c (318,281) 0,0,248,269,277,277,309,TO,TO,STOP-AFTER(DIMACS)
443.02/319.02 c END-Prog: Wed Jul 25 18:45:36 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 (441 MiB free)
memory of node 1: 16384 MiB (11843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294920-1532536816/watcher-4294920-1532536816 -o /tmp/evaluation-result-4294920-1532536816/solver-4294920-1532536816 -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-4294920-1532536816.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=29819, runsolver pid=29816
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 3.46 4.09 3.64 3/216 29834
/proc/meminfo: memFree=12521092/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15011656 memory=73440 CPUtime=0.11 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 7080 0 0 0 9 2 0 0 20 0 15 0 71244822 15371935744 18360 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3752914 18360 2782 1 0 3715374 0
[pid=29819/tid=29821] ppid=29816 vsize=15011656 memory=-8556449466809749887 CPUtime=0.08 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) R 29816 29819 29212 0 -1 4202560 5177 0 0 0 7 1 0 0 20 0 15 0 71244822 15371935744 18426 33554432000 4194304 4196468 140736554387584 139629561069960 139629569534800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 18426 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 18426 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 18426 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 18426 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 18426 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 18426 33554432000 4194304 4196468 140736554387584 139628178826144 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 18426 33554432000 4194304 4196468 140736554387584 139628044604400 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 18426 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) S 29816 29819 29212 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 18426 33554432000 4194304 4196468 140736554387584 139628559407600 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 18426 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0.01 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 71244829 15371935744 18492 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 18492 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 18492 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73440 KiB
[startup+0.210425 s]*
/proc/loadavg: 3.46 4.09 3.64 3/216 29834
/proc/meminfo: memFree=12507636/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15011656 memory=84700 CPUtime=0.26 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 10126 0 0 0 23 3 0 0 20 0 15 0 71244822 15371935744 21175 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3752914 21175 2916 1 0 3715374 0
[pid=29819/tid=29821] ppid=29816 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) R 29816 29819 29212 0 -1 4202560 8010 0 0 0 18 2 0 0 20 0 15 0 71244822 15371935744 21175 33554432000 4194304 4196468 140736554387584 139629561084480 139629068103317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15011656 memory=342 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 21175 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15011656 memory=3690330242881066656 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 21175 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 21175 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 21175 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628178826144 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628044604400 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 21175 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) R 29816 29819 29212 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 71244829 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628559407600 139629568421136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) R 29816 29819 29212 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0.03 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 281 0 0 0 3 0 0 0 20 0 15 0 71244829 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 21175 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 21175 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84700 KiB
[startup+0.310462 s]*
/proc/loadavg: 3.46 4.09 3.64 3/216 29834
/proc/meminfo: memFree=12503976/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15011656 memory=88172 CPUtime=0.43 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 10674 0 0 0 40 3 0 0 20 0 15 0 71244822 15371935744 22043 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3752914 22043 2991 1 0 3715374 0
[pid=29819/tid=29821] ppid=29816 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) R 29816 29819 29212 0 -1 4202560 8389 0 0 0 27 3 0 0 20 0 15 0 71244822 15371935744 22043 33554432000 4194304 4196468 140736554387584 139629561085600 139629589279322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15011656 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 22043 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15011656 memory=3545089154898368160 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 22043 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 22043 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15371935744 22043 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628178826144 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71244826 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628044604400 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 22043 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) S 29816 29819 29212 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 71244829 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628559407600 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 71244829 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0.07 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 15 0 71244829 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 22043 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15011656 memory=140275993974400 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244829 15371935744 22043 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88172 KiB
[startup+0.7007 s]
/proc/loadavg: 3.46 4.09 3.64 4/216 29834
/proc/meminfo: memFree=12479684/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15017928 memory=131024 CPUtime=1.01 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 17481 0 0 0 96 5 0 0 20 0 15 0 71244822 15378358272 32244 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3754482 32756 3148 1 0 3715886 0
[pid=29819/tid=29821] ppid=29816 vsize=15017928 memory=9944 CPUtime=0.67 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) R 29816 29819 29212 0 -1 4202560 14720 0 0 0 63 4 0 0 20 0 15 0 71244822 15378358272 32756 33554432000 4194304 4196468 140736554387584 139629561094224 139629589279901 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15017928 memory=15104 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15378358272 32756 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15017928 memory=640 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15378358272 32756 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15017928 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15378358272 32756 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15017928 memory=960 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15378358272 32756 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15017928 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71244826 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15017928 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71244826 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628178826144 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15017928 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71244826 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628044604400 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15017928 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15378358272 32756 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15017928 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) R 29816 29819 29212 0 -1 4202560 523 0 0 0 7 0 0 0 20 0 15 0 71244829 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628559407600 139629572642575 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15017928 memory=7019257425709197167 CPUtime=0.09 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 484 0 0 0 9 0 0 0 20 0 15 0 71244829 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15017928 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 393 0 0 0 16 0 0 0 20 0 15 0 71244829 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15378358272 32756 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15017928 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244829 15378358272 32756 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131024 KiB
[startup+1.50172 s]
/proc/loadavg: 3.46 4.09 3.64 7/216 29834
/proc/meminfo: memFree=12335644/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15022100 memory=421972 CPUtime=3.21 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 20181 0 0 0 311 10 0 0 20 0 15 0 71244822 15382630400 105493 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3755525 105493 3198 1 0 3716910 0
[pid=29819/tid=29821] ppid=29816 vsize=15022100 memory=366776 CPUtime=1.47 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) R 29816 29819 29212 0 -1 4202560 15814 0 0 0 138 9 0 0 20 0 15 0 71244822 15382630400 105493 33554432000 4194304 4196468 140736554387584 139629561091400 139629069500609 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15382630400 105493 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15382630400 105493 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71244824 15382630400 105493 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71244824 15382630400 105493 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71244826 15382630400 105493 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
################
# More data... #
################
[pid=29819/tid=29827] ppid=29816 vsize=15024148 memory=7023328 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 71244826 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139628178826208 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15024148 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 71244826 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139628044604416 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15024148 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15024148 memory=3544 CPUtime=7.37 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) S 29816 29819 29212 0 -1 1077944384 14116 0 0 0 735 2 0 0 20 0 15 0 71244829 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139628559407600 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15024148 memory=18424 CPUtime=6.92 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 11412 0 0 0 691 1 0 0 20 0 15 0 71244829 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15024148 memory=7023328 CPUtime=1.1 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 9612 0 0 0 108 2 0 0 20 0 15 0 71244829 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15024148 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15024148 memory=7187168 CPUtime=0.09 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 187 0 0 0 4 5 0 0 20 0 15 0 71244829 15384727552 1796792 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 211.92 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 7187168 KiB
[startup+222.301 s]
/proc/loadavg: 2.12 3.03 3.31 3/216 29837
/proc/meminfo: memFree=4151288/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15024148 memory=8392148 CPUtime=282.66 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 107485 0 0 0 27728 538 0 0 20 0 15 0 71244822 15384727552 2098037 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3756037 2098037 3239 1 0 3717422 0
[pid=29819/tid=29821] ppid=29816 vsize=15024148 memory=140275993974400 CPUtime=207.56 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) R 29816 29819 29212 0 -1 4202560 32363 0 0 0 20708 48 0 0 20 0 15 0 71244822 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139629561096672 139629069157760 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15024148 memory=8392148 CPUtime=14.55 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 5911 0 0 0 1335 120 0 0 20 0 15 0 71244824 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15024148 memory=8183252 CPUtime=14.6 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 6805 0 0 0 1341 119 0 0 20 0 15 0 71244824 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15024148 memory=7884188 CPUtime=14.55 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 6506 0 0 0 1337 118 0 0 20 0 15 0 71244824 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15024148 memory=7972252 CPUtime=14.55 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 6689 0 0 0 1337 118 0 0 20 0 15 0 71244824 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15024148 memory=8183252 CPUtime=0.05 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 2161 0 0 0 5 0 0 0 20 0 15 0 71244826 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15024148 memory=8183252 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 71244826 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628178826208 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15024148 memory=9944 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71244826 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628044604416 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15024148 memory=8183252 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15024148 memory=3544 CPUtime=7.9 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) S 29816 29819 29212 0 -1 1077944384 16484 0 0 0 787 3 0 0 20 0 15 0 71244829 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628559407600 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15024148 memory=8392148 CPUtime=7.47 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 13812 0 0 0 746 1 0 0 20 0 15 0 71244829 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15024148 memory=8392148 CPUtime=1.22 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 15141 0 0 0 120 2 0 0 20 0 15 0 71244829 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15024148 memory=8392148 CPUtime=0.13 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 230 0 0 0 6 7 0 0 20 0 15 0 71244829 15384727552 2098037 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 282.66 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 8392148 KiB
[startup+282.301 s]
/proc/loadavg: 3.23 3.18 3.34 6/216 29838
/proc/meminfo: memFree=593984/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15026264 memory=11708952 CPUtime=378.71 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 162552 0 0 0 36973 898 0 0 20 0 15 0 71244822 15386894336 2927238 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3756566 2927238 3269 1 0 3717422 0
[pid=29819/tid=29821] ppid=29816 vsize=15026264 memory=10135088 CPUtime=255.66 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) S 29816 29819 29212 0 -1 1077944384 35630 0 0 0 25518 48 0 0 20 0 15 0 71244822 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139629561096560 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15026264 memory=8820192 CPUtime=26.35 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) R 29816 29819 29212 0 -1 4202560 16837 0 0 0 2423 212 0 0 20 0 15 0 71244824 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139629593500632 139629570867758 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15026264 memory=9037280 CPUtime=26.3 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) R 29816 29819 29212 0 -1 4202560 17983 0 0 0 2424 206 0 0 20 0 15 0 71244824 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139629392276256 139629573958666 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15026264 memory=9698864 CPUtime=26.4 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) R 29816 29819 29212 0 -1 4202560 22409 0 0 0 2431 209 0 0 20 0 15 0 71244824 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139629391224024 139629573958637 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15026264 memory=10593904 CPUtime=26.39 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) R 29816 29819 29212 0 -1 4202560 12614 0 0 0 2435 204 0 0 20 0 15 0 71244824 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139629390171480 139629573958608 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15026264 memory=11659104 CPUtime=0.07 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 4104 0 0 0 7 0 0 0 20 0 15 0 71244826 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628560458304 139629589268181 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15026264 memory=11706104 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 71244826 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628178826208 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15026264 memory=11708052 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71244826 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628044604416 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15026264 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15026264 memory=11097736 CPUtime=8.17 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) S 29816 29819 29212 0 -1 1077944384 18370 0 0 0 814 3 0 0 20 0 15 0 71244829 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628559392592 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15026264 memory=11097736 CPUtime=7.79 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 15322 0 0 0 777 2 0 0 20 0 15 0 71244829 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628558345696 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15026264 memory=11636600 CPUtime=1.31 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 17636 0 0 0 129 2 0 0 20 0 15 0 71244829 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15026264 memory=11630528 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71244829 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15026264 memory=11707152 CPUtime=0.16 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 262 0 0 0 7 9 0 0 20 0 15 0 71244829 15386894336 2927238 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 378.71 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 11708952 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+319.001 s]*
/proc/loadavg: 3.57 3.28 3.37 6/220 29845
/proc/meminfo: memFree=245988/32770624 swapFree=67076452/67108860
[pid=29819] ppid=29816 vsize=15681864 memory=11758188 CPUtime=442.07 cores=1,3,5,7
/proc/29819/stat : 29819 (java) S 29816 29819 29212 0 -1 1077944320 180218 0 0 0 43294 913 0 0 20 0 19 0 71244822 16058228736 2939547 33554432000 4194304 4196468 140736554387584 140736554370128 139629589257975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
/proc/29819/statm: 3920466 2939547 3276 1 0 3881322 0
[pid=29840] ppid=29819 vsize=263668 memory=214280 CPUtime=0.95 cores=1,3,5,7
/proc/29840/stat : 29840 (minisat_release) R 29819 29819 29212 0 -1 4202496 58147 0 0 0 84 11 0 0 20 0 1 0 71276627 269996032 53570 33554432000 4194304 4308513 140727067492128 140727066440536 4279516 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 28733440 140727067497135 140727067497646 140727067497646 140727067500485 0
/proc/29840/statm: 65917 53570 316 28 0 62157 0
[pid=29819/tid=29821] ppid=29816 vsize=15681864 memory=2764 CPUtime=282.05 cores=1,3,5,7
/proc/29819/task/29821/stat : 29821 (java) S 29816 29819 29212 0 -1 1077944384 38914 0 0 0 28145 60 0 0 20 0 19 0 71244822 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139629561097216 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29822] ppid=29816 vsize=15681864 memory=-7824251494390455395 CPUtime=35.37 cores=1,3,5,7
/proc/29819/task/29822/stat : 29822 (java) S 29816 29819 29212 0 -1 1077944384 17570 0 0 0 3325 212 0 0 20 0 19 0 71244824 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139629593500432 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29823] ppid=29816 vsize=15681864 memory=9944 CPUtime=35.18 cores=1,3,5,7
/proc/29819/task/29823/stat : 29823 (java) S 29816 29819 29212 0 -1 1077944384 18705 0 0 0 3312 206 0 0 20 0 19 0 71244824 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139629392276368 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29824] ppid=29816 vsize=15681864 memory=15104 CPUtime=35.42 cores=1,3,5,7
/proc/29819/task/29824/stat : 29824 (java) S 29816 29819 29212 0 -1 1077944384 22845 0 0 0 3333 209 0 0 20 0 19 0 71244824 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139629391223824 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29825] ppid=29816 vsize=15681864 memory=640 CPUtime=35.4 cores=1,3,5,7
/proc/29819/task/29825/stat : 29825 (java) S 29816 29819 29212 0 -1 1077944384 13299 0 0 0 3336 204 0 0 20 0 19 0 71244824 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139629390171280 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29826] ppid=29816 vsize=15681864 memory=1760 CPUtime=0.22 cores=1,3,5,7
/proc/29819/task/29826/stat : 29826 (java) S 29816 29819 29212 0 -1 1077944384 14018 0 0 0 20 2 0 0 20 0 19 0 71244826 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628560459760 139629589269122 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29827] ppid=29816 vsize=15681864 memory=960 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29827/stat : 29827 (java) S 29816 29819 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71244826 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628178826208 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29828] ppid=29816 vsize=15681864 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29828/stat : 29828 (java) S 29816 29819 29212 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 71244826 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628044604416 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29829] ppid=29816 vsize=15681864 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29829/stat : 29829 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71244829 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139627670100176 139629589276571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29830] ppid=29816 vsize=15681864 memory=2164 CPUtime=8.57 cores=1,3,5,7
/proc/29819/task/29830/stat : 29830 (java) S 29816 29819 29212 0 -1 1077944384 19232 0 0 0 854 3 0 0 20 0 19 0 71244829 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628559407600 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29831] ppid=29816 vsize=15681864 memory=3700 CPUtime=8.17 cores=1,3,5,7
/proc/29819/task/29831/stat : 29831 (java) S 29816 29819 29212 0 -1 1077944384 16080 0 0 0 815 2 0 0 20 0 19 0 71244829 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628558355056 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29832] ppid=29816 vsize=15681864 memory=844 CPUtime=1.4 cores=1,3,5,7
/proc/29819/task/29832/stat : 29832 (java) S 29816 29819 29212 0 -1 1077944384 17788 0 0 0 137 3 0 0 20 0 19 0 71244829 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628557302512 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29833] ppid=29816 vsize=15681864 memory=1460 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29833/stat : 29833 (java) S 29816 29819 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71244829 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139627172195424 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29834] ppid=29816 vsize=15681864 memory=2160 CPUtime=0.18 cores=1,3,5,7
/proc/29819/task/29834/stat : 29834 (java) S 29816 29819 29212 0 -1 1077944384 264 0 0 0 8 10 0 0 20 0 19 0 71244829 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628556249392 139629589269122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29841] ppid=29816 vsize=15681864 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29841/stat : 29841 (java) S 29816 29819 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71276627 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139628539982912 139629589282585 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29843] ppid=29816 vsize=15681864 memory=824 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29843/stat : 29843 (java) S 29816 29819 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 71276627 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139626635308688 139629589279901 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29844] ppid=29816 vsize=15681864 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29844/stat : 29844 (java) S 29816 29819 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71276627 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139626769530640 139629589279901 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
[pid=29819/tid=29845] ppid=29816 vsize=15681864 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/29819/task/29845/stat : 29845 (java) S 29816 29819 29212 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 71276629 16058228736 2939547 33554432000 4194304 4196468 140736554387584 139626366885408 139629589268181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28979200 140736554394612 140736554394889 140736554394889 140736554397647 0
Current children cumulated CPU time: 443.02 s
Current children cumulated vsize: 15945532 KiB
Current children cumulated memory: 11972468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+319.096 s]
# the end of solver process 29819 was just reported to runsolver
# cumulated CPU time of all completed processes: user=433.788 s, system=9.33388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 319.096
CPU time (s): 443.122
CPU user time (s): 433.788
CPU system time (s): 9.33388
CPU usage (%): 138.868
Max. virtual memory (cumulated for all children) (KiB): 15945532
Max. memory (cumulated for all children) (KiB): 11972468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.788
system time used= 9.33388
maximum resident set size= 11758392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 165080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13472
involuntary context switches= 2174
# summary of solver processes directly reported to runsolver:
# pid: 29819
# total CPU time (s): 443.122
# total CPU user time (s): 433.788
# total CPU system time (s): 9.33388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.4194 second user time and 2.57526 second system time
The end