0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Mon Jul 23 18:06:50 CEST 2018
0.66/0.55 c PID: 19629
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.71/1.02 c (0,0) Parsing End
1.71/1.03 c (0,0) CSP: 121 int (0 aux), 0 bool (0 aux), 615 ctr, max domain size 11
1.86/1.13 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.86/1.13 c (0,0) Constraint Name Generate Begin
1.86/1.13 c (0,0) Ctr:HOME/instance-4294693-1532362009.xml,ExtensionConflict:ExtensionSupport:IntVar
1.86/1.13 c (0,0) Constraint Name Generate End
1.86/1.13 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.86/1.13 c (0,0) CSP to CSPinCNF Begin
2.56/1.48 c (0,0) translated 62 (10%) constraints
2.90/1.57 c (1,1) translated 123 (20%) constraints
3.21/1.66 c (1,1) translated 185 (30%) constraints
3.51/1.75 c (1,1) translated 246 (40%) constraints
3.84/1.83 c (1,1) translated 308 (50%) constraints
4.13/1.90 c (1,1) translated 369 (60%) constraints
4.13/1.97 c (1,1) translated 431 (70%) constraints
4.47/2.04 c (1,1) translated 492 (80%) constraints
4.47/2.10 c (1,1) translated 554 (90%) constraints
5.06/2.29 c (1,1) translated 615 (100%) constraints
5.46/2.38 c (1,1) STATISTICS1:HOME/instance-4294693-1532362009.xml,ExtensionConflict:ExtensionSupport:IntVar,231,6985,-1,11,12,1,,11:25610;2:530,12:10;4:5950;3:180;2:845,1:26140;0:10,
5.46/2.38 c (1,1) ===========================================
5.46/2.38 c (1,1) Both Encoding selects:
5.46/2.38 c (1,1) Order
5.46/2.38 c (1,1) ===========================================
5.79/2.42 c (1,1) translated 699 (10%) constraints
5.79/2.44 c (1,1) translated 1397 (20%) constraints
5.79/2.46 c (1,1) translated 2096 (30%) constraints
5.79/2.49 c (1,1) translated 2794 (40%) constraints
6.11/2.51 c (1,1) translated 3493 (50%) constraints
6.11/2.53 c (1,1) translated 4191 (60%) constraints
6.11/2.54 c (2,2) translated 4890 (70%) constraints
6.11/2.56 c (2,2) translated 5588 (80%) constraints
6.11/2.57 c (2,2) translated 6287 (90%) constraints
6.11/2.59 c (2,2) translated 6985 (100%) constraints
6.11/2.59 c (2,2) CSP to CSPinCNF End
6.11/2.59 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.11/2.59 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.11/2.59 c (2,2) CSPinCNF Propagation Begin
6.75/2.70 c (2,2) 0 values, 1220 unsatisfiable literals, and 0 valid clauses are removed
6.75/2.70 c (2,2) CSPinCNF Propagation End
6.75/2.70 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.75/2.70 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.75/2.70 c (2,2) Simplify CSPinCNF Begin
6.75/2.72 c (2,2) Simplify CSPinCNF End
6.75/2.72 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.75/2.72 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.75/2.72 c (2,2) Calculate Precise Domain Begin
6.75/2.73 c (2,2) 0 values are removed by re-calculation
6.75/2.73 c (2,2) Calculate Precise Domain End
6.75/2.73 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.75/2.73 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.75/2.73 c (2,2) CSPinCNF to SatSolver Begin
6.75/2.79 c (2,2) 699 (10 %) CSP clauses are encoded (1320 SAT variables, 1787 SAT clauses)
7.08/2.81 c (2,2) 1397 (20 %) CSP clauses are encoded (1320 SAT variables, 2485 SAT clauses)
7.08/2.82 c (2,2) 2096 (30 %) CSP clauses are encoded (1320 SAT variables, 3184 SAT clauses)
7.08/2.83 c (2,2) 2794 (40 %) CSP clauses are encoded (1320 SAT variables, 3882 SAT clauses)
7.08/2.84 c (2,2) 3493 (50 %) CSP clauses are encoded (1320 SAT variables, 4581 SAT clauses)
7.08/2.86 c (2,2) 4191 (60 %) CSP clauses are encoded (1320 SAT variables, 5279 SAT clauses)
7.08/2.87 c (2,2) 4890 (70 %) CSP clauses are encoded (1320 SAT variables, 5978 SAT clauses)
7.08/2.88 c (2,2) 5588 (80 %) CSP clauses are encoded (1320 SAT variables, 6676 SAT clauses)
7.08/2.89 c (2,2) 6287 (90 %) CSP clauses are encoded (1320 SAT variables, 7375 SAT clauses)
7.40/2.90 c (2,2) 6985 (100 %) CSP clauses are encoded (1320 SAT variables, 8073 SAT clauses)
7.40/2.90 c (2,2) CSPinCNF to SatSolver End
7.40/2.90 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.40/2.94 c (2,2) STATISTICS2:HOME/instance-4294693-1532362009.xml,ExtensionConflict:ExtensionSupport:IntVar,231,6985,-1,11,11,1,,11:24400;2:530,11:10;4:5345;3:180;2:1450,1:24930,
7.40/2.94 c (2,2) SatSolver.solve Begin
7.40/2.94 c (2,2) 1320 bool, 8074 clause
7.40/2.94 c (2,2) 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-4294693-1532362009.xml-scop-19629.cnf HOME/instance-4294693-1532362009.xml-scop-19629.cnf.out
8.59/3.96 c (3,0) c This is COMiniSatPS.
8.59/3.96 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
8.59/3.96 c (3,0) c ============================[ Problem Statistics ]=============================
8.59/3.96 c (3,0) c | |
8.59/3.96 c (3,0) c | Number of variables: 1320 |
8.59/3.96 c (3,0) c | Number of clauses: 8074 |
8.59/3.96 c (3,0) c | Parse time: 0.00 s |
8.59/3.96 c (3,0) c | Eliminated clauses: 0.00 Mb |
8.59/3.96 c (3,0) c Reduced to 1200 vars, 7818 cls (grow=0)
8.59/3.96 c (3,0) c No iterative elimination performed. (vars=1200, c/v ratio=6.5)
8.59/3.96 c (3,0) c | Simplification time: 0.00 s |
8.59/3.96 c (3,0) c | |
8.59/3.96 c (3,0) c ============================[ Search Statistics ]==============================
8.59/3.96 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
8.59/3.96 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.59/3.96 c (3,0) c ===============================================================================
8.59/3.96 c (3,0) c ===============================================================================
8.59/3.96 c (3,0) c restarts : 47
8.59/3.96 c (3,0) c conflicts : 111123 (111525 /sec)
8.59/3.96 c (3,0) c decisions : 179590 (0.00 % random) (180240 /sec)
8.59/3.96 c (3,0) c propagations : 1656546 (1662544 /sec)
8.59/3.96 c (3,0) c conflict literals : 1051574 (8.31 % deleted)
8.59/3.96 c (3,0) c CPU time : 0.996392 s
8.59/3.96 c (3,0)
8.59/3.96 c (3,0) s UNSATISFIABLE
8.59/3.96 c (3,2) SatSolver.solve End
8.59/3.97 c (3,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.59/3.97 c (3,2) Show results Begin
8.59/3.97 s UNSATISFIABLE
8.59/3.97 c (3,2) Show results End
8.59/3.97 c (3,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.59/3.97 c (3,2) 0,0,2,2,2,2,2,3,3,STOP-AFTER(ALL)
8.59/3.97 c END-Prog: Mon Jul 23 18:06:53 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 (5802 MiB free)
memory of node 1: 16384 MiB (8098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294693-1532362009/watcher-4294693-1532362009 -o /tmp/evaluation-result-4294693-1532362009/solver-4294693-1532362009 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294693-1532362009.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=19629, runsolver pid=19626
[startup+0.100092 s]*
/proc/loadavg: 2.67 2.40 2.19 4/220 19644
/proc/meminfo: memFree=14174876/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15011656 memory=72272 CPUtime=0.12 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 6768 0 0 0 10 2 0 0 20 0 15 0 53764109 15371935744 18068 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3752914 18068 2777 1 0 3715374 0
[pid=19629/tid=19631] ppid=19626 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) R 19626 19629 8919 0 -1 4202560 4997 0 0 0 8 1 0 0 20 0 15 0 53764109 15371935744 18200 33554432000 4194304 4196468 140731392871360 140246412362120 140246420825895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 18200 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 18200 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 18266 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 18266 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764112 15371935744 18266 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53764113 15371935744 18266 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764113 15371935744 18266 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764115 15371935744 18266 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) S 19626 19629 8919 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 53764115 15371935744 18266 33554432000 4194304 4196468 140731392871360 140245209172208 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764115 15371935744 18266 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0.01 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) S 19626 19629 8919 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 53764115 15371935744 18266 33554432000 4194304 4196468 140731392871360 140245207066608 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764116 15371935744 18266 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764116 15371935744 18332 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72272 KiB
[startup+0.21046 s]*
/proc/loadavg: 2.67 2.40 2.19 3/220 19644
/proc/meminfo: memFree=14161048/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15011656 memory=85620 CPUtime=0.25 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 10362 0 0 0 23 2 0 0 20 0 15 0 53764109 15371935744 21405 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3752914 21405 2886 1 0 3715374 0
[pid=19629/tid=19631] ppid=19626 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) R 19626 19629 8919 0 -1 4202560 8263 0 0 0 18 2 0 0 20 0 15 0 53764109 15371935744 21405 33554432000 4194304 4196468 140731392871360 140246412369520 140246440562070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 21405 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15011656 memory=4051469481581336224 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 21405 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 21405 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 21405 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764112 15371935744 21405 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53764113 15371935744 21405 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764113 15371935744 21405 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764115 15371935744 21405 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) S 19626 19629 8919 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 53764115 15371935744 21405 33554432000 4194304 4196468 140731392871360 140245209172208 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 53764115 15371935744 21405 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0.03 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) R 19626 19629 8919 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 53764115 15371935744 21405 33554432000 4194304 4196468 140731392871360 140245207066608 140246440571482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764116 15371935744 21405 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764116 15371935744 21405 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85620 KiB
[startup+0.310361 s]*
/proc/loadavg: 2.67 2.40 2.19 3/220 19644
/proc/meminfo: memFree=14157264/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15011656 memory=89696 CPUtime=0.42 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 10977 0 0 0 40 2 0 0 20 0 15 0 53764109 15371935744 22424 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3752914 22424 2993 1 0 3715374 0
[pid=19629/tid=19631] ppid=19626 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) R 19626 19629 8919 0 -1 4202560 8692 0 0 0 28 2 0 0 20 0 15 0 53764109 15371935744 22424 33554432000 4194304 4196468 140731392871360 140246412354064 140246424630622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 22424 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15011656 memory=3906791343552059040 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 22424 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 22424 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764111 15371935744 22424 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764112 15371935744 22424 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53764113 15371935744 22424 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764113 15371935744 22424 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764115 15371935744 22424 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) R 19626 19629 8919 0 -1 4202560 543 0 0 0 3 0 0 0 20 0 15 0 53764115 15371935744 22424 33554432000 4194304 4196468 140731392871360 140245209172208 140246426614350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 53764115 15371935744 22424 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0.07 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) R 19626 19629 8919 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 15 0 53764115 15371935744 22424 33554432000 4194304 4196468 140731392871360 140245207066608 140246440571482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764116 15371935744 22424 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15011656 memory=140531111417472 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764116 15371935744 22424 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89696 KiB
[startup+0.706167 s]
/proc/loadavg: 2.67 2.40 2.19 4/220 19644
/proc/meminfo: memFree=14133700/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15020052 memory=129676 CPUtime=1.02 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 18141 0 0 0 98 4 0 0 20 0 15 0 53764109 15380533248 32419 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3755013 32419 3155 1 0 3716398 0
[pid=19629/tid=19631] ppid=19626 vsize=15020052 memory=224866972229651 CPUtime=0.67 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) R 19626 19629 8919 0 -1 4202560 15353 0 0 0 64 3 0 0 20 0 15 0 53764109 15380533248 32419 33554432000 4194304 4196468 140731392871360 140246412382048 140246424630622 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15380533248 32419 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15380533248 32419 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15380533248 32419 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764111 15380533248 32419 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53764112 15380533248 32419 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53764113 15380533248 32419 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764113 15380533248 32419 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764115 15380533248 32419 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) S 19626 19629 8919 0 -1 1077944384 652 0 0 0 7 0 0 0 20 0 15 0 53764115 15380533248 32419 33554432000 4194304 4196468 140731392871360 140245209172208 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 299 0 0 0 8 0 0 0 20 0 15 0 53764115 15380533248 32419 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) S 19626 19629 8919 0 -1 1077944384 498 0 0 0 16 0 0 0 20 0 15 0 53764115 15380533248 32419 33554432000 4194304 4196468 140731392871360 140245207066608 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53764116 15380533248 32419 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764116 15380533248 32419 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129676 KiB
[startup+1.50121 s]
/proc/loadavg: 2.67 2.40 2.19 3/220 19644
/proc/meminfo: memFree=14105252/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15022100 memory=179332 CPUtime=2.9 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 21865 0 0 0 282 8 0 0 20 0 15 0 53764109 15382630400 44833 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3755525 44833 3201 1 0 3716910 0
[pid=19629/tid=19631] ppid=19626 vsize=15022100 memory=5794836780235446626 CPUtime=1.47 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) R 19626 19629 8919 0 -1 4202560 16573 0 0 0 142 5 0 0 20 0 15 0 53764109 15382630400 44833 33554432000 4194304 4196468 140731392871360 140246412380128 140245932781356 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15022100 memory=6298673690012637538 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15382630400 44833 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15022100 memory=7517461399994786671 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15382630400 44833 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15022100 memory=7669465682818132053 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53764111 15382630400 44833 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15022100 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53764111 15382630400 44833 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15022100 memory=7378140211465446233 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53764112 15382630400 44833 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
################
# More data... #
################
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19646] ppid=19626 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19646/stat : 19646 (java) S 19626 19629 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53764405 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245849102144 140246440574745 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19648] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19648/stat : 19648 (java) S 19626 19629 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243298664240 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19649] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19649/stat : 19649 (java) S 19626 19629 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243701317040 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19650] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19650/stat : 19650 (java) S 19626 19629 8919 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 53764408 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243164450080 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 7.89 s
Current children cumulated vsize: 15707964 KiB
Current children cumulated memory: 585488 KiB
[startup+3.60082 s]
/proc/loadavg: 2.86 2.44 2.21 4/225 19650
/proc/meminfo: memFree=13666028/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15683912 memory=578452 CPUtime=7.66 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 26685 0 0 0 751 15 0 0 20 0 19 0 53764109 16060325888 144613 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3920978 144613 3226 1 0 3881834 0
[pid=19645] ppid=19629 vsize=32112 memory=14552 CPUtime=0.63 cores=0,2,4,6
/proc/19645/stat : 19645 (minisat_release) R 19629 19629 8919 0 -1 4202496 2907 0 0 0 63 0 0 0 20 0 1 0 53764405 32882688 3638 33554432000 4194304 4308513 140722524304576 140722524301480 4289173 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10809344 140722524312239 140722524312750 140722524312750 140722524315589 0
/proc/19645/statm: 8028 3638 352 28 0 4268 0
[pid=19629/tid=19631] ppid=19626 vsize=15683912 memory=0 CPUtime=2.97 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) S 19626 19629 8919 0 -1 1077944384 18046 0 0 0 286 11 0 0 20 0 19 0 53764109 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246412389376 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15683912 memory=281061988973504 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15683912 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53764112 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53764113 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15683912 memory=-1624781813439352349 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764113 16060325888 144613 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15683912 memory=6944656592455359580 CPUtime=1.78 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) S 19626 19629 8919 0 -1 1077944384 2026 0 0 0 178 0 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245209172208 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15683912 memory=6944656592455097440 CPUtime=1.83 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 1719 0 0 0 182 1 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15683912 memory=3475195960817247586 CPUtime=1.04 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) S 19626 19629 8919 0 -1 1077944384 3478 0 0 0 103 1 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245207066608 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15683912 memory=-7027409196973593448 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15683912 memory=-2127767627996881032 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19646] ppid=19626 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19646/stat : 19646 (java) S 19626 19629 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53764405 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245849102144 140246440574745 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19648] ppid=19626 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19648/stat : 19648 (java) S 19626 19629 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243298664240 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19649] ppid=19626 vsize=15683912 memory=7444843076533644388 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19649/stat : 19649 (java) S 19626 19629 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243701317040 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19650] ppid=19626 vsize=15683912 memory=7810487918915055718 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19650/stat : 19650 (java) S 19626 19629 8919 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 53764408 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243164450080 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 15716024 KiB
Current children cumulated memory: 593004 KiB
[startup+3.80076 s]
/proc/loadavg: 2.86 2.44 2.21 4/225 19650
/proc/meminfo: memFree=13666028/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15683912 memory=578452 CPUtime=7.66 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 26685 0 0 0 751 15 0 0 20 0 19 0 53764109 16060325888 144613 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3920978 144613 3226 1 0 3881834 0
[pid=19645] ppid=19629 vsize=33492 memory=15300 CPUtime=0.83 cores=0,2,4,6
/proc/19645/stat : 19645 (minisat_release) R 19629 19629 8919 0 -1 4202496 3123 0 0 0 83 0 0 0 20 0 1 0 53764405 34295808 3825 33554432000 4194304 4308513 140722524304576 140722524301480 4277533 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10809344 140722524312239 140722524312750 140722524312750 140722524315589 0
/proc/19645/statm: 8373 3825 352 28 0 4613 0
[pid=19629/tid=19631] ppid=19626 vsize=15683912 memory=0 CPUtime=2.97 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) S 19626 19629 8919 0 -1 1077944384 18046 0 0 0 286 11 0 0 20 0 19 0 53764109 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246412389376 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53764112 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53764113 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764113 16060325888 144613 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15683912 memory=0 CPUtime=1.78 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) S 19626 19629 8919 0 -1 1077944384 2026 0 0 0 178 0 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245209172208 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15683912 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 1719 0 0 0 182 1 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15683912 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) S 19626 19629 8919 0 -1 1077944384 3478 0 0 0 103 1 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245207066608 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19646] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19646/stat : 19646 (java) S 19626 19629 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53764405 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245849102144 140246440574745 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19648] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19648/stat : 19648 (java) S 19626 19629 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243298664240 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19649] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19649/stat : 19649 (java) S 19626 19629 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243701317040 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19650] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19650/stat : 19650 (java) S 19626 19629 8919 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 53764408 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243164450080 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 15717404 KiB
Current children cumulated memory: 593752 KiB
[startup+3.90085 s]
/proc/loadavg: 2.86 2.44 2.21 4/225 19650
/proc/meminfo: memFree=13666028/32770624 swapFree=67108860/67108860
[pid=19629] ppid=19626 vsize=15683912 memory=578452 CPUtime=7.66 cores=0,2,4,6
/proc/19629/stat : 19629 (java) S 19626 19629 8919 0 -1 1077944320 26685 0 0 0 751 15 0 0 20 0 19 0 53764109 16060325888 144613 33554432000 4194304 4196468 140731392871360 140731392853904 140246440550135 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
/proc/19629/statm: 3920978 144613 3226 1 0 3881834 0
[pid=19645] ppid=19629 vsize=33492 memory=15300 CPUtime=0.93 cores=0,2,4,6
/proc/19645/stat : 19645 (minisat_release) R 19629 19629 8919 0 -1 4202496 3143 0 0 0 93 0 0 0 20 0 1 0 53764405 34295808 3825 33554432000 4194304 4308513 140722524304576 140722524301480 140212533954474 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10809344 140722524312239 140722524312750 140722524312750 140722524315589 0
/proc/19645/statm: 8373 3825 352 28 0 4613 0
[pid=19629/tid=19631] ppid=19626 vsize=15683912 memory=0 CPUtime=2.97 cores=0,2,4,6
/proc/19629/task/19631/stat : 19631 (java) S 19626 19629 8919 0 -1 1077944384 18046 0 0 0 286 11 0 0 20 0 19 0 53764109 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246412389376 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19632] ppid=19626 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19632/stat : 19632 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246444792336 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19633] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246258948752 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19634] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19634/stat : 19634 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246257895696 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19635] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19635/stat : 19635 (java) S 19626 19629 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53764111 16060325888 144613 33554432000 4194304 4196468 140731392871360 140246256843152 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19636] ppid=19626 vsize=15683912 memory=246868 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19636/stat : 19636 (java) S 19626 19629 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53764112 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245210225392 140246440561282 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19637] ppid=19626 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19637/stat : 19637 (java) S 19626 19629 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53764113 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245110613664 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19638] ppid=19626 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19638/stat : 19638 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764113 16060325888 144613 33554432000 4194304 4196468 140731392871360 140244842177776 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19639] ppid=19626 vsize=15683912 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19639/stat : 19639 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140244467669456 140246440568731 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19640] ppid=19626 vsize=15683912 memory=281061988935520 CPUtime=1.78 cores=0,2,4,6
/proc/19629/task/19640/stat : 19640 (java) S 19626 19629 8919 0 -1 1077944384 2026 0 0 0 178 0 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245209172208 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19641] ppid=19626 vsize=15683912 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/19629/task/19641/stat : 19641 (java) S 19626 19629 8919 0 -1 1077944384 1719 0 0 0 182 1 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245208119664 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19642] ppid=19626 vsize=15683912 memory=499068 CPUtime=1.04 cores=0,2,4,6
/proc/19629/task/19642/stat : 19642 (java) S 19626 19629 8919 0 -1 1077944384 3478 0 0 0 103 1 0 0 20 0 19 0 53764115 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245207066608 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19643] ppid=19626 vsize=15683912 memory=8026508778734856336 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19643/stat : 19643 (java) S 19626 19629 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243969763680 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19644] ppid=19626 vsize=15683912 memory=578452 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19644/stat : 19644 (java) S 19626 19629 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53764116 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245206015024 140246440561282 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19646] ppid=19626 vsize=15683912 memory=14552 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19646/stat : 19646 (java) S 19626 19629 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53764405 16060325888 144613 33554432000 4194304 4196468 140731392871360 140245849102144 140246440574745 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19648] ppid=19626 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19648/stat : 19648 (java) S 19626 19629 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243298664240 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19649] ppid=19626 vsize=15683912 memory=140530994478016 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19649/stat : 19649 (java) S 19626 19629 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53764406 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243701317040 140246440572061 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
[pid=19629/tid=19650] ppid=19626 vsize=15683912 memory=140530994900912 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19650/stat : 19650 (java) S 19626 19629 8919 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 53764408 16060325888 144613 33554432000 4194304 4196468 140731392871360 140243164450080 140246440560341 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35409920 140731392877556 140731392877833 140731392877833 140731392880591 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 15717404 KiB
Current children cumulated memory: 593752 KiB
Child status: 0
Real time (s): 3.97955
CPU time (s): 8.69475
CPU user time (s): 8.52131
CPU system time (s): 0.173443
CPU usage (%): 218.486
Max. virtual memory (cumulated for all children) (KiB): 15717404
Max. memory (cumulated for all children) (KiB): 593752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.52131
system time used= 0.173443
maximum resident set size= 580980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3893
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 19629
# total CPU time (s): 8.69475
# total CPU user time (s): 8.52131
# total CPU system time (s): 0.173443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048146 second user time and 0.079902 second system time
The end