0.66/0.53
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Mon Jul 23 16:47:15 CEST 2018
0.66/0.56 c PID: 10663
0.66/0.56 c IP: 172.20.3.105
0.66/0.56 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
5.48/2.21 c (1,1) Parsing End
5.48/2.21 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 8410 ctr, max domain size 5
5.48/2.21 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.48/2.21 c (1,1) Constraint Name Generate Begin
5.48/2.26 c (1,1) Ctr:HOME/instance-4294460-1532357234.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
5.48/2.26 c (1,1) Constraint Name Generate End
5.48/2.26 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.48/2.26 c (1,1) CSP to CSPinCNF Begin
6.32/2.54 c (2,1) translated 841 (10%) constraints
6.32/2.60 c (2,2) translated 1682 (20%) constraints
6.61/2.64 c (2,2) translated 2523 (30%) constraints
6.61/2.69 c (2,2) translated 3364 (40%) constraints
6.90/2.73 c (2,2) translated 4205 (50%) constraints
6.90/2.77 c (2,2) translated 5046 (60%) constraints
7.20/2.81 c (2,2) translated 5887 (70%) constraints
7.20/2.84 c (2,2) translated 6728 (80%) constraints
7.20/2.86 c (2,2) translated 7569 (90%) constraints
8.57/3.26 c (2,2) translated 8410 (100%) constraints
10.17/3.78 c (3,3) STATISTICS1:HOME/instance-4294460-1532357234.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1505,11137,16777216,5,4,25,16777216:80;5:15306;1:2197,5:32411;2:3915;1:4620,4:8705;3:1031;2:1305;1:96,25:80;2:17503;1:5965,
10.17/3.78 c (3,3) ===========================================
10.17/3.78 c (3,3) Order
10.17/3.78 c (3,3) ===========================================
10.49/3.88 c (3,3) translated 1114 (10%) constraints
10.84/3.95 c (3,3) translated 2228 (20%) constraints
11.16/4.02 c (3,3) translated 3342 (30%) constraints
11.16/4.09 c (3,3) translated 4455 (40%) constraints
11.46/4.15 c (3,3) translated 5569 (50%) constraints
11.70/4.21 c (3,3) translated 6683 (60%) constraints
11.70/4.26 c (3,3) translated 7796 (70%) constraints
11.89/4.38 c (3,3) translated 8910 (80%) constraints
12.27/4.49 c (3,3) translated 10024 (90%) constraints
12.57/4.55 c (4,3) translated 11137 (100%) constraints
12.57/4.56 c (4,3) CSP to CSPinCNF End
12.57/4.56 c (4,4) CSP: 320 int (120 aux), 2305 bool (2305 aux), 13442 ctr, max domain size 6
12.57/4.56 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.57/4.56 c (4,4) CSPinCNF Propagation Begin
13.53/4.81 c (4,4) 345 values, 3418 unsatisfiable literals, and 2743 valid clauses are removed
13.53/4.81 c (4,4) CSPinCNF Propagation End
13.53/4.81 c (4,4) CSP: 590 int (390 aux), 2035 bool (2035 aux), 10699 ctr, max domain size 6
13.53/4.81 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.53/4.81 c (4,4) Simplify CSPinCNF Begin
14.11/5.07 c (4,4) Simplify CSPinCNF End
14.11/5.07 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6
14.11/5.07 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.11/5.07 c (4,4) Calculate Precise Domain Begin
14.42/5.12 c (4,4) 0 values are removed by re-calculation
14.42/5.12 c (4,4) Calculate Precise Domain End
14.42/5.12 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6
14.42/5.12 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.42/5.12 c (4,4) CSPinCNF to SatSolver Begin
14.73/5.28 c (4,4) 1525 (10 %) CSP clauses are encoded (7810 SAT variables, 6753 SAT clauses)
15.01/5.35 c (4,4) 3050 (20 %) CSP clauses are encoded (7810 SAT variables, 12578 SAT clauses)
15.32/5.42 c (4,4) 4575 (30 %) CSP clauses are encoded (7810 SAT variables, 17903 SAT clauses)
15.62/5.50 c (4,4) 6100 (40 %) CSP clauses are encoded (7810 SAT variables, 23244 SAT clauses)
15.62/5.54 c (5,4) 7625 (50 %) CSP clauses are encoded (7810 SAT variables, 25369 SAT clauses)
15.62/5.57 c (5,5) 9150 (60 %) CSP clauses are encoded (7810 SAT variables, 26894 SAT clauses)
15.62/5.59 c (5,5) 10675 (70 %) CSP clauses are encoded (7810 SAT variables, 28419 SAT clauses)
16.22/5.79 c (5,5) 12200 (80 %) CSP clauses are encoded (7810 SAT variables, 53509 SAT clauses)
16.75/5.93 c (5,5) 13725 (90 %) CSP clauses are encoded (7810 SAT variables, 78599 SAT clauses)
16.75/5.98 c (5,5) 15249 (100 %) CSP clauses are encoded (7810 SAT variables, 90081 SAT clauses)
16.75/5.98 c (5,5) CSPinCNF to SatSolver End
16.75/5.98 c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
16.96/6.10 c (5,5) STATISTICS2:HOME/instance-4294460-1532357234.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,7175,15249,512,6,4,10,512:70;256:140;36:70;5:4806;1:59,6:420;5:12471;2:37710;1:59,4:6577;3:559;2:7807;1:306,10:70;9:140;3:70;2:4865;1:38760,
16.96/6.10 c (5,5) SatSolver.solve Begin
16.96/6.10 c (5,5) 7810 bool, 90085 clause
16.96/6.10 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-4294460-1532357234.xml-scop-10663.cnf HOME/instance-4294460-1532357234.xml-scop-10663.cnf.out
34.56/23.17 c (22,0) c This is COMiniSatPS.
34.56/23.17 c (22,0) c WARNING: for repeatability, setting FPU to use double precision
34.56/23.17 c (22,0) c ============================[ Problem Statistics ]=============================
34.56/23.17 c (22,0) c | |
34.56/23.17 c (22,0) c | Number of variables: 7810 |
34.56/23.17 c (22,0) c | Number of clauses: 90085 |
34.56/23.17 c (22,0) c | Parse time: 0.03 s |
34.56/23.17 c (22,0) c | Eliminated clauses: 0.03 Mb |
34.56/23.17 c (22,0) c Reduced to 6239 vars, 86876 cls (grow=0)
34.56/23.17 c (22,0) c No iterative elimination performed. (vars=6239, c/v ratio=13.9)
34.56/23.17 c (22,0) c | Simplification time: 0.17 s |
34.56/23.17 c (22,0) c | |
34.56/23.17 c (22,0) c ============================[ Search Statistics ]==============================
34.56/23.17 c (22,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
34.56/23.17 c (22,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
34.56/23.17 c (22,0) c ===============================================================================
34.56/23.17 c (22,0) c ===============================================================================
34.56/23.17 c (22,0) c restarts : 58
34.56/23.17 c (22,0) c conflicts : 141766 (8330 /sec)
34.56/23.17 c (22,0) c decisions : 192484 (0.00 % random) (11310 /sec)
34.56/23.17 c (22,0) c propagations : 42965892 (2524620 /sec)
34.56/23.17 c (22,0) c conflict literals : 7659879 (17.00 % deleted)
34.56/23.17 c (22,0) c CPU time : 17.0188 s
34.56/23.17 c (22,0)
34.56/23.17 c (22,0) s UNSATISFIABLE
34.56/23.17 c (22,5) SatSolver.solve End
34.56/23.17 c (22,5) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.56/23.17 c (22,5) Show results Begin
34.56/23.17 s UNSATISFIABLE
34.56/23.17 c (22,5) Show results End
34.56/23.17 c (22,5) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.56/23.17 c (22,5) 1,1,4,4,4,4,5,22,22,STOP-AFTER(ALL)
34.56/23.17 c END-Prog: Mon Jul 23 16:47:38 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 (4334 MiB free)
memory of node 1: 16384 MiB (11503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294460-1532357234/watcher-4294460-1532357234 -o /tmp/evaluation-result-4294460-1532357234/solver-4294460-1532357234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294460-1532357234.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10663, runsolver pid=10660
[startup+0.100563 s]*
/proc/loadavg: 2.21 2.13 2.09 3/215 10678
/proc/meminfo: memFree=16154268/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15011656 memory=71744 CPUtime=0.1 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 6189 0 0 0 9 1 0 0 20 0 15 0 53286618 15371935744 17936 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3752914 17936 2748 1 0 3715374 0
[pid=10663/tid=10665] ppid=10660 vsize=15011656 memory=-8700564654885343612 CPUtime=0.09 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) R 10660 10663 2271 0 -1 4202560 4310 0 0 0 8 1 0 0 20 0 15 0 53286619 15371935744 18067 33554432000 4194304 4196468 140726259010080 139907736032032 139907748308318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 18067 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 18067 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 18067 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 18067 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 18067 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) S 10660 10663 2271 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906532710384 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906531657840 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) R 10660 10663 2271 0 -1 4202560 277 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906530605296 139907756464958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 18067 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 18067 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71744 KiB
[startup+0.210574 s]*
/proc/loadavg: 2.21 2.13 2.09 3/215 10678
/proc/meminfo: memFree=16120396/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15011656 memory=85636 CPUtime=0.24 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 9834 0 0 0 22 2 0 0 20 0 15 0 53286618 15371935744 21409 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3752914 21409 2890 1 0 3715374 0
[pid=10663/tid=10665] ppid=10660 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) S 10660 10663 2271 0 -1 1077944384 7744 0 0 0 18 2 0 0 20 0 15 0 53286619 15371935744 21409 33554432000 4194304 4196468 140726259010080 139907736054224 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 21409 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15011656 memory=288370848712357504 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 21409 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 21409 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 21409 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 21409 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) S 10660 10663 2271 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 15 0 53286625 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906532710384 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) S 10660 10663 2271 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906531657840 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0.02 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) R 10660 10663 2271 0 -1 4202560 294 0 0 0 2 0 0 0 20 0 15 0 53286625 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906530605296 139907764239766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 21409 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 21409 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85636 KiB
[startup+0.310559 s]*
/proc/loadavg: 2.21 2.13 2.09 3/215 10678
/proc/meminfo: memFree=16111696/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15011656 memory=89688 CPUtime=0.42 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 10451 0 0 0 39 3 0 0 20 0 15 0 53286618 15371935744 22422 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3752914 22422 2991 1 0 3715374 0
[pid=10663/tid=10665] ppid=10660 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) R 10660 10663 2271 0 -1 4202560 8166 0 0 0 27 2 0 0 20 0 15 0 53286619 15371935744 22422 33554432000 4194304 4196468 140726259010080 139907736031984 139907745791408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15011656 memory=304556149062238231 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 22422 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15011656 memory=288370848712357504 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 22422 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 22422 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286620 15371935744 22422 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286622 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 22422 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) S 10660 10663 2271 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 53286625 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906532710384 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) S 10660 10663 2271 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 53286625 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906531657840 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0.07 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) S 10660 10663 2271 0 -1 1077944384 346 0 0 0 7 0 0 0 20 0 15 0 53286625 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906530605296 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 22422 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15011656 memory=140472560645760 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286625 15371935744 22422 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89688 KiB
[startup+0.703273 s]
/proc/loadavg: 2.27 2.14 2.10 5/215 10678
/proc/meminfo: memFree=16066676/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15017928 memory=131068 CPUtime=1.03 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 17451 0 0 0 98 5 0 0 20 0 15 0 53286618 15378358272 32255 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3754482 32255 3137 1 0 3715886 0
[pid=10663/tid=10665] ppid=10660 vsize=15017928 memory=18448 CPUtime=0.67 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) R 10660 10663 2271 0 -1 4202560 14668 0 0 0 63 4 0 0 20 0 15 0 53286619 15378358272 32767 33554432000 4194304 4196468 140726259010080 139907736066624 139907764249757 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15017928 memory=10400 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15378358272 32767 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15017928 memory=644 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15378358272 32767 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15017928 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15378358272 32767 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286620 15378358272 32767 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15017928 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53286622 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15017928 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53286622 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15017928 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286622 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15017928 memory=6153431502485414243 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15378358272 32767 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15017928 memory=7733916894068367465 CPUtime=0.06 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) R 10660 10663 2271 0 -1 4202560 553 0 0 0 6 0 0 0 20 0 15 0 53286625 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906532701840 139907743716926 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15017928 memory=6004820471124940137 CPUtime=0.11 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) R 10660 10663 2271 0 -1 4202560 384 0 0 0 11 0 0 0 20 0 15 0 53286625 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906531657968 139907743484274 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15017928 memory=7440052414092175185 CPUtime=0.17 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) R 10660 10663 2271 0 -1 4202560 507 0 0 0 17 0 0 0 20 0 15 0 53286625 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906530602472 139907756944983 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15017928 memory=8098710602360516455 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53286625 15378358272 32767 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15017928 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286625 15378358272 32767 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131068 KiB
[startup+1.50571 s]
/proc/loadavg: 2.27 2.14 2.10 8/215 10678
/proc/meminfo: memFree=15908832/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15022100 memory=262208 CPUtime=3.45 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 20573 0 0 0 336 9 0 0 20 0 15 0 53286618 15382630400 65552 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3755525 65552 3203 1 0 3716910 0
[pid=10663/tid=10665] ppid=10660 vsize=15022100 memory=241532 CPUtime=1.47 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) R 10660 10663 2271 0 -1 4202560 15556 0 0 0 140 7 0 0 20 0 15 0 53286619 15382630400 65552 33554432000 4194304 4196468 140726259010080 139907736062640 139907239780679 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15382630400 65552 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15382630400 65552 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53286620 15382630400 65552 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53286620 15382630400 65552 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53286622 15382630400 65552 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
################
# More data... #
################
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10686] ppid=10660 vsize=15683912 memory=1658056 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10686/stat : 10686 (java) S 10660 10663 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53287230 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906511521344 139907764252441 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10688] ppid=10660 vsize=15683912 memory=20136 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10688/stat : 10688 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904868659248 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10689] ppid=10660 vsize=15683912 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10689/stat : 10689 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904600226992 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10690] ppid=10660 vsize=15683912 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10690/stat : 10690 (java) S 10660 10663 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53287234 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905002888224 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 33.85 s
Current children cumulated vsize: 15731424 KiB
Current children cumulated memory: 1684532 KiB
[startup+22.8007 s]
/proc/loadavg: 2.32 2.17 2.11 3/225 10690
/proc/meminfo: memFree=13243344/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15683912 memory=1658056 CPUtime=17.58 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 35073 0 0 0 1723 35 0 0 20 0 19 0 53286618 16060325888 414514 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3920978 414514 3242 1 0 3881834 0
[pid=10685] ppid=10663 vsize=47512 memory=26476 CPUtime=16.67 cores=0,2,4,6
/proc/10685/stat : 10685 (minisat_release) R 10663 10663 2271 0 -1 4202496 21163 0 0 0 1665 2 0 0 20 0 1 0 53287230 48652288 6619 33554432000 4194304 4308513 140729570505856 140729570502760 140506024367040 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 29097984 140729570513583 140729570514094 140729570514094 140729570516933 0
/proc/10685/statm: 11878 6619 354 28 0 8118 0
[pid=10663/tid=10665] ppid=10660 vsize=15683912 memory=2276 CPUtime=6.11 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) S 10660 10663 2271 0 -1 1077944384 17603 0 0 0 582 29 0 0 20 0 19 0 53286619 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907736067072 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15683912 memory=1658056 CPUtime=4.83 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) S 10660 10663 2271 0 -1 1077944384 4656 0 0 0 482 1 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906532710384 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15683912 memory=33024 CPUtime=4.97 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) S 10660 10663 2271 0 -1 1077944384 7121 0 0 0 496 1 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906531657840 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15683912 memory=960 CPUtime=1.62 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) S 10660 10663 2271 0 -1 1077944384 4297 0 0 0 160 2 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906530605296 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15683912 memory=280944817596352 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15683912 memory=1658056 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10686] ppid=10660 vsize=15683912 memory=37612 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10686/stat : 10686 (java) S 10660 10663 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53287230 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906511521344 139907764252441 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10688] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10688/stat : 10688 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904868659248 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10689] ppid=10660 vsize=15683912 memory=-8316900901535099443 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10689/stat : 10689 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904600226992 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10690] ppid=10660 vsize=15683912 memory=-6800859132029471843 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10690/stat : 10690 (java) S 10660 10663 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53287234 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905002888224 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 34.25 s
Current children cumulated vsize: 15731424 KiB
Current children cumulated memory: 1684532 KiB
[startup+23.0007 s]*
/proc/loadavg: 2.32 2.17 2.11 3/225 10690
/proc/meminfo: memFree=13246588/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15683912 memory=1658056 CPUtime=17.58 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 35073 0 0 0 1723 35 0 0 20 0 19 0 53286618 16060325888 414514 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3920978 414514 3242 1 0 3881834 0
[pid=10685] ppid=10663 vsize=47512 memory=26476 CPUtime=16.87 cores=0,2,4,6
/proc/10685/stat : 10685 (minisat_release) R 10663 10663 2271 0 -1 4202496 21165 0 0 0 1685 2 0 0 20 0 1 0 53287230 48652288 6619 33554432000 4194304 4308513 140729570505856 140729570502760 4276436 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 29097984 140729570513583 140729570514094 140729570514094 140729570516933 0
/proc/10685/statm: 11878 6619 354 28 0 8118 0
[pid=10663/tid=10665] ppid=10660 vsize=15683912 memory=6944656592452807316 CPUtime=6.11 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) S 10660 10663 2271 0 -1 1077944384 17603 0 0 0 582 29 0 0 20 0 19 0 53286619 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907736067072 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15683912 memory=8316297343878395758 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15683912 memory=3472468768788326064 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15683912 memory=288355116380323867 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15683912 memory=288230604640892227 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15683912 memory=15544011469699180 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15683912 memory=7093280907931635812 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15683912 memory=7811050903160832108 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15683912 memory=7811050903160832108 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15683912 memory=7295950583417696866 CPUtime=4.83 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) S 10660 10663 2271 0 -1 1077944384 4656 0 0 0 482 1 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906532710384 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15683912 memory=7295950583417696866 CPUtime=4.97 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) S 10660 10663 2271 0 -1 1077944384 7121 0 0 0 496 1 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906531657840 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15683912 memory=7295950583417696866 CPUtime=1.62 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) S 10660 10663 2271 0 -1 1077944384 4297 0 0 0 160 2 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906530605296 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15683912 memory=7811050903160832108 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15683912 memory=7811050903160832108 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10686] ppid=10660 vsize=15683912 memory=6154851027933291877 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10686/stat : 10686 (java) S 10660 10663 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53287230 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906511521344 139907764252441 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10688] ppid=10660 vsize=15683912 memory=7662147354848225637 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10688/stat : 10688 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904868659248 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10689] ppid=10660 vsize=15683912 memory=7662147354848225637 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10689/stat : 10689 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904600226992 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10690] ppid=10660 vsize=15683912 memory=3474165323885979316 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10690/stat : 10690 (java) S 10660 10663 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53287234 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905002888224 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 34.45 s
Current children cumulated vsize: 15731424 KiB
Current children cumulated memory: 1684532 KiB
[startup+23.1105 s]
/proc/loadavg: 2.32 2.17 2.11 3/225 10690
/proc/meminfo: memFree=13246588/32770624 swapFree=67108860/67108860
[pid=10663] ppid=10660 vsize=15683912 memory=1658056 CPUtime=17.58 cores=0,2,4,6
/proc/10663/stat : 10663 (java) S 10660 10663 2271 0 -1 1077944320 35073 0 0 0 1723 35 0 0 20 0 19 0 53286618 16060325888 414514 33554432000 4194304 4196468 140726259010080 140726258992624 139907764227831 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
/proc/10663/statm: 3920978 414514 3242 1 0 3881834 0
[pid=10685] ppid=10663 vsize=47512 memory=26476 CPUtime=16.98 cores=0,2,4,6
/proc/10685/stat : 10685 (minisat_release) R 10663 10663 2271 0 -1 4202496 21168 0 0 0 1696 2 0 0 20 0 1 0 53287230 48652288 6619 33554432000 4194304 4308513 140729570505856 140729570502760 4259820 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 29097984 140729570513583 140729570514094 140729570514094 140729570516933 0
/proc/10685/statm: 11878 6619 354 28 0 8118 0
[pid=10663/tid=10665] ppid=10660 vsize=15683912 memory=1658056 CPUtime=6.11 cores=0,2,4,6
/proc/10663/task/10665/stat : 10665 (java) S 10660 10663 2271 0 -1 1077944384 17603 0 0 0 582 29 0 0 20 0 19 0 53286619 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907736067072 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10666] ppid=10660 vsize=15683912 memory=33024 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10666/stat : 10666 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907768469776 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10667] ppid=10660 vsize=15683912 memory=8046186993342713441 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10667/stat : 10667 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907559553424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10668] ppid=10660 vsize=15683912 memory=280944817427216 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10668/stat : 10668 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907558500880 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10669] ppid=10660 vsize=15683912 memory=3690335068203079011 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10669/stat : 10669 (java) S 10660 10663 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53286620 16060325888 414514 33554432000 4194304 4196468 140726259010080 139907557448336 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10670] ppid=10660 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10670/stat : 10670 (java) S 10660 10663 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906533763568 139907764238978 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10671] ppid=10660 vsize=15683912 memory=22184 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10671/stat : 10671 (java) S 10660 10663 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906412176800 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10672] ppid=10660 vsize=15683912 memory=1658056 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10672/stat : 10672 (java) S 10660 10663 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53286622 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906143741424 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10673] ppid=10660 vsize=15683912 memory=24128 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10673/stat : 10673 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905769233104 139907764246427 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10674] ppid=10660 vsize=15683912 memory=1658056 CPUtime=4.83 cores=0,2,4,6
/proc/10663/task/10674/stat : 10674 (java) S 10660 10663 2271 0 -1 1077944384 4656 0 0 0 482 1 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906532710384 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10675] ppid=10660 vsize=15683912 memory=26476 CPUtime=4.97 cores=0,2,4,6
/proc/10663/task/10675/stat : 10675 (java) S 10660 10663 2271 0 -1 1077944384 7121 0 0 0 496 1 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906531657840 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10676] ppid=10660 vsize=15683912 memory=280944817257840 CPUtime=1.62 cores=0,2,4,6
/proc/10663/task/10676/stat : 10676 (java) S 10660 10663 2271 0 -1 1077944384 4297 0 0 0 160 2 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906530605296 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10677] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10677/stat : 10677 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905271327328 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10678] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10678/stat : 10678 (java) S 10660 10663 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53286625 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906529553200 139907764238978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10686] ppid=10660 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10686/stat : 10686 (java) S 10660 10663 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53287230 16060325888 414514 33554432000 4194304 4196468 140726259010080 139906511521344 139907764252441 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10688] ppid=10660 vsize=15683912 memory=857 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10688/stat : 10688 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904868659248 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10689] ppid=10660 vsize=15683912 memory=280944817222352 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10689/stat : 10689 (java) S 10660 10663 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53287232 16060325888 414514 33554432000 4194304 4196468 140726259010080 139904600226992 139907764249757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
[pid=10663/tid=10690] ppid=10660 vsize=15683912 memory=47971697690858 CPUtime=0 cores=0,2,4,6
/proc/10663/task/10690/stat : 10690 (java) S 10660 10663 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53287234 16060325888 414514 33554432000 4194304 4196468 140726259010080 139905002888224 139907764238037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140726259012595 140726259012873 140726259012873 140726259015631 0
Current children cumulated CPU time: 34.56 s
Current children cumulated vsize: 15731424 KiB
Current children cumulated memory: 1684532 KiB
Child status: 0
Real time (s): 23.189
CPU time (s): 34.6645
CPU user time (s): 34.2668
CPU system time (s): 0.397759
CPU usage (%): 149.487
Max. virtual memory (cumulated for all children) (KiB): 15743024
Max. memory (cumulated for all children) (KiB): 1695668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.2668
system time used= 0.397759
maximum resident set size= 1660104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5536
involuntary context switches= 95
# summary of solver processes directly reported to runsolver:
# pid: 10663
# total CPU time (s): 34.6645
# total CPU user time (s): 34.2668
# total CPU system time (s): 0.397759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186299 second user time and 0.272944 second system time
The end