0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 12:16:04 CEST 2018
0.67/0.54 c PID: 4139
0.67/0.54 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.42/0.95 c (0,0) Parsing End
1.42/0.96 c (0,0) CSP: 64 int (0 aux), 16 bool (0 aux), 49 ctr, max domain size 20
1.42/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.42/0.96 c (0,0) Constraint Name Generate Begin
1.42/0.96 c (0,0) Ctr:HOME/instance-4293171-1532340963.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.42/0.96 c (0,0) Constraint Name Generate End
1.42/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.42/0.96 c (0,0) CSP to CSPinCNF Begin
1.60/1.04 c (0,0) translated 5 (10%) constraints
1.60/1.05 c (0,0) translated 10 (20%) constraints
1.60/1.05 c (0,0) translated 15 (30%) constraints
1.60/1.06 c (0,0) translated 20 (40%) constraints
1.60/1.06 c (0,0) translated 25 (50%) constraints
1.60/1.06 c (0,0) translated 30 (60%) constraints
1.78/1.16 c (0,0) translated 35 (70%) constraints
1.99/1.20 c (0,0) translated 40 (80%) constraints
1.99/1.25 c (0,0) translated 45 (90%) constraints
1.99/1.28 c (0,0) translated 49 (100%) constraints
2.57/1.43 c (0,0) STATISTICS1:HOME/instance-4293171-1532340963.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,136,364,38,19,4,3,38:60;36:160;34:22;32:70;30:52;28:56;17:22;16:30;15:4;14:4;2:28;1:4,19:372;18:310;17:62;16:124;15:62;14:62;2:924;1:64,4:120;3:70;2:140;1:34,3:480;2:32;1:476;0:16,
2.57/1.43 c (0,0) ===========================================
2.57/1.43 c (0,0) Order
2.57/1.43 c (0,0) ===========================================
2.57/1.44 c (0,0) translated 37 (10%) constraints
2.57/1.45 c (0,0) translated 73 (20%) constraints
2.57/1.45 c (0,0) translated 110 (30%) constraints
2.57/1.45 c (0,0) translated 146 (40%) constraints
2.57/1.46 c (0,0) translated 182 (50%) constraints
2.57/1.46 c (0,0) translated 219 (60%) constraints
2.57/1.47 c (0,0) translated 255 (70%) constraints
2.57/1.47 c (0,0) translated 292 (80%) constraints
2.57/1.47 c (0,0) translated 328 (90%) constraints
2.57/1.48 c (0,0) translated 364 (100%) constraints
2.57/1.48 c (0,0) CSP to CSPinCNF End
2.57/1.48 c (0,0) CSP: 64 int (0 aux), 72 bool (56 aux), 364 ctr, max domain size 19
2.57/1.48 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.57/1.48 c (0,0) CSPinCNF Propagation Begin
2.91/1.54 c (1,1) 0 values, 14 unsatisfiable literals, and 6 valid clauses are removed
2.91/1.54 c (1,1) CSPinCNF Propagation End
2.91/1.54 c (1,1) CSP: 64 int (0 aux), 72 bool (56 aux), 358 ctr, max domain size 19
2.91/1.54 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.91/1.54 c (1,1) Simplify CSPinCNF Begin
3.18/1.60 c (1,1) Simplify CSPinCNF End
3.18/1.61 c (1,1) CSP: 64 int (0 aux), 552 bool (536 aux), 838 ctr, max domain size 19
3.18/1.61 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.61 c (1,1) Calculate Precise Domain Begin
3.18/1.61 c (1,1) 0 values are removed by re-calculation
3.18/1.61 c (1,1) Calculate Precise Domain End
3.18/1.61 c (1,1) CSP: 64 int (0 aux), 552 bool (536 aux), 838 ctr, max domain size 19
3.18/1.61 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.61 c (1,1) CSPinCNF to SatSolver Begin
3.18/1.65 c (1,1) 84 (10 %) CSP clauses are encoded (1112 SAT variables, 583 SAT clauses)
3.18/1.66 c (1,1) 168 (20 %) CSP clauses are encoded (1112 SAT variables, 667 SAT clauses)
3.18/1.67 c (1,1) 252 (30 %) CSP clauses are encoded (1112 SAT variables, 958 SAT clauses)
3.55/1.70 c (1,1) 336 (40 %) CSP clauses are encoded (1112 SAT variables, 2567 SAT clauses)
3.55/1.72 c (1,1) 419 (50 %) CSP clauses are encoded (1112 SAT variables, 3946 SAT clauses)
3.55/1.74 c (1,1) 503 (60 %) CSP clauses are encoded (1112 SAT variables, 5708 SAT clauses)
3.55/1.76 c (1,1) 587 (70 %) CSP clauses are encoded (1112 SAT variables, 7428 SAT clauses)
3.55/1.77 c (1,1) 671 (80 %) CSP clauses are encoded (1112 SAT variables, 9023 SAT clauses)
3.55/1.79 c (1,1) 755 (90 %) CSP clauses are encoded (1112 SAT variables, 10878 SAT clauses)
3.86/1.80 c (1,1) 838 (100 %) CSP clauses are encoded (1112 SAT variables, 12789 SAT clauses)
3.86/1.81 c (1,1) CSPinCNF to SatSolver End
3.86/1.81 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.86/1.83 c (1,1) STATISTICS2:HOME/instance-4293171-1532340963.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,616,838,38,19,4,3,38:60;36:160;34:22;32:70;30:52;28:56;17:22;16:30;15:4;14:4;2:28,19:372;18:310;17:60;16:122;15:62;14:62;2:1884;1:60,4:120;3:56;2:634;1:28,3:480;2:28;1:1436,
3.86/1.83 c (1,1) SatSolver.solve Begin
3.86/1.83 c (1,1) 1112 bool, 12816 clause
3.86/1.83 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-4293171-1532340963.xml-scop-4139.cnf HOME/instance-4293171-1532340963.xml-scop-4139.cnf.out
7.50/5.07 c (4,0) c This is COMiniSatPS.
7.50/5.07 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
7.50/5.07 c (4,0) c ============================[ Problem Statistics ]=============================
7.50/5.07 c (4,0) c | |
7.50/5.07 c (4,0) c | Number of variables: 1112 |
7.50/5.07 c (4,0) c | Number of clauses: 12816 |
7.50/5.07 c (4,0) c | Parse time: 0.00 s |
7.50/5.07 c (4,0) c | Eliminated clauses: 0.01 Mb |
7.50/5.07 c (4,0) c Reduced to 846 vars, 12298 cls (grow=0)
7.50/5.07 c (4,0) c No iterative elimination performed. (vars=846, c/v ratio=14.5)
7.50/5.07 c (4,0) c | Simplification time: 0.02 s |
7.50/5.07 c (4,0) c | |
7.50/5.07 c (4,0) c ============================[ Search Statistics ]==============================
7.50/5.07 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.50/5.07 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.50/5.07 c (4,0) c ===============================================================================
7.50/5.07 c (4,0) c ===============================================================================
7.50/5.07 c (4,0) c restarts : 51
7.50/5.07 c (4,0) c conflicts : 72847 (22679 /sec)
7.50/5.07 c (4,0) c decisions : 131165 (0.00 % random) (40834 /sec)
7.50/5.07 c (4,0) c propagations : 5079987 (1581508 /sec)
7.50/5.07 c (4,0) c conflict literals : 2612832 (25.04 % deleted)
7.50/5.07 c (4,0) c CPU time : 3.21212 s
7.50/5.07 c (4,0)
7.50/5.07 c (4,0) s SATISFIABLE
7.50/5.07 c (4,1) SatSolver.solve End
7.50/5.07 c (4,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.50/5.07 c (4,1) Show results Begin
7.50/5.08 c (4,1) h[0] = 2
7.50/5.08 c (4,1) h[1] = 7
7.50/5.08 c (4,1) h[2] = 8
7.50/5.08 c (4,1) h[3] = 6
7.50/5.08 c (4,1) h[4] = 3
7.50/5.08 c (4,1) h[5] = 5
7.50/5.08 c (4,1) h[6] = 3
7.50/5.08 c (4,1) h[7] = 3
7.50/5.08 c (4,1) h[8] = 5
7.50/5.08 c (4,1) h[9] = 6
7.50/5.08 c (4,1) h[10] = 2
7.50/5.08 c (4,1) h[11] = 2
7.50/5.08 c (4,1) h[12] = 4
7.50/5.08 c (4,1) h[13] = 4
7.50/5.08 c (4,1) h[14] = 9
7.50/5.08 c (4,1) h[15] = 11
7.50/5.08 c (4,1) r[0] = 1
7.50/5.08 c (4,1) r[1] = 1
7.50/5.08 c (4,1) r[2] = 1
7.50/5.08 c (4,1) r[3] = 0
7.50/5.08 c (4,1) r[4] = 1
7.50/5.09 c (4,1) r[5] = 0
7.50/5.09 c (4,1) r[6] = 1
7.50/5.09 c (4,1) r[7] = 1
7.50/5.09 c (4,1) r[8] = 1
7.50/5.09 c (4,1) r[9] = 0
7.50/5.09 c (4,1) r[10] = 0
7.50/5.09 c (4,1) r[11] = 0
7.50/5.09 c (4,1) r[12] = 0
7.50/5.09 c (4,1) r[13] = 0
7.50/5.09 c (4,1) r[14] = 1
7.50/5.09 c (4,1) r[15] = 1
7.50/5.09 c (4,1) w[0] = 12
7.50/5.09 c (4,1) w[1] = 12
7.50/5.09 c (4,1) w[2] = 6
7.50/5.09 c (4,1) w[3] = 3
7.50/5.09 c (4,1) w[4] = 5
7.50/5.09 c (4,1) w[5] = 5
7.50/5.09 c (4,1) w[6] = 12
7.50/5.09 c (4,1) w[7] = 7
7.50/5.09 c (4,1) w[8] = 7
7.50/5.09 c (4,1) w[9] = 2
7.50/5.09 c (4,1) w[10] = 3
7.50/5.09 c (4,1) w[11] = 4
7.50/5.09 c (4,1) w[12] = 3
7.50/5.09 c (4,1) w[13] = 4
7.50/5.09 c (4,1) w[14] = 2
7.50/5.09 c (4,1) w[15] = 2
7.50/5.09 c (4,1) x[0] = 6
7.50/5.09 c (4,1) x[1] = 6
7.50/5.09 c (4,1) x[2] = 0
7.50/5.09 c (4,1) x[3] = 0
7.50/5.09 c (4,1) x[4] = 13
7.50/5.09 c (4,1) x[5] = 13
7.50/5.09 c (4,1) x[6] = 6
7.50/5.09 c (4,1) x[7] = 6
7.50/5.09 c (4,1) x[8] = 6
7.50/5.09 c (4,1) x[9] = 4
7.50/5.09 c (4,1) x[10] = 3
7.50/5.09 c (4,1) x[11] = 0
7.50/5.09 c (4,1) x[12] = 3
7.50/5.09 c (4,1) x[13] = 0
7.50/5.09 c (4,1) x[14] = 18
7.50/5.09 c (4,1) x[15] = 18
7.50/5.09 c (4,1) y[0] = 11
7.50/5.09 c (4,1) y[1] = 13
7.50/5.09 c (4,1) y[2] = 12
7.50/5.09 c (4,1) y[3] = 0
7.50/5.09 c (4,1) y[4] = 3
7.50/5.09 c (4,1) y[5] = 6
7.50/5.09 c (4,1) y[6] = 0
7.50/5.09 c (4,1) y[7] = 3
7.50/5.09 c (4,1) y[8] = 6
7.50/5.09 c (4,1) y[9] = 6
7.50/5.09 c (4,1) y[10] = 4
7.50/5.09 c (4,1) y[11] = 6
7.50/5.09 c (4,1) y[12] = 0
7.50/5.09 c (4,1) y[13] = 8
7.50/5.09 c (4,1) y[14] = 0
7.50/5.09 c (4,1) y[15] = 9
7.50/5.09 s SATISFIABLE
7.50/5.09 v <instantiation>
7.50/5.09 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15]</list>
7.50/5.09 v <values>6 6 0 0 13 13 6 6 6 4 3 0 3 0 18 18 11 13 12 0 3 6 0 3 6 6 4 6 0 8 0 9 12 12 6 3 5 5 12 7 7 2 3 4 3 4 2 2 2 7 8 6 3 5 3 3 5 6 2 2 4 4 9 11 1 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1</values>
7.50/5.09 v </instantiation>
7.50/5.09 c (4,1) Show results End
7.50/5.09 c (4,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.50/5.09 c (4,1) 0,0,0,1,1,1,1,4,4,STOP-AFTER(ALL)
7.50/5.09 c END-Prog: Mon Jul 23 12:16:09 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 (4043 MiB free)
memory of node 1: 16384 MiB (11585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293171-1532340963/watcher-4293171-1532340963 -o /tmp/evaluation-result-4293171-1532340963/solver-4293171-1532340963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293171-1532340963.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=4139, runsolver pid=4136
[startup+0.10006 s]*
/proc/loadavg: 2.22 2.08 2.06 3/220 4154
/proc/meminfo: memFree=15945524/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15011656 memory=71900 CPUtime=0.11 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 6657 0 0 0 9 2 0 0 20 0 15 0 51659509 15371935744 17975 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3752914 17975 2781 1 0 3715374 0
[pid=4139/tid=4141] ppid=4136 vsize=15011656 memory=4571617201834005395 CPUtime=0.09 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) R 4136 4139 2271 0 -1 4202560 4945 0 0 0 8 1 0 0 20 0 15 0 51659509 15371935744 18173 33554432000 4194304 4196468 140735101785280 139845489099144 139845497562987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 18173 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 18173 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 18173 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 18173 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659512 15371935744 18173 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659513 15371935744 18173 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51659513 15371935744 18239 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 18239 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) S 4136 4139 2271 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 18239 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) S 4136 4139 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 18239 33554432000 4194304 4196468 140735101785280 139844553681520 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0.01 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) S 4136 4139 2271 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 51659515 15371935744 18239 33554432000 4194304 4196468 140735101785280 139844552628976 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659516 15371935744 18239 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659516 15371935744 18239 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71900 KiB
[startup+0.210421 s]*
/proc/loadavg: 2.22 2.08 2.06 4/220 4154
/proc/meminfo: memFree=15931448/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15011656 memory=84472 CPUtime=0.26 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 10060 0 0 0 23 3 0 0 20 0 15 0 51659509 15371935744 21118 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3752914 21118 2914 1 0 3715374 0
[pid=4139/tid=4141] ppid=4136 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) R 4136 4139 2271 0 -1 4202560 7954 0 0 0 18 2 0 0 20 0 15 0 51659509 15371935744 21118 33554432000 4194304 4196468 140735101785280 139845489085904 139845509524286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21118 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15011656 memory=139884387713370 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659512 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659513 15371935744 21118 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51659513 15371935744 21118 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 21118 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) R 4136 4139 2271 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) R 4136 4139 2271 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844553681520 139845498476748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0.03 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) S 4136 4139 2271 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 51659515 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844552628976 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659516 15371935744 21118 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659516 15371935744 21118 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84472 KiB
[startup+0.310484 s]*
/proc/loadavg: 2.22 2.08 2.06 3/220 4154
/proc/meminfo: memFree=15928532/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15011656 memory=87944 CPUtime=0.43 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 10587 0 0 0 40 3 0 0 20 0 15 0 51659509 15371935744 21986 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3752914 21986 2983 1 0 3715374 0
[pid=4139/tid=4141] ppid=4136 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) R 4136 4139 2271 0 -1 4202560 8327 0 0 0 27 2 0 0 20 0 15 0 51659509 15371935744 21986 33554432000 4194304 4196468 140735101785280 139845489116464 139845501367646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21986 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659512 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659513 15371935744 21986 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15011656 memory=139884387698304 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51659513 15371935744 21986 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659515 15371935744 21986 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) S 4136 4139 2271 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 51659515 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) R 4136 4139 2271 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 51659515 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844553681520 139845517298306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) R 4136 4139 2271 0 -1 4202560 304 0 0 0 7 0 0 0 20 0 15 0 51659515 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844552628976 139845496421674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659516 15371935744 21986 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659516 15371935744 21986 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87944 KiB
[startup+0.703295 s]
/proc/loadavg: 2.22 2.08 2.06 3/220 4154
/proc/meminfo: memFree=15903728/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15020052 memory=127960 CPUtime=1.03 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 17767 0 0 0 98 5 0 0 20 0 15 0 51659509 15380533248 31990 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3755013 31990 3163 1 0 3716398 0
[pid=4139/tid=4141] ppid=4136 vsize=15020052 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) R 4136 4139 2271 0 -1 4202560 15040 0 0 0 64 4 0 0 20 0 15 0 51659509 15380533248 31990 33554432000 4194304 4196468 140735101785280 139845489123024 139845496588930 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15380533248 31990 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15020052 memory=279768532821792 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 51659512 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659513 15380533248 31990 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51659513 15380533248 31990 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659515 15380533248 31990 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15020052 memory=8380 CPUtime=0.08 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) S 4136 4139 2271 0 -1 1077944384 639 0 0 0 8 0 0 0 20 0 15 0 51659515 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15020052 memory=7307210974946176466 CPUtime=0.07 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) S 4136 4139 2271 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 15 0 51659515 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844553681520 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) S 4136 4139 2271 0 -1 1077944384 425 0 0 0 17 0 0 0 20 0 15 0 51659515 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844552628976 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659516 15380533248 31990 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659516 15380533248 31990 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127960 KiB
[startup+1.50629 s]
/proc/loadavg: 2.22 2.08 2.06 4/220 4154
/proc/meminfo: memFree=15874260/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15024148 memory=173340 CPUtime=2.91 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 21884 0 0 0 283 8 0 0 20 0 15 0 51659509 15384727552 43335 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3756037 43335 3201 1 0 3717422 0
[pid=4139/tid=4141] ppid=4136 vsize=15024148 memory=288230377108275491 CPUtime=1.48 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) R 4136 4139 2271 0 -1 4202560 16434 0 0 0 143 5 0 0 20 0 15 0 51659509 15384727552 43335 33554432000 4194304 4196468 140735101785280 139845489124208 139845496364831 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15384727552 43335 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15384727552 43335 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659511 15384727552 43335 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659511 15384727552 43335 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 51659512 15384727552 43335 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
################
# More data... #
################
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4156] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4156/stat : 4156 (java) S 4136 4139 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51659694 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844539573312 139845517311769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4158] ppid=4136 vsize=15683912 memory=279768533360352 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4158/stat : 4158 (java) S 4136 4139 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51659695 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842390310448 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4159] ppid=4136 vsize=15683912 memory=3184237804342650992 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4159/stat : 4159 (java) S 4136 4139 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51659696 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842121875120 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4160] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4160/stat : 4160 (java) S 4136 4139 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51659698 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842658754080 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 15712460 KiB
Current children cumulated memory: 254900 KiB
[startup+4.00078 s]*
/proc/loadavg: 2.21 2.07 2.06 3/225 4160
/proc/meminfo: memFree=15759868/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15683912 memory=243220 CPUtime=4.35 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 24577 0 0 0 425 10 0 0 20 0 19 0 51659509 16060325888 60805 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3920978 60805 3225 1 0 3881834 0
[pid=4155] ppid=4139 vsize=31268 memory=14592 CPUtime=2.15 cores=1,3,5,7
/proc/4155/stat : 4155 (minisat_release) R 4139 4139 2271 0 -1 4202496 5498 0 0 0 215 0 0 0 20 0 1 0 51659694 32018432 3648 33554432000 4194304 4308513 140736762998176 140736762995176 4289173 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17838080 140736763003569 140736763004078 140736763004078 140736763006917 0
/proc/4155/statm: 7817 3648 351 28 0 4057 0
[pid=4139/tid=4141] ppid=4136 vsize=15683912 memory=576567874760998942 CPUtime=1.86 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) S 4136 4139 2271 0 -1 1077944384 17073 0 0 0 180 6 0 0 20 0 19 0 51659509 16060325888 60805 33554432000 4194304 4196468 140735101785280 139845489126400 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15683912 memory=14126745276123672 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15683912 memory=15524 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15683912 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 51659512 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15683912 memory=13 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51659513 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15683912 memory=15434289915 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51659513 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15683912 memory=139884266294847 CPUtime=0.86 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) S 4136 4139 2271 0 -1 1077944384 2131 0 0 0 85 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15683912 memory=139884387700512 CPUtime=0.71 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) S 4136 4139 2271 0 -1 1077944384 982 0 0 0 70 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844553681520 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15683912 memory=139884266299455 CPUtime=0.89 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) S 4136 4139 2271 0 -1 1077944384 2977 0 0 0 88 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844552628976 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15683912 memory=139884387700512 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15683912 memory=139884266304063 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4156] ppid=4136 vsize=15683912 memory=8514701219376621709 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4156/stat : 4156 (java) S 4136 4139 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51659694 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844539573312 139845517311769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4158] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4158/stat : 4158 (java) S 4136 4139 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51659695 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842390310448 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4159] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4159/stat : 4159 (java) S 4136 4139 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51659696 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842121875120 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4160] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4160/stat : 4160 (java) S 4136 4139 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51659698 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842658754080 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 15715180 KiB
Current children cumulated memory: 257812 KiB
[startup+4.80078 s]
/proc/loadavg: 2.21 2.07 2.06 3/225 4160
/proc/meminfo: memFree=15759868/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15683912 memory=243220 CPUtime=4.35 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 24577 0 0 0 425 10 0 0 20 0 19 0 51659509 16060325888 60805 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3920978 60805 3225 1 0 3881834 0
[pid=4155] ppid=4139 vsize=32940 memory=15952 CPUtime=2.94 cores=1,3,5,7
/proc/4155/stat : 4155 (minisat_release) R 4139 4139 2271 0 -1 4202496 7030 0 0 0 294 0 0 0 20 0 1 0 51659694 33730560 3988 33554432000 4194304 4308513 140736762998176 140736762995176 4276400 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17838080 140736763003569 140736763004078 140736763004078 140736763006917 0
/proc/4155/statm: 8235 3988 351 28 0 4475 0
[pid=4139/tid=4141] ppid=4136 vsize=15683912 memory=-5059952977386882957 CPUtime=1.86 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) S 4136 4139 2271 0 -1 1077944384 17073 0 0 0 180 6 0 0 20 0 19 0 51659509 16060325888 60805 33554432000 4194304 4196468 140735101785280 139845489126400 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15683912 memory=7665504176715821152 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15683912 memory=7085667859022636630 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15683912 memory=74527662 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15683912 memory=139884266545659 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15683912 memory=279768533110096 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 51659512 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15683912 memory=149284 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51659513 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15683912 memory=8785 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51659513 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15683912 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) S 4136 4139 2271 0 -1 1077944384 2131 0 0 0 85 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15683912 memory=243220 CPUtime=0.71 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) S 4136 4139 2271 0 -1 1077944384 982 0 0 0 70 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844553681520 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15683912 memory=279768532824064 CPUtime=0.89 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) S 4136 4139 2271 0 -1 1077944384 2977 0 0 0 88 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844552628976 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15683912 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4156] ppid=4136 vsize=15683912 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4156/stat : 4156 (java) S 4136 4139 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51659694 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844539573312 139845517311769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4158] ppid=4136 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4158/stat : 4158 (java) S 4136 4139 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51659695 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842390310448 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4159] ppid=4136 vsize=15683912 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4159/stat : 4159 (java) S 4136 4139 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51659696 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842121875120 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4160] ppid=4136 vsize=15683912 memory=7014751519600300643 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4160/stat : 4160 (java) S 4136 4139 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51659698 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842658754080 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 15716852 KiB
Current children cumulated memory: 259172 KiB
[startup+5.00083 s]*
/proc/loadavg: 2.21 2.07 2.06 3/225 4160
/proc/meminfo: memFree=15758008/32770624 swapFree=67108860/67108860
[pid=4139] ppid=4136 vsize=15683912 memory=243220 CPUtime=4.35 cores=1,3,5,7
/proc/4139/stat : 4139 (java) S 4136 4139 2271 0 -1 1077944320 24577 0 0 0 425 10 0 0 20 0 19 0 51659509 16060325888 60805 33554432000 4194304 4196468 140735101785280 140735101767824 139845517287159 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
/proc/4139/statm: 3920978 60805 3225 1 0 3881834 0
[pid=4155] ppid=4139 vsize=32940 memory=16208 CPUtime=3.15 cores=1,3,5,7
/proc/4155/stat : 4155 (minisat_release) R 4139 4139 2271 0 -1 4202496 7097 0 0 0 315 0 0 0 20 0 1 0 51659694 33730560 4052 33554432000 4194304 4308513 140736762998176 140736762995176 4275961 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17838080 140736763003569 140736763004078 140736763004078 140736763006917 0
/proc/4155/statm: 8235 4052 351 28 0 4475 0
[pid=4139/tid=4141] ppid=4136 vsize=15683912 memory=-5059952977386882957 CPUtime=1.86 cores=1,3,5,7
/proc/4139/task/4141/stat : 4141 (java) S 4136 4139 2271 0 -1 1077944384 17073 0 0 0 180 6 0 0 20 0 19 0 51659509 16060325888 60805 33554432000 4194304 4196468 140735101785280 139845489126400 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4142] ppid=4136 vsize=15683912 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4142/stat : 4142 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139845521529616 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4143] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4143/stat : 4143 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844977552272 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4144] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4144/stat : 4144 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844976499728 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4145] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4145/stat : 4145 (java) S 4136 4139 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659511 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844975447184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4146] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4146/stat : 4146 (java) S 4136 4139 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 51659512 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844555786224 139845517298306 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4147] ppid=4136 vsize=15683912 memory=7084274816763193707 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4147/stat : 4147 (java) S 4136 4139 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51659513 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843933823904 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4148] ppid=4136 vsize=15683912 memory=279768533091656 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4148/stat : 4148 (java) S 4136 4139 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51659513 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843799602160 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4149] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4149/stat : 4149 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139843425097936 139845517305755 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4150] ppid=4136 vsize=15683912 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/4139/task/4150/stat : 4150 (java) S 4136 4139 2271 0 -1 1077944384 2131 0 0 0 85 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844554734064 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4151] ppid=4136 vsize=15683912 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/4139/task/4151/stat : 4151 (java) S 4136 4139 2271 0 -1 1077944384 982 0 0 0 70 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844553681520 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4152] ppid=4136 vsize=15683912 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/4139/task/4152/stat : 4152 (java) S 4136 4139 2271 0 -1 1077944384 2977 0 0 0 88 1 0 0 20 0 19 0 51659515 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844552628976 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4153] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4153/stat : 4153 (java) S 4136 4139 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842927193184 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4154] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4154/stat : 4154 (java) S 4136 4139 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659516 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844551575856 139845517298306 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4156] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4156/stat : 4156 (java) S 4136 4139 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51659694 16060325888 60805 33554432000 4194304 4196468 140735101785280 139844539573312 139845517311769 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4158] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4158/stat : 4158 (java) S 4136 4139 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51659695 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842390310448 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4159] ppid=4136 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4159/stat : 4159 (java) S 4136 4139 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 51659696 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842121875120 139845517309085 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
[pid=4139/tid=4160] ppid=4136 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4139/task/4160/stat : 4160 (java) S 4136 4139 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51659698 16060325888 60805 33554432000 4194304 4196468 140735101785280 139842658754080 139845517297365 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38248448 140735101793267 140735101793545 140735101793545 140735101796303 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 15716852 KiB
Current children cumulated memory: 259428 KiB
Child status: 0
Real time (s): 5.10219
CPU time (s): 7.64181
CPU user time (s): 7.52145
CPU system time (s): 0.120354
CPU usage (%): 149.775
Max. virtual memory (cumulated for all children) (KiB): 15716852
Max. memory (cumulated for all children) (KiB): 259428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.52145
system time used= 0.120354
maximum resident set size= 243996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4095
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 4139
# total CPU time (s): 7.64181
# total CPU user time (s): 7.52145
# total CPU system time (s): 0.120354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066771 second user time and 0.087745 second system time
The end