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 21:53:11 CEST 2018
0.67/0.55 c PID: 1646
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.02/1.07 c (0,0) Parsing End
2.02/1.08 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 346 ctr, max domain size 17
2.02/1.08 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.02/1.08 c (0,0) Constraint Name Generate Begin
2.02/1.09 c (0,0) Ctr:HOME/instance-4295615-1532548390.xml,ExtensionConflict:IntVar
2.02/1.09 c (0,0) Constraint Name Generate End
2.02/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.02/1.09 c (0,0) CSP to CSPinCNF Begin
4.22/1.71 c (1,1) translated 35 (10%) constraints
4.82/1.91 c (1,1) translated 70 (20%) constraints
5.14/2.07 c (1,1) translated 104 (30%) constraints
5.73/2.23 c (1,1) translated 139 (40%) constraints
6.04/2.37 c (1,1) translated 173 (50%) constraints
6.64/2.51 c (1,1) translated 208 (60%) constraints
6.95/2.63 c (2,2) translated 243 (70%) constraints
7.27/2.74 c (2,2) translated 277 (80%) constraints
7.57/2.85 c (2,2) translated 312 (90%) constraints
7.87/2.96 c (2,2) translated 346 (100%) constraints
8.52/3.12 c (2,2) STATISTICS1:HOME/instance-4295615-1532548390.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:73576,4:16554;3:2404;2:74,1:73576,
8.52/3.12 c (2,2) ===========================================
8.52/3.12 c (2,2) Both Encoding selects:
8.52/3.12 c (2,2) Order
8.52/3.12 c (2,2) ===========================================
8.84/3.20 c (2,2) translated 1904 (10%) constraints
8.84/3.26 c (2,2) translated 3807 (20%) constraints
9.14/3.31 c (2,2) translated 5710 (30%) constraints
9.14/3.37 c (2,2) translated 7613 (40%) constraints
9.44/3.43 c (2,2) translated 9516 (50%) constraints
9.44/3.48 c (2,2) translated 11420 (60%) constraints
9.74/3.54 c (3,3) translated 13323 (70%) constraints
9.74/3.59 c (3,3) translated 15226 (80%) constraints
10.05/3.65 c (3,3) translated 17129 (90%) constraints
10.40/3.71 c (3,3) translated 19032 (100%) constraints
10.40/3.71 c (3,3) CSP to CSPinCNF End
10.40/3.71 c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.40/3.71 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.40/3.71 c (3,3) CSPinCNF Propagation Begin
11.05/3.94 c (3,3) 0 values, 2612 unsatisfiable literals, and 0 valid clauses are removed
11.05/3.94 c (3,3) CSPinCNF Propagation End
11.05/3.94 c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
11.05/3.94 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.05/3.94 c (3,3) Simplify CSPinCNF Begin
11.05/4.00 c (3,3) Simplify CSPinCNF End
11.05/4.00 c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
11.05/4.00 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.05/4.00 c (3,3) Calculate Precise Domain Begin
11.37/4.01 c (3,3) 0 values are removed by re-calculation
11.37/4.01 c (3,3) Calculate Precise Domain End
11.37/4.01 c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
11.37/4.01 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.37/4.01 c (3,3) CSPinCNF to SatSolver Begin
11.37/4.10 c (3,3) 1904 (10 %) CSP clauses are encoded (560 SAT variables, 2428 SAT clauses)
11.67/4.13 c (3,3) 3807 (20 %) CSP clauses are encoded (560 SAT variables, 4331 SAT clauses)
11.67/4.16 c (3,3) 5710 (30 %) CSP clauses are encoded (560 SAT variables, 6234 SAT clauses)
11.67/4.19 c (3,3) 7613 (40 %) CSP clauses are encoded (560 SAT variables, 8137 SAT clauses)
11.95/4.21 c (3,3) 9516 (50 %) CSP clauses are encoded (560 SAT variables, 10040 SAT clauses)
11.95/4.23 c (3,3) 11420 (60 %) CSP clauses are encoded (560 SAT variables, 11944 SAT clauses)
11.95/4.25 c (3,3) 13323 (70 %) CSP clauses are encoded (560 SAT variables, 13847 SAT clauses)
11.95/4.26 c (3,3) 15226 (80 %) CSP clauses are encoded (560 SAT variables, 15750 SAT clauses)
11.95/4.28 c (3,3) 17129 (90 %) CSP clauses are encoded (560 SAT variables, 17653 SAT clauses)
11.95/4.29 c (3,3) 19032 (100 %) CSP clauses are encoded (560 SAT variables, 19556 SAT clauses)
11.95/4.29 c (3,3) CSPinCNF to SatSolver End
11.95/4.29 c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.52/4.40 c (3,3) STATISTICS2:HOME/instance-4295615-1532548390.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:70964,4:14212;3:4476;2:344,1:70964,
12.52/4.40 c (3,3) SatSolver.solve Begin
12.52/4.40 c (3,3) 560 bool, 19557 clause
12.52/4.40 c (3,3) 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-4295615-1532548390.xml-scop-1646.cnf HOME/instance-4295615-1532548390.xml-scop-1646.cnf.out
13.71/5.56 c (5,0) c This is COMiniSatPS.
13.71/5.56 c (5,0) c WARNING: for repeatability, setting FPU to use double precision
13.71/5.56 c (5,0) c ============================[ Problem Statistics ]=============================
13.71/5.56 c (5,0) c | |
13.71/5.56 c (5,0) c | Number of variables: 560 |
13.71/5.56 c (5,0) c | Number of clauses: 19557 |
13.71/5.56 c (5,0) c | Parse time: 0.01 s |
13.71/5.56 c (5,0) c Reduced to 560 vars, 18824 cls (grow=0)
13.71/5.56 c (5,0) c No iterative elimination performed. (vars=560, c/v ratio=33.6)
13.71/5.56 c (5,0) c | Simplification time: 0.02 s |
13.71/5.57 c (5,0) c | |
13.71/5.57 c (5,0) c ============================[ Search Statistics ]==============================
13.71/5.57 c (5,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
13.71/5.57 c (5,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.71/5.57 c (5,0) c ===============================================================================
13.71/5.57 c (5,0) c ===============================================================================
13.71/5.57 c (5,0) c restarts : 11
13.71/5.57 c (5,0) c conflicts : 29827 (26191 /sec)
13.71/5.57 c (5,0) c decisions : 36482 (0.00 % random) (32035 /sec)
13.71/5.57 c (5,0) c propagations : 2707557 (2377532 /sec)
13.71/5.57 c (5,0) c conflict literals : 398021 (32.86 % deleted)
13.71/5.57 c (5,0) c CPU time : 1.13881 s
13.71/5.57 c (5,0)
13.71/5.57 c (5,0) s SATISFIABLE
13.71/5.57 c (5,3) SatSolver.solve End
13.71/5.57 c (5,3) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.71/5.57 c (5,3) Show results Begin
13.71/5.58 c (5,3) x[0] = 4
13.71/5.58 c (5,3) x[1] = 4
13.71/5.58 c (5,3) x[2] = 6
13.71/5.58 c (5,3) x[3] = 10
13.71/5.58 c (5,3) x[4] = 15
13.71/5.58 c (5,3) x[5] = 3
13.71/5.58 c (5,3) x[6] = 7
13.71/5.58 c (5,3) x[7] = 15
13.71/5.58 c (5,3) x[8] = 2
13.71/5.58 c (5,3) x[9] = 7
13.71/5.58 c (5,3) x[10] = 9
13.71/5.58 c (5,3) x[11] = 1
13.71/5.58 c (5,3) x[12] = 6
13.71/5.58 c (5,3) x[13] = 11
13.71/5.58 c (5,3) x[14] = 0
13.71/5.58 c (5,3) x[15] = 1
13.71/5.58 c (5,3) x[16] = 1
13.71/5.58 c (5,3) x[17] = 14
13.71/5.58 c (5,3) x[18] = 10
13.71/5.58 c (5,3) x[19] = 9
13.71/5.58 c (5,3) x[20] = 15
13.71/5.58 c (5,3) x[21] = 15
13.71/5.58 c (5,3) x[22] = 6
13.71/5.58 c (5,3) x[23] = 5
13.71/5.58 c (5,3) x[24] = 3
13.71/5.58 c (5,3) x[25] = 9
13.71/5.58 c (5,3) x[26] = 6
13.71/5.58 c (5,3) x[27] = 6
13.71/5.58 c (5,3) x[28] = 6
13.71/5.58 c (5,3) x[29] = 7
13.71/5.58 c (5,3) x[30] = 2
13.71/5.58 c (5,3) x[31] = 10
13.71/5.58 c (5,3) x[32] = 12
13.71/5.58 c (5,3) x[33] = 5
13.71/5.58 c (5,3) x[34] = 14
13.71/5.58 s SATISFIABLE
13.71/5.58 v <instantiation>
13.71/5.58 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]</list>
13.71/5.58 v <values>4 4 6 10 15 3 7 15 2 7 9 1 6 11 0 1 1 14 10 9 15 15 6 5 3 9 6 6 6 7 2 10 12 5 14</values>
13.71/5.58 v </instantiation>
13.71/5.58 c (5,3) Show results End
13.71/5.58 c (5,3) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.71/5.58 c (5,3) 0,0,3,3,3,3,3,5,5,STOP-AFTER(ALL)
13.71/5.58 c END-Prog: Wed Jul 25 21:53:16 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 (5136 MiB free)
memory of node 1: 16384 MiB (15587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295615-1532548390/watcher-4295615-1532548390 -o /tmp/evaluation-result-4295615-1532548390/solver-4295615-1532548390 -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-4295615-1532548390.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=1646, runsolver pid=1643
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 2.00 2.03 2.05 4/221 1661
/proc/meminfo: memFree=21160832/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15011656 memory=72032 CPUtime=0.11 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 6214 0 0 0 10 1 0 0 20 0 15 0 72402172 15371935744 18008 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3752914 18008 2778 1 0 3715374 0
[pid=1646/tid=1648] ppid=1643 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) R 1643 1646 29212 0 -1 4202560 4609 0 0 0 8 1 0 0 20 0 15 0 72402172 15371935744 18338 33554432000 4194304 4196468 140725199081808 140128528353304 140128548784958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 18338 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 18338 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 18338 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 18338 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402175 15371935744 18404 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72402176 15371935744 18404 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402176 15371935744 18404 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 18404 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) S 1643 1646 29212 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 18404 33554432000 4194304 4196468 140725199081808 140127325083760 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 18404 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0.01 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 72402178 15371935744 18404 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 18404 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402179 15371935744 18404 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72032 KiB
[startup+0.21052 s]*
/proc/loadavg: 2.00 2.03 2.05 3/221 1661
/proc/meminfo: memFree=21146632/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15011656 memory=85912 CPUtime=0.25 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 9852 0 0 0 23 2 0 0 20 0 15 0 72402172 15371935744 21478 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3752914 21478 2939 1 0 3715374 0
[pid=1646/tid=1648] ppid=1643 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) R 1643 1646 29212 0 -1 1077944384 7759 0 0 0 18 2 0 0 20 0 15 0 72402172 15371935744 21478 33554432000 4194304 4196468 140725199081808 140128528373744 140128556558037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 21478 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15011656 memory=3616864691780187808 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 21478 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 21478 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 21478 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402175 15371935744 21478 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72402176 15371935744 21478 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402176 15371935744 21478 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 21478 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) R 1643 1646 29212 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 72402178 15371935744 21478 33554432000 4194304 4196468 140725199081808 140127325075264 140128542611936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 21478 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0.03 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 72402178 15371935744 21478 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 21478 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402179 15371935744 21478 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85912 KiB
[startup+0.310534 s]*
/proc/loadavg: 2.00 2.03 2.05 3/221 1661
/proc/meminfo: memFree=21142832/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15011656 memory=89720 CPUtime=0.42 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 10456 0 0 0 39 3 0 0 20 0 15 0 72402172 15371935744 22430 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3752914 22430 2996 1 0 3715374 0
[pid=1646/tid=1648] ppid=1643 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) S 1643 1646 29212 0 -1 1077944384 8186 0 0 0 27 2 0 0 20 0 15 0 72402172 15371935744 22430 33554432000 4194304 4196468 140725199081808 140128528376032 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 22430 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 22430 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 22430 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402174 15371935744 22430 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15011656 memory=139693677193647 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402175 15371935744 22430 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72402176 15371935744 22430 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15011656 memory=279387354359680 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402176 15371935744 22430 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15011656 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 22430 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) R 1643 1646 29212 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 72402178 15371935744 22430 33554432000 4194304 4196468 140725199081808 140127325083760 140128556558978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15011656 memory=139693677223823 CPUtime=0.02 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) R 1643 1646 29212 0 -1 4202560 163 0 0 0 2 0 0 0 20 0 15 0 72402178 15371935744 22430 33554432000 4194304 4196468 140725199081808 140127324030960 140128541673623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15011656 memory=139693814576768 CPUtime=0.07 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) R 1643 1646 29212 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 72402178 15371935744 22430 33554432000 4194304 4196468 140725199081808 140127322978672 140128535081936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15011656 memory=139693677228959 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15371935744 22430 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15011656 memory=139693886978940 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402179 15371935744 22430 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89720 KiB
[startup+0.707428 s]
/proc/loadavg: 2.00 2.03 2.05 3/221 1661
/proc/meminfo: memFree=21118276/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15020052 memory=129944 CPUtime=1.06 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 17650 0 0 0 101 5 0 0 20 0 15 0 72402172 15380533248 32486 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3755013 32486 3166 1 0 3716398 0
[pid=1646/tid=1648] ppid=1643 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) R 1643 1646 29212 0 -1 4202560 14841 0 0 0 64 3 0 0 20 0 15 0 72402172 15380533248 32486 33554432000 4194304 4196468 140725199081808 140128528383920 140128556569757 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15380533248 32486 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15380533248 32486 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15020052 memory=54 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15380533248 32486 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402174 15380533248 32486 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72402175 15380533248 32486 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72402176 15380533248 32486 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402176 15380533248 32486 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15020052 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15380533248 32486 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15020052 memory=7012755875661107284 CPUtime=0.08 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) R 1643 1646 29212 0 -1 4202560 514 0 0 0 8 0 0 0 20 0 15 0 72402178 15380533248 32486 33554432000 4194304 4196468 140725199081808 140127325064776 140128541474421 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15020052 memory=7588675599774802240 CPUtime=0.09 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 423 0 0 0 9 0 0 0 20 0 15 0 72402178 15380533248 32486 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15020052 memory=-7741331004330446197 CPUtime=0.18 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 532 0 0 0 18 0 0 0 20 0 15 0 72402178 15380533248 32486 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72402178 15380533248 32486 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402179 15380533248 32486 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129944 KiB
[startup+1.50687 s]
/proc/loadavg: 2.00 2.03 2.05 6/221 1661
/proc/meminfo: memFree=21066096/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15022100 memory=200764 CPUtime=3.59 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 22624 0 0 0 352 7 0 0 20 0 15 0 72402172 15382630400 50191 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3755525 50191 3204 1 0 3716910 0
[pid=1646/tid=1648] ppid=1643 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) R 1643 1646 29212 0 -1 4202560 15990 0 0 0 142 5 0 0 20 0 15 0 72402172 15382630400 50191 33554432000 4194304 4196468 140725199081808 140128528380816 140128536272864 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15022100 memory=7013627801519024469 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15382630400 50191 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15022100 memory=7013628918361515349 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15382630400 50191 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15022100 memory=6154542039043757414 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72402174 15382630400 50191 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15022100 memory=7013627801519024469 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72402174 15382630400 50191 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15022100 memory=7013627797291035221 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72402175 15382630400 50191 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
################
# More data... #
################
/proc/1646/task/1657/stat : 1657 (java) S 1643 1646 29212 0 -1 1077944384 4399 0 0 0 354 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127325083760 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15681864 memory=-7161732098442470212 CPUtime=3.51 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 6167 0 0 0 350 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15681864 memory=6944656592455360604 CPUtime=1.12 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 4247 0 0 0 111 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15681864 memory=7679927811743456362 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15681864 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402179 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 1277048 KiB
[startup+5.20072 s]
/proc/loadavg: 2.08 2.04 2.05 3/226 1667
/proc/meminfo: memFree=19945772/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15681864 memory=1277048 CPUtime=12.64 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 33941 0 0 0 1239 25 0 0 20 0 19 0 72402172 16058228736 319262 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3920466 319262 3231 1 0 3881322 0
[pid=1662] ppid=1646 vsize=21808 memory=5140 CPUtime=0.77 cores=1,3,5,7
/proc/1662/stat : 1662 (minisat_release) R 1646 1646 29212 0 -1 4202496 1894 0 0 0 77 0 0 0 20 0 1 0 72402613 22331392 1285 33554432000 4194304 4308513 140726543917056 140726543913800 4289173 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 20963328 140726543921841 140726543922350 140726543922350 140726543925189 0
/proc/1662/statm: 5452 1285 348 28 0 1692 0
[pid=1646/tid=1648] ppid=1643 vsize=15681864 memory=7663271047208986724 CPUtime=4.41 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) S 1643 1646 29212 0 -1 1077944384 17727 0 0 0 421 20 0 0 20 0 19 0 72402172 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128528387072 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15681864 memory=7591211236934563898 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15681864 memory=-7966001967407402336 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15681864 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15681864 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 72402175 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15681864 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72402176 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15681864 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402176 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15681864 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15681864 memory=319755819195564343 CPUtime=3.55 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) S 1643 1646 29212 0 -1 1077944384 4399 0 0 0 354 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127325083760 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15681864 memory=15819993166120724 CPUtime=3.51 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 6167 0 0 0 350 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15681864 memory=6944656592452807323 CPUtime=1.12 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 4247 0 0 0 111 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15681864 memory=-8029775829737353339 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15681864 memory=5796379354664566000 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402179 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1663] ppid=1643 vsize=15681864 memory=146746147605730 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1663/stat : 1663 (java) S 1643 1646 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72402613 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127305991616 140128556572441 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1665] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1665/stat : 1665 (java) S 1643 1646 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 72402613 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125522603952 140128556569757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1666] ppid=1643 vsize=15681864 memory=6442213872044763743 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1666/stat : 1666 (java) S 1643 1646 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 72402614 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125254171952 140128556569757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1667] ppid=1643 vsize=15681864 memory=7523093111152207467 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1667/stat : 1667 (java) S 1643 1646 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 72402616 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125656832928 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 13.41 s
Current children cumulated vsize: 15703672 KiB
Current children cumulated memory: 1282188 KiB
[startup+5.40076 s]
/proc/loadavg: 2.08 2.04 2.05 3/226 1667
/proc/meminfo: memFree=19945772/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15681864 memory=1277048 CPUtime=12.64 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 33941 0 0 0 1239 25 0 0 20 0 19 0 72402172 16058228736 319262 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3920466 319262 3231 1 0 3881322 0
[pid=1662] ppid=1646 vsize=24584 memory=7968 CPUtime=0.97 cores=1,3,5,7
/proc/1662/stat : 1662 (minisat_release) R 1646 1646 29212 0 -1 4202496 2042 0 0 0 97 0 0 0 20 0 1 0 72402613 25174016 1992 33554432000 4194304 4308513 140726543917056 140726543913800 4276135 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 20963328 140726543921841 140726543922350 140726543922350 140726543925189 0
/proc/1662/statm: 6146 1992 348 28 0 2386 0
[pid=1646/tid=1648] ppid=1643 vsize=15681864 memory=0 CPUtime=4.41 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) S 1643 1646 29212 0 -1 1077944384 17727 0 0 0 421 20 0 0 20 0 19 0 72402172 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128528387072 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15681864 memory=139693814576768 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 72402175 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72402176 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402176 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15681864 memory=0 CPUtime=3.55 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) S 1643 1646 29212 0 -1 1077944384 4399 0 0 0 354 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127325083760 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15681864 memory=0 CPUtime=3.51 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 6167 0 0 0 350 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15681864 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 4247 0 0 0 111 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402179 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1663] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1663/stat : 1663 (java) S 1643 1646 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72402613 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127305991616 140128556572441 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1665] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1665/stat : 1665 (java) S 1643 1646 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 72402613 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125522603952 140128556569757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1666] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1666/stat : 1666 (java) S 1643 1646 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 72402614 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125254171952 140128556569757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1667] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1667/stat : 1667 (java) S 1643 1646 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 72402616 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125656832928 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 15706448 KiB
Current children cumulated memory: 1285016 KiB
[startup+5.50076 s]
/proc/loadavg: 2.08 2.04 2.05 3/226 1667
/proc/meminfo: memFree=19945772/32770624 swapFree=67076544/67108860
[pid=1646] ppid=1643 vsize=15681864 memory=1277048 CPUtime=12.64 cores=1,3,5,7
/proc/1646/stat : 1646 (java) S 1643 1646 29212 0 -1 1077944320 33942 0 0 0 1239 25 0 0 20 0 19 0 72402172 16058228736 319262 33554432000 4194304 4196468 140725199081808 140725199064352 140128556547831 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
/proc/1646/statm: 3920466 319262 3231 1 0 3881322 0
[pid=1662] ppid=1646 vsize=24584 memory=7968 CPUtime=1.07 cores=1,3,5,7
/proc/1662/stat : 1662 (minisat_release) R 1646 1646 29212 0 -1 4202496 2042 0 0 0 107 0 0 0 20 0 1 0 72402613 25174016 1992 33554432000 4194304 4308513 140726543917056 140726543913800 4276077 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 20963328 140726543921841 140726543922350 140726543922350 140726543925189 0
/proc/1662/statm: 6146 1992 348 28 0 2386 0
[pid=1646/tid=1648] ppid=1643 vsize=15681864 memory=7968 CPUtime=4.41 cores=1,3,5,7
/proc/1646/task/1648/stat : 1648 (java) S 1643 1646 29212 0 -1 1077944384 17727 0 0 0 421 20 0 0 20 0 19 0 72402172 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128528387072 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1649] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1649/stat : 1649 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128560789904 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1650] ppid=1643 vsize=15681864 memory=288289982647633021 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1650/stat : 1650 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128351873296 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1651] ppid=1643 vsize=15681864 memory=7100839852556323184 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1651/stat : 1651 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128350821008 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1652] ppid=1643 vsize=15681864 memory=8110268427993976473 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1652/stat : 1652 (java) S 1643 1646 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72402174 16058228736 319262 33554432000 4194304 4196468 140725199081808 140128349768208 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1653] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1653/stat : 1653 (java) S 1643 1646 29212 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 72402175 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127326136944 140128556558978 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1654] ppid=1643 vsize=15681864 memory=8025788805538014548 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1654/stat : 1654 (java) S 1643 1646 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72402176 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127200339232 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1655] ppid=1643 vsize=15681864 memory=7165352523811075893 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1655/stat : 1655 (java) S 1643 1646 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 72402176 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126931904112 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1656] ppid=1643 vsize=15681864 memory=431128 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1656/stat : 1656 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126557395536 140128556566427 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1657] ppid=1643 vsize=15681864 memory=18744 CPUtime=3.55 cores=1,3,5,7
/proc/1646/task/1657/stat : 1657 (java) S 1643 1646 29212 0 -1 1077944384 4399 0 0 0 354 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127325083760 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1658] ppid=1643 vsize=15681864 memory=776 CPUtime=3.51 cores=1,3,5,7
/proc/1646/task/1658/stat : 1658 (java) S 1643 1646 29212 0 -1 1077944384 6167 0 0 0 350 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127324030960 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1659] ppid=1643 vsize=15681864 memory=1876 CPUtime=1.12 cores=1,3,5,7
/proc/1646/task/1659/stat : 1659 (java) S 1643 1646 29212 0 -1 1077944384 4247 0 0 0 111 1 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127322978672 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1660] ppid=1643 vsize=15681864 memory=1664 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1660/stat : 1660 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402178 16058228736 319262 33554432000 4194304 4196468 140725199081808 140126059489760 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1661] ppid=1643 vsize=15681864 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1661/stat : 1661 (java) S 1643 1646 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72402179 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127321926576 140128556558978 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1663] ppid=1643 vsize=15681864 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1663/stat : 1663 (java) S 1643 1646 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72402613 16058228736 319262 33554432000 4194304 4196468 140725199081808 140127305991616 140128556572441 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1665] ppid=1643 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1665/stat : 1665 (java) S 1643 1646 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 72402613 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125522603952 140128556569757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1666] ppid=1643 vsize=15681864 memory=8414074075373934867 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1666/stat : 1666 (java) S 1643 1646 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 72402614 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125254171952 140128556569757 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
[pid=1646/tid=1667] ppid=1643 vsize=15681864 memory=1329904169539632281 CPUtime=0 cores=1,3,5,7
/proc/1646/task/1667/stat : 1667 (java) S 1643 1646 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 72402616 16058228736 319262 33554432000 4194304 4196468 140725199081808 140125656832928 140128556558037 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23216128 140725199086580 140725199086857 140725199086857 140725199089615 0
Current children cumulated CPU time: 13.71 s
Current children cumulated vsize: 15706448 KiB
Current children cumulated memory: 1285016 KiB
Child status: 0
Real time (s): 5.60949
CPU time (s): 13.8549
CPU user time (s): 13.5802
CPU system time (s): 0.27473
CPU usage (%): 246.991
Max. virtual memory (cumulated for all children) (KiB): 15706448
Max. memory (cumulated for all children) (KiB): 1285016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5802
system time used= 0.27473
maximum resident set size= 1279096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3345
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 1646
# total CPU time (s): 13.8549
# total CPU user time (s): 13.5802
# total CPU system time (s): 0.27473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067719 second user time and 0.09148 second system time
The end