0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 18:04:09 CEST 2018
0.67/0.55 c PID: 17825
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
3.47/1.49 c (0,0) Parsing End
3.81/1.50 c (0,0) CSP: 1440 int (0 aux), 0 bool (0 aux), 865 ctr, max domain size 60
3.81/1.51 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.81/1.51 c (0,0) Constraint Name Generate Begin
3.81/1.52 c (0,0) Ctr:HOME/instance-4294495-1532361848.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.81/1.52 c (0,0) Constraint Name Generate End
3.81/1.52 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.81/1.52 c (0,0) CSP to CSPinCNF Begin
6.75/2.58 c (2,2) translated 87 (10%) constraints
14.72/6.33 c (5,5) translated 173 (20%) constraints
15.67/6.60 c (6,6) translated 260 (30%) constraints
16.28/6.82 c (6,6) translated 346 (40%) constraints
16.93/7.01 c (6,6) translated 433 (50%) constraints
17.24/7.18 c (6,6) translated 519 (60%) constraints
17.78/7.37 c (6,6) translated 606 (70%) constraints
18.41/7.54 c (7,6) translated 692 (80%) constraints
18.98/7.71 c (7,7) translated 779 (90%) constraints
19.25/7.87 c (7,7) translated 865 (100%) constraints
21.75/8.61 c (8,7) STATISTICS1:HOME/instance-4294495-1532361848.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6646,85714,60,60,60,2,60:20272;59:402;58:357;57:363;56:369;55:751;7:900;6:900,60:140974;59:1461;58:1260;57:1260;56:1260;55:2493;7:6840;6:6120;2:23538,60:24;8:360;7:360;6:240;4:526;3:49744;2:34366;1:94,2:24314;1:179778;0:720,
21.75/8.61 c (8,7) ===========================================
21.75/8.61 c (8,7) Both Encoding selects:
21.75/8.61 c (8,7) Order
21.75/8.61 c (8,7) ===========================================
22.65/8.96 c (8,8) translated 8572 (10%) constraints
23.27/9.18 c (8,8) translated 17143 (20%) constraints
24.01/9.53 c (9,8) translated 25715 (30%) constraints
24.77/10.12 c (9,9) translated 34286 (40%) constraints
25.40/10.70 c (10,10) translated 42857 (50%) constraints
25.90/11.26 c (10,10) translated 51429 (60%) constraints
26.50/11.82 c (11,11) translated 60000 (70%) constraints
27.09/12.33 c (11,11) translated 68572 (80%) constraints
27.69/12.55 c (12,11) translated 77143 (90%) constraints
27.95/12.68 c (12,12) translated 85714 (100%) constraints
27.95/12.68 c (12,12) CSP to CSPinCNF End
28.08/12.70 c (12,12) CSP: 1440 int (0 aux), 48406 bool (48406 aux), 172114 ctr, max domain size 60
28.08/12.70 c (12,12) Heap : 1836 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
28.08/12.70 c (12,12) CSPinCNF Propagation Begin
30.42/13.82 c (13,13) 327 values, 2963 unsatisfiable literals, and 2151 valid clauses are removed
30.42/13.82 c (13,13) CSPinCNF Propagation End
30.42/13.83 c (13,13) CSP: 1677 int (237 aux), 48169 bool (48169 aux), 169963 ctr, max domain size 60
30.42/13.83 c (13,13) Heap : 2492 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
30.42/13.83 c (13,13) Simplify CSPinCNF Begin
32.95/15.15 c (14,14) Simplify CSPinCNF End
32.95/15.18 c (14,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
32.95/15.18 c (14,14) Heap : 365 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
32.95/15.18 c (14,14) Calculate Precise Domain Begin
32.95/15.19 c (14,14) 0 values are removed by re-calculation
32.95/15.19 c (14,14) Calculate Precise Domain End
33.21/15.22 c (14,14) CSP: 1677 int (237 aux), 94903 bool (94903 aux), 216697 ctr, max domain size 60
33.21/15.22 c (14,14) Heap : 365 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
33.21/15.22 c (14,14) CSPinCNF to SatSolver Begin
36.41/17.77 c (17,16) 21670 (10 %) CSP clauses are encoded (141106 SAT variables, 906932 SAT clauses)
39.41/20.14 c (19,18) 43340 (20 %) CSP clauses are encoded (141106 SAT variables, 1770074 SAT clauses)
42.02/22.36 c (21,21) 65010 (30 %) CSP clauses are encoded (141106 SAT variables, 2592868 SAT clauses)
42.14/22.98 c (22,21) 86679 (40 %) CSP clauses are encoded (141106 SAT variables, 2630297 SAT clauses)
42.25/23.08 c (22,21) 108349 (50 %) CSP clauses are encoded (141106 SAT variables, 2651967 SAT clauses)
42.35/23.18 c (22,21) 130019 (60 %) CSP clauses are encoded (141106 SAT variables, 2673637 SAT clauses)
42.44/23.27 c (22,21) 151688 (70 %) CSP clauses are encoded (141106 SAT variables, 2695306 SAT clauses)
42.54/23.37 c (22,21) 173358 (80 %) CSP clauses are encoded (141106 SAT variables, 2716976 SAT clauses)
42.64/23.47 c (22,21) 195028 (90 %) CSP clauses are encoded (141106 SAT variables, 2738646 SAT clauses)
43.01/23.77 c (23,21) 216697 (100 %) CSP clauses are encoded (141106 SAT variables, 2834212 SAT clauses)
43.01/23.77 c (23,21) CSPinCNF to SatSolver End
43.01/23.77 c (23,21) Heap : 1483 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
43.94/24.36 c (23,22) STATISTICS2:HOME/instance-4294495-1532361848.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,96580,216697,60,60,60,2,60:35902;59:768;58:1451;57:1371;56:1395;55:2867;7:1800;6:1800,60:248724;59:2626;58:4848;57:4428;56:4380;55:8662;7:8640;6:7920;2:244988,60:6;55:17;53:1;7:360;6:600;4:526;3:48010;2:167083;1:94,2:47354;1:440508,
43.94/24.36 c (23,22) SatSolver.solve Begin
43.94/24.36 c (23,22) 141106 bool, 2834213 clause
43.94/24.36 c (23,22) 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-4294495-1532361848.xml-scop-17825.cnf HOME/instance-4294495-1532361848.xml-scop-17825.cnf.out
44.71/25.01 c (24,0) receiving signal SIGTERM
44.71/25.01 s UNKNOWN
44.71/25.02 c (24,22) SatSolver is killed by some reasons.
44.71/25.02 c (24,22) 0,0,12,13,14,14,23,TO,TO,STOP-AFTER(DIMACS)
44.71/25.02 c END-Prog: Mon Jul 23 18:04:33 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 (5803 MiB free)
memory of node 1: 16384 MiB (8100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294495-1532361848/watcher-4294495-1532361848 -o /tmp/evaluation-result-4294495-1532361848/solver-4294495-1532361848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294495-1532361848.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=17825, runsolver pid=17822
[startup+0.100059 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 17840
/proc/meminfo: memFree=14177592/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15011656 memory=72140 CPUtime=0.11 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 6724 0 0 0 9 2 0 0 20 0 15 0 53747997 15371935744 18035 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3752914 18035 2782 1 0 3715374 0
[pid=17825/tid=17827] ppid=17822 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 4202560 4921 0 0 0 7 2 0 0 20 0 15 0 53747997 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511571777224 140511580243819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53748000 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15371935744 18167 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748001 15371935744 18167 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 18167 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17822 17825 8919 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511006509808 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511005457264 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0.01 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17822 17825 8919 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 53748004 15371935744 18167 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15371935744 18233 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15371935744 18233 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72140 KiB
[startup+0.210663 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 17840
/proc/meminfo: memFree=14163888/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15011656 memory=85528 CPUtime=0.25 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 10363 0 0 0 22 3 0 0 20 0 15 0 53747997 15371935744 21382 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3752914 21382 2892 1 0 3715374 0
[pid=17825/tid=17827] ppid=17822 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 4202560 8262 0 0 0 18 2 0 0 20 0 15 0 53747997 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511571794384 140511079920093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15011656 memory=3906791523438761632 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53748000 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15371935744 21382 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748001 15371935744 21382 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 21382 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17822 17825 8919 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511006509808 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17822 17825 8919 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511005457264 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0.03 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17822 17825 8919 0 -1 1077944384 304 0 0 0 3 0 0 0 20 0 15 0 53748004 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15371935744 21382 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15371935744 21382 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85528 KiB
[startup+0.310661 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 17840
/proc/meminfo: memFree=14159816/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15011656 memory=89676 CPUtime=0.43 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 10961 0 0 0 39 4 0 0 20 0 15 0 53747997 15371935744 22419 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3752914 22419 2999 1 0 3715374 0
[pid=17825/tid=17827] ppid=17822 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 4202560 8691 0 0 0 27 3 0 0 20 0 15 0 53747997 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511571772144 140511584048478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15011656 memory=3834733929400833696 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53748000 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15371935744 22419 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748001 15371935744 22419 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15371935744 22419 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17822 17825 8919 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 53748003 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511006509808 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) R 17822 17825 8919 0 -1 4202560 126 0 0 0 2 0 0 0 20 0 15 0 53748003 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511005457264 140511586031984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0.07 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17822 17825 8919 0 -1 1077944384 346 0 0 0 7 0 0 0 20 0 15 0 53748004 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15371935744 22419 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15011656 memory=140710998120064 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15371935744 22419 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89676 KiB
[startup+0.709185 s]
/proc/loadavg: 2.00 2.01 2.05 5/221 17840
/proc/meminfo: memFree=14135508/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15017928 memory=131248 CPUtime=1.05 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 17968 0 0 0 99 6 0 0 20 0 15 0 53747997 15378358272 32812 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3754482 32812 3146 1 0 3715886 0
[pid=17825/tid=17827] ppid=17822 vsize=15017928 memory=217298702981383 CPUtime=0.68 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 4202560 15187 0 0 0 63 5 0 0 20 0 15 0 53747997 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511571804160 140511599989917 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15017928 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53748000 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15378358272 32812 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748001 15378358272 32812 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15378358272 32812 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15017928 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) R 17822 17825 8919 0 -1 4202560 723 0 0 0 9 0 0 0 20 0 15 0 53748003 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511006499600 140511584719919 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15017928 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) R 17822 17825 8919 0 -1 4202560 176 0 0 0 8 0 0 0 20 0 15 0 53748003 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511005449216 140511580603808 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15017928 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) R 17822 17825 8919 0 -1 4202560 541 0 0 0 18 0 0 0 20 0 15 0 53748004 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511004402168 140511578599744 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15378358272 32812 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15378358272 32812 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131248 KiB
[startup+1.50114 s]
/proc/loadavg: 2.00 2.01 2.05 5/221 17840
/proc/meminfo: memFree=14066184/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15022100 memory=233056 CPUtime=3.81 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 22580 0 0 0 373 8 0 0 20 0 15 0 53747997 15382630400 58264 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3755525 58264 3201 1 0 3716910 0
[pid=17825/tid=17827] ppid=17822 vsize=15022100 memory=5794836780235445602 CPUtime=1.46 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 4202560 16014 0 0 0 140 6 0 0 20 0 15 0 53747997 15382630400 58264 33554432000 4194304 4196468 140729314151776 140511571806040 140511580612849 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15022100 memory=6298673690012636514 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15382630400 58264 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15022100 memory=7661585401377351016 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15382630400 58264 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15022100 memory=7595714845067797072 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15382630400 58264 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15022100 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15382630400 58264 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15022100 memory=7668620171193705809 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53748000 15382630400 58264 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
################
# More data... #
################
[pid=17825/tid=17833] ppid=17822 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15384727552 151172 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15024148 memory=500344 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748001 15384727552 151172 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15384727552 151172 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15024148 memory=281421692286752 CPUtime=2.24 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) R 17822 17825 8919 0 -1 4202560 3214 0 0 0 223 1 0 0 20 0 15 0 53748003 15384727552 151172 33554432000 4194304 4196468 140729314151776 140511006492480 140511579211685 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15024148 memory=217252330769221 CPUtime=2.28 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) R 17822 17825 8919 0 -1 4202560 2720 0 0 0 228 0 0 0 20 0 15 0 53748003 15384727552 151172 33554432000 4194304 4196468 140729314151776 140511005436496 140511577563456 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15024148 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17822 17825 8919 0 -1 1077944384 3334 0 0 0 105 1 0 0 20 0 15 0 53748004 15384727552 151172 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15024148 memory=140710846170784 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15384727552 151172 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15384727552 151172 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 604688 KiB
[startup+6.30234 s]
/proc/loadavg: 2.00 2.01 2.05 3/221 17840
/proc/meminfo: memFree=12008840/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15024148 memory=2400336 CPUtime=14.72 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 31791 0 0 0 1429 43 0 0 20 0 15 0 53747997 15384727552 600084 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3756037 600084 3212 1 0 3717422 0
[pid=17825/tid=17827] ppid=17822 vsize=15024148 memory=281418269932448 CPUtime=6.26 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 4202560 18000 0 0 0 589 37 0 0 20 0 15 0 53747997 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511571800016 140511093514133 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15024148 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15024148 memory=281421692999328 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15024148 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53747999 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15024148 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53747999 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 53748000 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15024148 memory=281421692342912 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15384727552 600084 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15024148 memory=281421692415392 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748001 15384727552 600084 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15024148 memory=281421692341184 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15384727552 600084 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15024148 memory=6791534058613427641 CPUtime=3.34 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) R 17822 17825 8919 0 -1 4202560 4338 0 0 0 333 1 0 0 20 0 15 0 53748003 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511006497040 140511584848253 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15024148 memory=15872 CPUtime=3.53 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) R 17822 17825 8919 0 -1 4202560 3548 0 0 0 353 0 0 0 20 0 15 0 53748003 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511005449216 140511583464779 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15024148 memory=4048 CPUtime=1.54 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) R 17822 17825 8919 0 -1 1077944384 4562 0 0 0 152 2 0 0 20 0 15 0 53748004 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15024148 memory=10996 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15384727552 600084 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15024148 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15384727552 600084 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2400336 KiB
[startup+12.7039 s]
/proc/loadavg: 2.24 2.06 2.06 3/221 17840
/proc/meminfo: memFree=11153112/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15024148 memory=3090864 CPUtime=28.08 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 40463 0 0 0 2748 60 0 0 20 0 15 0 53747997 15384727552 772716 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3756037 772716 3232 1 0 3717422 0
[pid=17825/tid=17827] ppid=17822 vsize=15024148 memory=3090864 CPUtime=12.58 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17822 17825 8919 0 -1 1077944384 18870 0 0 0 1210 48 0 0 20 0 15 0 53747997 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511571804336 140511599978197 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15024148 memory=4140 CPUtime=0.06 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 175 0 0 0 5 1 0 0 20 0 15 0 53747999 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15024148 memory=17168 CPUtime=0.06 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 82 0 0 0 5 1 0 0 20 0 15 0 53747999 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15024148 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 88 0 0 0 6 1 0 0 20 0 15 0 53747999 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15024148 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 97 0 0 0 6 1 0 0 20 0 15 0 53747999 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15024148 memory=6935655852846960720 CPUtime=0.01 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 53748000 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15024148 memory=6935655852846960720 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53748001 15384727552 772716 33554432000 4194304 4196468 140729314151776 140510190625952 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15024148 memory=3042612 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53748001 15384727552 772716 33554432000 4194304 4196468 140729314151776 140509922190064 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15024148 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748003 15384727552 772716 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15024148 memory=2740444 CPUtime=6.57 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) R 17822 17825 8919 0 -1 4202560 7679 0 0 0 656 1 0 0 20 0 15 0 53748003 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511006508208 140511585996063 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15024148 memory=4140 CPUtime=6.7 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17822 17825 8919 0 -1 1077944384 6474 0 0 0 669 1 0 0 20 0 15 0 53748003 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511005457264 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15024148 memory=3088984 CPUtime=1.89 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17822 17825 8919 0 -1 1077944384 5641 0 0 0 187 2 0 0 20 0 15 0 53748004 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15024148 memory=2981172 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53748004 15384727552 772716 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15024148 memory=796 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53748004 15384727552 772716 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 28.08 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3090864 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+25.0008 s]*
/proc/loadavg: 2.48 2.13 2.08 3/226 17846
/proc/meminfo: memFree=10537340/32770624 swapFree=67108860/67108860
[pid=17825] ppid=17822 vsize=15683912 memory=3473476 CPUtime=44.09 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17822 17825 8919 0 -1 1077944320 53526 0 0 0 4293 116 0 0 20 0 19 0 53747997 16060325888 868369 33554432000 4194304 4196468 140729314151776 140729314134320 140511599967991 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
/proc/17825/statm: 3920978 868369 3268 1 0 3881834 0
[pid=17841] ppid=17825 vsize=229120 memory=172936 CPUtime=0.62 cores=0,2,4,6
/proc/17841/stat : 17841 (minisat_release) R 17825 17825 8919 0 -1 4202496 35561 0 0 0 54 8 0 0 20 0 1 0 53750435 234618880 43234 33554432000 4194304 4308513 140733462424384 140733461372792 140340333054949 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6409496 6410680 9773056 140733462426287 140733462426798 140733462426798 140733462429637 0
/proc/17841/statm: 57280 43234 316 28 0 53520 0
[pid=17825/tid=17827] ppid=17822 vsize=15683912 memory=599661920726941813 CPUtime=23.1 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) S 17822 17825 8919 0 -1 1077944384 22226 0 0 0 2252 58 0 0 20 0 19 0 53747997 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511571807232 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17828] ppid=17822 vsize=15683912 memory=331 CPUtime=0.66 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17822 17825 8919 0 -1 1077944384 421 0 0 0 54 12 0 0 20 0 19 0 53747999 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511604210704 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17829] ppid=17822 vsize=15683912 memory=341902 CPUtime=0.66 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17822 17825 8919 0 -1 1077944384 2370 0 0 0 54 12 0 0 20 0 19 0 53747999 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511402986640 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17830] ppid=17822 vsize=15683912 memory=3472328296225127011 CPUtime=0.66 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17822 17825 8919 0 -1 1077944384 574 0 0 0 54 12 0 0 20 0 19 0 53747999 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511401933584 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17831] ppid=17822 vsize=15683912 memory=3472469007225800368 CPUtime=0.67 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17822 17825 8919 0 -1 1077944384 491 0 0 0 55 12 0 0 20 0 19 0 53747999 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511400881040 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17832] ppid=17822 vsize=15683912 memory=734139722786418735 CPUtime=0.02 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17822 17825 8919 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 19 0 53748000 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511007561968 140511599979138 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17833] ppid=17822 vsize=15683912 memory=6944613755445342871 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17822 17825 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 53748001 16060325888 868369 33554432000 4194304 4196468 140729314151776 140510190626016 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17834] ppid=17822 vsize=15683912 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17822 17825 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53748001 16060325888 868369 33554432000 4194304 4196468 140729314151776 140509922190080 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17835] ppid=17822 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53748003 16060325888 868369 33554432000 4194304 4196468 140729314151776 140509547681744 140511599986587 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17836] ppid=17822 vsize=15683912 memory=734139722786418735 CPUtime=8.02 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17822 17825 8919 0 -1 1077944384 9947 0 0 0 800 2 0 0 20 0 19 0 53748003 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511006509808 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17837] ppid=17822 vsize=15683912 memory=3472469007225800368 CPUtime=8.1 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17822 17825 8919 0 -1 1077944384 8609 0 0 0 809 1 0 0 20 0 19 0 53748003 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511005457264 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17838] ppid=17822 vsize=15683912 memory=3461362060234024808 CPUtime=2.1 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17822 17825 8919 0 -1 1077944384 6752 0 0 0 208 2 0 0 20 0 19 0 53748004 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511004404208 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17839] ppid=17822 vsize=15683912 memory=7008597358199916208 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53748004 16060325888 868369 33554432000 4194304 4196468 140729314151776 140509049776992 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17840] ppid=17822 vsize=15683912 memory=4830729832368451887 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17822 17825 8919 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 19 0 53748004 16060325888 868369 33554432000 4194304 4196468 140729314151776 140511003351600 140511599979138 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17842] ppid=17822 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17822 17825 8919 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 53750435 16060325888 868369 33554432000 4194304 4196468 140729314151776 140510997640512 140511599992601 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17844] ppid=17822 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17822 17825 8919 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 53750435 16060325888 868369 33554432000 4194304 4196468 140729314151776 140508512890160 140511599989917 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17845] ppid=17822 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17845/stat : 17845 (java) S 17822 17825 8919 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 53750435 16060325888 868369 33554432000 4194304 4196468 140729314151776 140508647112624 140511599989917 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
[pid=17825/tid=17846] ppid=17822 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17846/stat : 17846 (java) S 17822 17825 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53750437 16060325888 868369 33554432000 4194304 4196468 140729314151776 140508244467488 140511599978197 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16732160 140729314153460 140729314153737 140729314153737 140729314156495 0
Current children cumulated CPU time: 44.71 s
Current children cumulated vsize: 15913032 KiB
Current children cumulated memory: 3646412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+25.0529 s]
# the end of solver process 17825 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.493 s, system=1.29603 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 25.0529
CPU time (s): 44.789
CPU user time (s): 43.493
CPU system time (s): 1.29603
CPU usage (%): 178.778
Max. virtual memory (cumulated for all children) (KiB): 15913032
Max. memory (cumulated for all children) (KiB): 3646412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.493
system time used= 1.29603
maximum resident set size= 3476024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6167
involuntary context switches= 160
# summary of solver processes directly reported to runsolver:
# pid: 17825
# total CPU time (s): 44.789
# total CPU user time (s): 43.493
# total CPU system time (s): 1.29603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.198242 second user time and 0.276418 second system time
The end