0.55/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:03:19 CEST 2018
0.67/0.54 c PID: 3625
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.40/0.95 c (0,0) Parsing End
1.40/0.96 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 20
1.40/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.40/0.96 c (0,0) Constraint Name Generate Begin
1.40/0.96 c (0,0) Ctr:HOME/instance-4293117-1532340198.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.40/0.96 c (0,0) Constraint Name Generate End
1.40/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.40/0.96 c (0,0) CSP to CSPinCNF Begin
1.60/1.04 c (0,0) translated 6 (10%) constraints
1.60/1.05 c (0,0) translated 11 (20%) constraints
1.60/1.05 c (0,0) translated 16 (30%) constraints
1.60/1.06 c (0,0) translated 21 (40%) constraints
1.60/1.06 c (0,0) translated 26 (50%) constraints
1.60/1.07 c (0,0) translated 32 (60%) constraints
1.78/1.16 c (0,0) translated 37 (70%) constraints
2.00/1.22 c (0,0) translated 42 (80%) constraints
2.00/1.26 c (0,0) translated 47 (90%) constraints
2.26/1.30 c (0,0) translated 52 (100%) constraints
2.57/1.45 c (0,0) STATISTICS1:HOME/instance-4293117-1532340198.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,149,411,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32;1:2,20:198;19:198;18:330;17:264;16:66;15:66;2:1088;1:34,4:136;3:80;2:160;1:35,3:544;2:34;1:544;0:17,
2.57/1.45 c (0,0) ===========================================
2.57/1.45 c (0,0) Order
2.57/1.45 c (0,0) ===========================================
2.57/1.46 c (0,0) translated 42 (10%) constraints
2.57/1.46 c (0,0) translated 83 (20%) constraints
2.57/1.47 c (0,0) translated 124 (30%) constraints
2.57/1.47 c (0,0) translated 165 (40%) constraints
2.57/1.48 c (0,0) translated 206 (50%) constraints
2.57/1.48 c (0,0) translated 247 (60%) constraints
2.57/1.48 c (0,0) translated 288 (70%) constraints
2.57/1.49 c (0,0) translated 329 (80%) constraints
2.57/1.49 c (0,0) translated 370 (90%) constraints
2.57/1.49 c (0,0) translated 411 (100%) constraints
2.57/1.49 c (0,0) CSP to CSPinCNF End
2.57/1.50 c (0,0) CSP: 68 int (0 aux), 81 bool (64 aux), 411 ctr, max domain size 20
2.57/1.50 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.57/1.50 c (0,0) CSPinCNF Propagation Begin
2.89/1.57 c (1,1) 0 values, 16 unsatisfiable literals, and 3 valid clauses are removed
2.89/1.57 c (1,1) CSPinCNF Propagation End
2.89/1.57 c (1,1) CSP: 68 int (0 aux), 81 bool (64 aux), 408 ctr, max domain size 20
2.89/1.57 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.89/1.57 c (1,1) Simplify CSPinCNF Begin
3.20/1.63 c (1,1) Simplify CSPinCNF End
3.20/1.63 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.20/1.63 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.20/1.63 c (1,1) Calculate Precise Domain Begin
3.20/1.63 c (1,1) 0 values are removed by re-calculation
3.20/1.63 c (1,1) Calculate Precise Domain End
3.20/1.63 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.20/1.63 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.20/1.63 c (1,1) CSPinCNF to SatSolver Begin
3.20/1.67 c (1,1) 96 (10 %) CSP clauses are encoded (1235 SAT variables, 639 SAT clauses)
3.20/1.68 c (1,1) 191 (20 %) CSP clauses are encoded (1235 SAT variables, 734 SAT clauses)
3.20/1.70 c (1,1) 286 (30 %) CSP clauses are encoded (1235 SAT variables, 1134 SAT clauses)
3.52/1.73 c (1,1) 381 (40 %) CSP clauses are encoded (1235 SAT variables, 3484 SAT clauses)
3.52/1.76 c (1,1) 476 (50 %) CSP clauses are encoded (1235 SAT variables, 5442 SAT clauses)
3.52/1.78 c (1,1) 572 (60 %) CSP clauses are encoded (1235 SAT variables, 7548 SAT clauses)
3.86/1.80 c (1,1) 667 (70 %) CSP clauses are encoded (1235 SAT variables, 9700 SAT clauses)
3.86/1.82 c (1,1) 762 (80 %) CSP clauses are encoded (1235 SAT variables, 11895 SAT clauses)
3.86/1.83 c (1,1) 857 (90 %) CSP clauses are encoded (1235 SAT variables, 13705 SAT clauses)
3.86/1.85 c (1,1) 952 (100 %) CSP clauses are encoded (1235 SAT variables, 15549 SAT clauses)
3.86/1.85 c (1,1) CSPinCNF to SatSolver End
3.86/1.85 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.86/1.88 c (1,1) STATISTICS2:HOME/instance-4293117-1532340198.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,693,952,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32,20:198;19:198;18:330;17:264;16:64;15:66;2:2176;1:32,4:136;3:64;2:720;1:32,3:544;2:32;1:1632,
3.86/1.88 c (1,1) SatSolver.solve Begin
3.86/1.88 c (1,1) 1235 bool, 15572 clause
3.86/1.88 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-4293117-1532340198.xml-scop-3625.cnf HOME/instance-4293117-1532340198.xml-scop-3625.cnf.out
7.95/5.41 c (4,0) c This is COMiniSatPS.
7.95/5.41 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
7.95/5.41 c (4,0) c ============================[ Problem Statistics ]=============================
7.95/5.41 c (4,0) c | |
7.95/5.41 c (4,0) c | Number of variables: 1235 |
7.95/5.41 c (4,0) c | Number of clauses: 15572 |
7.95/5.41 c (4,0) c | Parse time: 0.00 s |
7.95/5.41 c (4,0) c | Eliminated clauses: 0.01 Mb |
7.95/5.41 c (4,0) c Reduced to 1002 vars, 15196 cls (grow=0)
7.95/5.41 c (4,0) c No iterative elimination performed. (vars=1002, c/v ratio=15.2)
7.95/5.41 c (4,0) c | Simplification time: 0.02 s |
7.95/5.41 c (4,0) c | |
7.95/5.41 c (4,0) c ============================[ Search Statistics ]==============================
7.95/5.41 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.95/5.41 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.95/5.41 c (4,0) c ===============================================================================
7.95/5.41 c (4,0) c ===============================================================================
7.95/5.41 c (4,0) c restarts : 48
7.95/5.41 c (4,0) c conflicts : 78830 (22461 /sec)
7.95/5.41 c (4,0) c decisions : 134561 (0.00 % random) (38340 /sec)
7.95/5.41 c (4,0) c propagations : 6017361 (1714523 /sec)
7.95/5.41 c (4,0) c conflict literals : 3075326 (27.80 % deleted)
7.95/5.41 c (4,0) c CPU time : 3.50964 s
7.95/5.41 c (4,0)
7.95/5.41 c (4,0) s SATISFIABLE
7.95/5.42 c (4,1) SatSolver.solve End
7.95/5.42 c (4,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.95/5.42 c (4,1) Show results Begin
7.95/5.43 c (4,1) h[0] = 4
7.95/5.43 c (4,1) h[1] = 4
7.95/5.43 c (4,1) h[2] = 9
7.95/5.43 c (4,1) h[3] = 5
7.95/5.43 c (4,1) h[4] = 3
7.95/5.43 c (4,1) h[5] = 4
7.95/5.43 c (4,1) h[6] = 5
7.95/5.43 c (4,1) h[7] = 4
7.95/5.43 c (4,1) h[8] = 5
7.95/5.43 c (4,1) h[9] = 2
7.95/5.43 c (4,1) h[10] = 3
7.95/5.43 c (4,1) h[11] = 3
7.95/5.43 c (4,1) h[12] = 8
7.95/5.43 c (4,1) h[13] = 15
7.95/5.43 c (4,1) h[14] = 5
7.95/5.43 c (4,1) h[15] = 10
7.95/5.43 c (4,1) h[16] = 2
7.95/5.43 c (4,1) r[0] = 1
7.95/5.43 c (4,1) r[1] = 1
7.95/5.43 c (4,1) r[2] = 1
7.95/5.43 c (4,1) r[3] = 0
7.95/5.43 c (4,1) r[4] = 1
7.95/5.43 c (4,1) r[5] = 0
7.95/5.43 c (4,1) r[6] = 1
7.95/5.43 c (4,1) r[7] = 1
7.95/5.43 c (4,1) r[8] = 0
7.95/5.43 c (4,1) r[9] = 0
7.95/5.43 c (4,1) r[10] = 0
7.95/5.43 c (4,1) r[11] = 1
7.95/5.43 c (4,1) r[12] = 0
7.95/5.43 c (4,1) r[13] = 1
7.95/5.43 c (4,1) r[14] = 1
7.95/5.43 c (4,1) r[15] = 1
7.95/5.43 c (4,1) r[16] = 0
7.95/5.43 c (4,1) w[0] = 1
7.95/5.43 c (4,1) w[1] = 5
7.95/5.43 c (4,1) w[2] = 4
7.95/5.43 c (4,1) w[3] = 3
7.95/5.43 c (4,1) w[4] = 9
7.95/5.43 c (4,1) w[5] = 1
7.95/5.43 c (4,1) w[6] = 3
7.95/5.43 c (4,1) w[7] = 1
7.95/5.43 c (4,1) w[8] = 5
7.95/5.43 c (4,1) w[9] = 7
7.95/5.43 c (4,1) w[10] = 9
7.95/5.43 c (4,1) w[11] = 13
7.95/5.43 c (4,1) w[12] = 2
7.95/5.43 c (4,1) w[13] = 4
7.95/5.43 c (4,1) w[14] = 4
7.95/5.43 c (4,1) w[15] = 6
7.95/5.43 c (4,1) w[16] = 7
7.95/5.43 c (4,1) x[0] = 19
7.95/5.43 c (4,1) x[1] = 8
7.95/5.43 c (4,1) x[2] = 4
7.95/5.43 c (4,1) x[3] = 12
7.95/5.43 c (4,1) x[4] = 4
7.95/5.43 c (4,1) x[5] = 19
7.95/5.43 c (4,1) x[6] = 15
7.95/5.43 c (4,1) x[7] = 19
7.95/5.43 c (4,1) x[8] = 0
7.95/5.43 c (4,1) x[9] = 5
7.95/5.43 c (4,1) x[10] = 4
7.95/5.43 c (4,1) x[11] = 5
7.95/5.43 c (4,1) x[12] = 18
7.95/5.43 c (4,1) x[13] = 0
7.95/5.43 c (4,1) x[14] = 8
7.95/5.43 c (4,1) x[15] = 13
7.95/5.43 c (4,1) x[16] = 12
7.95/5.43 c (4,1) y[0] = 16
7.95/5.43 c (4,1) y[1] = 10
7.95/5.43 c (4,1) y[2] = 5
7.95/5.43 c (4,1) y[3] = 3
7.95/5.44 c (4,1) y[4] = 17
7.95/5.44 c (4,1) y[5] = 8
7.95/5.44 c (4,1) y[6] = 3
7.95/5.44 c (4,1) y[7] = 12
7.95/5.44 c (4,1) y[8] = 0
7.95/5.44 c (4,1) y[9] = 3
7.95/5.44 c (4,1) y[10] = 14
7.95/5.44 c (4,1) y[11] = 0
7.95/5.44 c (4,1) y[12] = 0
7.95/5.44 c (4,1) y[13] = 5
7.95/5.44 c (4,1) y[14] = 5
7.95/5.44 c (4,1) y[15] = 10
7.95/5.44 c (4,1) y[16] = 8
7.95/5.44 s SATISFIABLE
7.95/5.44 v <instantiation>
7.95/5.44 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] 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] y[16] 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] w[16] 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] h[16] 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] r[16]</list>
7.95/5.44 v <values>19 8 4 12 4 19 15 19 0 5 4 5 18 0 8 13 12 16 10 5 3 17 8 3 12 0 3 14 0 0 5 5 10 8 1 5 4 3 9 1 3 1 5 7 9 13 2 4 4 6 7 4 4 9 5 3 4 5 4 5 2 3 3 8 15 5 10 2 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0</values>
7.95/5.44 v </instantiation>
7.95/5.44 c (4,1) Show results End
7.95/5.44 c (4,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.95/5.44 c (4,1) 0,0,0,1,1,1,1,4,4,STOP-AFTER(ALL)
7.95/5.44 c END-Prog: Mon Jul 23 12:03:23 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 (4081 MiB free)
memory of node 1: 16384 MiB (11587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293117-1532340198/watcher-4293117-1532340198 -o /tmp/evaluation-result-4293117-1532340198/solver-4293117-1532340198 -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-4293117-1532340198.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=3625, runsolver pid=3622
[startup+0.100137 s]*
/proc/loadavg: 1.93 2.00 2.04 3/221 3640
/proc/meminfo: memFree=15984788/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15011656 memory=73144 CPUtime=0.11 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 6982 0 0 0 9 2 0 0 20 0 15 0 51582965 15371935744 18286 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3752914 18286 2778 1 0 3715374 0
[pid=3625/tid=3627] ppid=3622 vsize=15011656 memory=4282253237783991187 CPUtime=0.09 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) R 3622 3625 2271 0 -1 4202560 5233 0 0 0 8 1 0 0 20 0 15 0 51582966 15371935744 18484 33554432000 4194304 4196468 140721781384624 139733313057160 139733327466495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 18484 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 18484 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 18484 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 18484 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582969 15371935744 18484 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51582969 15371935744 18484 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51582970 15371935744 18484 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 18484 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) S 3622 3625 2271 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 18484 33554432000 4194304 4196468 140721781384624 139732309711600 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 18484 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0.01 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) R 3622 3625 2271 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 51582972 15371935744 18484 33554432000 4194304 4196468 140721781384624 139732307606000 139733341266522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 18484 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 18484 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73144 KiB
[startup+0.210639 s]*
/proc/loadavg: 1.93 2.00 2.04 3/221 3640
/proc/meminfo: memFree=15971208/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15011656 memory=84904 CPUtime=0.26 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 10125 0 0 0 23 3 0 0 20 0 15 0 51582965 15371935744 21226 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3752914 21226 2938 1 0 3715374 0
[pid=3625/tid=3627] ppid=3622 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) R 3622 3625 2271 0 -1 4202560 7997 0 0 0 18 2 0 0 20 0 15 0 51582966 15371935744 21226 33554432000 4194304 4196468 140721781384624 139733313071568 139733321441906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 21226 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15011656 memory=3833600900960720544 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 21226 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 21226 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 21226 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582969 15371935744 21226 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51582969 15371935744 21226 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51582970 15371935744 21226 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 21226 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) R 3622 3625 2271 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 51582972 15371935744 21226 33554432000 4194304 4196468 140721781384624 139732309711600 139733333534629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) R 3622 3625 2271 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 21226 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0.03 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) S 3622 3625 2271 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 51582972 15371935744 21226 33554432000 4194304 4196468 140721781384624 139732307606000 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 21226 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 21226 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84904 KiB
[startup+0.310764 s]*
/proc/loadavg: 1.93 2.00 2.04 3/221 3640
/proc/meminfo: memFree=15967176/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15011656 memory=88112 CPUtime=0.43 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 10667 0 0 0 40 3 0 0 20 0 15 0 51582965 15371935744 22028 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3752914 22028 2990 1 0 3715374 0
[pid=3625/tid=3627] ppid=3622 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) R 3622 3625 2271 0 -1 4202560 8374 0 0 0 27 2 0 0 20 0 15 0 51582966 15371935744 22028 33554432000 4194304 4196468 140721781384624 139733313049328 139733341259062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 22028 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15011656 memory=4121691067513045024 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 22028 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 22028 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15371935744 22028 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582969 15371935744 22028 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51582969 15371935744 22028 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15011656 memory=140209599387264 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51582970 15371935744 22028 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 22028 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) S 3622 3625 2271 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 51582972 15371935744 22028 33554432000 4194304 4196468 140721781384624 139732309711600 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) S 3622 3625 2271 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 51582972 15371935744 22028 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) R 3622 3625 2271 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 15 0 51582972 15371935744 22028 33554432000 4194304 4196468 140721781384624 139732307599008 139733320163903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 22028 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582972 15371935744 22028 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88112 KiB
[startup+0.700696 s]
/proc/loadavg: 1.93 2.00 2.04 3/221 3640
/proc/meminfo: memFree=15943116/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15020052 memory=128336 CPUtime=1.03 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 17774 0 0 0 98 5 0 0 20 0 15 0 51582965 15380533248 32074 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3755013 32084 3167 1 0 3716398 0
[pid=3625/tid=3627] ppid=3622 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) R 3622 3625 2271 0 -1 4202560 14998 0 0 0 63 4 0 0 20 0 15 0 51582966 15380533248 32084 33554432000 4194304 4196468 140721781384624 139733313081056 139732818467407 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15380533248 32084 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15380533248 32084 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15380533248 32084 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15380533248 32084 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15020052 memory=280418951931680 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51582969 15380533248 32084 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51582969 15380533248 32084 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51582970 15380533248 32084 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15380533248 32084 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15020052 memory=8380 CPUtime=0.09 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) S 3622 3625 2271 0 -1 1077944384 677 0 0 0 9 0 0 0 20 0 15 0 51582972 15380533248 32084 33554432000 4194304 4196468 140721781384624 139732309711600 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) S 3622 3625 2271 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 15 0 51582972 15380533248 32084 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) S 3622 3625 2271 0 -1 1077944384 464 0 0 0 17 0 0 0 20 0 15 0 51582972 15380533248 32084 33554432000 4194304 4196468 140721781384624 139732307606000 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51582972 15380533248 32084 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582972 15380533248 32084 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128336 KiB
[startup+1.50616 s]
/proc/loadavg: 1.93 2.00 2.04 3/221 3640
/proc/meminfo: memFree=15914704/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15024148 memory=175364 CPUtime=2.89 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 21883 0 0 0 282 7 0 0 20 0 15 0 51582965 15384727552 43841 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3756037 43841 3202 1 0 3717422 0
[pid=3625/tid=3627] ppid=3622 vsize=15024148 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) R 3622 3625 2271 0 -1 4202560 16417 0 0 0 142 5 0 0 20 0 15 0 51582966 15384727552 43841 33554432000 4194304 4196468 140721781384624 139733313082176 139733341257110 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15384727552 43841 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15384727552 43841 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51582967 15384727552 43841 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51582967 15384727552 43841 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51582969 15384727552 43841 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
################
# More data... #
################
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3642] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3642/stat : 3642 (java) S 3622 3625 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51583155 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733137610048 139733341269785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3644] ppid=3622 vsize=15683912 memory=280418952470240 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3644/stat : 3644 (java) S 3622 3625 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730385616176 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3645] ppid=3622 vsize=15683912 memory=3184238129552205936 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3645/stat : 3645 (java) S 3622 3625 2271 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730117181360 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3646] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3646/stat : 3646 (java) S 3622 3625 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51583159 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730654060320 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 15712576 KiB
Current children cumulated memory: 264380 KiB
[startup+4.80079 s]
/proc/loadavg: 1.85 1.98 2.03 3/226 3646
/proc/meminfo: memFree=15788480/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15683912 memory=252496 CPUtime=4.46 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 24666 0 0 0 438 8 0 0 20 0 19 0 51582965 16060325888 63124 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3920978 63124 3224 1 0 3881834 0
[pid=3641] ppid=3625 vsize=33056 memory=16452 CPUtime=2.89 cores=1,3,5,7
/proc/3641/stat : 3641 (minisat_release) R 3625 3625 2271 0 -1 4202496 4707 0 0 0 289 0 0 0 20 0 1 0 51583155 33849344 4113 33554432000 4194304 4308513 140731030752528 140731030749528 4276504 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12992512 140731030753969 140731030754478 140731030754478 140731030757317 0
/proc/3641/statm: 8264 4113 352 28 0 4504 0
[pid=3625/tid=3627] ppid=3622 vsize=15683912 memory=-5059952977386882957 CPUtime=1.9 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) S 3622 3625 2271 0 -1 1077944384 17072 0 0 0 184 6 0 0 20 0 19 0 51582966 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733313084416 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15683912 memory=7377834521396013666 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15683912 memory=7737840935053650793 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15683912 memory=73541811 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15683912 memory=140209476100089 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15683912 memory=280418952219984 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51582969 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15683912 memory=149628 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51582969 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15683912 memory=8785 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51582970 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15683912 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) S 3622 3625 2271 0 -1 1077944384 1283 0 0 0 78 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732309711600 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15683912 memory=252496 CPUtime=0.83 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) S 3622 3625 2271 0 -1 1077944384 1858 0 0 0 83 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15683912 memory=280418951933952 CPUtime=0.91 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) S 3622 3625 2271 0 -1 1077944384 3036 0 0 0 91 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732307606000 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15683912 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3642] ppid=3622 vsize=15683912 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3642/stat : 3642 (java) S 3622 3625 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51583155 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733137610048 139733341269785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3644] ppid=3622 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3644/stat : 3644 (java) S 3622 3625 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730385616176 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3645] ppid=3622 vsize=15683912 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3645/stat : 3645 (java) S 3622 3625 2271 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730117181360 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3646] ppid=3622 vsize=15683912 memory=7014751519600300643 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3646/stat : 3646 (java) S 3622 3625 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51583159 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730654060320 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 15716968 KiB
Current children cumulated memory: 268948 KiB
[startup+5.20079 s]
/proc/loadavg: 1.85 1.98 2.03 3/226 3646
/proc/meminfo: memFree=15787736/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15683912 memory=252496 CPUtime=4.46 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 24668 0 0 0 438 8 0 0 20 0 19 0 51582965 16060325888 63124 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3920978 63124 3224 1 0 3881834 0
[pid=3641] ppid=3625 vsize=33056 memory=16452 CPUtime=3.29 cores=1,3,5,7
/proc/3641/stat : 3641 (minisat_release) R 3625 3625 2271 0 -1 4202496 4735 0 0 0 329 0 0 0 20 0 1 0 51583155 33849344 4113 33554432000 4194304 4308513 140731030752528 140731030749528 4264411 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12992512 140731030753969 140731030754478 140731030754478 140731030757317 0
/proc/3641/statm: 8264 4113 352 28 0 4504 0
[pid=3625/tid=3627] ppid=3622 vsize=15683912 memory=-6440014802082816869 CPUtime=1.9 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) S 3622 3625 2271 0 -1 1077944384 17072 0 0 0 184 6 0 0 20 0 19 0 51582966 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733313084416 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15683912 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51582969 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51582969 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51582970 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15683912 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) S 3622 3625 2271 0 -1 1077944384 1283 0 0 0 78 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732309711600 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15683912 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) S 3622 3625 2271 0 -1 1077944384 1858 0 0 0 83 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15683912 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) S 3622 3625 2271 0 -1 1077944384 3036 0 0 0 91 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732307606000 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3642] ppid=3622 vsize=15683912 memory=140209476403169 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3642/stat : 3642 (java) S 3622 3625 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51583155 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733137610048 139733341269785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3644] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3644/stat : 3644 (java) S 3622 3625 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730385616176 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3645] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3645/stat : 3645 (java) S 3622 3625 2271 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730117181360 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3646] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3646/stat : 3646 (java) S 3622 3625 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51583159 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730654060320 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 15716968 KiB
Current children cumulated memory: 268948 KiB
[startup+5.40087 s]
/proc/loadavg: 1.85 1.98 2.03 3/226 3646
/proc/meminfo: memFree=15787736/32770624 swapFree=67108860/67108860
[pid=3625] ppid=3622 vsize=15683912 memory=252496 CPUtime=4.46 cores=1,3,5,7
/proc/3625/stat : 3625 (java) S 3622 3625 2271 0 -1 1077944320 24668 0 0 0 438 8 0 0 20 0 19 0 51582965 16060325888 63124 33554432000 4194304 4196468 140721781384624 140721781367168 139733341245175 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
/proc/3625/statm: 3920978 63124 3224 1 0 3881834 0
[pid=3641] ppid=3625 vsize=33244 memory=16452 CPUtime=3.49 cores=1,3,5,7
/proc/3641/stat : 3641 (minisat_release) R 3625 3625 2271 0 -1 4202496 4739 0 0 0 349 0 0 0 20 0 1 0 51583155 34041856 4113 33554432000 4194304 4308513 140731030752528 140731030749528 4276023 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12992512 140731030753969 140731030754478 140731030754478 140731030757317 0
/proc/3641/statm: 8311 4113 352 28 0 4551 0
[pid=3625/tid=3627] ppid=3622 vsize=15683912 memory=16100372960067467 CPUtime=1.9 cores=1,3,5,7
/proc/3625/task/3627/stat : 3627 (java) S 3622 3625 2271 0 -1 1077944384 17072 0 0 0 184 6 0 0 20 0 19 0 51582966 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733313084416 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3628] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3628/stat : 3628 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733345487888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3629] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3629/stat : 3629 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733144263824 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3630] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3630/stat : 3630 (java) S 3622 3625 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733143210768 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3631] ppid=3622 vsize=15683912 memory=3053511329498284128 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3631/stat : 3631 (java) S 3622 3625 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51582967 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733142158224 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3632] ppid=3622 vsize=15683912 memory=5793412959940993894 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3632/stat : 3632 (java) S 3622 3625 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51582969 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732310763760 139733341256322 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3633] ppid=3622 vsize=15683912 memory=6370172800931751781 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3633/stat : 3633 (java) S 3622 3625 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51582969 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731929130144 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3634] ppid=3622 vsize=15683912 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3634/stat : 3634 (java) S 3622 3625 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51582970 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731794907888 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3635] ppid=3622 vsize=15683912 memory=5787213827114685025 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3635/stat : 3635 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139731420403664 139733341263771 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3636] ppid=3622 vsize=15683912 memory=4640790453641306987 CPUtime=0.78 cores=1,3,5,7
/proc/3625/task/3636/stat : 3636 (java) S 3622 3625 2271 0 -1 1077944384 1283 0 0 0 78 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732309711600 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3637] ppid=3622 vsize=15683912 memory=8463010978005066999 CPUtime=0.83 cores=1,3,5,7
/proc/3625/task/3637/stat : 3637 (java) S 3622 3625 2271 0 -1 1077944384 1858 0 0 0 83 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732308659056 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3638] ppid=3622 vsize=15683912 memory=7019607297483283731 CPUtime=0.91 cores=1,3,5,7
/proc/3625/task/3638/stat : 3638 (java) S 3622 3625 2271 0 -1 1077944384 3036 0 0 0 91 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732307606000 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3639] ppid=3622 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3639/stat : 3639 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730922498912 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3640] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3640/stat : 3640 (java) S 3622 3625 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51582972 16060325888 63124 33554432000 4194304 4196468 140721781384624 139732306553392 139733341256322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3642] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3642/stat : 3642 (java) S 3622 3625 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51583155 16060325888 63124 33554432000 4194304 4196468 140721781384624 139733137610048 139733341269785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3644] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3644/stat : 3644 (java) S 3622 3625 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730385616176 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3645] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3645/stat : 3645 (java) S 3622 3625 2271 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 51583157 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730117181360 139733341267101 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
[pid=3625/tid=3646] ppid=3622 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3625/task/3646/stat : 3646 (java) S 3622 3625 2271 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 51583159 16060325888 63124 33554432000 4194304 4196468 140721781384624 139730654060320 139733341255381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22740992 140721781392371 140721781392649 140721781392649 140721781395407 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 15717156 KiB
Current children cumulated memory: 268948 KiB
Child status: 0
Real time (s): 5.46014
CPU time (s): 8.0846
CPU user time (s): 7.97689
CPU system time (s): 0.107711
CPU usage (%): 148.066
Max. virtual memory (cumulated for all children) (KiB): 15717156
Max. memory (cumulated for all children) (KiB): 268948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.97689
system time used= 0.107711
maximum resident set size= 255792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3985
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 3625
# total CPU time (s): 8.0846
# total CPU user time (s): 7.97689
# total CPU system time (s): 0.107711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060336 second user time and 0.098732 second system time
The end