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 06:15:12 CEST 2018
0.66/0.55 c PID: 5161
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.36/1.19 c (0,0) Parsing End
2.68/1.20 c (0,0) CSP: 45 int (0 aux), 0 bool (0 aux), 476 ctr, max domain size 21
2.68/1.20 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.68/1.20 c (0,0) Constraint Name Generate Begin
2.68/1.21 c (0,0) Ctr:HOME/instance-4295661-1532578512.xml,ExtensionConflict:IntVar
2.68/1.21 c (0,0) Constraint Name Generate End
2.68/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.68/1.21 c (0,0) CSP to CSPinCNF Begin
5.12/2.01 c (1,1) translated 48 (10%) constraints
5.69/2.29 c (1,1) translated 96 (20%) constraints
6.61/2.53 c (2,1) translated 143 (30%) constraints
7.22/2.75 c (2,2) translated 191 (40%) constraints
7.82/2.96 c (2,2) translated 238 (50%) constraints
8.47/3.17 c (2,2) translated 286 (60%) constraints
9.04/3.40 c (2,2) translated 334 (70%) constraints
9.94/3.61 c (3,3) translated 381 (80%) constraints
10.56/3.80 c (3,3) translated 429 (90%) constraints
10.86/3.99 c (3,3) translated 476 (100%) constraints
11.78/4.25 c (3,3) STATISTICS1:HOME/instance-4295661-1532578512.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:155986,4:35853;3:4126;2:98,1:155986,
11.78/4.25 c (3,3) ===========================================
11.78/4.25 c (3,3) Order
11.78/4.25 c (3,3) ===========================================
12.13/4.38 c (3,3) translated 4008 (10%) constraints
12.43/4.46 c (3,3) translated 8016 (20%) constraints
12.70/4.52 c (3,3) translated 12024 (30%) constraints
12.70/4.58 c (4,4) translated 16031 (40%) constraints
12.83/4.65 c (4,4) translated 20039 (50%) constraints
12.92/4.71 c (4,4) translated 24047 (60%) constraints
12.92/4.77 c (4,4) translated 28054 (70%) constraints
13.02/4.83 c (4,4) translated 32062 (80%) constraints
13.02/4.89 c (4,4) translated 36070 (90%) constraints
13.13/4.95 c (4,4) translated 40077 (100%) constraints
13.13/4.95 c (4,4) CSP to CSPinCNF End
13.13/4.95 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.13/4.95 c (4,4) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.13/4.95 c (4,4) CSPinCNF Propagation Begin
13.89/5.27 c (4,4) 0 values, 4397 unsatisfiable literals, and 0 valid clauses are removed
13.89/5.27 c (4,4) CSPinCNF Propagation End
13.89/5.27 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.89/5.27 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.89/5.27 c (4,4) Simplify CSPinCNF Begin
14.06/5.38 c (4,4) Simplify CSPinCNF End
14.06/5.38 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
14.06/5.38 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
14.06/5.38 c (4,4) Calculate Precise Domain Begin
14.06/5.38 c (4,4) 0 values are removed by re-calculation
14.06/5.38 c (4,4) Calculate Precise Domain End
14.06/5.38 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
14.06/5.38 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
14.06/5.38 c (4,4) CSPinCNF to SatSolver Begin
14.52/5.50 c (4,4) 4008 (10 %) CSP clauses are encoded (900 SAT variables, 4862 SAT clauses)
14.52/5.56 c (5,5) 8016 (20 %) CSP clauses are encoded (900 SAT variables, 8870 SAT clauses)
14.82/5.60 c (5,5) 12024 (30 %) CSP clauses are encoded (900 SAT variables, 12878 SAT clauses)
14.82/5.64 c (5,5) 16031 (40 %) CSP clauses are encoded (900 SAT variables, 16885 SAT clauses)
14.82/5.66 c (5,5) 20039 (50 %) CSP clauses are encoded (900 SAT variables, 20893 SAT clauses)
14.82/5.69 c (5,5) 24047 (60 %) CSP clauses are encoded (900 SAT variables, 24901 SAT clauses)
15.04/5.72 c (5,5) 28054 (70 %) CSP clauses are encoded (900 SAT variables, 28908 SAT clauses)
15.04/5.75 c (5,5) 32062 (80 %) CSP clauses are encoded (900 SAT variables, 32916 SAT clauses)
15.04/5.78 c (5,5) 36070 (90 %) CSP clauses are encoded (900 SAT variables, 36924 SAT clauses)
15.14/5.80 c (5,5) 40077 (100 %) CSP clauses are encoded (900 SAT variables, 40931 SAT clauses)
15.14/5.80 c (5,5) CSPinCNF to SatSolver End
15.14/5.80 c (5,5) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.42/5.99 c (5,5) STATISTICS2:HOME/instance-4295661-1532578512.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:151589,4:31795;3:7845;2:437,1:151589,
15.42/5.99 c (5,5) SatSolver.solve Begin
15.42/5.99 c (5,5) 900 bool, 40932 clause
15.42/5.99 c (5,5) 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-4295661-1532578512.xml-scop-5161.cnf HOME/instance-4295661-1532578512.xml-scop-5161.cnf.out
1770.99/1760.55 c (1760,0) c This is COMiniSatPS.
1770.99/1760.55 c (1760,0) c WARNING: for repeatability, setting FPU to use double precision
1770.99/1760.55 c (1760,0) c ============================[ Problem Statistics ]=============================
1770.99/1760.55 c (1760,0) c | |
1770.99/1760.55 c (1760,0) c | Number of variables: 900 |
1770.99/1760.55 c (1760,0) c | Number of clauses: 40932 |
1770.99/1760.55 c (1760,0) c | Parse time: 0.01 s |
1770.99/1760.55 c (1760,0) c Reduced to 900 vars, 39918 cls (grow=0)
1770.99/1760.55 c (1760,0) c No iterative elimination performed. (vars=900, c/v ratio=44.4)
1770.99/1760.55 c (1760,0) c | Simplification time: 0.05 s |
1770.99/1760.55 c (1760,0) c | |
1770.99/1760.55 c (1760,0) c ============================[ Search Statistics ]==============================
1770.99/1760.55 c (1760,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1770.99/1760.55 c (1760,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1770.99/1760.55 c (1760,0) c ===============================================================================
1770.99/1760.55 c (1760,0) c ===============================================================================
1770.99/1760.55 c (1760,0) c restarts : 48
1770.99/1760.55 c (1760,0) c conflicts : 11838865 (6748 /sec)
1770.99/1760.55 c (1760,0) c decisions : 13535298 (0.00 % random) (7715 /sec)
1770.99/1760.55 c (1760,0) c propagations : 1691987981 (964453 /sec)
1770.99/1760.55 c (1760,0) c conflict literals : 264024896 (37.58 % deleted)
1770.99/1760.55 c (1760,0) c CPU time : 1754.35 s
1770.99/1760.55 c (1760,0)
1770.99/1760.55 c (1760,0) s SATISFIABLE
1770.99/1760.55 c (1760,5) SatSolver.solve End
1770.99/1760.55 c (1760,5) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
1770.99/1760.55 c (1760,5) Show results Begin
1770.99/1760.57 c (1760,5) x[0] = 5
1770.99/1760.57 c (1760,5) x[1] = 5
1770.99/1760.57 c (1760,5) x[2] = 1
1770.99/1760.57 c (1760,5) x[3] = 12
1770.99/1760.57 c (1760,5) x[4] = 18
1770.99/1760.57 c (1760,5) x[5] = 4
1770.99/1760.57 c (1760,5) x[6] = 9
1770.99/1760.57 c (1760,5) x[7] = 19
1770.99/1760.57 c (1760,5) x[8] = 2
1770.99/1760.57 c (1760,5) x[9] = 8
1770.99/1760.57 c (1760,5) x[10] = 11
1770.99/1760.57 c (1760,5) x[11] = 9
1770.99/1760.57 c (1760,5) x[12] = 8
1770.99/1760.57 c (1760,5) x[13] = 9
1770.99/1760.57 c (1760,5) x[14] = 6
1770.99/1760.57 c (1760,5) x[15] = 1
1770.99/1760.57 c (1760,5) x[16] = 1
1770.99/1760.57 c (1760,5) x[17] = 15
1770.99/1760.57 c (1760,5) x[18] = 13
1770.99/1760.57 c (1760,5) x[19] = 12
1770.99/1760.57 c (1760,5) x[20] = 18
1770.99/1760.57 c (1760,5) x[21] = 18
1770.99/1760.57 c (1760,5) x[22] = 7
1770.99/1760.57 c (1760,5) x[23] = 7
1770.99/1760.57 c (1760,5) x[24] = 4
1770.99/1760.57 c (1760,5) x[25] = 11
1770.99/1760.57 c (1760,5) x[26] = 7
1770.99/1760.57 c (1760,5) x[27] = 8
1770.99/1760.57 c (1760,5) x[28] = 7
1770.99/1760.57 c (1760,5) x[29] = 9
1770.99/1760.57 c (1760,5) x[30] = 3
1770.99/1760.57 c (1760,5) x[31] = 13
1770.99/1760.57 c (1760,5) x[32] = 15
1770.99/1760.57 c (1760,5) x[33] = 7
1770.99/1760.57 c (1760,5) x[34] = 17
1770.99/1760.57 c (1760,5) x[35] = 6
1770.99/1760.57 c (1760,5) x[36] = 20
1770.99/1760.57 c (1760,5) x[37] = 5
1770.99/1760.57 c (1760,5) x[38] = 13
1770.99/1760.57 c (1760,5) x[39] = 19
1770.99/1760.57 c (1760,5) x[40] = 7
1770.99/1760.57 c (1760,5) x[41] = 7
1770.99/1760.57 c (1760,5) x[42] = 11
1770.99/1760.57 c (1760,5) x[43] = 8
1770.99/1760.57 c (1760,5) x[44] = 2
1770.99/1760.57 s SATISFIABLE
1770.99/1760.57 v <instantiation>
1770.99/1760.57 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] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44]</list>
1770.99/1760.57 v <values>5 5 1 12 18 4 9 19 2 8 11 9 8 9 6 1 1 15 13 12 18 18 7 7 4 11 7 8 7 9 3 13 15 7 17 6 20 5 13 19 7 7 11 8 2</values>
1770.99/1760.57 v </instantiation>
1770.99/1760.57 c (1760,5) Show results End
1770.99/1760.57 c (1760,5) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
1770.99/1760.57 c (1760,5) 0,0,4,4,4,4,5,1760,1760,STOP-AFTER(ALL)
1770.99/1760.57 c END-Prog: Thu Jul 26 06:44:32 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 (6774 MiB free)
memory of node 1: 16384 MiB (14000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295661-1532578512/watcher-4295661-1532578512 -o /tmp/evaluation-result-4295661-1532578512/solver-4295661-1532578512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295661-1532578512.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5161, runsolver pid=5158
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 2.02 2.03 2.05 4/220 5176
/proc/meminfo: memFree=21213332/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15011656 memory=73108 CPUtime=0.11 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 6434 0 0 0 9 2 0 0 20 0 15 0 75414455 15371935744 18277 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3752914 18277 2781 1 0 3715374 0
[pid=5161/tid=5163] ppid=5158 vsize=15011656 memory=7100839887183514216 CPUtime=0.08 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) R 5158 5161 32649 0 -1 4202560 4806 0 0 0 7 1 0 0 20 0 15 0 75414455 15371935744 18541 33554432000 4194304 4196468 140734057838080 140586172824704 140586181315408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 18541 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 18541 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 18541 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 18541 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414458 15371935744 18541 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75414458 15371935744 18607 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414459 15371935744 18607 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 18607 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) S 5158 5161 32649 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 18607 33554432000 4194304 4196468 140734057838080 140585170045680 140586201049730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 18607 33554432000 4194304 4196468 140734057838080 140585168993136 140586201049730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0.01 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) S 5158 5161 32649 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 75414461 15371935744 18607 33554432000 4194304 4196468 140734057838080 140585167940080 140586201049730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 18607 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414462 15371935744 18607 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73108 KiB
[startup+0.210491 s]*
/proc/loadavg: 2.02 2.03 2.05 3/220 5176
/proc/meminfo: memFree=21199088/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15011656 memory=86452 CPUtime=0.25 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 9966 0 0 0 22 3 0 0 20 0 15 0 75414455 15371935744 21613 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3752914 21613 2942 1 0 3715374 0
[pid=5161/tid=5163] ppid=5158 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) R 5158 5161 32649 0 -1 4202560 7868 0 0 0 18 2 0 0 20 0 15 0 75414455 15371935744 21613 33554432000 4194304 4196468 140734057838080 140586172864496 140586201050518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 21613 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15011656 memory=140511008245355 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 21613 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414458 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75414458 15371935744 21613 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414459 15371935744 21613 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 21613 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) R 5158 5161 32649 0 -1 4202560 337 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585170045680 140586201059930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) R 5158 5161 32649 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585168993136 140586194023625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0.03 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) R 5158 5161 32649 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 75414461 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585167940080 140586201049730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 21613 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) R 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414462 15371935744 21613 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86452 KiB
[startup+0.310414 s]*
/proc/loadavg: 2.02 2.03 2.05 3/220 5176
/proc/meminfo: memFree=21196172/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15011656 memory=89660 CPUtime=0.42 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 10495 0 0 0 39 3 0 0 20 0 15 0 75414455 15371935744 22415 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3752914 22415 2980 1 0 3715374 0
[pid=5161/tid=5163] ppid=5158 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) R 5158 5161 32649 0 -1 4202560 8237 0 0 0 27 2 0 0 20 0 15 0 75414455 15371935744 22415 33554432000 4194304 4196468 140734057838080 140586172866208 140586201050518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 22415 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 22415 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15011656 memory=140510861828303 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414458 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15011656 memory=140510861849039 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75414458 15371935744 22415 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414459 15371935744 22415 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15011656 memory=281021723670400 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 22415 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) R 5158 5161 32649 0 -1 4202560 395 0 0 0 2 0 0 0 20 0 15 0 75414461 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585170045680 140586182556896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15011656 memory=140510861860751 CPUtime=0.01 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) R 5158 5161 32649 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 15 0 75414461 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585168993136 140586201049730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15011656 memory=140511007839872 CPUtime=0.07 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) R 5158 5161 32649 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 75414461 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585167940080 140586179733632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15011656 memory=140510861865887 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15371935744 22415 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15011656 memory=140511083254327 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414462 15371935744 22415 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89660 KiB
[startup+0.701272 s]
/proc/loadavg: 2.02 2.03 2.05 3/220 5176
/proc/meminfo: memFree=21171616/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15017928 memory=129272 CPUtime=1.02 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 17510 0 0 0 97 5 0 0 20 0 15 0 75414455 15378358272 32318 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3754482 32318 3136 1 0 3715886 0
[pid=5161/tid=5163] ppid=5158 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) R 5158 5161 32649 0 -1 4202560 14763 0 0 0 63 4 0 0 20 0 15 0 75414455 15378358272 32318 33554432000 4194304 4196468 140734057838080 140586172861056 140586201060509 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15378358272 32318 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15378358272 32318 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15017928 memory=1 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414456 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15017928 memory=162707252717455 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75414458 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15017928 memory=445439 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75414458 15378358272 32318 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414459 15378358272 32318 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15378358272 32318 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15017928 memory=7809523229951467574 CPUtime=0.07 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) S 5158 5161 32649 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 15 0 75414461 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585170045680 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15017928 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) R 5158 5161 32649 0 -1 4202560 437 0 0 0 8 0 0 0 20 0 15 0 75414461 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585168983248 140586186720022 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) R 5158 5161 32649 0 -1 4202560 480 0 0 0 18 0 0 0 20 0 15 0 75414461 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585167936032 140586201050518 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75414461 15378358272 32318 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414462 15378358272 32318 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129272 KiB
[startup+1.50161 s]
/proc/loadavg: 2.02 2.03 2.05 5/220 5176
/proc/meminfo: memFree=21092632/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15022100 memory=226744 CPUtime=3.52 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 23069 0 0 0 344 8 0 0 20 0 15 0 75414455 15382630400 56686 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3755525 56686 3202 1 0 3716910 0
[pid=5161/tid=5163] ppid=5158 vsize=15022100 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) R 5158 5161 32649 0 -1 4202560 16024 0 0 0 141 5 0 0 20 0 15 0 75414455 15382630400 56686 33554432000 4194304 4196468 140734057838080 140586172873136 140586201050518 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15022100 memory=6296130570756118625 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15382630400 56686 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15022100 memory=7013630022134556752 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15382630400 56686 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15022100 memory=7013630022134556752 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75414456 15382630400 56686 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15022100 memory=7013630022134556752 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75414456 15382630400 56686 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75414458 15382630400 56686 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
################
# More data... #
################
[pid=5161/tid=5182] ppid=5158 vsize=15681864 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5182/stat : 5182 (java) S 5158 5161 32649 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 75415058 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583272177440 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 1767.27 s
Current children cumulated vsize: 15789380 KiB
Current children cumulated memory: 2471392 KiB
[startup+1758.4 s]
/proc/loadavg: 2.00 2.04 2.05 3/226 5315
/proc/meminfo: memFree=18947416/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15681864 memory=2385792 CPUtime=16.54 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 34307 0 0 0 1573 81 0 0 20 0 19 0 75414455 16058228736 596448 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3920466 596448 3232 1 0 3881322 0
[pid=5177] ppid=5161 vsize=107516 memory=85600 CPUtime=1752.33 cores=1,3,5,7
/proc/5177/stat : 5177 (minisat_release) R 5161 5161 32649 0 -1 4202496 123383 0 0 0 175220 13 0 0 20 0 1 0 75415056 110096384 21400 33554432000 4194304 4308513 140729124835088 140729124832088 4262652 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 30101504 140729124844209 140729124844718 140729124844718 140729124847557 0
/proc/5177/statm: 26879 21400 354 28 0 23119 0
[pid=5161/tid=5163] ppid=5158 vsize=15681864 memory=-5059952977386882957 CPUtime=6.02 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) S 5158 5161 32649 0 -1 1077944384 18393 0 0 0 565 37 0 0 20 0 19 0 75414455 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586172877824 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15681864 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15681864 memory=22900 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15681864 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15681864 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15681864 memory=644 CPUtime=0.03 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 75414458 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15681864 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75414458 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15681864 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75414459 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15681864 memory=956 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15681864 memory=2424 CPUtime=4.33 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) S 5158 5161 32649 0 -1 1077944384 6054 0 0 0 432 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585170045680 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15681864 memory=1576 CPUtime=4.15 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) S 5158 5161 32649 0 -1 1077944384 4792 0 0 0 414 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585168993136 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15681864 memory=1228 CPUtime=1.15 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) S 5158 5161 32649 0 -1 1077944384 3551 0 0 0 114 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585167940080 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15681864 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15681864 memory=15876 CPUtime=0.81 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) S 5158 5161 32649 0 -1 1077944384 118 0 0 0 36 45 0 0 20 0 19 0 75414462 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5178] ppid=5158 vsize=15681864 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5178/stat : 5178 (java) S 5158 5161 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585621775680 140586201063193 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5180] ppid=5158 vsize=15681864 memory=14152 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5180/stat : 5180 (java) S 5158 5161 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583137946928 140586201060509 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5181] ppid=5158 vsize=15681864 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5181/stat : 5181 (java) S 5158 5161 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583003725744 140586201060509 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5182] ppid=5158 vsize=15681864 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5182/stat : 5182 (java) S 5158 5161 32649 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 75415058 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583272177440 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 1768.87 s
Current children cumulated vsize: 15789380 KiB
Current children cumulated memory: 2471392 KiB
[startup+1760 s]*
/proc/loadavg: 2.00 2.04 2.05 3/226 5315
/proc/meminfo: memFree=18947540/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15681864 memory=2385792 CPUtime=16.55 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 34307 0 0 0 1574 81 0 0 20 0 19 0 75414455 16058228736 596448 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3920466 596448 3232 1 0 3881322 0
[pid=5177] ppid=5161 vsize=107516 memory=85600 CPUtime=1753.93 cores=1,3,5,7
/proc/5177/stat : 5177 (minisat_release) R 5161 5161 32649 0 -1 4202496 123390 0 0 0 175380 13 0 0 20 0 1 0 75415056 110096384 21400 33554432000 4194304 4308513 140729124835088 140729124832088 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 30101504 140729124844209 140729124844718 140729124844718 140729124847557 0
/proc/5177/statm: 26879 21400 354 28 0 23119 0
[pid=5161/tid=5163] ppid=5158 vsize=15681864 memory=6935054825532540783 CPUtime=6.02 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) S 5158 5161 32649 0 -1 1077944384 18393 0 0 0 565 37 0 0 20 0 19 0 75414455 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586172877824 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15681864 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15681864 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15681864 memory=840 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15681864 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15681864 memory=1728 CPUtime=0.03 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 75414458 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15681864 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75414458 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15681864 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75414459 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15681864 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15681864 memory=9920 CPUtime=4.33 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) S 5158 5161 32649 0 -1 1077944384 6054 0 0 0 432 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585170045680 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15681864 memory=1944 CPUtime=4.15 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) S 5158 5161 32649 0 -1 1077944384 4792 0 0 0 414 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585168993136 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15681864 memory=1428 CPUtime=1.15 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) S 5158 5161 32649 0 -1 1077944384 3551 0 0 0 114 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585167940080 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15681864 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15681864 memory=18268 CPUtime=0.81 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) S 5158 5161 32649 0 -1 1077944384 118 0 0 0 36 45 0 0 20 0 19 0 75414462 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5178] ppid=5158 vsize=15681864 memory=14152 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5178/stat : 5178 (java) S 5158 5161 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585621775680 140586201063193 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5180] ppid=5158 vsize=15681864 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5180/stat : 5180 (java) S 5158 5161 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583137946928 140586201060509 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5181] ppid=5158 vsize=15681864 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5181/stat : 5181 (java) S 5158 5161 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583003725744 140586201060509 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5182] ppid=5158 vsize=15681864 memory=2385792 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5182/stat : 5182 (java) S 5158 5161 32649 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 75415058 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583272177440 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 1770.48 s
Current children cumulated vsize: 15789380 KiB
Current children cumulated memory: 2471392 KiB
[startup+1760.4 s]
/proc/loadavg: 2.00 2.04 2.05 3/226 5315
/proc/meminfo: memFree=18947540/32770624 swapFree=67108860/67108860
[pid=5161] ppid=5158 vsize=15681864 memory=2385792 CPUtime=16.56 cores=1,3,5,7
/proc/5161/stat : 5161 (java) S 5158 5161 32649 0 -1 1077944320 34307 0 0 0 1574 82 0 0 20 0 19 0 75414455 16058228736 596448 33554432000 4194304 4196468 140734057838080 140734057820624 140586201038583 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
/proc/5161/statm: 3920466 596448 3232 1 0 3881322 0
[pid=5177] ppid=5161 vsize=107516 memory=85600 CPUtime=1754.33 cores=1,3,5,7
/proc/5177/stat : 5177 (minisat_release) R 5161 5161 32649 0 -1 4202496 123392 0 0 0 175420 13 0 0 20 0 1 0 75415056 110096384 21400 33554432000 4194304 4308513 140729124835088 140729124832088 4262763 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 30101504 140729124844209 140729124844718 140729124844718 140729124847557 0
/proc/5177/statm: 26879 21400 354 28 0 23119 0
[pid=5161/tid=5163] ppid=5158 vsize=15681864 memory=-5059952977386882957 CPUtime=6.02 cores=1,3,5,7
/proc/5161/task/5163/stat : 5163 (java) S 5158 5161 32649 0 -1 1077944384 18393 0 0 0 565 37 0 0 20 0 19 0 75414455 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586172877824 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5164] ppid=5158 vsize=15681864 memory=85600 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5164/stat : 5164 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586205281296 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5165] ppid=5158 vsize=15681864 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5165/stat : 5165 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140586025577616 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5166] ppid=5158 vsize=15681864 memory=14152 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5166/stat : 5166 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585660283664 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5167] ppid=5158 vsize=15681864 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5167/stat : 5167 (java) S 5158 5161 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75414456 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585659231120 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5168] ppid=5158 vsize=15681864 memory=644 CPUtime=0.03 cores=1,3,5,7
/proc/5161/task/5168/stat : 5168 (java) S 5158 5161 32649 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 75414458 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585171097840 140586201049730 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5169] ppid=5158 vsize=15681864 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5169/stat : 5169 (java) S 5158 5161 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75414458 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584815682720 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5170] ppid=5158 vsize=15681864 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5170/stat : 5170 (java) S 5158 5161 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75414459 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584547246832 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5171] ppid=5158 vsize=15681864 memory=956 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5171/stat : 5171 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140584172738512 140586201057179 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5172] ppid=5158 vsize=15681864 memory=-5059952977386882957 CPUtime=4.33 cores=1,3,5,7
/proc/5161/task/5172/stat : 5172 (java) S 5158 5161 32649 0 -1 1077944384 6054 0 0 0 432 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585170045680 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5173] ppid=5158 vsize=15681864 memory=1576 CPUtime=4.15 cores=1,3,5,7
/proc/5161/task/5173/stat : 5173 (java) S 5158 5161 32649 0 -1 1077944384 4792 0 0 0 414 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585168993136 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5174] ppid=5158 vsize=15681864 memory=928 CPUtime=1.15 cores=1,3,5,7
/proc/5161/task/5174/stat : 5174 (java) S 5158 5161 32649 0 -1 1077944384 3551 0 0 0 114 1 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585167940080 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5175] ppid=5158 vsize=15681864 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5175/stat : 5175 (java) S 5158 5161 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75414461 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583674833760 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5176] ppid=5158 vsize=15681864 memory=4128 CPUtime=0.81 cores=1,3,5,7
/proc/5161/task/5176/stat : 5176 (java) S 5158 5161 32649 0 -1 1077944384 118 0 0 0 36 45 0 0 20 0 19 0 75414462 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585166887472 140586201049730 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5178] ppid=5158 vsize=15681864 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5178/stat : 5178 (java) S 5158 5161 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140585621775680 140586201063193 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5180] ppid=5158 vsize=15681864 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5180/stat : 5180 (java) S 5158 5161 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583137946928 140586201060509 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5181] ppid=5158 vsize=15681864 memory=840 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5181/stat : 5181 (java) S 5158 5161 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 75415056 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583003725744 140586201060509 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
[pid=5161/tid=5182] ppid=5158 vsize=15681864 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/5161/task/5182/stat : 5182 (java) S 5158 5161 32649 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 75415058 16058228736 596448 33554432000 4194304 4196468 140734057838080 140583272177440 140586201048789 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140734057841651 140734057841929 140734057841929 140734057844687 0
Current children cumulated CPU time: 1770.89 s
Current children cumulated vsize: 15789380 KiB
Current children cumulated memory: 2471392 KiB
[startup+1760.6 s]*
/proc/loadavg: 2.00 2.04 2.05 3/208 5315
/proc/meminfo: memFree=21374908/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): 1760.61
CPU time (s): 1771.15
CPU user time (s): 1770.17
CPU system time (s): 0.97811
CPU usage (%): 100.599
Max. virtual memory (cumulated for all children) (KiB): 15808060
Max. memory (cumulated for all children) (KiB): 2471392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.17
system time used= 0.97811
maximum resident set size= 2388812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42113
involuntary context switches= 480
# summary of solver processes directly reported to runsolver:
# pid: 5161
# total CPU time (s): 1771.15
# total CPU user time (s): 1770.17
# total CPU system time (s): 0.97811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3622 second user time and 19.6258 second system time
The end