0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 23:16:49 CEST 2018
0.67/0.55 c PID: 2281
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.37/1.18 c (0,0) Parsing End
2.37/1.18 c (0,0) CSP: 45 int (0 aux), 0 bool (0 aux), 476 ctr, max domain size 21
2.79/1.31 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.79/1.31 c (0,0) Constraint Name Generate Begin
2.79/1.31 c (0,0) Ctr:HOME/instance-4295660-1532553408.xml,ExtensionConflict:IntVar
2.79/1.31 c (0,0) Constraint Name Generate End
2.79/1.31 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.79/1.31 c (0,0) CSP to CSPinCNF Begin
4.67/1.98 c (1,1) translated 48 (10%) constraints
5.88/2.31 c (1,1) translated 96 (20%) constraints
6.50/2.56 c (2,2) translated 143 (30%) constraints
7.10/2.80 c (2,2) translated 191 (40%) constraints
8.03/3.02 c (2,2) translated 238 (50%) constraints
8.63/3.26 c (2,2) translated 286 (60%) constraints
9.22/3.49 c (2,2) translated 334 (70%) constraints
10.13/3.71 c (3,3) translated 381 (80%) constraints
10.45/3.89 c (3,3) translated 429 (90%) constraints
10.90/4.04 c (3,3) translated 476 (100%) constraints
11.41/4.27 c (3,3) STATISTICS1:HOME/instance-4295660-1532553408.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:155986,4:35853;3:4126;2:98,1:155986,
11.41/4.27 c (3,3) ===========================================
11.41/4.27 c (3,3) Both Encoding selects:
11.41/4.27 c (3,3) Order
11.41/4.27 c (3,3) ===========================================
11.63/4.39 c (3,3) translated 4008 (10%) constraints
11.92/4.46 c (3,3) translated 8016 (20%) constraints
12.17/4.53 c (4,3) translated 12024 (30%) constraints
12.17/4.58 c (4,4) translated 16031 (40%) constraints
12.28/4.64 c (4,4) translated 20039 (50%) constraints
12.38/4.70 c (4,4) translated 24047 (60%) constraints
12.38/4.76 c (4,4) translated 28054 (70%) constraints
12.48/4.81 c (4,4) translated 32062 (80%) constraints
12.48/4.87 c (4,4) translated 36070 (90%) constraints
12.57/4.93 c (4,4) translated 40077 (100%) constraints
12.57/4.93 c (4,4) CSP to CSPinCNF End
12.57/4.93 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
12.57/4.93 c (4,4) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.57/4.93 c (4,4) CSPinCNF Propagation Begin
13.36/5.25 c (4,4) 0 values, 4397 unsatisfiable literals, and 0 valid clauses are removed
13.36/5.25 c (4,4) CSPinCNF Propagation End
13.36/5.25 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.36/5.25 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.36/5.25 c (4,4) Simplify CSPinCNF Begin
13.57/5.36 c (4,4) Simplify CSPinCNF End
13.57/5.36 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.57/5.36 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.57/5.36 c (4,4) Calculate Precise Domain Begin
13.57/5.36 c (4,4) 0 values are removed by re-calculation
13.57/5.36 c (4,4) Calculate Precise Domain End
13.57/5.36 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.57/5.36 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.57/5.36 c (4,4) CSPinCNF to SatSolver Begin
13.71/5.48 c (4,4) 4008 (10 %) CSP clauses are encoded (900 SAT variables, 4862 SAT clauses)
13.99/5.53 c (5,4) 8016 (20 %) CSP clauses are encoded (900 SAT variables, 8870 SAT clauses)
13.99/5.57 c (5,5) 12024 (30 %) CSP clauses are encoded (900 SAT variables, 12878 SAT clauses)
14.29/5.60 c (5,5) 16031 (40 %) CSP clauses are encoded (900 SAT variables, 16885 SAT clauses)
14.29/5.63 c (5,5) 20039 (50 %) CSP clauses are encoded (900 SAT variables, 20893 SAT clauses)
14.29/5.66 c (5,5) 24047 (60 %) CSP clauses are encoded (900 SAT variables, 24901 SAT clauses)
14.29/5.68 c (5,5) 28054 (70 %) CSP clauses are encoded (900 SAT variables, 28908 SAT clauses)
14.40/5.71 c (5,5) 32062 (80 %) CSP clauses are encoded (900 SAT variables, 32916 SAT clauses)
14.40/5.74 c (5,5) 36070 (90 %) CSP clauses are encoded (900 SAT variables, 36924 SAT clauses)
14.40/5.77 c (5,5) 40077 (100 %) CSP clauses are encoded (900 SAT variables, 40931 SAT clauses)
14.40/5.77 c (5,5) CSPinCNF to SatSolver End
14.40/5.77 c (5,5) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.82/5.96 c (5,5) STATISTICS2:HOME/instance-4295660-1532553408.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:151589,4:31795;3:7845;2:437,1:151589,
14.82/5.96 c (5,5) SatSolver.solve Begin
14.82/5.96 c (5,5) 900 bool, 40932 clause
14.82/5.96 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-4295660-1532553408.xml-scop-2281.cnf HOME/instance-4295660-1532553408.xml-scop-2281.cnf.out
1775.24/1765.39 c (1764,0) c This is COMiniSatPS.
1775.24/1765.39 c (1764,0) c WARNING: for repeatability, setting FPU to use double precision
1775.24/1765.39 c (1764,0) c ============================[ Problem Statistics ]=============================
1775.24/1765.39 c (1764,0) c | |
1775.24/1765.39 c (1764,0) c | Number of variables: 900 |
1775.24/1765.39 c (1764,0) c | Number of clauses: 40932 |
1775.24/1765.39 c (1764,0) c | Parse time: 0.01 s |
1775.24/1765.39 c (1764,0) c Reduced to 900 vars, 39918 cls (grow=0)
1775.24/1765.39 c (1764,0) c No iterative elimination performed. (vars=900, c/v ratio=44.4)
1775.24/1765.39 c (1764,0) c | Simplification time: 0.05 s |
1775.24/1765.39 c (1764,0) c | |
1775.24/1765.39 c (1764,0) c ============================[ Search Statistics ]==============================
1775.24/1765.39 c (1764,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1775.24/1765.39 c (1764,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1775.24/1765.39 c (1764,0) c ===============================================================================
1775.24/1765.39 c (1764,0) c ===============================================================================
1775.24/1765.39 c (1764,0) c restarts : 48
1775.24/1765.39 c (1764,0) c conflicts : 11838865 (6729 /sec)
1775.24/1765.39 c (1764,0) c decisions : 13535298 (0.00 % random) (7694 /sec)
1775.24/1765.39 c (1764,0) c propagations : 1691987981 (961734 /sec)
1775.24/1765.39 c (1764,0) c conflict literals : 264024896 (37.58 % deleted)
1775.24/1765.39 c (1764,0) c CPU time : 1759.31 s
1775.24/1765.39 c (1764,0)
1775.24/1765.39 c (1764,0) s SATISFIABLE
1775.36/1765.41 c (1764,5) SatSolver.solve End
1775.36/1765.41 c (1764,5) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
1775.36/1765.41 c (1764,5) Show results Begin
1775.36/1765.42 c (1764,5) x[0] = 5
1775.36/1765.42 c (1764,5) x[1] = 5
1775.36/1765.42 c (1764,5) x[2] = 1
1775.36/1765.42 c (1764,5) x[3] = 12
1775.36/1765.42 c (1764,5) x[4] = 18
1775.36/1765.42 c (1764,5) x[5] = 4
1775.36/1765.42 c (1764,5) x[6] = 9
1775.36/1765.42 c (1764,5) x[7] = 19
1775.36/1765.42 c (1764,5) x[8] = 2
1775.36/1765.42 c (1764,5) x[9] = 8
1775.36/1765.42 c (1764,5) x[10] = 11
1775.36/1765.42 c (1764,5) x[11] = 9
1775.36/1765.42 c (1764,5) x[12] = 8
1775.36/1765.42 c (1764,5) x[13] = 9
1775.36/1765.42 c (1764,5) x[14] = 6
1775.36/1765.42 c (1764,5) x[15] = 1
1775.36/1765.42 c (1764,5) x[16] = 1
1775.36/1765.42 c (1764,5) x[17] = 15
1775.36/1765.42 c (1764,5) x[18] = 13
1775.36/1765.42 c (1764,5) x[19] = 12
1775.36/1765.42 c (1764,5) x[20] = 18
1775.36/1765.42 c (1764,5) x[21] = 18
1775.36/1765.42 c (1764,5) x[22] = 7
1775.36/1765.42 c (1764,5) x[23] = 7
1775.36/1765.42 c (1764,5) x[24] = 4
1775.36/1765.42 c (1764,5) x[25] = 11
1775.36/1765.42 c (1764,5) x[26] = 7
1775.36/1765.42 c (1764,5) x[27] = 8
1775.36/1765.42 c (1764,5) x[28] = 7
1775.36/1765.42 c (1764,5) x[29] = 9
1775.36/1765.42 c (1764,5) x[30] = 3
1775.36/1765.42 c (1764,5) x[31] = 13
1775.36/1765.42 c (1764,5) x[32] = 15
1775.36/1765.42 c (1764,5) x[33] = 7
1775.36/1765.42 c (1764,5) x[34] = 17
1775.36/1765.42 c (1764,5) x[35] = 6
1775.36/1765.42 c (1764,5) x[36] = 20
1775.36/1765.42 c (1764,5) x[37] = 5
1775.36/1765.42 c (1764,5) x[38] = 13
1775.36/1765.42 c (1764,5) x[39] = 19
1775.36/1765.42 c (1764,5) x[40] = 7
1775.36/1765.42 c (1764,5) x[41] = 7
1775.36/1765.42 c (1764,5) x[42] = 11
1775.36/1765.42 c (1764,5) x[43] = 8
1775.36/1765.42 c (1764,5) x[44] = 2
1775.36/1765.42 s SATISFIABLE
1775.36/1765.42 v <instantiation>
1775.36/1765.42 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>
1775.36/1765.42 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>
1775.36/1765.42 v </instantiation>
1775.36/1765.42 c (1764,5) Show results End
1775.36/1765.42 c (1764,5) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
1775.36/1765.42 c (1764,5) 0,0,4,4,4,4,5,1764,1764,STOP-AFTER(ALL)
1775.36/1765.42 c END-Prog: Wed Jul 25 23:46:14 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 (5130 MiB free)
memory of node 1: 16384 MiB (15586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295660-1532553408/watcher-4295660-1532553408 -o /tmp/evaluation-result-4295660-1532553408/solver-4295660-1532553408 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295660-1532553408.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=2281, runsolver pid=2278
Current StackSize limit: 8192 KiB
[startup+0.100211 s]*
/proc/loadavg: 2.05 2.14 2.13 3/220 2296
/proc/meminfo: memFree=21153928/32770624 swapFree=67076588/67108860
[pid=2281] ppid=2278 vsize=15011656 memory=72260 CPUtime=0.11 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 6729 0 0 0 10 1 0 0 20 0 15 0 72903986 15371935744 18065 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3752914 18065 2780 1 0 3715374 0
[pid=2281/tid=2283] ppid=2278 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 29212 0 -1 4202560 5202 0 0 0 8 1 0 0 20 0 15 0 72903986 15371935744 18395 33554432000 4194304 4196468 140729337829904 140632627884832 140632636356445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 18461 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 18461 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 18461 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 18461 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903989 15371935744 18461 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72903990 15371935744 18461 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903990 15371935744 18461 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 18461 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 29212 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 18461 33554432000 4194304 4196468 140729337829904 140631692569328 140632656091778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 18461 33554432000 4194304 4196468 140729337829904 140631691516784 140632656091778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0.01 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 29212 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 72903993 15371935744 18461 33554432000 4194304 4196468 140729337829904 140631690463728 140632656091778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 18527 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 18527 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72260 KiB
[startup+0.210537 s]*
/proc/loadavg: 2.05 2.14 2.13 3/220 2296
/proc/meminfo: memFree=21140100/32770624 swapFree=67076588/67108860
[pid=2281] ppid=2278 vsize=15011656 memory=85616 CPUtime=0.26 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 10363 0 0 0 23 3 0 0 20 0 15 0 72903986 15371935744 21404 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3752914 21404 2878 1 0 3715374 0
[pid=2281/tid=2283] ppid=2278 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 29212 0 -1 4202560 8261 0 0 0 18 2 0 0 20 0 15 0 72903986 15371935744 21404 33554432000 4194304 4196468 140729337829904 140632627906544 140632656092566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 21404 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15011656 memory=139816108275926 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 21404 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 21404 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 21404 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903989 15371935744 21404 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72903990 15371935744 21404 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903990 15371935744 21470 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 21470 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) R 2278 2281 29212 0 -1 4202560 463 0 0 0 1 0 0 0 20 0 15 0 72903993 15371935744 21470 33554432000 4194304 4196468 140729337829904 140631692569328 140632635243792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) R 2278 2281 29212 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 21470 33554432000 4194304 4196468 140729337829904 140631691516784 140632633828072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0.03 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) R 2278 2281 29212 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 72903993 15371935744 21470 33554432000 4194304 4196468 140729337829904 140631690463728 140632656091778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 21470 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) R 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 21470 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85616 KiB
[startup+0.310597 s]*
/proc/loadavg: 2.05 2.14 2.13 4/220 2296
/proc/meminfo: memFree=21136052/32770624 swapFree=67076588/67108860
[pid=2281] ppid=2278 vsize=15011656 memory=89692 CPUtime=0.43 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 10979 0 0 0 40 3 0 0 20 0 15 0 72903986 15371935744 22423 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3752914 22423 2984 1 0 3715374 0
[pid=2281/tid=2283] ppid=2278 vsize=15011656 memory=7721456982648042035 CPUtime=0.29 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 29212 0 -1 4202560 8697 0 0 0 27 2 0 0 20 0 15 0 72903986 15371935744 22423 33554432000 4194304 4196468 140729337829904 140632627884784 140632641246286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15011656 memory=3691042062614867976 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 22423 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 22423 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 22423 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15371935744 22423 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903989 15371935744 22423 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72903990 15371935744 22423 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15011656 memory=279631899078560 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903990 15371935744 22423 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 22423 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) R 2278 2281 29212 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 72903993 15371935744 22423 33554432000 4194304 4196468 140729337829904 140631692569328 140632656091778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15011656 memory=139815949574031 CPUtime=0.02 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) R 2278 2281 29212 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 15 0 72903993 15371935744 22423 33554432000 4194304 4196468 140729337829904 140631691516784 140632636782123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15011656 memory=139816108246656 CPUtime=0.07 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) R 2278 2281 29212 0 -1 4202560 335 0 0 0 7 0 0 0 20 0 15 0 72903993 15371935744 22423 33554432000 4194304 4196468 140729337829904 140631690463728 140632648317758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15011656 memory=139815949579167 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 22423 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15011656 memory=139816181150642 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903993 15371935744 22423 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89692 KiB
[startup+0.700773 s]
/proc/loadavg: 2.05 2.14 2.13 3/220 2296
/proc/meminfo: memFree=21111744/32770624 swapFree=67076588/67108860
[pid=2281] ppid=2278 vsize=15017928 memory=129672 CPUtime=1.04 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 18115 0 0 0 98 6 0 0 20 0 15 0 72903986 15378358272 32418 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3754482 32418 3139 1 0 3715886 0
[pid=2281/tid=2283] ppid=2278 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 29212 0 -1 4202560 15237 0 0 0 63 4 0 0 20 0 15 0 72903986 15378358272 32418 33554432000 4194304 4196468 140729337829904 140632627901920 140632656102557 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15378358272 32418 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15378358272 32418 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903988 15378358272 32418 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15378358272 32418 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15017928 memory=7165352523811075893 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72903989 15378358272 32418 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15017928 memory=7151832023689093976 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72903990 15378358272 32418 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903990 15378358272 32418 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15017928 memory=149642834615375 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15378358272 32418 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15017928 memory=427829 CPUtime=0.1 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 29212 0 -1 1077944384 778 0 0 0 10 0 0 0 20 0 15 0 72903993 15378358272 32418 33554432000 4194304 4196468 140729337829904 140631692569328 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15017928 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 29212 0 -1 1077944384 238 0 0 0 6 0 0 0 20 0 15 0 72903993 15378358272 32418 33554432000 4194304 4196468 140729337829904 140631691516784 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15017928 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) R 2278 2281 29212 0 -1 4202560 523 0 0 0 18 0 0 0 20 0 15 0 72903993 15378358272 32418 33554432000 4194304 4196468 140729337829904 140631690459680 140632635035221 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15017928 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72903993 15378358272 32418 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903993 15378358272 32418 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129672 KiB
[startup+1.50612 s]
/proc/loadavg: 2.04 2.14 2.13 5/220 2296
/proc/meminfo: memFree=21033452/32770624 swapFree=67076588/67108860
[pid=2281] ppid=2278 vsize=15022100 memory=229044 CPUtime=3.39 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 22011 0 0 0 331 8 0 0 20 0 15 0 72903986 15382630400 57261 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3755525 57261 3199 1 0 3716910 0
[pid=2281/tid=2283] ppid=2278 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 29212 0 -1 4202560 16486 0 0 0 141 6 0 0 20 0 15 0 72903986 15382630400 57261 33554432000 4194304 4196468 140729337829904 140632627911760 140632656092566 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15382630400 57261 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15382630400 57261 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72903988 15382630400 57261 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72903988 15382630400 57261 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15022100 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72903989 15382630400 57261 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
################
# More data... #
################
[pid=2281/tid=2294] ppid=2278 vsize=15681864 memory=12816 CPUtime=1.15 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 29212 0 -1 1077944384 3577 0 0 0 114 1 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631690463728 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15681864 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15681864 memory=1508 CPUtime=0.84 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 117 0 0 0 38 46 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2298] ppid=2278 vsize=15681864 memory=3328 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2298/stat : 2298 (java) S 2278 2281 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632463615296 140632656105241 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2300] ppid=2278 vsize=15681864 memory=1664 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2300/stat : 2300 (java) S 2278 2281 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629510171952 140632656102557 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2301] ppid=2278 vsize=15681864 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2301/stat : 2301 (java) S 2278 2281 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629644394416 140632656102557 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2302] ppid=2278 vsize=15681864 memory=800 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72904586 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629241749280 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 1773.14 s
Current children cumulated vsize: 15789376 KiB
Current children cumulated memory: 2463352 KiB
[startup+1764.8 s]
/proc/loadavg: 2.02 2.04 2.05 3/225 2439
/proc/meminfo: memFree=18926000/32770624 swapFree=67076592/67108860
[pid=2281] ppid=2278 vsize=15681864 memory=2380236 CPUtime=15.89 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 32518 0 0 0 1505 84 0 0 20 0 19 0 72903986 16058228736 595059 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3920466 595059 3233 1 0 3881322 0
[pid=2297] ppid=2281 vsize=107512 memory=83116 CPUtime=1758.85 cores=1,3,5,7
/proc/2297/stat : 2297 (minisat_release) R 2281 2281 29212 0 -1 4202496 124471 0 0 0 175871 14 0 0 20 0 1 0 72904584 110092288 20779 33554432000 4194304 4308513 140728038286640 140728038283640 4276465 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31399936 140728038290097 140728038290606 140728038290606 140728038293445 0
/proc/2297/statm: 26878 20779 354 28 0 23118 0
[pid=2281/tid=2283] ppid=2278 vsize=15681864 memory=4104 CPUtime=5.98 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) S 2278 2281 29212 0 -1 1077944384 18873 0 0 0 559 39 0 0 20 0 19 0 72903986 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632627919872 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15681864 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15681864 memory=2380236 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15681864 memory=83116 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15681864 memory=81068 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15681864 memory=18948 CPUtime=0.03 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 6 0 0 0 2 1 0 0 20 0 19 0 72903989 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72903990 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15681864 memory=-8707038579349950309 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903990 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15681864 memory=7156591912842326373 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15681864 memory=7524503900901105746 CPUtime=3.97 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 29212 0 -1 1077944384 5058 0 0 0 395 2 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631692569328 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15681864 memory=7667497561383256160 CPUtime=3.87 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 29212 0 -1 1077944384 3479 0 0 0 385 2 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631691516784 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15681864 memory=-5059952977386882957 CPUtime=1.15 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 29212 0 -1 1077944384 3577 0 0 0 114 1 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631690463728 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15681864 memory=83116 CPUtime=0.84 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 117 0 0 0 38 46 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2298] ppid=2278 vsize=15681864 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2298/stat : 2298 (java) S 2278 2281 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632463615296 140632656105241 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2300] ppid=2278 vsize=15681864 memory=3532 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2300/stat : 2300 (java) S 2278 2281 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629510171952 140632656102557 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2301] ppid=2278 vsize=15681864 memory=2380236 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2301/stat : 2301 (java) S 2278 2281 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629644394416 140632656102557 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2302] ppid=2278 vsize=15681864 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72904586 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629241749280 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 1774.74 s
Current children cumulated vsize: 15789376 KiB
Current children cumulated memory: 2463352 KiB
[startup+1765.2 s]
/proc/loadavg: 2.02 2.04 2.05 3/225 2439
/proc/meminfo: memFree=18926000/32770624 swapFree=67076592/67108860
[pid=2281] ppid=2278 vsize=15681864 memory=2380236 CPUtime=15.89 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 32518 0 0 0 1505 84 0 0 20 0 19 0 72903986 16058228736 595059 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3920466 595059 3233 1 0 3881322 0
[pid=2297] ppid=2281 vsize=107512 memory=83116 CPUtime=1759.25 cores=1,3,5,7
/proc/2297/stat : 2297 (minisat_release) R 2281 2281 29212 0 -1 4202496 124474 0 0 0 175911 14 0 0 20 0 1 0 72904584 110092288 20779 33554432000 4194304 4308513 140728038286640 140728038283640 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31399936 140728038290097 140728038290606 140728038290606 140728038293445 0
/proc/2297/statm: 26878 20779 354 28 0 23118 0
[pid=2281/tid=2283] ppid=2278 vsize=15681864 memory=83116 CPUtime=5.98 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) S 2278 2281 29212 0 -1 1077944384 18873 0 0 0 559 39 0 0 20 0 19 0 72903986 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632627919872 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15681864 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15681864 memory=15535206786402564 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15681864 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903988 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15681864 memory=6768 CPUtime=0.03 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 6 0 0 0 2 1 0 0 20 0 19 0 72903989 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15681864 memory=824 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72903990 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15681864 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72903990 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15681864 memory=3132 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15681864 memory=2961740 CPUtime=3.97 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 29212 0 -1 1077944384 5058 0 0 0 395 2 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631692569328 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15681864 memory=38996 CPUtime=3.87 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 29212 0 -1 1077944384 3479 0 0 0 385 2 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631691516784 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15681864 memory=1800 CPUtime=1.15 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 29212 0 -1 1077944384 3577 0 0 0 114 1 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631690463728 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15681864 memory=920 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15681864 memory=3852 CPUtime=0.84 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 117 0 0 0 38 46 0 0 20 0 19 0 72903993 16058228736 595059 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2298] ppid=2278 vsize=15681864 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2298/stat : 2298 (java) S 2278 2281 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140632463615296 140632656105241 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2300] ppid=2278 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2300/stat : 2300 (java) S 2278 2281 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629510171952 140632656102557 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2301] ppid=2278 vsize=15681864 memory=640 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2301/stat : 2301 (java) S 2278 2281 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 72904584 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629644394416 140632656102557 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2302] ppid=2278 vsize=15681864 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72904586 16058228736 595059 33554432000 4194304 4196468 140729337829904 140629241749280 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 1775.14 s
Current children cumulated vsize: 15789376 KiB
Current children cumulated memory: 2463352 KiB
[startup+1765.4 s]
/proc/loadavg: 2.02 2.04 2.05 3/225 2439
/proc/meminfo: memFree=18926000/32770624 swapFree=67076592/67108860
[pid=2281] ppid=2278 vsize=15681864 memory=2382312 CPUtime=1775.36 cores=1,3,5,7
/proc/2281/stat : 2281 (java) S 2278 2281 29212 0 -1 1077944320 32559 124494 0 0 1506 85 175931 14 20 0 18 0 72903986 16058228736 595578 33554432000 4194304 4196468 140729337829904 140729337812448 140632656080631 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
/proc/2281/statm: 3920466 595578 3233 1 0 3881322 0
[pid=2281/tid=2283] ppid=2278 vsize=15681864 memory=1548 CPUtime=1765.43 cores=1,3,5,7
/proc/2281/task/2283/stat : 2283 (java) S 2278 2281 29212 0 -1 1077944384 18873 124494 0 0 559 39 175931 14 20 0 18 0 72903986 16058228736 595578 33554432000 4194304 4196468 140729337829904 140632627919872 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2284] ppid=2278 vsize=15681864 memory=4104 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 29212 0 -1 1077944384 1 124494 0 0 0 0 175931 14 20 0 18 0 72903988 16058228736 595578 33554432000 4194304 4196468 140729337829904 140632660323344 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2285] ppid=2278 vsize=15681864 memory=2164 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 29212 0 -1 1077944384 1 124494 0 0 0 0 175931 14 20 0 18 0 72903988 16058228736 595578 33554432000 4194304 4196468 140729337829904 140632474479760 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2286] ppid=2278 vsize=15681864 memory=3700 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 29212 0 -1 1077944384 2 124494 0 0 0 0 175931 14 20 0 18 0 72903988 16058228736 595578 33554432000 4194304 4196468 140729337829904 140632473426704 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2287] ppid=2278 vsize=15681864 memory=844 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 29212 0 -1 1077944384 1 124494 0 0 0 0 175931 14 20 0 18 0 72903988 16058228736 595578 33554432000 4194304 4196468 140729337829904 140632472374160 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2288] ppid=2278 vsize=15681864 memory=1460 CPUtime=1759.48 cores=1,3,5,7
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 29212 0 -1 1077944384 8 124494 0 0 2 1 175931 14 20 0 18 0 72903989 16058228736 595578 33554432000 4194304 4196468 140729337829904 140631693621488 140632656091778 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2289] ppid=2278 vsize=15681864 memory=1412 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 29212 0 -1 1077944384 13 124494 0 0 0 0 175931 14 20 0 18 0 72903990 16058228736 595578 33554432000 4194304 4196468 140729337829904 140631187907744 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2290] ppid=2278 vsize=15681864 memory=3532 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 29212 0 -1 1077944384 1 124494 0 0 0 0 175931 14 20 0 18 0 72903990 16058228736 595578 33554432000 4194304 4196468 140729337829904 140630919471856 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2291] ppid=2278 vsize=15681864 memory=2380236 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 29212 0 -1 1077944384 3 124494 0 0 0 0 175931 14 20 0 18 0 72903993 16058228736 595578 33554432000 4194304 4196468 140729337829904 140630544963536 140632656099227 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2292] ppid=2278 vsize=15681864 memory=0 CPUtime=1763.42 cores=1,3,5,7
/proc/2281/task/2292/stat : 2292 (java) R 2278 2281 29212 0 -1 4202560 5064 124494 0 0 395 2 175931 14 20 0 18 0 72903993 16058228736 595578 33554432000 4194304 4196468 140729337829904 140631692557440 140632640482722 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2293] ppid=2278 vsize=15681864 memory=-7175204567652784766 CPUtime=1763.32 cores=1,3,5,7
/proc/2281/task/2293/stat : 2293 (java) R 2278 2281 29212 0 -1 4202560 3480 124494 0 0 385 2 175931 14 20 0 18 0 72903993 16058228736 595578 33554432000 4194304 4196468 140729337829904 140631691516368 140632635805018 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2294] ppid=2278 vsize=15681864 memory=3054156605268465310 CPUtime=1760.61 cores=1,3,5,7
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 29212 0 -1 1077944384 3582 124494 0 0 115 1 175931 14 20 0 18 0 72903993 16058228736 595578 33554432000 4194304 4196468 140729337829904 140631690463728 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2295] ppid=2278 vsize=15681864 memory=2596 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 29212 0 -1 1077944384 3 124494 0 0 0 0 175931 14 20 0 18 0 72903993 16058228736 595578 33554432000 4194304 4196468 140729337829904 140630047058784 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2296] ppid=2278 vsize=15681864 memory=2592 CPUtime=1760.29 cores=1,3,5,7
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 29212 0 -1 1077944384 117 124494 0 0 38 46 175931 14 20 0 18 0 72903993 16058228736 595578 33554432000 4194304 4196468 140729337829904 140631689411120 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2298] ppid=2278 vsize=15681864 memory=6935054825532540783 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2298/stat : 2298 (java) S 2278 2281 29212 0 -1 1077944384 25 124494 0 0 0 0 175931 14 20 0 18 0 72904584 16058228736 595578 33554432000 4194304 4196468 140729337829904 140632463614480 140632656091778 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2300] ppid=2278 vsize=15681864 memory=4126316290023845779 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2300/stat : 2300 (java) R 2278 2281 29212 0 -1 1077944384 50 124494 0 0 0 0 175931 14 20 0 18 0 72904584 16058228736 595578 33554432000 4194304 4196468 140729337829904 140629510178240 140632656090837 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
[pid=2281/tid=2302] ppid=2278 vsize=15681864 memory=-5059952977386882957 CPUtime=1759.45 cores=1,3,5,7
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 29212 0 -1 1077944384 5 124494 0 0 0 0 175931 14 20 0 18 0 72904586 16058228736 595578 33554432000 4194304 4196468 140729337829904 140629241749040 140632656090837 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13783040 140729337832436 140729337832713 140729337832713 140729337835471 0
Current children cumulated CPU time: 1775.36 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 2382312 KiB
Child status: 0
Real time (s): 1765.45
CPU time (s): 1775.47
CPU user time (s): 1774.46
CPU system time (s): 1.00781
CPU usage (%): 100.568
Max. virtual memory (cumulated for all children) (KiB): 15789376
Max. memory (cumulated for all children) (KiB): 2463352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.46
system time used= 1.00781
maximum resident set size= 2387216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42345
involuntary context switches= 718
# summary of solver processes directly reported to runsolver:
# pid: 2281
# total CPU time (s): 1775.47
# total CPU user time (s): 1774.46
# total CPU system time (s): 1.00781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.034 second user time and 18.3936 second system time
The end