0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Jul 26 01:12:03 CEST 2018
0.66/0.55 c PID: 3797
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.94/1.13 c (0,0) Parsing End
1.94/1.14 c (0,0) CSP: 590 int (0 aux), 0 bool (0 aux), 270 ctr, max domain size 190
1.94/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.14 c (0,0) Constraint Name Generate Begin
1.94/1.15 c (0,0) Ctr:HOME/instance-4295795-1532560322.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.94/1.15 c (0,0) Constraint Name Generate End
1.94/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.94/1.15 c (0,0) CSP to CSPinCNF Begin
7.84/3.44 c (2,2) translated 27 (10%) constraints
9.32/4.68 c (4,4) translated 54 (20%) constraints
10.65/5.91 c (5,5) translated 81 (30%) constraints
11.90/7.13 c (6,6) translated 108 (40%) constraints
13.12/8.36 c (7,7) translated 135 (50%) constraints
15.12/9.71 c (9,8) translated 162 (60%) constraints
16.24/10.84 c (10,10) translated 189 (70%) constraints
20.54/12.33 c (11,11) translated 216 (80%) constraints
21.60/12.81 c (12,11) translated 243 (90%) constraints
22.49/13.11 c (12,12) translated 270 (100%) constraints
25.00/14.16 c (13,13) STATISTICS1:HOME/instance-4295795-1532560322.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,
25.00/14.16 c (13,13) ===========================================
25.00/14.16 c (13,13) Both Encoding selects:
25.00/14.16 c (13,13) Order
25.00/14.16 c (13,13) ===========================================
26.47/14.60 c (14,13) translated 22996 (10%) constraints
27.73/15.15 c (14,14) translated 45992 (20%) constraints
28.02/15.46 c (14,14) translated 68987 (30%) constraints
28.33/15.77 c (15,14) translated 91983 (40%) constraints
28.63/16.07 c (15,15) translated 114978 (50%) constraints
28.94/16.38 c (15,15) translated 137974 (60%) constraints
29.24/16.68 c (16,15) translated 160970 (70%) constraints
29.54/16.99 c (16,15) translated 183965 (80%) constraints
31.21/17.66 c (17,16) translated 206961 (90%) constraints
35.10/19.43 c (18,18) translated 229956 (100%) constraints
35.10/19.43 c (18,18) CSP to CSPinCNF End
35.10/19.46 c (18,18) CSP: 4990 int (4400 aux), 56090 bool (56090 aux), 253765 ctr, max domain size 188
35.10/19.46 c (18,18) Heap : 1886 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
35.10/19.46 c (18,18) CSPinCNF Propagation Begin
40.93/21.90 c (21,20) 6283 values, 24409 unsatisfiable literals, and 17681 valid clauses are removed
40.93/21.90 c (21,20) CSPinCNF Propagation End
40.93/21.92 c (21,20) CSP: 9420 int (8830 aux), 51660 bool (51660 aux), 236084 ctr, max domain size 188
40.93/21.92 c (21,20) Heap : 515 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.93/21.92 c (21,20) Simplify CSPinCNF Begin
42.46/22.96 c (22,21) Simplify CSPinCNF End
42.46/23.00 c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
42.46/23.00 c (22,21) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
42.46/23.00 c (22,21) Calculate Precise Domain Begin
42.62/23.06 c (22,21) 1387 values are removed by re-calculation
42.62/23.06 c (22,21) Calculate Precise Domain End
42.62/23.09 c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
42.62/23.09 c (22,21) Heap : 1082 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
42.62/23.09 c (22,21) CSPinCNF to SatSolver Begin
43.54/23.43 c (22,22) 27841 (10 %) CSP clauses are encoded (146200 SAT variables, 75240 SAT clauses)
43.67/23.57 c (23,22) 55681 (20 %) CSP clauses are encoded (146200 SAT variables, 103080 SAT clauses)
43.77/23.70 c (23,22) 83522 (30 %) CSP clauses are encoded (146200 SAT variables, 130921 SAT clauses)
43.98/23.83 c (23,22) 111362 (40 %) CSP clauses are encoded (146200 SAT variables, 158761 SAT clauses)
44.07/23.96 c (23,22) 139202 (50 %) CSP clauses are encoded (146200 SAT variables, 186601 SAT clauses)
44.18/24.09 c (23,22) 167043 (60 %) CSP clauses are encoded (146200 SAT variables, 214442 SAT clauses)
50.48/28.68 c (28,26) 194883 (70 %) CSP clauses are encoded (146200 SAT variables, 2107607 SAT clauses)
59.26/36.44 c (35,33) 222724 (80 %) CSP clauses are encoded (146200 SAT variables, 5297057 SAT clauses)
63.33/39.42 c (38,36) 250564 (90 %) CSP clauses are encoded (146200 SAT variables, 6460482 SAT clauses)
64.03/40.24 c (39,36) 278404 (100 %) CSP clauses are encoded (146200 SAT variables, 6609030 SAT clauses)
64.03/40.24 c (39,36) CSPinCNF to SatSolver End
64.03/40.24 c (39,36) Heap : 2224 MiB used (max 10826 MiB), NonHeap : 32 MiB used (max 0 MiB)
65.36/41.08 c (40,37) STATISTICS2:HOME/instance-4295795-1532560322.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,
65.36/41.08 c (40,37) SatSolver.solve Begin
65.36/41.08 c (40,37) 146200 bool, 6609048 clause
65.36/41.08 c (40,37) 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-4295795-1532560322.xml-scop-3797.cnf HOME/instance-4295795-1532560322.xml-scop-3797.cnf.out
66.49/42.01 c (41,0) receiving signal SIGTERM
66.49/42.01 s UNKNOWN
66.49/42.02 c (41,37) SatSolver is killed by some reasons.
66.49/42.02 c (41,37) 0,0,18,21,22,22,39,TO,TO,STOP-AFTER(DIMACS)
66.49/42.02 c END-Prog: Thu Jul 26 01:12:44 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 (8214 MiB free)
memory of node 1: 16384 MiB (12295 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295795-1532560322/watcher-4295795-1532560322 -o /tmp/evaluation-result-4295795-1532560322/solver-4295795-1532560322 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295795-1532560322.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3797, runsolver pid=3794
[startup+0.100122 s]*
/proc/loadavg: 2.56 2.23 2.13 6/215 3812
/proc/meminfo: memFree=20846916/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15011656 memory=73232 CPUtime=0.1 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 7011 0 0 0 9 1 0 0 20 0 15 0 73595390 15371935744 18308 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3752914 18308 2731 1 0 3715374 0
[pid=3797/tid=3799] ppid=3794 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) R 3794 3797 29212 0 -1 4202560 5160 0 0 0 8 1 0 0 20 0 15 0 73595390 15371935744 18308 33554432000 4194304 4196468 140733914738720 139993557004680 139993568379521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15011656 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 18308 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 18308 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 18308 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 18308 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 18308 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 18373 33554432000 4194304 4196468 140733914738720 139992143750816 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 18373 33554432000 4194304 4196468 140733914738720 139991908869360 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 18373 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 18373 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) S 3794 3797 29212 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 18373 33554432000 4194304 4196468 140733914738720 139992990181744 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0.01 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 73595397 15371935744 18373 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 18373 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 18373 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73232 KiB
[startup+0.21049 s]*
/proc/loadavg: 2.56 2.23 2.13 7/215 3812
/proc/meminfo: memFree=20738600/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15011656 memory=86644 CPUtime=0.25 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 10568 0 0 0 22 3 0 0 20 0 15 0 73595390 15371935744 21661 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3752914 21661 2897 1 0 3715374 0
[pid=3797/tid=3799] ppid=3794 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) R 3794 3797 29212 0 -1 4202560 8492 0 0 0 18 2 0 0 20 0 15 0 73595390 15371935744 21661 33554432000 4194304 4196468 140733914738720 139993557019088 139993565468082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 21661 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15011656 memory=139991396952514 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 21661 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 21661 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 21661 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 21661 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 21661 33554432000 4194304 4196468 140733914738720 139992143750816 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 21661 33554432000 4194304 4196468 140733914738720 139991908869360 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 21661 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 21661 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) R 3794 3797 29212 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 15 0 73595397 15371935744 21661 33554432000 4194304 4196468 140733914738720 139992990181744 139993585203842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0.02 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) R 3794 3797 29212 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 15 0 73595397 15371935744 21661 33554432000 4194304 4196468 140733914738720 139992989128688 139993564656938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 21661 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 21661 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86644 KiB
[startup+0.310389 s]*
/proc/loadavg: 2.56 2.23 2.13 3/215 3812
/proc/meminfo: memFree=20698232/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15011656 memory=90096 CPUtime=0.42 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 11092 0 0 0 39 3 0 0 20 0 15 0 73595390 15371935744 22524 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3752914 22524 2984 1 0 3715374 0
[pid=3797/tid=3799] ppid=3794 vsize=15011656 memory=4638778402628129104 CPUtime=0.3 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) R 3794 3797 29212 0 -1 4202560 8857 0 0 0 27 3 0 0 20 0 15 0 73595390 15371935744 22524 33554432000 4194304 4196468 140733914738720 139993556996848 139993569273182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 22524 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15011656 memory=139991396554368 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 22524 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15011656 memory=279982475774880 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 22524 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595392 15371935744 22524 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15011656 memory=279982634444112 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 22524 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 22524 33554432000 4194304 4196468 140733914738720 139992143750816 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15011656 memory=64996 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595394 15371935744 22524 33554432000 4194304 4196468 140733914738720 139991908869360 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15011656 memory=67300 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 22524 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 73595397 15371935744 22524 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15011656 memory=139991237924495 CPUtime=0.03 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) R 3794 3797 29212 0 -1 4202560 527 0 0 0 3 0 0 0 20 0 15 0 73595397 15371935744 22524 33554432000 4194304 4196468 140733914738720 139992990181744 139993568693112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15011656 memory=279982634464864 CPUtime=0.07 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 15 0 73595397 15371935744 22524 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15011656 memory=139991237905935 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 22524 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15011656 memory=139991396554377 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595397 15371935744 22524 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90096 KiB
[startup+0.704552 s]
/proc/loadavg: 2.56 2.23 2.13 4/215 3812
/proc/meminfo: memFree=20674544/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15020084 memory=131532 CPUtime=0.98 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 18075 0 0 0 93 5 0 0 20 0 15 0 73595390 15380566016 32855 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3755013 32883 3149 1 0 3716398 0
[pid=3797/tid=3799] ppid=3794 vsize=15020052 memory=15316 CPUtime=0.67 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) D 3794 3797 29212 0 -1 1077944384 15435 0 0 0 63 4 0 0 20 0 15 0 73595390 15380533248 32883 33554432000 4194304 4196468 140733914738720 139993557009312 139993577871917 0 4 0 25189583 18446744072101764644 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15020052 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15380533248 32883 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15020084 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15380566016 32883 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15380533248 32883 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595392 15380533248 32883 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73595394 15380533248 32883 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73595394 15380533248 32883 33554432000 4194304 4196468 140733914738720 139992143750816 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595394 15380533248 32883 33554432000 4194304 4196468 140733914738720 139991908869360 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15020084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15380566016 32883 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15020052 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 15 0 73595397 15380533248 32883 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15020084 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) R 3794 3797 29212 0 -1 4202560 550 0 0 0 6 0 0 0 20 0 15 0 73595397 15380566016 32883 33554432000 4194304 4196468 140733914738720 139992990163312 139993571207004 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15020084 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 437 0 0 0 16 0 0 0 20 0 15 0 73595397 15380566016 32883 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15380533248 32883 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595397 15380533248 32883 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020084 KiB
Current children cumulated memory: 131532 KiB
[startup+1.501 s]
/proc/loadavg: 2.56 2.23 2.13 4/215 3812
/proc/meminfo: memFree=20643436/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15022100 memory=169040 CPUtime=2.87 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 21366 0 0 0 279 8 0 0 20 0 15 0 73595390 15382630400 42260 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3755525 42260 3203 1 0 3716910 0
[pid=3797/tid=3799] ppid=3794 vsize=15022100 memory=2244 CPUtime=1.47 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) R 3794 3797 29212 0 -1 4202560 16647 0 0 0 142 5 0 0 20 0 15 0 73595390 15382630400 42260 33554432000 4194304 4196468 140733914738720 139993557025200 139993067634340 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15382630400 42260 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15022100 memory=279982476011232 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15382630400 42260 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595392 15382630400 42260 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15022100 memory=279982476020224 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73595392 15382630400 42260 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73595394 15382630400 42260 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
################
# More data... #
################
[pid=3797/tid=3805] ppid=3794 vsize=15024148 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73595394 15384727552 464057 33554432000 4194304 4196468 140733914738720 139992143750816 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15024148 memory=288230377091498274 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73595394 15384727552 464057 33554432000 4194304 4196468 140733914738720 139991908869360 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15024148 memory=288287770756252889 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15384727552 464057 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15024148 memory=-1161699032755964503 CPUtime=1.89 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 1762 0 0 0 188 1 0 0 20 0 15 0 73595397 15384727552 464057 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15024148 memory=3544 CPUtime=2.03 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) S 3794 3797 29212 0 -1 1077944384 2171 0 0 0 202 1 0 0 20 0 15 0 73595397 15384727552 464057 33554432000 4194304 4196468 140733914738720 139992990181744 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15024148 memory=19132 CPUtime=0.92 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 2973 0 0 0 91 1 0 0 20 0 15 0 73595397 15384727552 464057 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15024148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15384727552 464057 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15024148 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15384727552 464057 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 11.06 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1856228 KiB
[startup+12.7008 s]
/proc/loadavg: 2.63 2.25 2.14 5/215 3812
/proc/meminfo: memFree=17361948/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15024148 memory=3164060 CPUtime=21.39 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 39130 0 0 0 2070 69 0 0 20 0 15 0 73595390 15384727552 791015 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3756037 791015 3222 1 0 3717422 0
[pid=3797/tid=3799] ppid=3794 vsize=15024148 memory=0 CPUtime=12.39 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) R 3794 3797 29212 0 -1 4202560 18865 0 0 0 1193 46 0 0 20 0 15 0 73595390 15384727552 791015 33554432000 4194304 4196468 140733914738720 139993557026976 139993067694388 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15024148 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 162 0 0 0 13 3 0 0 20 0 15 0 73595392 15384727552 791015 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15024148 memory=55 CPUtime=0.16 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 80 0 0 0 13 3 0 0 20 0 15 0 73595392 15384727552 791015 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15024148 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 127 0 0 0 12 3 0 0 20 0 15 0 73595392 15384727552 791015 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15024148 memory=8112282956445269571 CPUtime=0.17 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 128 0 0 0 14 3 0 0 20 0 15 0 73595392 15384727552 791015 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15024148 memory=7883944108235712103 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 73595394 15384727552 791015 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73595394 15384727552 791015 33554432000 4194304 4196468 140733914738720 139992143750880 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595394 15384727552 791015 33554432000 4194304 4196468 140733914738720 139991908869376 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15384727552 791015 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15024148 memory=89 CPUtime=3.37 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) R 3794 3797 29212 0 -1 4202560 7226 0 0 0 334 3 0 0 20 0 15 0 73595397 15384727552 791015 33554432000 4194304 4196468 140733914738720 139992991234288 139993566566145 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15024148 memory=0 CPUtime=3.57 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) S 3794 3797 29212 0 -1 1077944384 4947 0 0 0 356 1 0 0 20 0 15 0 73595397 15384727552 791015 33554432000 4194304 4196468 140733914738720 139992990181744 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15024148 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 6239 0 0 0 129 2 0 0 20 0 15 0 73595397 15384727552 791015 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15024148 memory=3162296 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15384727552 791015 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15024148 memory=-7663850633369056448 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15384727552 791015 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 21.39 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3164060 KiB
[startup+25.5008 s]
/proc/loadavg: 2.96 2.34 2.17 3/215 3812
/proc/meminfo: memFree=16466380/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15028312 memory=3665940 CPUtime=46.69 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 65567 0 0 0 4539 130 0 0 20 0 15 0 73595390 15388991488 916485 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3757078 916485 3260 1 0 3717934 0
[pid=3797/tid=3799] ppid=3794 vsize=15028312 memory=3585916 CPUtime=24.34 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) R 3794 3797 29212 0 -1 4202560 23014 0 0 0 2384 50 0 0 20 0 15 0 73595390 15388991488 916485 33554432000 4194304 4196468 140733914738720 139993557031840 139993076140247 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15028312 memory=279982476738016 CPUtime=0.99 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 573 0 0 0 82 17 0 0 20 0 15 0 73595392 15388991488 916485 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15028312 memory=1664 CPUtime=0.98 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 666 0 0 0 81 17 0 0 20 0 15 0 73595392 15388991488 916485 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15028312 memory=1828 CPUtime=0.97 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 476 0 0 0 81 16 0 0 20 0 15 0 73595392 15388991488 916485 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15028312 memory=3498532 CPUtime=0.99 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 442 0 0 0 82 17 0 0 20 0 15 0 73595392 15388991488 916485 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15028312 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 194 0 0 0 2 0 0 0 20 0 15 0 73595394 15388991488 916485 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15028312 memory=6298394465649383011 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 73595394 15388991488 916485 33554432000 4194304 4196468 140733914738720 139992143750880 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15028312 memory=7230358026662721856 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595394 15388991488 916485 33554432000 4194304 4196468 140733914738720 139991908869376 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15028312 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15388991488 916485 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15028312 memory=1664 CPUtime=8.09 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 15039 0 0 0 805 4 0 0 20 0 15 0 73595397 15388991488 916485 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15028312 memory=1828 CPUtime=8.38 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) R 3794 3797 29212 0 -1 4202560 14228 0 0 0 837 1 0 0 20 0 15 0 73595397 15388991488 916485 33554432000 4194304 4196468 140733914738720 139992990181744 139993564447057 0 4 0 25189583 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15028312 memory=5196 CPUtime=1.84 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 9574 0 0 0 180 4 0 0 20 0 15 0 73595397 15388991488 916485 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15028312 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73595397 15388991488 916485 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15028312 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 73595397 15388991488 916485 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 46.69 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3665940 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+42.0008 s]*
/proc/loadavg: 3.08 2.40 2.19 3/220 3818
/proc/meminfo: memFree=14716976/32770624 swapFree=67076648/67108860
[pid=3797] ppid=3794 vsize=15683912 memory=4120156 CPUtime=65.59 cores=0,2,4,6
/proc/3797/stat : 3797 (java) S 3794 3797 29212 0 -1 1077944320 68450 0 0 0 6343 216 0 0 20 0 19 0 73595390 16060325888 1030039 33554432000 4194304 4196468 140733914738720 140733914721264 139993585192695 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
/proc/3797/statm: 3920978 1030039 3264 1 0 3881834 0
[pid=3813] ppid=3797 vsize=250616 memory=220512 CPUtime=0.9 cores=0,2,4,6
/proc/3813/stat : 3813 (minisat_release) R 3797 3797 29212 0 -1 4202496 41068 0 0 0 81 9 0 0 20 0 1 0 73599500 256630784 55128 33554432000 4194304 4308513 140724754594432 140724753542840 4279516 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 13795328 140724754600625 140724754601134 140724754601134 140724754603973 0
/proc/3813/statm: 62654 55128 316 28 0 58894 0
[pid=3797/tid=3799] ppid=3794 vsize=15683912 memory=6935054825532540783 CPUtime=38.38 cores=0,2,4,6
/proc/3797/task/3799/stat : 3799 (java) S 3794 3797 29212 0 -1 1077944384 24253 0 0 0 3766 72 0 0 20 0 19 0 73595390 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139993557031936 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 66 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3800] ppid=3794 vsize=15683912 memory=4126316290023845779 CPUtime=1.89 cores=0,2,4,6
/proc/3797/task/3800/stat : 3800 (java) S 3794 3797 29212 0 -1 1077944384 850 0 0 0 157 32 0 0 20 0 19 0 73595392 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139993589434896 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3801] ppid=3794 vsize=15683912 memory=6656426216303648864 CPUtime=1.88 cores=0,2,4,6
/proc/3797/task/3801/stat : 3801 (java) S 3794 3797 29212 0 -1 1077944384 958 0 0 0 155 33 0 0 20 0 19 0 73595392 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139993388210832 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3802] ppid=3794 vsize=15683912 memory=21638 CPUtime=1.88 cores=0,2,4,6
/proc/3797/task/3802/stat : 3802 (java) S 3794 3797 29212 0 -1 1077944384 757 0 0 0 156 32 0 0 20 0 19 0 73595392 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139993387157776 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3803] ppid=3794 vsize=15683912 memory=5450874560983370026 CPUtime=1.89 cores=0,2,4,6
/proc/3797/task/3803/stat : 3803 (java) S 3794 3797 29212 0 -1 1077944384 746 0 0 0 157 32 0 0 20 0 19 0 73595392 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139993043425680 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3804] ppid=3794 vsize=15683912 memory=4132771212810548115 CPUtime=0.03 cores=0,2,4,6
/proc/3797/task/3804/stat : 3804 (java) S 3794 3797 29212 0 -1 1077944384 199 0 0 0 3 0 0 0 20 0 19 0 73595394 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992992287472 139993585203842 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3805] ppid=3794 vsize=15683912 memory=8747226831578988619 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3805/stat : 3805 (java) S 3794 3797 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 73595394 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992143750880 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3806] ppid=3794 vsize=15683912 memory=288285575944090046 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3806/stat : 3806 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73595394 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139991908869376 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3807] ppid=3794 vsize=15683912 memory=251992 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3807/stat : 3807 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73595397 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139991534361040 139993585211291 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3808] ppid=3794 vsize=15683912 memory=7682744562830902035 CPUtime=8.63 cores=0,2,4,6
/proc/3797/task/3808/stat : 3808 (java) S 3794 3797 29212 0 -1 1077944384 15139 0 0 0 859 4 0 0 20 0 19 0 73595397 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992991234288 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3809] ppid=3794 vsize=15683912 memory=0 CPUtime=8.99 cores=0,2,4,6
/proc/3797/task/3809/stat : 3809 (java) S 3794 3797 29212 0 -1 1077944384 14368 0 0 0 898 1 0 0 20 0 19 0 73595397 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992990181744 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3810] ppid=3794 vsize=15683912 memory=0 CPUtime=1.9 cores=0,2,4,6
/proc/3797/task/3810/stat : 3810 (java) S 3794 3797 29212 0 -1 1077944384 9741 0 0 0 186 4 0 0 20 0 19 0 73595397 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992989128688 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3811] ppid=3794 vsize=15683912 memory=3930588 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3811/stat : 3811 (java) S 3794 3797 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73595397 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139991036455264 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3812] ppid=3794 vsize=15683912 memory=6768 CPUtime=0.01 cores=0,2,4,6
/proc/3797/task/3812/stat : 3812 (java) S 3794 3797 29212 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 19 0 73595397 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992988077104 139993585203842 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3814] ppid=3794 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3814/stat : 3814 (java) S 3794 3797 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73599500 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139992902850368 139993585217305 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3816] ppid=3794 vsize=15683912 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3816/stat : 3816 (java) S 3794 3797 29212 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 73599500 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139990499569456 139993585214621 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3817] ppid=3794 vsize=15683912 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3817/stat : 3817 (java) S 3794 3797 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73599500 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139990633790896 139993585214621 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
[pid=3797/tid=3818] ppid=3794 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3797/task/3818/stat : 3818 (java) S 3794 3797 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73599502 16060325888 1030039 33554432000 4194304 4196468 140733914738720 139990231145760 139993585202901 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17039360 140733914747892 140733914748169 140733914748169 140733914750927 0
Current children cumulated CPU time: 66.49 s
Current children cumulated vsize: 15934528 KiB
Current children cumulated memory: 4340668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+42.0684 s]
# the end of solver process 3797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=64.2592 s, system=2.32156 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 42.0685
CPU time (s): 66.5808
CPU user time (s): 64.2592
CPU system time (s): 2.32156
CPU usage (%): 158.268
Max. virtual memory (cumulated for all children) (KiB): 15934528
Max. memory (cumulated for all children) (KiB): 4340668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.2592
system time used= 2.32156
maximum resident set size= 4122636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109702
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= 7978
involuntary context switches= 237
# summary of solver processes directly reported to runsolver:
# pid: 3797
# total CPU time (s): 66.5808
# total CPU user time (s): 64.2592
# total CPU system time (s): 2.32156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281977 second user time and 0.444585 second system time
The end