0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 17:29:31 CEST 2018
0.66/0.55 c PID: 14012
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.93/1.10 c (0,0) Parsing End
1.93/1.11 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 11 ctr, max domain size 26
1.93/1.11 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.93/1.11 c (0,0) Constraint Name Generate Begin
2.28/1.11 c (0,0) Ctr:HOME/instance-4294876-1532359771.xml,ExtensionSupport:IntVar
2.28/1.11 c (0,0) Constraint Name Generate End
2.28/1.12 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.28/1.12 c (0,0) CSP to CSPinCNF Begin
26.90/14.20 c (13,13) translated 2 (10%) constraints
34.83/19.33 c (18,18) translated 3 (20%) constraints
39.28/23.78 c (23,22) translated 4 (30%) constraints
45.53/28.55 c (28,26) translated 5 (40%) constraints
51.87/33.42 c (32,31) translated 6 (50%) constraints
55.95/37.30 c (36,35) translated 7 (60%) constraints
59.80/39.62 c (39,36) translated 8 (70%) constraints
61.60/41.44 c (40,38) translated 9 (80%) constraints
63.40/43.26 c (42,40) translated 10 (90%) constraints
67.52/45.64 c (45,42) translated 11 (100%) constraints
74.87/50.11 c (49,46) STATISTICS1:HOME/instance-4294876-1532359771.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:169;26:147;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413;0:11,
74.87/50.11 c (49,46) ===========================================
74.87/50.11 c (49,46) Order
74.87/50.11 c (49,46) ===========================================
76.49/51.33 c (50,47) translated 88105 (10%) constraints
77.75/52.52 c (52,48) translated 176210 (20%) constraints
78.99/53.74 c (53,49) translated 264315 (30%) constraints
81.55/55.30 c (54,50) translated 352420 (40%) constraints
82.75/56.52 c (56,52) translated 440525 (50%) constraints
83.99/57.78 c (57,53) translated 528630 (60%) constraints
85.31/59.03 c (58,54) translated 616735 (70%) constraints
86.50/60.27 c (59,55) translated 704840 (80%) constraints
89.10/61.82 c (61,57) translated 792945 (90%) constraints
90.31/63.05 c (62,58) translated 881049 (100%) constraints
90.31/63.05 c (62,58) CSP to CSPinCNF End
90.31/63.09 c (62,58) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
90.31/63.09 c (62,58) Heap : 2038 MiB used (max 10563 MiB), NonHeap : 27 MiB used (max 0 MiB)
90.31/63.09 c (62,58) CSPinCNF Propagation Begin
98.95/68.15 c (67,62) 0 values, 11 unsatisfiable literals, and 0 valid clauses are removed
98.95/68.15 c (67,62) CSPinCNF Propagation End
98.95/68.18 c (67,62) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
98.95/68.18 c (67,62) Heap : 2597 MiB used (max 10577 MiB), NonHeap : 28 MiB used (max 0 MiB)
98.95/68.18 c (67,62) Simplify CSPinCNF Begin
100.55/69.65 c (69,63) Simplify CSPinCNF End
100.55/69.67 c (69,63) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
100.55/69.67 c (69,63) Heap : 3261 MiB used (max 10577 MiB), NonHeap : 28 MiB used (max 0 MiB)
100.55/69.67 c (69,63) Calculate Precise Domain Begin
100.55/69.67 c (69,63) 0 values are removed by re-calculation
100.55/69.67 c (69,63) Calculate Precise Domain End
100.55/69.69 c (69,63) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
100.55/69.69 c (69,63) Heap : 3261 MiB used (max 10577 MiB), NonHeap : 28 MiB used (max 0 MiB)
100.55/69.69 c (69,63) CSPinCNF to SatSolver Begin
101.93/70.39 c (69,64) 88105 (10 %) CSP clauses are encoded (75137 SAT variables, 88824 SAT clauses)
104.12/71.28 c (70,65) 176210 (20 %) CSP clauses are encoded (75137 SAT variables, 176929 SAT clauses)
104.62/71.74 c (71,65) 264315 (30 %) CSP clauses are encoded (75137 SAT variables, 265034 SAT clauses)
105.12/72.20 c (71,66) 352420 (40 %) CSP clauses are encoded (75137 SAT variables, 353139 SAT clauses)
105.52/72.65 c (72,66) 440525 (50 %) CSP clauses are encoded (75137 SAT variables, 441244 SAT clauses)
105.93/73.10 c (72,66) 528630 (60 %) CSP clauses are encoded (75137 SAT variables, 529349 SAT clauses)
108.13/74.00 c (73,67) 616735 (70 %) CSP clauses are encoded (75137 SAT variables, 617454 SAT clauses)
108.63/74.45 c (73,67) 704840 (80 %) CSP clauses are encoded (75137 SAT variables, 705559 SAT clauses)
109.17/74.91 c (74,68) 792945 (90 %) CSP clauses are encoded (75137 SAT variables, 793664 SAT clauses)
109.57/75.37 c (74,68) 881049 (100 %) CSP clauses are encoded (75137 SAT variables, 881768 SAT clauses)
109.57/75.37 c (74,68) CSPinCNF to SatSolver End
109.57/75.37 c (74,68) Heap : 3406 MiB used (max 10570 MiB), NonHeap : 29 MiB used (max 0 MiB)
111.87/77.40 c (76,70) STATISTICS2:HOME/instance-4294876-1532359771.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:158;26:158;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413,
111.87/77.40 c (76,70) SatSolver.solve Begin
111.87/77.40 c (76,70) 75137 bool, 881769 clause
111.87/77.40 c (76,70) 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-4294876-1532359771.xml-scop-14012.cnf HOME/instance-4294876-1532359771.xml-scop-14012.cnf.out
116.92/82.45 c (81,0) c This is COMiniSatPS.
116.92/82.45 c (81,0) c WARNING: for repeatability, setting FPU to use double precision
116.92/82.45 c (81,0) c ============================[ Problem Statistics ]=============================
116.92/82.45 c (81,0) c | |
116.92/82.45 c (81,0) c | Number of variables: 75137 |
116.92/82.45 c (81,0) c | Number of clauses: 881769 |
116.92/82.45 c (81,0) c | Parse time: 0.28 s |
116.92/82.45 c (81,0) c | Eliminated clauses: 0.31 Mb |
116.92/82.45 c (81,0) c Reduced to 71031 vars, 865567 cls (grow=0)
116.92/82.45 c (81,0) c No iterative elimination performed. (vars=71031, c/v ratio=12.2)
116.92/82.45 c (81,0) c | Simplification time: 1.95 s |
116.92/82.45 c (81,0) c | |
116.92/82.45 c (81,0) c ============================[ Search Statistics ]==============================
116.92/82.45 c (81,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
116.92/82.45 c (81,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
116.92/82.45 c (81,0) c ===============================================================================
116.92/82.45 c (81,0) c ===============================================================================
116.92/82.45 c (81,0) c restarts : 13
116.92/82.45 c (81,0) c conflicts : 2404 (488 /sec)
116.92/82.45 c (81,0) c decisions : 16636 (0.00 % random) (3377 /sec)
116.92/82.45 c (81,0) c propagations : 10282233 (2087015 /sec)
116.92/82.45 c (81,0) c conflict literals : 252915 (29.38 % deleted)
116.92/82.45 c (81,0) c CPU time : 4.92676 s
116.92/82.45 c (81,0)
116.92/82.45 c (81,0) s SATISFIABLE
117.12/82.55 c (82,70) SatSolver.solve End
117.12/82.55 c (82,70) Heap : 2590 MiB used (max 10580 MiB), NonHeap : 30 MiB used (max 0 MiB)
117.12/82.55 c (82,70) Show results Begin
117.12/82.56 c (82,70) x[0][0] = 11
117.12/82.56 c (82,70) x[0][1] = 14
117.12/82.56 c (82,70) x[0][2] = 0
117.12/82.56 c (82,70) x[0][3] = 18
117.12/82.56 c (82,70) x[0][4] = 4
117.12/82.56 c (82,70) x[0][5] = 18
117.12/82.56 c (82,70) x[1][0] = 8
117.12/82.56 c (82,70) x[1][1] = 13
117.12/82.56 c (82,70) x[1][2] = 6
117.12/82.56 c (82,70) x[1][3] = 0
117.12/82.56 c (82,70) x[1][4] = 11
117.12/82.56 c (82,70) x[1][5] = 0
117.12/82.56 c (82,70) x[2][0] = 19
117.12/82.56 c (82,70) x[2][1] = 14
117.12/82.56 c (82,70) x[2][2] = 8
117.12/82.56 c (82,70) x[2][3] = 11
117.12/82.56 c (82,70) x[2][4] = 0
117.12/82.56 c (82,70) x[2][5] = 8
117.12/82.56 c (82,70) x[3][0] = 8
117.12/82.56 c (82,70) x[3][1] = 12
117.12/82.56 c (82,70) x[3][2] = 12
117.12/82.56 c (82,70) x[3][3] = 4
117.12/82.56 c (82,70) x[3][4] = 17
117.12/82.56 c (82,70) x[3][5] = 11
117.12/82.56 c (82,70) x[4][0] = 2
117.12/82.56 c (82,70) x[4][1] = 0
117.12/82.56 c (82,70) x[4][2] = 8
117.12/82.56 c (82,70) x[4][3] = 18
117.12/82.56 c (82,70) x[4][4] = 18
117.12/82.56 c (82,70) x[4][5] = 4
117.12/82.56 s SATISFIABLE
117.12/82.56 v <instantiation>
117.12/82.56 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5]</list>
117.12/82.56 v <values>11 14 0 18 4 18 8 13 6 0 11 0 19 14 8 11 0 8 8 12 12 4 17 11 2 0 8 18 18 4</values>
117.12/82.56 v </instantiation>
117.12/82.56 c (82,70) Show results End
117.12/82.56 c (82,70) Heap : 2590 MiB used (max 10580 MiB), NonHeap : 30 MiB used (max 0 MiB)
117.12/82.56 c (82,70) 0,0,62,67,69,69,74,82,82,STOP-AFTER(ALL)
117.12/82.56 c END-Prog: Mon Jul 23 17:30:53 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 (3388 MiB free)
memory of node 1: 16384 MiB (1006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294876-1532359771/watcher-4294876-1532359771 -o /tmp/evaluation-result-4294876-1532359771/solver-4294876-1532359771 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294876-1532359771.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=14012, runsolver pid=14009
[startup+0.100168 s]*
/proc/loadavg: 2.17 2.76 3.04 4/215 14027
/proc/meminfo: memFree=4443860/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15011656 memory=72132 CPUtime=0.11 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 6232 0 0 0 9 2 0 0 20 0 15 0 53540235 15371935744 18033 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3752914 18033 2780 1 0 3715374 0
[pid=14012/tid=14014] ppid=14009 vsize=15011656 memory=-8628507060847547010 CPUtime=0.08 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) R 14009 14012 2271 0 -1 4202560 4450 0 0 0 7 1 0 0 20 0 15 0 53540235 15371935744 18165 33554432000 4194304 4196468 140735395069680 140503317154192 140503325604688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 18165 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 18165 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 18231 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 18231 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540238 15371935744 18231 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53540239 15371935744 18231 33554432000 4194304 4196468 140735395069680 140501802018336 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53540239 15371935744 18231 33554432000 4194304 4196468 140735395069680 140501667796336 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 18231 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) S 14009 14012 2271 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 18231 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 18231 33554432000 4194304 4196468 140735395069680 140502313658608 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) S 14009 14012 2271 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 18231 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 18231 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540242 15371935744 18231 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72132 KiB
[startup+0.210472 s]*
/proc/loadavg: 2.17 2.76 3.04 3/215 14027
/proc/meminfo: memFree=4430280/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15011656 memory=84672 CPUtime=0.26 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 9607 0 0 0 23 3 0 0 20 0 15 0 53540235 15371935744 21168 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3752914 21168 2882 1 0 3715374 0
[pid=14012/tid=14014] ppid=14009 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) R 14009 14012 2271 0 -1 4202560 7490 0 0 0 18 2 0 0 20 0 15 0 53540235 15371935744 21168 33554432000 4194304 4196468 140735395069680 140503317153776 140503329408350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 21168 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15011656 memory=139920003866803 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 21168 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 21168 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 21168 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540238 15371935744 21168 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53540239 15371935744 21168 33554432000 4194304 4196468 140735395069680 140501802018336 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53540239 15371935744 21168 33554432000 4194304 4196468 140735395069680 140501667796336 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 21168 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) R 14009 14012 2271 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 21168 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) R 14009 14012 2271 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 21168 33554432000 4194304 4196468 140735395069680 140502313650112 140503330990592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0.03 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) S 14009 14012 2271 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 53540241 15371935744 21168 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 21168 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540242 15371935744 21168 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84672 KiB
[startup+0.310519 s]*
/proc/loadavg: 2.17 2.76 3.04 3/215 14027
/proc/meminfo: memFree=4426028/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15011656 memory=88404 CPUtime=0.43 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 10158 0 0 0 39 4 0 0 20 0 15 0 53540235 15371935744 22101 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3752914 22101 3029 1 0 3715374 0
[pid=14012/tid=14014] ppid=14009 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) R 14009 14012 2271 0 -1 4202560 7864 0 0 0 27 2 0 0 20 0 15 0 53540235 15371935744 22101 33554432000 4194304 4196468 140735395069680 140503317157328 140502825512068 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15011656 memory=304556149062238231 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 22101 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15011656 memory=139920003859538 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 22101 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 22101 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15371935744 22101 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540238 15371935744 22101 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53540239 15371935744 22101 33554432000 4194304 4196468 140735395069680 140501802018336 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53540239 15371935744 22101 33554432000 4194304 4196468 140735395069680 140501667796336 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 22101 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) R 14009 14012 2271 0 -1 1077944384 538 0 0 0 3 0 0 0 20 0 15 0 53540241 15371935744 22101 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) R 14009 14012 2271 0 -1 4202560 89 0 0 0 1 0 0 0 20 0 15 0 53540241 15371935744 22101 33554432000 4194304 4196468 140735395069680 140502313658608 140503322655872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0.07 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) R 14009 14012 2271 0 -1 4202560 314 0 0 0 7 0 0 0 20 0 15 0 53540241 15371935744 22101 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15371935744 22101 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15011656 memory=139920003487360 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540242 15371935744 22101 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88404 KiB
[startup+0.700749 s]
/proc/loadavg: 2.17 2.76 3.04 3/215 14027
/proc/meminfo: memFree=4402392/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15019976 memory=127476 CPUtime=1 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 17090 0 0 0 94 6 0 0 20 0 15 0 53540235 15380455424 31869 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3754994 31869 3141 1 0 3716398 0
[pid=14012/tid=14014] ppid=14009 vsize=15019976 memory=18448 CPUtime=0.67 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) D 14009 14012 2271 0 -1 1077944384 14323 0 0 0 63 4 0 0 20 0 15 0 53540235 15380455424 31869 33554432000 4194304 4196468 140735395069680 140503317159776 140503345351741 0 4 0 25189583 18446744072101666340 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15019976 memory=10432 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15380455424 31869 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15019976 memory=644 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15380455424 31869 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15019976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15380455424 31869 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15019976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15380455424 31869 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15019976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53540238 15380455424 31869 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15019976 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53540239 15380455424 31869 33554432000 4194304 4196468 140735395069680 140501802018336 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15019976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53540239 15380455424 31869 33554432000 4194304 4196468 140735395069680 140501667796336 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15019976 memory=6153431502485414243 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15380455424 31869 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15019976 memory=7733916894068367465 CPUtime=0.09 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) S 14009 14012 2271 0 -1 1077944384 752 0 0 0 9 0 0 0 20 0 15 0 53540241 15380455424 31869 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15019976 memory=5788647689011156329 CPUtime=0.06 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) S 14009 14012 2271 0 -1 1077944384 249 0 0 0 6 0 0 0 20 0 15 0 53540241 15380455424 31869 33554432000 4194304 4196468 140735395069680 140502313658608 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15019976 memory=7440052414092175185 CPUtime=0.15 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) S 14009 14012 2271 0 -1 1077944384 405 0 0 0 15 0 0 0 20 0 15 0 53540241 15380455424 31869 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15019976 memory=8098710602360516455 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53540241 15380455424 31869 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15019976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540242 15380455424 31869 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 127476 KiB
[startup+1.50408 s]
/proc/loadavg: 2.17 2.76 3.04 6/215 14027
/proc/meminfo: memFree=4304720/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15022100 memory=270776 CPUtime=3.51 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 20215 0 0 0 343 8 0 0 20 0 15 0 53540235 15382630400 67694 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3755525 67694 3204 1 0 3716910 0
[pid=14012/tid=14014] ppid=14009 vsize=15022100 memory=254284 CPUtime=1.47 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) R 14009 14012 2271 0 -1 4202560 15448 0 0 0 141 6 0 0 20 0 15 0 53540235 15382630400 67694 33554432000 4194304 4196468 140735395069680 140503317157744 140502830543188 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15382630400 67694 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15382630400 67694 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53540237 15382630400 67694 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53540237 15382630400 67694 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53540238 15382630400 67694 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
################
# More data... #
################
[pid=14012/tid=14027] ppid=14009 vsize=15026264 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 572 0 0 0 2 2 0 0 20 0 15 0 53540242 15386894336 1406411 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 111.26 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 5625644 KiB
[startup+80.0009 s]*
/proc/loadavg: 3.57 3.00 3.10 3/221 14042
/proc/meminfo: memFree=384924/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15681864 memory=5626928 CPUtime=111.96 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 750680 0 0 0 10805 391 0 0 20 0 19 0 53540235 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3920466 1406732 3258 1 0 3881322 0
[pid=14037] ppid=14012 vsize=104724 memory=75084 CPUtime=2.57 cores=0,2,4,6
/proc/14037/stat : 14037 (minisat_release) R 14012 14012 2271 0 -1 4202496 46586 0 0 0 250 7 0 0 20 0 1 0 53547977 107237376 18771 33554432000 4194304 4308513 140734185055552 140734185052184 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 30445568 140734185063087 140734185063598 140734185063598 140734185066437 0
/proc/14037/statm: 26181 18771 352 28 0 22421 0
[pid=14012/tid=14014] ppid=14009 vsize=15681864 memory=-7824251494390914155 CPUtime=71.35 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) S 14009 14012 2271 0 -1 1077944384 166569 0 0 0 7069 66 0 0 20 0 19 0 53540235 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503317167104 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15681864 memory=4872558044660077418 CPUtime=5.98 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 136811 0 0 0 520 78 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15681864 memory=4120855468898081128 CPUtime=5.97 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 124626 0 0 0 519 78 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15681864 memory=8028631073110250067 CPUtime=5.98 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 130588 0 0 0 523 75 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15681864 memory=7740394104183678272 CPUtime=6 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 150150 0 0 0 519 81 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15681864 memory=7649399388526097457 CPUtime=0.03 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 19 0 53540238 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15681864 memory=-7824251494390914155 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 53540239 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501802018400 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15681864 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 53540239 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501667796352 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15681864 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15681864 memory=3196 CPUtime=7.56 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) S 14009 14012 2271 0 -1 1077944384 13162 0 0 0 753 3 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15681864 memory=11780816 CPUtime=7.63 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) S 14009 14012 2271 0 -1 1077944384 12825 0 0 0 761 2 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502313658608 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15681864 memory=1412 CPUtime=1.33 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) S 14009 14012 2271 0 -1 1077944384 13401 0 0 0 131 2 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15681864 memory=2948 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15681864 memory=5626928 CPUtime=0.04 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 572 0 0 0 2 2 0 0 20 0 19 0 53540242 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14038] ppid=14009 vsize=15681864 memory=80024 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14038/stat : 14038 (java) S 14009 14012 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502406543040 140503345352473 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14040] ppid=14009 vsize=15681864 memory=-7824251494390914155 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14040/stat : 14040 (java) S 14009 14012 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500258500272 140503345349789 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14041] ppid=14009 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14041/stat : 14041 (java) S 14009 14012 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500392721968 140503345349789 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14042] ppid=14009 vsize=15681864 memory=644 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14042/stat : 14042 (java) S 14009 14012 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 53547979 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140499990076576 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 114.53 s
Current children cumulated vsize: 15786588 KiB
Current children cumulated memory: 5702012 KiB
[startup+81.601 s]
/proc/loadavg: 3.57 3.00 3.10 3/221 14042
/proc/meminfo: memFree=384840/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15681864 memory=5626928 CPUtime=111.96 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 750680 0 0 0 10805 391 0 0 20 0 19 0 53540235 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3920466 1406732 3258 1 0 3881322 0
[pid=14037] ppid=14012 vsize=104724 memory=75480 CPUtime=4.17 cores=0,2,4,6
/proc/14037/stat : 14037 (minisat_release) R 14012 14012 2271 0 -1 4202496 60451 0 0 0 408 9 0 0 20 0 1 0 53547977 107237376 18870 33554432000 4194304 4308513 140734185055552 140734185053176 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 30445568 140734185063087 140734185063598 140734185063598 140734185066437 0
/proc/14037/statm: 26181 18870 352 28 0 22421 0
[pid=14012/tid=14014] ppid=14009 vsize=15681864 memory=-7824251494390914155 CPUtime=71.35 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) S 14009 14012 2271 0 -1 1077944384 166569 0 0 0 7069 66 0 0 20 0 19 0 53540235 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503317167104 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15681864 memory=17268 CPUtime=5.98 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 136811 0 0 0 520 78 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15681864 memory=2420 CPUtime=5.97 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 124626 0 0 0 519 78 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15681864 memory=1292 CPUtime=5.98 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 130588 0 0 0 523 75 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15681864 memory=1728 CPUtime=6 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 150150 0 0 0 519 81 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15681864 memory=1228 CPUtime=0.03 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 19 0 53540238 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15681864 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 53540239 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501802018400 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15681864 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 53540239 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501667796352 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15681864 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15681864 memory=1936 CPUtime=7.56 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) S 14009 14012 2271 0 -1 1077944384 13162 0 0 0 753 3 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15681864 memory=1196 CPUtime=7.63 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) S 14009 14012 2271 0 -1 1077944384 12825 0 0 0 761 2 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502313658608 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15681864 memory=8384 CPUtime=1.33 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) S 14009 14012 2271 0 -1 1077944384 13401 0 0 0 131 2 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15681864 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15681864 memory=1424 CPUtime=0.04 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 572 0 0 0 2 2 0 0 20 0 19 0 53540242 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14038] ppid=14009 vsize=15681864 memory=920 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14038/stat : 14038 (java) S 14009 14012 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502406543040 140503345352473 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14040] ppid=14009 vsize=15681864 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14040/stat : 14040 (java) S 14009 14012 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500258500272 140503345349789 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14041] ppid=14009 vsize=15681864 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14041/stat : 14041 (java) S 14009 14012 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500392721968 140503345349789 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14042] ppid=14009 vsize=15681864 memory=17268 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14042/stat : 14042 (java) S 14009 14012 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 53547979 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140499990076576 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 116.13 s
Current children cumulated vsize: 15786588 KiB
Current children cumulated memory: 5702408 KiB
[startup+82.4009 s]
/proc/loadavg: 3.57 3.00 3.10 3/221 14042
/proc/meminfo: memFree=384536/32770624 swapFree=67108860/67108860
[pid=14012] ppid=14009 vsize=15681864 memory=5626928 CPUtime=111.96 cores=0,2,4,6
/proc/14012/stat : 14012 (java) S 14009 14012 2271 0 -1 1077944320 750680 0 0 0 10805 391 0 0 20 0 19 0 53540235 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140735395052224 140503345327863 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
/proc/14012/statm: 3920466 1406732 3258 1 0 3881322 0
[pid=14037] ppid=14012 vsize=104724 memory=75892 CPUtime=4.96 cores=0,2,4,6
/proc/14037/stat : 14037 (minisat_release) R 14012 14012 2271 0 -1 4202496 61426 0 0 0 487 9 0 0 20 0 1 0 53547977 107237376 18973 33554432000 4194304 4308513 140734185055552 140734185053176 4276025 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 30445568 140734185063087 140734185063598 140734185063598 140734185066437 0
/proc/14037/statm: 26181 18973 352 28 0 22421 0
[pid=14012/tid=14014] ppid=14009 vsize=15681864 memory=1228 CPUtime=71.35 cores=0,2,4,6
/proc/14012/task/14014/stat : 14014 (java) S 14009 14012 2271 0 -1 1077944384 166569 0 0 0 7069 66 0 0 20 0 19 0 53540235 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503317167104 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14015] ppid=14009 vsize=15681864 memory=1704 CPUtime=5.98 cores=0,2,4,6
/proc/14012/task/14015/stat : 14015 (java) S 14009 14012 2271 0 -1 1077944384 136811 0 0 0 520 78 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503349570192 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14016] ppid=14009 vsize=15681864 memory=5626928 CPUtime=5.97 cores=0,2,4,6
/proc/14012/task/14016/stat : 14016 (java) S 14009 14012 2271 0 -1 1077944384 124626 0 0 0 519 78 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503148345872 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14017] ppid=14009 vsize=15681864 memory=75576 CPUtime=5.98 cores=0,2,4,6
/proc/14012/task/14017/stat : 14017 (java) S 14009 14012 2271 0 -1 1077944384 130588 0 0 0 523 75 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503147293072 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14018] ppid=14009 vsize=15681864 memory=1728 CPUtime=6 cores=0,2,4,6
/proc/14012/task/14018/stat : 14018 (java) S 14009 14012 2271 0 -1 1077944384 150150 0 0 0 519 81 0 0 20 0 19 0 53540237 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140503146240272 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14019] ppid=14009 vsize=15681864 memory=796 CPUtime=0.03 cores=0,2,4,6
/proc/14012/task/14019/stat : 14019 (java) S 14009 14012 2271 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 19 0 53540238 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502315764592 140503345339010 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14020] ppid=14009 vsize=15681864 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14020/stat : 14020 (java) S 14009 14012 2271 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 53540239 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501802018400 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14021] ppid=14009 vsize=15681864 memory=5626928 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14021/stat : 14021 (java) S 14009 14012 2271 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 53540239 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501667796352 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14022] ppid=14009 vsize=15681864 memory=75224 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14022/stat : 14022 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140501293291856 140503345346459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14023] ppid=14009 vsize=15681864 memory=4128 CPUtime=7.56 cores=0,2,4,6
/proc/14012/task/14023/stat : 14023 (java) S 14009 14012 2271 0 -1 1077944384 13162 0 0 0 753 3 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502314711408 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14024] ppid=14009 vsize=15681864 memory=5625644 CPUtime=7.63 cores=0,2,4,6
/proc/14012/task/14024/stat : 14024 (java) S 14009 14012 2271 0 -1 1077944384 12825 0 0 0 761 2 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502313658608 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14025] ppid=14009 vsize=15681864 memory=5625588 CPUtime=1.33 cores=0,2,4,6
/proc/14012/task/14025/stat : 14025 (java) S 14009 14012 2271 0 -1 1077944384 13401 0 0 0 131 2 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502312605808 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14026] ppid=14009 vsize=15681864 memory=920 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14026/stat : 14026 (java) S 14009 14012 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53540241 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500795386080 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14027] ppid=14009 vsize=15681864 memory=4616 CPUtime=0.04 cores=0,2,4,6
/proc/14012/task/14027/stat : 14027 (java) S 14009 14012 2271 0 -1 1077944384 572 0 0 0 2 2 0 0 20 0 19 0 53540242 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502311554224 140503345339010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14038] ppid=14009 vsize=15681864 memory=68 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14038/stat : 14038 (java) S 14009 14012 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140502406543040 140503345352473 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14040] ppid=14009 vsize=15681864 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14040/stat : 14040 (java) S 14009 14012 2271 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500258500272 140503345349789 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14041] ppid=14009 vsize=15681864 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14041/stat : 14041 (java) S 14009 14012 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53547977 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140500392721968 140503345349789 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
[pid=14012/tid=14042] ppid=14009 vsize=15681864 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/14012/task/14042/stat : 14042 (java) S 14009 14012 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 53547979 16058228736 1406732 33554432000 4194304 4196468 140735395069680 140499990076576 140503345338069 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10985472 140735395075059 140735395075337 140735395075337 140735395078095 0
Current children cumulated CPU time: 116.92 s
Current children cumulated vsize: 15786588 KiB
Current children cumulated memory: 5702820 KiB
[startup+82.6008 s]*
/proc/loadavg: 3.57 3.00 3.10 3/203 14042
/proc/meminfo: memFree=877428/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 82.707
CPU time (s): 117.469
CPU user time (s): 113.321
CPU system time (s): 4.14794
CPU usage (%): 142.03
Max. virtual memory (cumulated for all children) (KiB): 15816940
Max. memory (cumulated for all children) (KiB): 5721352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.321
system time used= 4.14794
maximum resident set size= 5629616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813435
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7001
involuntary context switches= 733
# summary of solver processes directly reported to runsolver:
# pid: 14012
# total CPU time (s): 117.469
# total CPU user time (s): 113.321
# total CPU system time (s): 4.14794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.555626 second user time and 0.807607 second system time
The end