0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 02:15:40 CEST 2018
0.66/0.55 c PID: 2197
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.49/0.91 c (0,0) Parsing End
1.49/0.91 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 93 ctr, max domain size 128
1.49/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.49/0.91 c (0,0) Constraint Name Generate Begin
1.49/0.92 c (0,0) Ctr:HOME/instance-4295248-1532564139.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.49/0.92 c (0,0) Constraint Name Generate End
1.49/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.49/0.92 c (0,0) CSP to CSPinCNF Begin
7.79/3.04 c (2,2) translated 10 (10%) constraints
10.20/4.22 c (3,3) translated 19 (20%) constraints
11.37/5.32 c (4,4) translated 28 (30%) constraints
12.62/6.53 c (6,5) translated 38 (40%) constraints
13.81/7.62 c (7,7) translated 47 (50%) constraints
15.55/8.83 c (8,8) translated 56 (60%) constraints
16.53/9.73 c (9,9) translated 66 (70%) constraints
16.53/9.74 c (9,9) translated 75 (80%) constraints
16.53/9.75 c (9,9) translated 84 (90%) constraints
16.53/9.76 c (9,9) translated 93 (100%) constraints
17.96/10.35 c (9,9) STATISTICS1:HOME/instance-4295248-1532564139.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7904,192916,127,127,128,2,127:435,127:369884;2:200074,128:62;30:2;3:176328;2:16520;1:4,2:435;1:569088;0:66,
17.96/10.35 c (9,9) ===========================================
17.96/10.35 c (9,9) Order
17.96/10.35 c (9,9) ===========================================
19.42/10.86 c (10,10) translated 19292 (10%) constraints
20.77/11.21 c (10,10) translated 38584 (20%) constraints
21.26/11.47 c (10,10) translated 57875 (30%) constraints
21.67/11.72 c (11,11) translated 77167 (40%) constraints
21.87/11.95 c (11,11) translated 96458 (50%) constraints
22.08/12.19 c (11,11) translated 115750 (60%) constraints
22.40/12.43 c (11,11) translated 135042 (70%) constraints
22.60/12.67 c (12,11) translated 154333 (80%) constraints
22.90/12.91 c (12,12) translated 173625 (90%) constraints
23.11/13.16 c (12,12) translated 192916 (100%) constraints
23.11/13.16 c (12,12) CSP to CSPinCNF End
23.11/13.17 c (12,12) CSP: 30 int (0 aux), 7874 bool (7874 aux), 192916 ctr, max domain size 127
23.11/13.17 c (12,12) Heap : 2565 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.11/13.17 c (12,12) CSPinCNF Propagation Begin
50.60/36.33 c (35,34) 0 values, 62 unsatisfiable literals, and 4 valid clauses are removed
50.60/36.33 c (35,34) CSPinCNF Propagation End
50.60/36.33 c (35,34) CSP: 30 int (0 aux), 7874 bool (7874 aux), 192912 ctr, max domain size 127
50.60/36.33 c (35,34) Heap : 2230 MiB used (max 10846 MiB), NonHeap : 29 MiB used (max 0 MiB)
50.60/36.33 c (35,34) Simplify CSPinCNF Begin
51.20/36.61 c (36,34) Simplify CSPinCNF End
51.20/36.62 c (36,34) CSP: 30 int (0 aux), 8744 bool (8744 aux), 193782 ctr, max domain size 127
51.20/36.62 c (36,34) Heap : 2362 MiB used (max 10846 MiB), NonHeap : 29 MiB used (max 0 MiB)
51.20/36.62 c (36,34) Calculate Precise Domain Begin
51.20/36.62 c (36,34) 0 values are removed by re-calculation
51.20/36.62 c (36,34) Calculate Precise Domain End
51.20/36.62 c (36,34) CSP: 30 int (0 aux), 8744 bool (8744 aux), 193782 ctr, max domain size 127
51.20/36.62 c (36,34) Heap : 2362 MiB used (max 10846 MiB), NonHeap : 29 MiB used (max 0 MiB)
51.20/36.62 c (36,34) CSPinCNF to SatSolver Begin
52.83/37.21 c (36,35) 19379 (10 %) CSP clauses are encoded (12524 SAT variables, 132748 SAT clauses)
52.98/37.31 c (36,35) 38757 (20 %) CSP clauses are encoded (12524 SAT variables, 152126 SAT clauses)
53.08/37.41 c (36,35) 58135 (30 %) CSP clauses are encoded (12524 SAT variables, 171504 SAT clauses)
53.18/37.51 c (36,35) 77513 (40 %) CSP clauses are encoded (12524 SAT variables, 190882 SAT clauses)
53.29/37.61 c (37,35) 96891 (50 %) CSP clauses are encoded (12524 SAT variables, 210260 SAT clauses)
53.41/37.70 c (37,35) 116270 (60 %) CSP clauses are encoded (12524 SAT variables, 229639 SAT clauses)
53.51/37.80 c (37,35) 135648 (70 %) CSP clauses are encoded (12524 SAT variables, 249017 SAT clauses)
53.51/37.90 c (37,36) 155026 (80 %) CSP clauses are encoded (12524 SAT variables, 268395 SAT clauses)
53.61/37.99 c (37,36) 174404 (90 %) CSP clauses are encoded (12524 SAT variables, 287773 SAT clauses)
53.73/38.09 c (37,36) 193782 (100 %) CSP clauses are encoded (12524 SAT variables, 307151 SAT clauses)
53.73/38.09 c (37,36) CSPinCNF to SatSolver End
53.73/38.09 c (37,36) Heap : 3488 MiB used (max 10846 MiB), NonHeap : 30 MiB used (max 0 MiB)
54.83/38.60 c (38,36) STATISTICS2:HOME/instance-4295248-1532564139.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,8774,193782,127,127,127,2,127:870,127:370754;2:201814,127:62;30:2;3:176328;2:17390,2:870;1:570828,
54.83/38.60 c (38,36) SatSolver.solve Begin
54.83/38.60 c (38,36) 12524 bool, 307152 clause
54.83/38.61 c (38,36) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295248-1532564139.xml-scop-2197.cnf HOME/instance-4295248-1532564139.xml-scop-2197.cnf.out
56.29/40.10 c (39,0) c This is COMiniSatPS.
56.29/40.10 c (39,0) c WARNING: for repeatability, setting FPU to use double precision
56.29/40.10 c (39,0) c ============================[ Problem Statistics ]=============================
56.29/40.10 c (39,0) c | |
56.29/40.10 c (39,0) c | Number of variables: 12524 |
56.29/40.10 c (39,0) c | Number of clauses: 307152 |
56.29/40.10 c (39,0) c | Parse time: 0.07 s |
56.29/40.10 c (39,0) c | Eliminated clauses: 0.01 Mb |
56.29/40.10 c (39,0) c Reduced to 12089 vars, 304283 cls (grow=0)
56.29/40.10 c (39,0) c No iterative elimination performed. (vars=12089, c/v ratio=25.2)
56.29/40.10 c (39,0) c | Simplification time: 0.41 s |
56.29/40.10 c (39,0) c | |
56.29/40.10 c (39,0) c ============================[ Search Statistics ]==============================
56.29/40.10 c (39,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
56.29/40.10 c (39,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
56.29/40.10 c (39,0) c ===============================================================================
56.29/40.10 c (39,0) c ===============================================================================
56.29/40.10 c (39,0) c restarts : 11
56.29/40.10 c (39,0) c conflicts : 4377 (3004 /sec)
56.29/40.10 c (39,0) c decisions : 7128 (0.00 % random) (4892 /sec)
56.29/40.10 c (39,0) c propagations : 4949979 (3397098 /sec)
56.29/40.10 c (39,0) c conflict literals : 208986 (32.83 % deleted)
56.29/40.10 c (39,0) c CPU time : 1.45712 s
56.29/40.10 c (39,0)
56.29/40.10 c (39,0) s SATISFIABLE
56.42/40.13 c (39,36) SatSolver.solve End
56.42/40.13 c (39,36) Heap : 1204 MiB used (max 11028 MiB), NonHeap : 31 MiB used (max 0 MiB)
56.42/40.13 c (39,36) Show results Begin
56.42/40.14 c (39,36) x[0] = 112
56.42/40.14 c (39,36) x[1] = 68
56.42/40.14 c (39,36) x[2] = 1
56.42/40.14 c (39,36) x[3] = 52
56.42/40.14 c (39,36) x[4] = 110
56.42/40.14 c (39,36) x[5] = 9
56.42/40.14 c (39,36) x[6] = 37
56.42/40.14 c (39,36) x[7] = 74
56.42/40.14 c (39,36) x[8] = 44
56.42/40.14 c (39,36) x[9] = 65
56.42/40.14 c (39,36) x[10] = 115
56.42/40.14 c (39,36) x[11] = 114
56.42/40.14 c (39,36) x[12] = 57
56.42/40.14 c (39,36) x[13] = 81
56.42/40.14 c (39,36) x[14] = 117
56.42/40.14 c (39,36) x[15] = 92
56.42/40.14 c (39,36) x[16] = 95
56.42/40.14 c (39,36) x[17] = 60
56.42/40.14 c (39,36) x[18] = 45
56.42/40.14 c (39,36) x[19] = 125
56.42/40.14 c (39,36) x[20] = 93
56.42/40.14 c (39,36) x[21] = 23
56.42/40.14 c (39,36) x[22] = 24
56.42/40.14 c (39,36) x[23] = 19
56.42/40.14 c (39,36) x[24] = 29
56.42/40.14 c (39,36) x[25] = 126
56.42/40.14 c (39,36) x[26] = 122
56.42/40.14 c (39,36) x[27] = 91
56.42/40.14 c (39,36) x[28] = 82
56.42/40.14 c (39,36) x[29] = 40
56.42/40.14 s SATISFIABLE
56.42/40.14 v <instantiation>
56.42/40.14 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]</list>
56.42/40.14 v <values>112 68 1 52 110 9 37 74 44 65 115 114 57 81 117 92 95 60 45 125 93 23 24 19 29 126 122 91 82 40</values>
56.42/40.14 v </instantiation>
56.42/40.14 c (39,36) Show results End
56.42/40.14 c (39,36) Heap : 1204 MiB used (max 11028 MiB), NonHeap : 31 MiB used (max 0 MiB)
56.42/40.14 c (39,36) 0,0,12,35,36,36,37,39,39,STOP-AFTER(ALL)
56.42/40.14 c END-Prog: Thu Jul 26 02:16:19 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 (9871 MiB free)
memory of node 1: 16384 MiB (10326 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295248-1532564139/watcher-4295248-1532564139 -o /tmp/evaluation-result-4295248-1532564139/solver-4295248-1532564139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295248-1532564139.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
solver pid=2197, runsolver pid=2194
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 3.54 4.29 3.98 3/220 2212
/proc/meminfo: memFree=20623100/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15011656 memory=72732 CPUtime=0.11 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 6853 0 0 0 9 2 0 0 20 0 15 0 73977175 15371935744 18183 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3752914 18183 2777 1 0 3715374 0
[pid=2197/tid=2199] ppid=2194 vsize=15011656 memory=7100839861430815080 CPUtime=0.09 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) R 2194 2197 32649 0 -1 4202560 5074 0 0 0 7 2 0 0 20 0 15 0 73977176 15371935744 18315 33554432000 4194304 4196468 140735478553664 140276080353952 140276088833778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 18315 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 18315 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 18315 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 18315 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977179 15371935744 18315 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73977179 15371935744 18315 33554432000 4194304 4196468 140735478553664 140274705622688 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977180 15371935744 18315 33554432000 4194304 4196468 140735478553664 140274437186800 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 18315 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) S 2194 2197 32649 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 18381 33554432000 4194304 4196468 140735478553664 140275077839088 140276108569218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 18381 33554432000 4194304 4196468 140735478553664 140275076786544 140276108569218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) S 2194 2197 32649 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 18381 33554432000 4194304 4196468 140735478553664 140275075733488 140276108569218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 18381 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977183 15371935744 18381 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72732 KiB
[startup+0.210361 s]*
/proc/loadavg: 3.54 4.29 3.98 3/220 2212
/proc/meminfo: memFree=20609892/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15011656 memory=85800 CPUtime=0.25 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 10378 0 0 0 22 3 0 0 20 0 15 0 73977175 15371935744 21450 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3752914 21450 2911 1 0 3715374 0
[pid=2197/tid=2199] ppid=2194 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) R 2194 2197 32649 0 -1 4202560 8282 0 0 0 17 2 0 0 20 0 15 0 73977176 15371935744 21450 33554432000 4194304 4196468 140735478553664 140276080383280 140276108570006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 21450 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15011656 memory=288370870768453248 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977179 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73977179 15371935744 21450 33554432000 4194304 4196468 140735478553664 140274705622688 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977180 15371935744 21450 33554432000 4194304 4196468 140735478553664 140274437186800 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 21450 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) R 2194 2197 32649 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275077839088 140276108569218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) R 2194 2197 32649 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275076786544 140276101543113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0.03 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) R 2194 2197 32649 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 73977182 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275075733488 140276108579418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 21450 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977183 15371935744 21450 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85800 KiB
[startup+0.310317 s]*
/proc/loadavg: 3.54 4.29 3.98 5/220 2212
/proc/meminfo: memFree=20606232/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15011656 memory=89476 CPUtime=0.43 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 10950 0 0 0 39 4 0 0 20 0 15 0 73977175 15371935744 22369 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3752914 22369 2990 1 0 3715374 0
[pid=2197/tid=2199] ppid=2194 vsize=15011656 memory=4134692831991786133 CPUtime=0.3 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) R 2194 2197 32649 0 -1 4202560 8702 0 0 0 27 3 0 0 20 0 15 0 73977176 15371935744 22435 33554432000 4194304 4196468 140735478553664 140276080362224 140276108570006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15011656 memory=140498782225871 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 22435 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977179 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73977179 15371935744 22435 33554432000 4194304 4196468 140735478553664 140274705622688 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15011656 memory=280988974526368 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977180 15371935744 22435 33554432000 4194304 4196468 140735478553664 140274437186800 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 22435 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) R 2194 2197 32649 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 73977182 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275077839088 140276108569218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15011656 memory=140494487297967 CPUtime=0.02 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) R 2194 2197 32649 0 -1 4202560 265 0 0 0 2 0 0 0 20 0 15 0 73977182 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275076786544 140276093682768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15011656 memory=140494616741504 CPUtime=0.07 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) R 2194 2197 32649 0 -1 4202560 320 0 0 0 7 0 0 0 20 0 15 0 73977182 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275075729856 140276108579418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15011656 memory=140494487303071 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15371935744 22435 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15011656 memory=140494690718679 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977183 15371935744 22435 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89476 KiB
[startup+0.700697 s]
/proc/loadavg: 3.54 4.29 3.98 3/220 2212
/proc/meminfo: memFree=20581628/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15020052 memory=129940 CPUtime=0.98 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 18217 0 0 0 93 5 0 0 20 0 15 0 73977175 15380533248 32485 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3755013 32485 3158 1 0 3716398 0
[pid=2197/tid=2199] ppid=2194 vsize=15020052 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) R 2194 2197 32649 0 -1 4202560 15459 0 0 0 63 4 0 0 20 0 15 0 73977176 15380533248 32485 33554432000 4194304 4196468 140735478553664 140276080393744 140276092638558 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977177 15380533248 32485 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15020052 memory=79 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15020052 memory=1 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15020052 memory=7813587196152723253 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73977179 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15020052 memory=5787495302040675136 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73977179 15380533248 32485 33554432000 4194304 4196468 140735478553664 140274705622688 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977180 15380533248 32485 33554432000 4194304 4196468 140735478553664 140274437186800 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15020052 memory=149960595086331 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15380533248 32485 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15020052 memory=431665 CPUtime=0.05 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) S 2194 2197 32649 0 -1 1077944384 458 0 0 0 5 0 0 0 20 0 15 0 73977182 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275077839088 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) S 2194 2197 32649 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 15 0 73977182 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275076786544 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) R 2194 2197 32649 0 -1 4202560 473 0 0 0 16 0 0 0 20 0 15 0 73977182 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275075733488 140276088272860 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15020052 memory=280988974317808 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73977182 15380533248 32485 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977183 15380533248 32485 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129940 KiB
[startup+1.50067 s]
/proc/loadavg: 3.54 4.29 3.98 3/220 2212
/proc/meminfo: memFree=20551584/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15024148 memory=187880 CPUtime=3.05 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 21940 0 0 0 297 8 0 0 20 0 15 0 73977175 15384727552 46970 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3756037 46970 3203 1 0 3717422 0
[pid=2197/tid=2199] ppid=2194 vsize=15024148 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) R 2194 2197 32649 0 -1 4202560 16720 0 0 0 141 5 0 0 20 0 15 0 73977176 15384727552 46970 33554432000 4194304 4196468 140735478553664 140276080393456 140276092601701 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73977177 15384727552 46970 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15384727552 46970 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15384727552 46970 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73977177 15384727552 46970 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15024148 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73977179 15384727552 46970 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
################
# More data... #
################
[pid=2197/tid=2210] ppid=2194 vsize=15683912 memory=16101476732766166 CPUtime=1.52 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) S 2194 2197 32649 0 -1 1077944384 10681 0 0 0 149 3 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275075733488 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15683912 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15683912 memory=22484 CPUtime=0.01 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 19 0 73977183 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2214] ppid=2194 vsize=15683912 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2214/stat : 2214 (java) S 2194 2197 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275913852736 140276108582681 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2216] ppid=2194 vsize=15683912 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2216/stat : 2216 (java) S 2194 2197 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273027886896 140276108579997 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2217] ppid=2194 vsize=15683912 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2217/stat : 2217 (java) S 2194 2197 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273162108336 140276108579997 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2218] ppid=2194 vsize=15683912 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2218/stat : 2218 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981040 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140272759463200 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 55.47 s
Current children cumulated vsize: 15731400 KiB
Current children cumulated memory: 4140304 KiB
[startup+39.6009 s]
/proc/loadavg: 2.75 3.99 3.89 3/225 2218
/proc/meminfo: memFree=16540344/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15683912 memory=4112928 CPUtime=54.91 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 58941 0 0 0 5345 146 0 0 20 0 19 0 73977175 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3920978 1028232 3260 1 0 3881834 0
[pid=2213] ppid=2197 vsize=47488 memory=27376 CPUtime=0.96 cores=0,2,4,6
/proc/2213/stat : 2213 (minisat_release) R 2197 2197 32649 0 -1 4202496 8292 0 0 0 95 1 0 0 20 0 1 0 73981038 48627712 6844 33554432000 4194304 4308513 140729753054976 140729753052600 4275941 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 33218560 140729753064113 140729753064622 140729753064622 140729753067461 0
/proc/2213/statm: 11872 6844 334 28 0 8112 0
[pid=2197/tid=2199] ppid=2194 vsize=15683912 memory=-5059952977386882957 CPUtime=37.26 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) S 2194 2197 32649 0 -1 1077944384 22377 0 0 0 3671 55 0 0 20 0 19 0 73977176 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140276080397312 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15683912 memory=1008 CPUtime=1.31 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 1084 0 0 0 111 20 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15683912 memory=1228 CPUtime=1.33 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 2142 0 0 0 113 20 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15683912 memory=1200 CPUtime=1.32 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 724 0 0 0 111 21 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15683912 memory=15876 CPUtime=1.32 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 908 0 0 0 113 19 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15683912 memory=18268 CPUtime=0.02 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 19 0 73977179 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15683912 memory=13924 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 73977179 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140274705622752 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73977180 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140274437186816 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15683912 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15683912 memory=1792 CPUtime=5.3 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) S 2194 2197 32649 0 -1 1077944384 11882 0 0 0 528 2 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275077839088 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15683912 memory=1232 CPUtime=5.42 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) S 2194 2197 32649 0 -1 1077944384 7369 0 0 0 541 1 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275076786544 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15683912 memory=956 CPUtime=1.52 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) S 2194 2197 32649 0 -1 1077944384 10681 0 0 0 149 3 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275075733488 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15683912 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15683912 memory=1576 CPUtime=0.01 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 19 0 73977183 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2214] ppid=2194 vsize=15683912 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2214/stat : 2214 (java) S 2194 2197 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275913852736 140276108582681 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2216] ppid=2194 vsize=15683912 memory=920 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2216/stat : 2216 (java) S 2194 2197 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273027886896 140276108579997 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2217] ppid=2194 vsize=15683912 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2217/stat : 2217 (java) S 2194 2197 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273162108336 140276108579997 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2218] ppid=2194 vsize=15683912 memory=2656 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2218/stat : 2218 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981040 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140272759463200 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 55.87 s
Current children cumulated vsize: 15731400 KiB
Current children cumulated memory: 4140304 KiB
[startup+40.0008 s]*
/proc/loadavg: 2.75 3.99 3.89 3/225 2218
/proc/meminfo: memFree=16543380/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15683912 memory=4112928 CPUtime=54.91 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 58941 0 0 0 5345 146 0 0 20 0 19 0 73977175 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3920978 1028232 3260 1 0 3881834 0
[pid=2213] ppid=2197 vsize=47488 memory=27376 CPUtime=1.38 cores=0,2,4,6
/proc/2213/stat : 2213 (minisat_release) R 2197 2197 32649 0 -1 4202496 8292 0 0 0 136 2 0 0 20 0 1 0 73981038 48627712 6844 33554432000 4194304 4308513 140729753054976 140729753052600 4276465 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 33218560 140729753064113 140729753064622 140729753064622 140729753067461 0
/proc/2213/statm: 11872 6844 334 28 0 8112 0
[pid=2197/tid=2199] ppid=2194 vsize=15683912 memory=6935054825532540783 CPUtime=37.26 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) S 2194 2197 32649 0 -1 1077944384 22377 0 0 0 3671 55 0 0 20 0 19 0 73977176 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140276080397312 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15683912 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 1084 0 0 0 111 20 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15683912 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 2142 0 0 0 113 20 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15683912 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 724 0 0 0 111 21 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15683912 memory=280988975238640 CPUtime=1.32 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 908 0 0 0 113 19 0 0 20 0 19 0 73977177 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15683912 memory=3472468790715074224 CPUtime=0.02 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 19 0 73977179 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15683912 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 73977179 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140274705622752 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15683912 memory=8315171486948655189 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73977180 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140274437186816 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15683912 memory=4112928 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15683912 memory=0 CPUtime=5.3 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) S 2194 2197 32649 0 -1 1077944384 11882 0 0 0 528 2 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275077839088 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15683912 memory=6655300316396806240 CPUtime=5.42 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) S 2194 2197 32649 0 -1 1077944384 7369 0 0 0 541 1 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275076786544 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15683912 memory=288292164440687407 CPUtime=1.52 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) S 2194 2197 32649 0 -1 1077944384 10681 0 0 0 149 3 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275075733488 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15683912 memory=301794158559272272 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73977182 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15683912 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 19 0 73977183 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2214] ppid=2194 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2214/stat : 2214 (java) S 2194 2197 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140275913852736 140276108582681 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2216] ppid=2194 vsize=15683912 memory=-7361183220417257581 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2216/stat : 2216 (java) S 2194 2197 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273027886896 140276108579997 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2217] ppid=2194 vsize=15683912 memory=7968431760232117823 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2217/stat : 2217 (java) S 2194 2197 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73981038 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140273162108336 140276108579997 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2218] ppid=2194 vsize=15683912 memory=-6804530833007812508 CPUtime=0 cores=0,2,4,6
/proc/2197/task/2218/stat : 2218 (java) S 2194 2197 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981040 16060325888 1028232 33554432000 4194304 4196468 140735478553664 140272759463200 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 56.29 s
Current children cumulated vsize: 15731400 KiB
Current children cumulated memory: 4140304 KiB
[startup+40.1144 s]
/proc/loadavg: 2.75 3.99 3.89 3/225 2218
/proc/meminfo: memFree=16543380/32770624 swapFree=67108860/67108860
[pid=2197] ppid=2194 vsize=15683912 memory=4113040 CPUtime=56.42 cores=0,2,4,6
/proc/2197/stat : 2197 (java) S 2194 2197 32649 0 -1 1077944320 58973 8298 0 0 5348 146 146 2 20 0 18 0 73977175 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140735478536208 140276108558071 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
/proc/2197/statm: 3920978 1028260 3260 1 0 3881834 0
[pid=2197/tid=2199] ppid=2194 vsize=15683912 memory=18975165518144 CPUtime=38.74 cores=0,2,4,6
/proc/2197/task/2199/stat : 2199 (java) S 2194 2197 32649 0 -1 1077944384 22377 8298 0 0 3671 55 146 2 20 0 18 0 73977176 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140276080397312 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2200] ppid=2194 vsize=15683912 memory=149977775334768 CPUtime=2.79 cores=0,2,4,6
/proc/2197/task/2200/stat : 2200 (java) S 2194 2197 32649 0 -1 1077944384 1084 8298 0 0 111 20 146 2 20 0 18 0 73977177 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140276112800272 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2201] ppid=2194 vsize=15683912 memory=4112928 CPUtime=2.81 cores=0,2,4,6
/proc/2197/task/2201/stat : 2201 (java) S 2194 2197 32649 0 -1 1077944384 2142 8298 0 0 113 20 146 2 20 0 18 0 73977177 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275926956688 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2202] ppid=2194 vsize=15683912 memory=4109676 CPUtime=2.8 cores=0,2,4,6
/proc/2197/task/2202/stat : 2202 (java) S 2194 2197 32649 0 -1 1077944384 724 8298 0 0 111 21 146 2 20 0 18 0 73977177 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275925903632 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2203] ppid=2194 vsize=15683912 memory=4112928 CPUtime=2.8 cores=0,2,4,6
/proc/2197/task/2203/stat : 2203 (java) S 2194 2197 32649 0 -1 1077944384 908 8298 0 0 113 19 146 2 20 0 18 0 73977177 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275924851088 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2204] ppid=2194 vsize=15683912 memory=4074860 CPUtime=1.5 cores=0,2,4,6
/proc/2197/task/2204/stat : 2204 (java) S 2194 2197 32649 0 -1 1077944384 273 8298 0 0 2 0 146 2 20 0 18 0 73977179 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275078892272 140276108569218 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2205] ppid=2194 vsize=15683912 memory=2257 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2205/stat : 2205 (java) S 2194 2197 32649 0 -1 1077944384 16 8298 0 0 0 0 146 2 20 0 18 0 73977179 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140274705622752 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2206] ppid=2194 vsize=15683912 memory=1728 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2206/stat : 2206 (java) S 2194 2197 32649 0 -1 1077944384 5 8298 0 0 0 0 146 2 20 0 18 0 73977180 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140274437186816 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2207] ppid=2194 vsize=15683912 memory=1708 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2207/stat : 2207 (java) S 2194 2197 32649 0 -1 1077944384 3 8298 0 0 0 0 146 2 20 0 18 0 73977182 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140274062678480 140276108576667 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2208] ppid=2194 vsize=15683912 memory=4061956 CPUtime=6.78 cores=0,2,4,6
/proc/2197/task/2208/stat : 2208 (java) R 2194 2197 32649 0 -1 4202560 11883 8298 0 0 528 2 146 2 20 0 18 0 73977182 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275077820048 140276094572380 0 4 0 25189583 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2209] ppid=2194 vsize=15683912 memory=4074244 CPUtime=6.91 cores=0,2,4,6
/proc/2197/task/2209/stat : 2209 (java) R 2194 2197 32649 0 -1 4202560 7370 8298 0 0 542 1 146 2 20 0 18 0 73977182 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275076786544 140276092096568 0 4 0 25189583 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2210] ppid=2194 vsize=15683912 memory=3586640 CPUtime=3 cores=0,2,4,6
/proc/2197/task/2210/stat : 2210 (java) S 2194 2197 32649 0 -1 1077944384 10697 8298 0 0 149 3 146 2 20 0 18 0 73977182 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275075733488 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2211] ppid=2194 vsize=15683912 memory=4136 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2211/stat : 2211 (java) S 2194 2197 32649 0 -1 1077944384 3 8298 0 0 0 0 146 2 20 0 18 0 73977182 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140273564772704 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2212] ppid=2194 vsize=15683912 memory=8112282956445269571 CPUtime=1.49 cores=0,2,4,6
/proc/2197/task/2212/stat : 2212 (java) S 2194 2197 32649 0 -1 1077944384 90 8298 0 0 0 1 146 2 20 0 18 0 73977183 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275074681904 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2214] ppid=2194 vsize=15683912 memory=4612 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2214/stat : 2214 (java) S 2194 2197 32649 0 -1 1077944384 24 8298 0 0 0 0 146 2 20 0 18 0 73981038 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140275913851920 140276108569218 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2216] ppid=2194 vsize=15683912 memory=4074860 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2216/stat : 2216 (java) R 2194 2197 32649 0 -1 4202560 36 8298 0 0 0 0 146 2 20 0 18 0 73981038 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140273027894192 140275594853008 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
[pid=2197/tid=2218] ppid=2194 vsize=15683912 memory=7740119191850150231 CPUtime=1.48 cores=0,2,4,6
/proc/2197/task/2218/stat : 2218 (java) S 2194 2197 32649 0 -1 1077944384 3 8298 0 0 0 0 146 2 20 0 18 0 73981040 16060325888 1028260 33554432000 4194304 4196468 140735478553664 140272759462960 140276108568277 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17833984 140735478559731 140735478560009 140735478560009 140735478562767 0
Current children cumulated CPU time: 56.42 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 4113040 KiB
Child status: 0
Real time (s): 40.1777
CPU time (s): 56.5632
CPU user time (s): 55.0473
CPU system time (s): 1.51594
CPU usage (%): 140.783
Max. virtual memory (cumulated for all children) (KiB): 15744692
Max. memory (cumulated for all children) (KiB): 4151900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.0473
system time used= 1.51594
maximum resident set size= 4113292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6371
involuntary context switches= 154
# summary of solver processes directly reported to runsolver:
# pid: 2197
# total CPU time (s): 56.5632
# total CPU user time (s): 55.0473
# total CPU system time (s): 1.51594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.268952 second user time and 0.419566 second system time
The end