0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Jul 23 16:04:28 CEST 2018
0.66/0.54 c PID: 16183
0.66/0.54 c IP: 172.20.3.102
0.66/0.54 c HOST: node102.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.19/0.84 c (0,0) Parsing End
1.19/0.85 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 30 ctr, max domain size 20
1.19/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85 c (0,0) Constraint Name Generate Begin
1.19/0.85 c (0,0) Ctr:HOME/instance-4294230-1532354667.xml,Add:Element:Eq:IntVar:Num
1.19/0.85 c (0,0) Constraint Name Generate End
1.19/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85 c (0,0) CSP to CSPinCNF Begin
1.38/1.00 c (0,0) translated 3 (10%) constraints
1.57/1.04 c (0,0) translated 6 (20%) constraints
1.57/1.07 c (0,0) translated 9 (30%) constraints
1.57/1.10 c (0,0) translated 12 (40%) constraints
1.85/1.12 c (0,0) translated 15 (50%) constraints
1.85/1.15 c (0,0) translated 18 (60%) constraints
1.85/1.16 c (0,0) translated 21 (70%) constraints
1.85/1.17 c (0,0) translated 24 (80%) constraints
1.85/1.17 c (0,0) translated 27 (90%) constraints
1.85/1.17 c (0,0) translated 30 (100%) constraints
2.07/1.21 c (0,0) STATISTICS1:HOME/instance-4294230-1532354667.xml,Add:Element:Eq:IntVar:Num,40,410,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:42;17:42;16:42;15:42;14:42;13:42;12:42;11:42;10:442;9:42,3:400;1:10,2:20;1:1200,
2.07/1.21 c (0,0) ===========================================
2.07/1.21 c (0,0) Both Encoding selects:
2.07/1.21 c (0,0) Order
2.07/1.21 c (0,0) ===========================================
2.07/1.26 c (0,0) translated 41 (10%) constraints
2.07/1.28 c (0,0) translated 82 (20%) constraints
2.07/1.30 c (0,0) translated 123 (30%) constraints
2.33/1.31 c (0,0) translated 164 (40%) constraints
2.33/1.32 c (0,0) translated 205 (50%) constraints
2.33/1.33 c (0,0) translated 246 (60%) constraints
2.33/1.34 c (0,0) translated 287 (70%) constraints
2.33/1.35 c (0,0) translated 328 (80%) constraints
2.33/1.36 c (0,0) translated 369 (90%) constraints
2.33/1.37 c (0,0) translated 410 (100%) constraints
2.33/1.38 c (0,0) CSP to CSPinCNF End
2.33/1.38 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1220 ctr, max domain size 18
2.33/1.38 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.33/1.38 c (0,0) CSPinCNF Propagation Begin
2.60/1.42 c (0,0) 0 values, 170 unsatisfiable literals, and 210 valid clauses are removed
2.60/1.42 c (0,0) CSPinCNF Propagation End
2.60/1.42 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.60/1.42 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.42 c (0,0) Simplify CSPinCNF Begin
2.60/1.43 c (0,0) Simplify CSPinCNF End
2.60/1.43 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.60/1.43 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.43 c (0,0) Calculate Precise Domain Begin
2.60/1.43 c (0,0) 0 values are removed by re-calculation
2.60/1.43 c (0,0) Calculate Precise Domain End
2.60/1.43 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.60/1.43 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.43 c (0,0) CSPinCNF to SatSolver Begin
2.60/1.47 c (0,0) 101 (10 %) CSP clauses are encoded (630 SAT variables, 490 SAT clauses)
2.60/1.48 c (0,0) 202 (20 %) CSP clauses are encoded (630 SAT variables, 591 SAT clauses)
2.60/1.49 c (0,0) 303 (30 %) CSP clauses are encoded (630 SAT variables, 692 SAT clauses)
2.60/1.49 c (0,0) 404 (40 %) CSP clauses are encoded (630 SAT variables, 793 SAT clauses)
2.90/1.50 c (0,0) 505 (50 %) CSP clauses are encoded (630 SAT variables, 894 SAT clauses)
2.90/1.50 c (0,0) 606 (60 %) CSP clauses are encoded (630 SAT variables, 995 SAT clauses)
2.90/1.50 c (0,0) 707 (70 %) CSP clauses are encoded (630 SAT variables, 1096 SAT clauses)
2.90/1.51 c (0,0) 808 (80 %) CSP clauses are encoded (630 SAT variables, 1197 SAT clauses)
2.90/1.51 c (0,0) 909 (90 %) CSP clauses are encoded (630 SAT variables, 1298 SAT clauses)
2.90/1.52 c (0,0) 1010 (100 %) CSP clauses are encoded (630 SAT variables, 1622 SAT clauses)
2.90/1.52 c (0,0) CSPinCNF to SatSolver End
2.90/1.52 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.90/1.54 c (1,1) STATISTICS2:HOME/instance-4294230-1532354667.xml,Add:Element:Eq:IntVar:Num,240,1010,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:72;17:68;16:64;15:60;14:56;13:52;12:48;11:44;10:760;9:36;2:990,3:230;2:760;1:20,2:20;1:2210,
2.90/1.54 c (1,1) SatSolver.solve Begin
2.90/1.54 c (1,1) 630 bool, 1630 clause
2.90/1.54 c (1,1) 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-4294230-1532354667.xml-scop-16183.cnf HOME/instance-4294230-1532354667.xml-scop-16183.cnf.out
10.90/9.31 c (8,0) c This is COMiniSatPS.
10.90/9.31 c (8,0) c WARNING: for repeatability, setting FPU to use double precision
10.90/9.31 c (8,0) c ============================[ Problem Statistics ]=============================
10.90/9.31 c (8,0) c | |
10.90/9.31 c (8,0) c | Number of variables: 630 |
10.90/9.31 c (8,0) c | Number of clauses: 1630 |
10.90/9.31 c (8,0) c | Parse time: 0.00 s |
10.90/9.31 c (8,0) c | Eliminated clauses: 0.01 Mb |
10.90/9.31 c (8,0) c Reduced to 344 vars, 1091 cls (grow=0)
10.90/9.31 c (8,0) c No iterative elimination performed. (vars=344, c/v ratio=3.2)
10.90/9.31 c (8,0) c | Simplification time: 0.00 s |
10.90/9.31 c (8,0) c | |
10.90/9.31 c (8,0) c ============================[ Search Statistics ]==============================
10.90/9.31 c (8,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.90/9.31 c (8,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.90/9.31 c (8,0) c ===============================================================================
10.90/9.31 c (8,0) c ===============================================================================
10.90/9.31 c (8,0) c restarts : 44
10.90/9.31 c (8,0) c conflicts : 117062 (15117 /sec)
10.90/9.31 c (8,0) c decisions : 129608 (0.00 % random) (16737 /sec)
10.90/9.31 c (8,0) c propagations : 7449225 (961938 /sec)
10.90/9.31 c (8,0) c conflict literals : 1965670 (36.81 % deleted)
10.90/9.31 c (8,0) c CPU time : 7.74398 s
10.90/9.31 c (8,0)
10.90/9.31 c (8,0) s UNSATISFIABLE
10.90/9.31 c (8,1) SatSolver.solve End
10.90/9.31 c (8,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.90/9.31 c (8,1) Show results Begin
10.90/9.31 s UNSATISFIABLE
10.90/9.31 c (8,1) Show results End
10.90/9.31 c (8,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.90/9.31 c (8,1) 0,0,0,0,0,0,0,8,8,STOP-AFTER(ALL)
10.90/9.31 c END-Prog: Mon Jul 23 16:04:37 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 (5559 MiB free)
memory of node 1: 16384 MiB (10506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294230-1532354667/watcher-4294230-1532354667 -o /tmp/evaluation-result-4294230-1532354667/solver-4294230-1532354667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294230-1532354667.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
Current StackSize limit: 8192 KiB
solver pid=16183, runsolver pid=16180
[startup+0.100088 s]*
/proc/loadavg: 2.00 2.05 2.06 3/220 16198
/proc/meminfo: memFree=16392516/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15011656 memory=72780 CPUtime=0.11 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 6884 0 0 0 9 2 0 0 20 0 15 0 53029912 15371935744 18195 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3752914 18195 2780 1 0 3715374 0
[pid=16183/tid=16185] ppid=16180 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) R 16180 16183 8919 0 -1 4202560 4948 0 0 0 8 1 0 0 20 0 15 0 53029912 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223695180168 140223723390109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029913 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029915 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53029915 15371935744 18195 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53029916 15371935744 18195 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 18195 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) R 16180 16183 8919 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223062153200 140223723379330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) R 16180 16183 8919 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223061100656 140223708528112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0.01 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) R 16180 16183 8919 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 15 0 53029918 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223060048112 140223723380118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 18195 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 18195 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72780 KiB
[startup+0.210577 s]*
/proc/loadavg: 2.00 2.05 2.06 5/220 16198
/proc/meminfo: memFree=16379044/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15011656 memory=83496 CPUtime=0.25 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 9876 0 0 0 22 3 0 0 20 0 15 0 53029912 15371935744 20874 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3752914 20874 2913 1 0 3715374 0
[pid=16183/tid=16185] ppid=16180 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) R 16180 16183 8919 0 -1 4202560 7748 0 0 0 17 2 0 0 20 0 15 0 53029912 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223695191248 140223723380118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029913 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15011656 memory=140271830026073 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029915 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53029915 15371935744 20874 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53029916 15371935744 20874 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 20874 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) R 16180 16183 8919 0 -1 4202560 315 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223062153200 140223723380118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) R 16180 16183 8919 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223061100656 140223723379330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0.03 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) R 16180 16183 8919 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 53029918 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223060048112 140223723380118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 20874 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 20874 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83496 KiB
[startup+0.310521 s]*
/proc/loadavg: 2.00 2.05 2.06 3/220 16198
/proc/meminfo: memFree=16375508/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15011656 memory=87912 CPUtime=0.43 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 10500 0 0 0 40 3 0 0 20 0 15 0 53029912 15371935744 21978 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3752914 21978 3042 1 0 3715374 0
[pid=16183/tid=16185] ppid=16180 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) R 16180 16183 8919 0 -1 4202560 8186 0 0 0 27 2 0 0 20 0 15 0 53029912 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223695196176 140223723390109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029913 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15011656 memory=140271830018645 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029914 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029915 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53029915 15371935744 21978 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53029916 15371935744 21978 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 21978 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) R 16180 16183 8919 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 53029918 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223062153200 140223706752917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) R 16180 16183 8919 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 53029918 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223061100656 140223723379330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0.07 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) R 16180 16183 8919 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 53029918 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223060048112 140223702318075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 21978 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15011656 memory=140271829710464 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) R 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029918 15371935744 21978 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87912 KiB
[startup+0.700724 s]
/proc/loadavg: 2.00 2.05 2.06 3/220 16198
/proc/meminfo: memFree=16350828/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15020052 memory=128348 CPUtime=1.01 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 17772 0 0 0 96 5 0 0 20 0 15 0 53029912 15380533248 32087 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3755013 32087 3167 1 0 3716398 0
[pid=16183/tid=16185] ppid=16180 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) R 16180 16183 8919 0 -1 4202560 14979 0 0 0 63 4 0 0 20 0 15 0 53029912 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223695201952 140223182941033 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029913 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15020052 memory=209807206273693 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029914 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15020052 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53029915 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53029915 15380533248 32087 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53029916 15380533248 32087 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15380533248 32087 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) S 16180 16183 8919 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 15 0 53029918 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223062153200 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15020052 memory=-3472574513799858009 CPUtime=0.08 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) S 16180 16183 8919 0 -1 1077944384 478 0 0 0 8 0 0 0 20 0 15 0 53029918 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223061100656 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15020052 memory=6944656592387989600 CPUtime=0.16 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) S 16180 16183 8919 0 -1 1077944384 476 0 0 0 16 0 0 0 20 0 15 0 53029918 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223060048112 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53029918 15380533248 32087 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029918 15380533248 32087 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128348 KiB
[startup+1.50068 s]
/proc/loadavg: 2.00 2.05 2.06 4/220 16198
/proc/meminfo: memFree=16321584/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15026264 memory=178776 CPUtime=2.9 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 21738 0 0 0 282 8 0 0 20 0 15 0 53029912 15386894336 44694 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3756566 44694 3212 1 0 3717422 0
[pid=16183/tid=16185] ppid=16180 vsize=15026264 memory=126 CPUtime=1.46 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) R 16180 16183 8919 0 -1 4202560 16281 0 0 0 141 5 0 0 20 0 15 0 53029912 15386894336 44694 33554432000 4194304 4196468 140735457936432 140223695206096 140223190678761 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029913 15386894336 44694 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15386894336 44694 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53029914 15386894336 44694 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53029914 15386894336 44694 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53029915 15386894336 44694 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
################
# More data... #
################
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16200] ppid=16180 vsize=15681864 memory=3297 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16200/stat : 16200 (java) S 16180 16183 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223166301760 140223723392793 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16202] ppid=16180 vsize=15681864 memory=8041037979969885544 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16202/stat : 16202 (java) S 16180 16183 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220682977328 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16203] ppid=16180 vsize=15681864 memory=280543371943136 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16203/stat : 16203 (java) S 16180 16183 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220414540976 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16204] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16204/stat : 16204 (java) S 16180 16183 8919 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53030070 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220951419936 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 15710484 KiB
Current children cumulated memory: 211216 KiB
[startup+8.80073 s]
/proc/loadavg: 2.00 2.05 2.06 3/225 16204
/proc/meminfo: memFree=16246156/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15681864 memory=199380 CPUtime=3.17 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 22303 0 0 0 308 9 0 0 20 0 19 0 53029912 16058228736 49845 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3920466 49845 3217 1 0 3881322 0
[pid=16199] ppid=16183 vsize=28620 memory=11912 CPUtime=7.23 cores=1,3,5,7
/proc/16199/stat : 16199 (minisat_release) R 16183 16183 8919 0 -1 4202496 6850 0 0 0 723 0 0 0 20 0 1 0 53030068 29306880 2978 33554432000 4194304 4308513 140730945904880 140730945901880 4275870 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 41025536 140730945913519 140730945914030 140730945914030 140730945916869 0
/proc/16199/statm: 7155 2978 347 28 0 3395 0
[pid=16183/tid=16185] ppid=16180 vsize=15681864 memory=11836 CPUtime=1.57 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) S 16180 16183 8919 0 -1 1077944384 16679 0 0 0 151 6 0 0 20 0 19 0 53029912 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223695207424 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15681864 memory=280543371496144 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53029913 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15681864 memory=290763849282617370 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15681864 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53029915 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15681864 memory=140271686157760 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53029915 16058228736 49845 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53029916 16058228736 49845 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15681864 memory=6648615548753253269 CPUtime=0.4 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) S 16180 16183 8919 0 -1 1077944384 754 0 0 0 39 1 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223062153200 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15681864 memory=-9178176117148050014 CPUtime=0.44 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) S 16180 16183 8919 0 -1 1077944384 877 0 0 0 44 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223061100656 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15681864 memory=-7233780906022726806 CPUtime=0.71 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) S 16180 16183 8919 0 -1 1077944384 2571 0 0 0 71 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223060048112 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15681864 memory=6525858347538544147 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15681864 memory=8040495993198573075 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16200] ppid=16180 vsize=15681864 memory=-8253362762723130492 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16200/stat : 16200 (java) S 16180 16183 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223166301760 140223723392793 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16202] ppid=16180 vsize=15681864 memory=-7956310820449840986 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16202/stat : 16202 (java) S 16180 16183 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220682977328 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16203] ppid=16180 vsize=15681864 memory=4784294241252528286 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16203/stat : 16203 (java) S 16180 16183 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220414540976 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16204] ppid=16180 vsize=15681864 memory=140271829717025 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16204/stat : 16204 (java) S 16180 16183 8919 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53030070 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220951419936 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 10.4 s
Current children cumulated vsize: 15710484 KiB
Current children cumulated memory: 211292 KiB
[startup+9.20074 s]
/proc/loadavg: 2.00 2.05 2.06 3/225 16204
/proc/meminfo: memFree=16258056/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15681864 memory=199380 CPUtime=3.17 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 22303 0 0 0 308 9 0 0 20 0 19 0 53029912 16058228736 49845 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3920466 49845 3217 1 0 3881322 0
[pid=16199] ppid=16183 vsize=28620 memory=11912 CPUtime=7.63 cores=1,3,5,7
/proc/16199/stat : 16199 (minisat_release) R 16183 16183 8919 0 -1 4202496 7687 0 0 0 763 0 0 0 20 0 1 0 53030068 29306880 2978 33554432000 4194304 4308513 140730945904880 140730945901880 4250423 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 41025536 140730945913519 140730945914030 140730945914030 140730945916869 0
/proc/16199/statm: 7155 2978 347 28 0 3395 0
[pid=16183/tid=16185] ppid=16180 vsize=15681864 memory=5936124131678380885 CPUtime=1.57 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) S 16180 16183 8919 0 -1 1077944384 16679 0 0 0 151 6 0 0 20 0 19 0 53029912 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223695207424 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15681864 memory=7594870420137666645 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53029913 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15681864 memory=7450755232061810773 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15681864 memory=7162524855910099029 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15681864 memory=7162524855910099029 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15681864 memory=7090467261872171093 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53029915 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15681864 memory=640 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53029915 16058228736 49845 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53029916 16058228736 49845 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0.4 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) S 16180 16183 8919 0 -1 1077944384 754 0 0 0 39 1 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223062153200 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0.44 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) S 16180 16183 8919 0 -1 1077944384 877 0 0 0 44 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223061100656 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0.71 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) S 16180 16183 8919 0 -1 1077944384 2571 0 0 0 71 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223060048112 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16200] ppid=16180 vsize=15681864 memory=5794836780235445096 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16200/stat : 16200 (java) S 16180 16183 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223166301760 140223723392793 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16202] ppid=16180 vsize=15681864 memory=5794836780235445096 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16202/stat : 16202 (java) S 16180 16183 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220682977328 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16203] ppid=16180 vsize=15681864 memory=5794836780235445096 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16203/stat : 16203 (java) S 16180 16183 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220414540976 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16204] ppid=16180 vsize=15681864 memory=6298673690012636008 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16204/stat : 16204 (java) S 16180 16183 8919 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53030070 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220951419936 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 15710484 KiB
Current children cumulated memory: 211292 KiB
[startup+9.30074 s]
/proc/loadavg: 2.00 2.05 2.06 3/225 16204
/proc/meminfo: memFree=16258056/32770624 swapFree=67108860/67108860
[pid=16183] ppid=16180 vsize=15681864 memory=199380 CPUtime=3.17 cores=1,3,5,7
/proc/16183/stat : 16183 (java) S 16180 16183 8919 0 -1 1077944320 22303 0 0 0 308 9 0 0 20 0 19 0 53029912 16058228736 49845 33554432000 4194304 4196468 140735457936432 140735457918976 140223723368183 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
/proc/16183/statm: 3920466 49845 3217 1 0 3881322 0
[pid=16199] ppid=16183 vsize=28620 memory=11912 CPUtime=7.73 cores=1,3,5,7
/proc/16199/stat : 16199 (minisat_release) R 16183 16183 8919 0 -1 4202496 7938 0 0 0 773 0 0 0 20 0 1 0 53030068 29306880 2978 33554432000 4194304 4308513 140730945904880 140730945901880 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 41025536 140730945913519 140730945914030 140730945914030 140730945916869 0
/proc/16199/statm: 7155 2978 347 28 0 3395 0
[pid=16183/tid=16185] ppid=16180 vsize=15681864 memory=6944656592452807314 CPUtime=1.57 cores=1,3,5,7
/proc/16183/task/16185/stat : 16185 (java) S 16180 16183 8919 0 -1 1077944384 16679 0 0 0 151 6 0 0 20 0 19 0 53029912 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223695207424 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16186] ppid=16180 vsize=15681864 memory=7596283275566929253 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16186/stat : 16186 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53029913 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223727610128 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16187] ppid=16180 vsize=15681864 memory=7307489979375904853 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16187/stat : 16187 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223503313296 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16188] ppid=16180 vsize=15681864 memory=7738430354606090603 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16188/stat : 16188 (java) S 16180 16183 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223182793232 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16189] ppid=16180 vsize=15681864 memory=280543371878416 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16189/stat : 16189 (java) S 16180 16183 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53029914 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223181740688 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16190] ppid=16180 vsize=15681864 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16190/stat : 16190 (java) S 16180 16183 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53029915 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223063206384 140223723379330 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16191] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16191/stat : 16191 (java) S 16180 16183 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53029915 16058228736 49845 33554432000 4194304 4196468 140735457936432 140222226490784 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16192] ppid=16180 vsize=15681864 memory=960 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16192/stat : 16192 (java) S 16180 16183 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53029916 16058228736 49845 33554432000 4194304 4196468 140735457936432 140222092269040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16193] ppid=16180 vsize=15681864 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16193/stat : 16193 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140221717764816 140223723386779 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16194] ppid=16180 vsize=15681864 memory=2340 CPUtime=0.4 cores=1,3,5,7
/proc/16183/task/16194/stat : 16194 (java) S 16180 16183 8919 0 -1 1077944384 754 0 0 0 39 1 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223062153200 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16195] ppid=16180 vsize=15681864 memory=2241 CPUtime=0.44 cores=1,3,5,7
/proc/16183/task/16195/stat : 16195 (java) S 16180 16183 8919 0 -1 1077944384 877 0 0 0 44 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223061100656 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16196] ppid=16180 vsize=15681864 memory=2244 CPUtime=0.71 cores=1,3,5,7
/proc/16183/task/16196/stat : 16196 (java) S 16180 16183 8919 0 -1 1077944384 2571 0 0 0 71 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223060048112 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16197] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16197/stat : 16197 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140221219859040 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16198] ppid=16180 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16198/stat : 16198 (java) S 16180 16183 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53029918 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223058996016 140223723379330 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16200] ppid=16180 vsize=15681864 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16200/stat : 16200 (java) S 16180 16183 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140223166301760 140223723392793 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16202] ppid=16180 vsize=15681864 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16202/stat : 16202 (java) S 16180 16183 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220682977328 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16203] ppid=16180 vsize=15681864 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16203/stat : 16203 (java) S 16180 16183 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53030068 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220414540976 140223723390109 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
[pid=16183/tid=16204] ppid=16180 vsize=15681864 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/16183/task/16204/stat : 16204 (java) S 16180 16183 8919 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53030070 16058228736 49845 33554432000 4194304 4196468 140735457936432 140220951419936 140223723378389 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14307328 140735457944564 140735457944841 140735457944841 140735457947599 0
Current children cumulated CPU time: 10.9 s
Current children cumulated vsize: 15710484 KiB
Current children cumulated memory: 211292 KiB
Child status: 0
Real time (s): 9.32239
CPU time (s): 10.9346
CPU user time (s): 10.8282
CPU system time (s): 0.106433
CPU usage (%): 117.294
Max. virtual memory (cumulated for all children) (KiB): 15710484
Max. memory (cumulated for all children) (KiB): 211292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8282
system time used= 0.106433
maximum resident set size= 199896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3581
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 16183
# total CPU time (s): 10.9346
# total CPU user time (s): 10.8282
# total CPU system time (s): 0.106433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06865 second user time and 0.150466 second system time
The end