0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 08:09:18 CEST 2018
0.66/0.55 c PID: 6643
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.93/1.12 c (0,0) Parsing End
1.93/1.13 c (0,0) CSP: 590 int (0 aux), 0 bool (0 aux), 270 ctr, max domain size 190
1.93/1.13 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.93/1.13 c (0,0) Constraint Name Generate Begin
1.93/1.14 c (0,0) Ctr:HOME/instance-4295796-1532585357.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.93/1.14 c (0,0) Constraint Name Generate End
1.93/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.93/1.14 c (0,0) CSP to CSPinCNF Begin
7.74/3.38 c (2,2) translated 27 (10%) constraints
9.28/4.59 c (4,4) translated 54 (20%) constraints
10.53/5.79 c (5,5) translated 81 (30%) constraints
11.76/6.98 c (6,6) translated 108 (40%) constraints
13.03/8.18 c (7,7) translated 135 (50%) constraints
15.03/9.50 c (8,8) translated 162 (60%) constraints
16.05/10.59 c (10,9) translated 189 (70%) constraints
20.53/12.13 c (11,11) translated 216 (80%) constraints
21.12/12.60 c (12,11) translated 243 (90%) constraints
22.16/12.90 c (12,12) translated 270 (100%) constraints
24.61/14.00 c (13,13) STATISTICS1:HOME/instance-4295796-1532585357.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,48490,229956,549755813888,190,190,40,549755813888:400;137438953472:400;512:38;190:16110;19:3810;1:1845,190:170820;19:171480;2:346240;1:9500,190:2;20:610;19:190;18:190;17:190;16:190;15:190;14:190;13:190;12:190;11:190;10:190;9:190;8:190;7:190;6:190;5:190;4:64790;3:54930;2:106135;1:639,40:400;38:400;10:38;2:21765;1:639320;0:190,
24.61/14.00 c (13,13) ===========================================
24.61/14.00 c (13,13) Order
24.61/14.00 c (13,13) ===========================================
26.05/14.45 c (13,13) translated 22996 (10%) constraints
27.42/15.00 c (14,13) translated 45992 (20%) constraints
27.86/15.32 c (14,14) translated 68987 (30%) constraints
28.16/15.62 c (15,14) translated 91983 (40%) constraints
28.46/15.93 c (15,14) translated 114978 (50%) constraints
28.76/16.23 c (15,15) translated 137974 (60%) constraints
29.06/16.54 c (16,15) translated 160970 (70%) constraints
29.36/16.85 c (16,15) translated 183965 (80%) constraints
30.87/17.48 c (16,16) translated 206961 (90%) constraints
35.13/19.25 c (18,18) translated 229956 (100%) constraints
35.13/19.25 c (18,18) CSP to CSPinCNF End
35.13/19.27 c (18,18) CSP: 4990 int (4400 aux), 56090 bool (56090 aux), 253765 ctr, max domain size 188
35.13/19.27 c (18,18) Heap : 1886 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
35.13/19.27 c (18,18) CSPinCNF Propagation Begin
39.09/21.49 c (20,20) 6283 values, 24409 unsatisfiable literals, and 17681 valid clauses are removed
39.09/21.49 c (20,20) CSPinCNF Propagation End
39.23/21.51 c (20,20) CSP: 9420 int (8830 aux), 51660 bool (51660 aux), 236084 ctr, max domain size 188
39.23/21.51 c (20,20) Heap : 515 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.23/21.51 c (20,20) Simplify CSPinCNF Begin
40.62/22.58 c (22,21) Simplify CSPinCNF End
40.73/22.61 c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
40.73/22.61 c (22,21) Heap : 1082 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
40.73/22.61 c (22,21) Calculate Precise Domain Begin
40.73/22.67 c (22,21) 1387 values are removed by re-calculation
40.73/22.67 c (22,21) Calculate Precise Domain End
40.98/22.70 c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
40.98/22.70 c (22,21) Heap : 1082 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
40.98/22.70 c (22,21) CSPinCNF to SatSolver Begin
41.77/23.04 c (22,21) 27841 (10 %) CSP clauses are encoded (146200 SAT variables, 75240 SAT clauses)
41.89/23.18 c (22,21) 55681 (20 %) CSP clauses are encoded (146200 SAT variables, 103080 SAT clauses)
42.08/23.31 c (22,21) 83522 (30 %) CSP clauses are encoded (146200 SAT variables, 130921 SAT clauses)
42.18/23.44 c (22,22) 111362 (40 %) CSP clauses are encoded (146200 SAT variables, 158761 SAT clauses)
42.28/23.58 c (23,22) 139202 (50 %) CSP clauses are encoded (146200 SAT variables, 186601 SAT clauses)
42.49/23.71 c (23,22) 167043 (60 %) CSP clauses are encoded (146200 SAT variables, 214442 SAT clauses)
48.65/28.56 c (28,26) 194883 (70 %) CSP clauses are encoded (146200 SAT variables, 2107607 SAT clauses)
57.16/35.61 c (35,32) 222724 (80 %) CSP clauses are encoded (146200 SAT variables, 5297057 SAT clauses)
61.03/39.07 c (38,35) 250564 (90 %) CSP clauses are encoded (146200 SAT variables, 6460482 SAT clauses)
61.79/39.62 c (39,36) 278404 (100 %) CSP clauses are encoded (146200 SAT variables, 6609030 SAT clauses)
61.79/39.62 c (39,36) CSPinCNF to SatSolver End
61.79/39.62 c (39,36) Heap : 2224 MiB used (max 10826 MiB), NonHeap : 32 MiB used (max 0 MiB)
63.34/40.49 c (39,36) STATISTICS2:HOME/instance-4295796-1532585357.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,103400,278404,512,188,19,10,512:36;188:32220;128:680;64:3400;27:153;21:306;19:2010;18:5247;16:88;14:34;12:54;10:2;9:2340;8:646;4:260;1:2880,188:202660;19:154340;18:25380;9:612;8:50;7:680;6:108;5:10;4:120;3:11520;2:432320;1:6680,19:360;18:360;17:180;16:180;15:180;14:180;13:180;12:180;11:180;10:218;9:180;8:180;7:180;6:180;5:180;4:61380;3:49470;2:156420;1:8036,10:36;8:2400;7:2400;3:3190;2:42330;1:703890,
63.34/40.49 c (39,36) SatSolver.solve Begin
63.34/40.49 c (39,36) 146200 bool, 6609048 clause
63.34/40.49 c (39,36) 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-4295796-1532585357.xml-scop-6643.cnf HOME/instance-4295796-1532585357.xml-scop-6643.cnf.out
64.29/41.20 c (40,0) receiving signal SIGTERM
64.29/41.20 s UNKNOWN
64.29/41.21 c (40,37) SatSolver is killed by some reasons.
64.29/41.21 c (40,37) 0,0,18,20,22,22,39,TO,TO,STOP-AFTER(DIMACS)
64.29/41.21 c END-Prog: Thu Jul 26 08:09:58 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 (6574 MiB free)
memory of node 1: 16384 MiB (13996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295796-1532585357/watcher-4295796-1532585357 -o /tmp/evaluation-result-4295796-1532585357/solver-4295796-1532585357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295796-1532585357.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
Current StackSize limit: 8192 KiB
solver pid=6643, runsolver pid=6640
[startup+0.100115 s]*
/proc/loadavg: 2.67 2.21 2.10 3/215 6658
/proc/meminfo: memFree=21003728/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15011656 memory=72464 CPUtime=0.11 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 6284 0 0 0 9 2 0 0 20 0 15 0 76098981 15371935744 18116 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3752914 18116 2776 1 0 3715374 0
[pid=6643/tid=6645] ppid=6640 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) R 6640 6643 32649 0 -1 4202560 4503 0 0 0 8 1 0 0 20 0 15 0 76098982 15371935744 18248 33554432000 4194304 4196468 140728394507296 140455021433016 140455029896999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 18248 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 18248 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 18248 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 18248 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098985 15371935744 18248 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76098985 15371935744 18248 33554432000 4194304 4196468 140728394507296 140453617853344 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098986 15371935744 18248 33554432000 4194304 4196468 140728394507296 140453349417968 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 18314 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 32649 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 18314 33554432000 4194304 4196468 140728394507296 140454019455472 140455049632386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 18314 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 32649 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 18314 33554432000 4194304 4196468 140728394507296 140454017350384 140455049632386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 18314 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 18314 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72464 KiB
[startup+0.210322 s]*
/proc/loadavg: 2.67 2.21 2.10 3/215 6658
/proc/meminfo: memFree=20990024/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15011656 memory=85288 CPUtime=0.25 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 9848 0 0 0 22 3 0 0 20 0 15 0 76098981 15371935744 21322 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3752914 21322 2850 1 0 3715374 0
[pid=6643/tid=6645] ppid=6640 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) R 6640 6643 32649 0 -1 4202560 7753 0 0 0 18 2 0 0 20 0 15 0 76098982 15371935744 21322 33554432000 4194304 4196468 140728394507296 140455021447632 140455049633174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 21322 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15011656 memory=4049218947302327968 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098985 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76098985 15371935744 21322 33554432000 4194304 4196468 140728394507296 140453617853344 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098986 15371935744 21322 33554432000 4194304 4196468 140728394507296 140453349417968 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 21322 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) R 6640 6643 32649 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454019455472 140455034530697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) R 6640 6643 32649 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0.03 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) R 6640 6643 32649 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 76098988 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454017350384 140455049635088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 21322 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 21322 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85288 KiB
[startup+0.310225 s]*
/proc/loadavg: 2.67 2.21 2.10 3/215 6658
/proc/meminfo: memFree=20986200/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15011656 memory=89704 CPUtime=0.42 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 10463 0 0 0 39 3 0 0 20 0 15 0 76098981 15371935744 22426 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3752914 22426 2998 1 0 3715374 0
[pid=6643/tid=6645] ppid=6640 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 32649 0 -1 1077944384 8185 0 0 0 27 2 0 0 20 0 15 0 76098982 15371935744 22426 33554432000 4194304 4196468 140728394507296 140455021448736 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15011656 memory=4294967363 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 22426 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15011656 memory=139623375865472 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15011656 memory=279246425754528 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15011656 memory=279246588745040 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098985 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76098985 15371935744 22426 33554432000 4194304 4196468 140728394507296 140453617853344 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15011656 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098986 15371935744 22426 33554432000 4194304 4196468 140728394507296 140453349417968 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15011656 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 22426 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) R 6640 6643 32649 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 76098988 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454019455472 140455041910688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15011656 memory=139623212914319 CPUtime=0.02 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) R 6640 6643 32649 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 76098988 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15011656 memory=279246588765792 CPUtime=0.07 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) R 6640 6643 32649 0 -1 4202560 339 0 0 0 7 0 0 0 20 0 15 0 76098988 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454017350384 140455028639759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15011656 memory=139623212895759 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 22426 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15011656 memory=139623375865481 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098988 15371935744 22426 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89704 KiB
[startup+0.703809 s]
/proc/loadavg: 2.67 2.21 2.10 3/215 6658
/proc/meminfo: memFree=20961520/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15020052 memory=130180 CPUtime=1.01 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 17742 0 0 0 95 6 0 0 20 0 15 0 76098981 15380533248 32545 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3755013 32545 3168 1 0 3716398 0
[pid=6643/tid=6645] ppid=6640 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) R 6640 6643 32649 0 -1 4202560 14942 0 0 0 63 4 0 0 20 0 15 0 76098982 15380533248 32545 33554432000 4194304 4196468 140728394507296 140455021455760 140455033664869 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15380533248 32545 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15020052 memory=168184745307481 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15020052 memory=446415 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76098985 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76098985 15380533248 32545 33554432000 4194304 4196468 140728394507296 140453617853344 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098986 15380533248 32545 33554432000 4194304 4196468 140728394507296 140453349417968 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15380533248 32545 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 32649 0 -1 1077944384 615 0 0 0 8 0 0 0 20 0 15 0 76098988 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454019455472 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15020052 memory=-3535359994705171810 CPUtime=0.06 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 32649 0 -1 1077944384 341 0 0 0 6 0 0 0 20 0 15 0 76098988 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15020052 memory=8330969454845486047 CPUtime=0.16 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 32649 0 -1 1077944384 503 0 0 0 16 0 0 0 20 0 15 0 76098988 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454017350384 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15380533248 32545 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098988 15380533248 32545 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130180 KiB
[startup+1.50699 s]
/proc/loadavg: 2.67 2.21 2.10 5/215 6658
/proc/meminfo: memFree=20930316/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15024148 memory=169036 CPUtime=2.9 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 20845 0 0 0 282 8 0 0 20 0 15 0 76098981 15384727552 42259 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3756037 42259 3203 1 0 3717422 0
[pid=6643/tid=6645] ppid=6640 vsize=15024148 memory=7812449464821633632 CPUtime=1.47 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) R 6640 6643 32649 0 -1 4202560 16120 0 0 0 142 5 0 0 20 0 15 0 76098982 15384727552 42259 33554432000 4194304 4196468 140728394507296 140455021452384 140454513284415 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15024148 memory=7661861490498430572 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15384727552 42259 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15024148 memory=7661859278624024169 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098983 15384727552 42259 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15384727552 42259 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15024148 memory=10799 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098983 15384727552 42259 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15024148 memory=6442213902160126816 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76098985 15384727552 42259 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
################
# More data... #
################
[pid=6643/tid=6651] ppid=6640 vsize=15024148 memory=279244009649145 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76098985 15384727552 476552 33554432000 4194304 4196468 140728394507296 140453617853344 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15024148 memory=279246425600208 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76098986 15384727552 476552 33554432000 4194304 4196468 140728394507296 140453349417968 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15384727552 476552 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15024148 memory=164 CPUtime=2.06 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 32649 0 -1 1077944384 2025 0 0 0 205 1 0 0 20 0 15 0 76098988 15384727552 476552 33554432000 4194304 4196468 140728394507296 140454019455472 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15024148 memory=6656426216303648864 CPUtime=1.91 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 32649 0 -1 1077944384 1808 0 0 0 191 0 0 0 20 0 15 0 76098988 15384727552 476552 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15024148 memory=6944656592455360604 CPUtime=0.92 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 32649 0 -1 1077944384 3010 0 0 0 90 2 0 0 20 0 15 0 76098988 15384727552 476552 33554432000 4194304 4196468 140728394507296 140454017350384 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15024148 memory=6655300316396806192 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15384727552 476552 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 76098988 15384727552 476552 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 11.14 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1906208 KiB
[startup+12.701 s]
/proc/loadavg: 2.72 2.23 2.11 4/215 6658
/proc/meminfo: memFree=17404620/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15024148 memory=3168928 CPUtime=21.59 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 39552 0 0 0 2086 73 0 0 20 0 15 0 76098981 15384727552 792232 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3756037 792232 3222 1 0 3717422 0
[pid=6643/tid=6645] ppid=6640 vsize=15024148 memory=3131936 CPUtime=12.41 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) R 6640 6643 32649 0 -1 4202560 18379 0 0 0 1192 49 0 0 20 0 15 0 76098982 15384727552 792232 33554432000 4194304 4196468 140728394507296 140455021455424 140454507185877 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15024148 memory=3166820 CPUtime=0.17 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 142 0 0 0 13 4 0 0 20 0 15 0 76098983 15384727552 792232 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15024148 memory=3165440 CPUtime=0.17 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 88 0 0 0 13 4 0 0 20 0 15 0 76098983 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15024148 memory=33 CPUtime=0.16 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 102 0 0 0 13 3 0 0 20 0 15 0 76098983 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15024148 memory=4136 CPUtime=0.17 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 170 0 0 0 13 4 0 0 20 0 15 0 76098983 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15024148 memory=3131736 CPUtime=0.01 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 76098985 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15024148 memory=164 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 76098985 15384727552 792232 33554432000 4194304 4196468 140728394507296 140453617853408 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098986 15384727552 792232 33554432000 4194304 4196468 140728394507296 140453349417984 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15384727552 792232 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15024148 memory=55 CPUtime=3.61 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) R 6640 6643 32649 0 -1 4202560 5959 0 0 0 359 2 0 0 20 0 15 0 76098988 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454019437040 140455033527479 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15024148 memory=-7093856181963027648 CPUtime=3.45 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) R 6640 6643 32649 0 -1 4202560 6106 0 0 0 344 1 0 0 20 0 15 0 76098988 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454018390400 140455034736294 0 4 0 25189583 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15024148 memory=-8967360364490575553 CPUtime=1.35 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 32649 0 -1 1077944384 7247 0 0 0 133 2 0 0 20 0 15 0 76098988 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454017350384 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15024148 memory=279246425831808 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15384727552 792232 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15024148 memory=279246425836560 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 76098988 15384727552 792232 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 21.59 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3168928 KiB
[startup+25.5008 s]
/proc/loadavg: 2.40 2.19 2.10 6/215 6658
/proc/meminfo: memFree=16520896/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15028312 memory=3657560 CPUtime=45.37 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 60100 0 0 0 4398 139 0 0 20 0 15 0 76098981 15388991488 914390 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3757078 914390 3260 1 0 3717934 0
[pid=6643/tid=6645] ppid=6640 vsize=15028312 memory=3660800 CPUtime=24.37 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) R 6640 6643 32649 0 -1 4202560 21753 0 0 0 2384 53 0 0 20 0 15 0 76098982 15388991488 914390 33554432000 4194304 4196468 140728394507296 140455021457056 140454517312216 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15028312 memory=3580784 CPUtime=1 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 526 0 0 0 81 19 0 0 20 0 15 0 76098983 15388991488 914390 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15028312 memory=55 CPUtime=0.98 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 661 0 0 0 79 19 0 0 20 0 15 0 76098983 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15028312 memory=241 CPUtime=0.98 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 399 0 0 0 80 18 0 0 20 0 15 0 76098983 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15028312 memory=3131580 CPUtime=0.99 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 485 0 0 0 81 18 0 0 20 0 15 0 76098983 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15028312 memory=3411868 CPUtime=0.02 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 76098985 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15028312 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76098985 15388991488 914390 33554432000 4194304 4196468 140728394507296 140453617853408 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15028312 memory=3413892 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76098986 15388991488 914390 33554432000 4194304 4196468 140728394507296 140453349417984 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15028312 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15388991488 914390 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15028312 memory=0 CPUtime=7.71 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 32649 0 -1 1077944384 13077 0 0 0 769 2 0 0 20 0 15 0 76098988 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454019455472 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15028312 memory=139623375864289 CPUtime=7.44 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 32649 0 -1 1077944384 11175 0 0 0 742 2 0 0 20 0 15 0 76098988 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15028312 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 32649 0 -1 1077944384 10297 0 0 0 174 3 0 0 20 0 15 0 76098988 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454017350384 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15028312 memory=5792262874651971664 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76098988 15388991488 914390 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15028312 memory=7374469921005131344 CPUtime=0.01 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 15 0 76098988 15388991488 914390 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 45.37 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3657560 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+41.2008 s]
/proc/loadavg: 2.38 2.20 2.10 3/220 6664
/proc/meminfo: memFree=15154188/32770624 swapFree=67108860/67108860
[pid=6643] ppid=6640 vsize=15683912 memory=4117544 CPUtime=63.6 cores=1,3,5,7
/proc/6643/stat : 6643 (java) S 6640 6643 32649 0 -1 1077944320 63449 0 0 0 6146 214 0 0 20 0 19 0 76098981 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140728394489840 140455049621239 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
/proc/6643/statm: 3920978 1029386 3264 1 0 3881834 0
[pid=6659] ppid=6643 vsize=220128 memory=169848 CPUtime=0.69 cores=1,3,5,7
/proc/6659/stat : 6659 (minisat_release) R 6643 6643 32649 0 -1 4202496 33804 0 0 0 63 6 0 0 20 0 1 0 76103032 225411072 42462 33554432000 4194304 4308513 140721760635712 140721759584120 4219311 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 27348992 140721760641713 140721760642222 140721760642222 140721760645061 0
/proc/6659/statm: 55032 42462 316 28 0 51272 0
[pid=6643/tid=6645] ppid=6640 vsize=15683912 memory=-7023579799431922829 CPUtime=37.51 cores=1,3,5,7
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 32649 0 -1 1077944384 22766 0 0 0 3681 70 0 0 20 0 19 0 76098982 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140455021460480 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 96 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6646] ppid=6640 vsize=15683912 memory=4426639978525455914 CPUtime=1.9 cores=1,3,5,7
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 32649 0 -1 1077944384 883 0 0 0 157 33 0 0 20 0 19 0 76098983 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140455053863696 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6647] ppid=6640 vsize=15683912 memory=3047711553219693942 CPUtime=1.88 cores=1,3,5,7
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 32649 0 -1 1077944384 1018 0 0 0 155 33 0 0 20 0 19 0 76098983 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454829566864 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6648] ppid=6640 vsize=15683912 memory=4629546024076873078 CPUtime=1.86 cores=1,3,5,7
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 32649 0 -1 1077944384 667 0 0 0 154 32 0 0 20 0 19 0 76098983 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454828514320 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6649] ppid=6640 vsize=15683912 memory=-7521736447810188379 CPUtime=1.89 cores=1,3,5,7
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 32649 0 -1 1077944384 741 0 0 0 157 32 0 0 20 0 19 0 76098983 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454827461776 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6650] ppid=6640 vsize=15683912 memory=-8412652160765825907 CPUtime=0.03 cores=1,3,5,7
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 32649 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 19 0 76098985 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454020507632 140455049632386 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6651] ppid=6640 vsize=15683912 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 32649 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 76098985 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140453617853408 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6652] ppid=6640 vsize=15683912 memory=3927952 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76098986 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140453349417984 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6653] ppid=6640 vsize=15683912 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76098988 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140452974909648 140455049639835 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6654] ppid=6640 vsize=15683912 memory=288230583166042426 CPUtime=8.35 cores=1,3,5,7
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 32649 0 -1 1077944384 13297 0 0 0 833 2 0 0 20 0 19 0 76098988 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454019455472 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6655] ppid=6640 vsize=15683912 memory=13573716680378929 CPUtime=8.22 cores=1,3,5,7
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 32649 0 -1 1077944384 11535 0 0 0 820 2 0 0 20 0 19 0 76098988 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454018402928 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6656] ppid=6640 vsize=15683912 memory=1292 CPUtime=1.83 cores=1,3,5,7
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 32649 0 -1 1077944384 10741 0 0 0 179 4 0 0 20 0 19 0 76098988 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454017350384 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6657] ppid=6640 vsize=15683912 memory=5793152306545448292 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76098988 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140452477004896 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6658] ppid=6640 vsize=15683912 memory=7881696724453321575 CPUtime=0.01 cores=1,3,5,7
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 32649 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 19 0 76098988 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454016297264 140455049632386 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6660] ppid=6640 vsize=15683912 memory=6220993253238723945 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6660/stat : 6660 (java) S 6640 6643 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76103032 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140454826083392 140455049645849 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6662] ppid=6640 vsize=15683912 memory=-8412654363917126771 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6662/stat : 6662 (java) S 6640 6643 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 76103032 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140451940118064 140455049643165 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6663] ppid=6640 vsize=15683912 memory=-8033973737701895300 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6663/stat : 6663 (java) S 6640 6643 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 76103032 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140452074340016 140455049643165 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
[pid=6643/tid=6664] ppid=6640 vsize=15683912 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/6643/task/6664/stat : 6664 (java) S 6640 6643 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76103034 16060325888 1029386 33554432000 4194304 4196468 140728394507296 140451671694880 140455049631445 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39002112 140728394511347 140728394511625 140728394511625 140728394514383 0
Current children cumulated CPU time: 64.29 s
Current children cumulated vsize: 15904040 KiB
Current children cumulated memory: 4287392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+41.2572 s]
# the end of solver process 6643 was just reported to runsolver
# cumulated CPU time of all completed processes: user=62.1 s, system=2.26228 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 41.2572
CPU time (s): 64.3623
CPU user time (s): 62.1
CPU system time (s): 2.26228
CPU usage (%): 156.003
Max. virtual memory (cumulated for all children) (KiB): 15904040
Max. memory (cumulated for all children) (KiB): 4287392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.1
system time used= 2.26228
maximum resident set size= 4119936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97452
page faults= 0
swaps= 0
block input operations= 8
block output operations= 291032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8315
involuntary context switches= 202
# summary of solver processes directly reported to runsolver:
# pid: 6643
# total CPU time (s): 64.3623
# total CPU user time (s): 62.1
# total CPU system time (s): 2.26228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.274132 second user time and 0.436765 second system time
The end