0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 12:03:28 CEST 2018
0.66/0.55 c PID: 3789
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.41/0.96 c (0,0) Parsing End
1.41/0.97 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.41/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.41/0.97 c (0,0) Constraint Name Generate Begin
1.41/0.98 c (0,0) Ctr:HOME/instance-4293135-1532340207.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.41/0.98 c (0,0) Constraint Name Generate End
1.41/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.41/0.98 c (0,0) CSP to CSPinCNF Begin
1.61/1.05 c (0,0) translated 6 (10%) constraints
1.61/1.06 c (0,0) translated 11 (20%) constraints
1.61/1.06 c (0,0) translated 16 (30%) constraints
1.61/1.07 c (0,0) translated 21 (40%) constraints
1.61/1.07 c (0,0) translated 26 (50%) constraints
1.61/1.08 c (0,0) translated 32 (60%) constraints
1.78/1.17 c (0,0) translated 37 (70%) constraints
1.97/1.23 c (0,0) translated 42 (80%) constraints
1.97/1.27 c (0,0) translated 47 (90%) constraints
2.27/1.32 c (0,0) translated 52 (100%) constraints
2.54/1.46 c (0,0) STATISTICS1:HOME/instance-4293135-1532340207.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,392,199,4,3,392:4;390:8;388:28;380:20;376:24;372:28;366:68;362:40;360:44;336:48;322:52;300:56;250:60;234:64;2:34,199:66;196:66;195:66;194:132;190:66;188:66;186:66;183:132;181:66;180:66;168:66;161:66;150:66;125:66;117:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.54/1.46 c (0,0) ===========================================
2.54/1.47 c (0,0) Order
2.54/1.47 c (0,0) ===========================================
2.54/1.48 c (0,0) translated 43 (10%) constraints
2.54/1.48 c (0,0) translated 85 (20%) constraints
2.54/1.49 c (0,0) translated 128 (30%) constraints
2.54/1.49 c (0,0) translated 170 (40%) constraints
2.54/1.49 c (0,0) translated 213 (50%) constraints
2.54/1.49 c (0,0) translated 255 (60%) constraints
2.54/1.50 c (0,0) translated 298 (70%) constraints
2.88/1.50 c (0,0) translated 340 (80%) constraints
2.88/1.51 c (0,0) translated 383 (90%) constraints
2.88/1.52 c (0,0) translated 425 (100%) constraints
2.88/1.52 c (0,0) CSP to CSPinCNF End
2.88/1.52 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 199
2.88/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.88/1.52 c (0,0) CSPinCNF Propagation Begin
2.88/1.59 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.88/1.59 c (1,1) CSPinCNF Propagation End
2.88/1.59 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 199
2.88/1.59 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.88/1.59 c (1,1) Simplify CSPinCNF Begin
3.19/1.65 c (1,1) Simplify CSPinCNF End
3.19/1.65 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 199
3.19/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.65 c (1,1) Calculate Precise Domain Begin
3.19/1.66 c (1,1) 0 values are removed by re-calculation
3.19/1.66 c (1,1) Calculate Precise Domain End
3.19/1.66 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 199
3.19/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.49/1.72 c (1,1) 97 (10 %) CSP clauses are encoded (6609 SAT variables, 6008 SAT clauses)
3.49/1.73 c (1,1) 194 (20 %) CSP clauses are encoded (6609 SAT variables, 6105 SAT clauses)
3.49/1.73 c (1,1) 291 (30 %) CSP clauses are encoded (6609 SAT variables, 6202 SAT clauses)
3.83/1.85 c (1,1) 388 (40 %) CSP clauses are encoded (6609 SAT variables, 21866 SAT clauses)
4.14/1.93 c (1,1) 485 (50 %) CSP clauses are encoded (6609 SAT variables, 41756 SAT clauses)
4.14/1.98 c (1,1) 582 (60 %) CSP clauses are encoded (6609 SAT variables, 57381 SAT clauses)
4.47/2.05 c (1,1) 679 (70 %) CSP clauses are encoded (6609 SAT variables, 82292 SAT clauses)
4.63/2.11 c (1,1) 776 (80 %) CSP clauses are encoded (6609 SAT variables, 106287 SAT clauses)
4.63/2.16 c (1,1) 873 (90 %) CSP clauses are encoded (6609 SAT variables, 128114 SAT clauses)
4.74/2.22 c (1,1) 969 (100 %) CSP clauses are encoded (6609 SAT variables, 149718 SAT clauses)
4.74/2.22 c (1,1) CSPinCNF to SatSolver End
4.74/2.22 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.74/2.24 c (1,1) STATISTICS2:HOME/instance-4293135-1532340207.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,392,199,4,3,392:4;390:8;388:28;380:20;376:24;372:28;366:68;362:40;360:44;336:48;322:52;300:56;250:60;234:64;2:34,199:66;196:66;195:66;194:132;190:66;188:66;186:66;183:132;181:66;180:66;168:66;161:66;150:66;125:66;117:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.74/2.24 c (1,1) SatSolver.solve Begin
4.74/2.24 c (1,1) 6609 bool, 149997 clause
4.74/2.24 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-4293135-1532340207.xml-scop-3789.cnf HOME/instance-4293135-1532340207.xml-scop-3789.cnf.out
4.93/2.98 c (2,0) c This is COMiniSatPS.
4.93/2.98 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
4.93/2.98 c (2,0) c ============================[ Problem Statistics ]=============================
4.93/2.98 c (2,0) c | |
4.93/2.98 c (2,0) c | Number of variables: 6609 |
4.93/2.98 c (2,0) c | Number of clauses: 149997 |
4.93/2.98 c (2,0) c | Parse time: 0.05 s |
4.93/2.98 c (2,0) c | Eliminated clauses: 0.01 Mb |
4.93/2.98 c (2,0) c Reduced to 6291 vars, 149526 cls (grow=0)
4.93/2.98 c (2,0) c No iterative elimination performed. (vars=6291, c/v ratio=23.8)
4.93/2.98 c (2,0) c | Simplification time: 0.25 s |
4.93/2.98 c (2,0) c | |
4.93/2.98 c (2,0) c ============================[ Search Statistics ]==============================
4.93/2.98 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.93/2.98 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.93/2.98 c (2,0) c ===============================================================================
4.93/2.98 c (2,0) c ===============================================================================
4.93/2.98 c (2,0) c restarts : 10
4.93/2.98 c (2,0) c conflicts : 5031 (7100 /sec)
4.93/2.98 c (2,0) c decisions : 11807 (0.00 % random) (16663 /sec)
4.93/2.98 c (2,0) c propagations : 1389084 (1960374 /sec)
4.93/2.98 c (2,0) c conflict literals : 121397 (22.50 % deleted)
4.93/2.98 c (2,0) c CPU time : 0.708581 s
4.93/2.98 c (2,0)
4.93/2.98 c (2,0) s SATISFIABLE
4.93/2.99 c (2,1) SatSolver.solve End
4.93/2.99 c (2,1) Heap : 732 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
4.93/2.99 c (2,1) Show results Begin
5.73/3.01 c (2,1) h[0] = 167
5.73/3.01 c (2,1) h[1] = 33
5.73/3.01 c (2,1) h[2] = 20
5.73/3.01 c (2,1) h[3] = 111
5.73/3.01 c (2,1) h[4] = 7
5.73/3.01 c (2,1) h[5] = 29
5.73/3.01 c (2,1) h[6] = 8
5.73/3.01 c (2,1) h[7] = 21
5.73/3.01 c (2,1) h[8] = 15
5.73/3.01 c (2,1) h[9] = 13
5.73/3.01 c (2,1) h[10] = 7
5.73/3.01 c (2,1) h[11] = 118
5.73/3.01 c (2,1) h[12] = 37
5.73/3.01 c (2,1) h[13] = 32
5.73/3.01 c (2,1) h[14] = 18
5.73/3.01 c (2,1) h[15] = 19
5.73/3.01 c (2,1) h[16] = 51
5.73/3.01 c (2,1) r[0] = 1
5.73/3.01 c (2,1) r[1] = 1
5.73/3.01 c (2,1) r[2] = 1
5.73/3.01 c (2,1) r[3] = 1
5.73/3.01 c (2,1) r[4] = 1
5.73/3.01 c (2,1) r[5] = 1
5.73/3.01 c (2,1) r[6] = 1
5.73/3.01 c (2,1) r[7] = 1
5.73/3.01 c (2,1) r[8] = 1
5.73/3.01 c (2,1) r[9] = 1
5.73/3.01 c (2,1) r[10] = 1
5.73/3.01 c (2,1) r[11] = 1
5.73/3.01 c (2,1) r[12] = 1
5.73/3.01 c (2,1) r[13] = 1
5.73/3.01 c (2,1) r[14] = 1
5.73/3.01 c (2,1) r[15] = 1
5.73/3.01 c (2,1) r[16] = 1
5.73/3.01 c (2,1) w[0] = 40
5.73/3.01 c (2,1) w[1] = 125
5.73/3.01 c (2,1) w[2] = 70
5.73/3.01 c (2,1) w[3] = 84
5.73/3.01 c (2,1) w[4] = 20
5.73/3.01 c (2,1) w[5] = 18
5.73/3.01 c (2,1) w[6] = 2
5.73/3.01 c (2,1) w[7] = 67
5.73/3.01 c (2,1) w[8] = 65
5.73/3.01 c (2,1) w[9] = 90
5.73/3.01 c (2,1) w[10] = 14
5.73/3.01 c (2,1) w[11] = 76
5.73/3.01 c (2,1) w[12] = 6
5.73/3.01 c (2,1) w[13] = 11
5.73/3.01 c (2,1) w[14] = 69
5.73/3.01 c (2,1) w[15] = 5
5.73/3.01 c (2,1) w[16] = 64
5.73/3.01 c (2,1) x[0] = 0
5.73/3.01 c (2,1) x[1] = 0
5.73/3.01 c (2,1) x[2] = 40
5.73/3.01 c (2,1) x[3] = 40
5.73/3.01 c (2,1) x[4] = 105
5.73/3.01 c (2,1) x[5] = 107
5.73/3.01 c (2,1) x[6] = 105
5.73/3.01 c (2,1) x[7] = 40
5.73/3.01 c (2,1) x[8] = 40
5.73/3.01 c (2,1) x[9] = 110
5.73/3.01 c (2,1) x[10] = 110
5.73/3.01 c (2,1) x[11] = 124
5.73/3.01 c (2,1) x[12] = 125
5.73/3.01 c (2,1) x[13] = 125
5.73/3.01 c (2,1) x[14] = 131
5.73/3.01 c (2,1) x[15] = 131
5.73/3.01 c (2,1) x[16] = 136
5.73/3.01 c (2,1) y[0] = 33
5.73/3.01 c (2,1) y[1] = 0
5.73/3.01 c (2,1) y[2] = 69
5.73/3.01 c (2,1) y[3] = 89
5.73/3.01 c (2,1) y[4] = 33
5.73/3.01 c (2,1) y[5] = 40
5.73/3.01 c (2,1) y[6] = 40
5.73/3.01 c (2,1) y[7] = 48
5.73/3.01 c (2,1) y[8] = 33
5.73/3.01 c (2,1) y[9] = 69
5.73/3.01 c (2,1) y[10] = 82
5.73/3.01 c (2,1) y[11] = 82
5.73/3.01 c (2,1) y[12] = 32
5.73/3.01 c (2,1) y[13] = 0
5.73/3.01 c (2,1) y[14] = 51
5.73/3.01 c (2,1) y[15] = 32
5.73/3.01 c (2,1) y[16] = 0
5.73/3.01 s SATISFIABLE
5.73/3.01 v <instantiation>
5.73/3.01 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>
5.73/3.01 v <values>0 0 40 40 105 107 105 40 40 110 110 124 125 125 131 131 136 33 0 69 89 33 40 40 48 33 69 82 82 32 0 51 32 0 40 125 70 84 20 18 2 67 65 90 14 76 6 11 69 5 64 167 33 20 111 7 29 8 21 15 13 7 118 37 32 18 19 51 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
5.73/3.01 v </instantiation>
5.73/3.01 c (2,1) Show results End
5.73/3.01 c (2,1) Heap : 732 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.73/3.01 c (2,1) 0,0,0,1,1,1,1,2,2,STOP-AFTER(ALL)
5.73/3.01 c END-Prog: Mon Jul 23 12:03:30 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 (11586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293135-1532340207/watcher-4293135-1532340207 -o /tmp/evaluation-result-4293135-1532340207/solver-4293135-1532340207 -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-4293135-1532340207.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=3789, runsolver pid=3786
[startup+0.100061 s]*
/proc/loadavg: 1.79 1.97 2.03 3/221 3804
/proc/meminfo: memFree=15983840/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15011656 memory=71144 CPUtime=0.11 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 7061 0 0 0 9 2 0 0 20 0 15 0 51583861 15371935744 17786 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3752914 17786 2752 1 0 3715374 0
[pid=3789/tid=3791] ppid=3786 vsize=15011656 memory=4570484704857396115 CPUtime=0.09 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 5276 0 0 0 8 1 0 0 20 0 15 0 51583861 15371935744 17918 33554432000 4194304 4196468 140737222273120 140159086780808 140159095244651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 17918 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 17918 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 17918 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 17918 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 17984 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 17984 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 17984 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 17984 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) S 3786 3789 2271 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 17984 33554432000 4194304 4196468 140737222273120 140158152308976 140159114979970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 17984 33554432000 4194304 4196468 140737222273120 140158151256432 140159114979970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0.01 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) S 3786 3789 2271 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 51583868 15371935744 17984 33554432000 4194304 4196468 140737222273120 140158150203376 140159114979970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 17984 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 17984 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71144 KiB
[startup+0.210486 s]*
/proc/loadavg: 1.79 1.97 2.03 3/221 3804
/proc/meminfo: memFree=15970136/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15011656 memory=84516 CPUtime=0.26 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 10577 0 0 0 23 3 0 0 20 0 15 0 51583861 15371935744 21129 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3752914 21129 2882 1 0 3715374 0
[pid=3789/tid=3791] ppid=3786 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 8472 0 0 0 18 2 0 0 20 0 15 0 51583861 15371935744 21129 33554432000 4194304 4196468 140737222273120 140159086759488 140159114980758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21129 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15011656 memory=3833601208115947168 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 21129 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 21129 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21129 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) R 3786 3789 2271 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158152308976 140159107953865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) R 3786 3789 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158151256432 140159114979970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0.03 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) R 3786 3789 2271 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 15 0 51583868 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158150203376 140159114990170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21129 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21129 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84516 KiB
[startup+0.310474 s]*
/proc/loadavg: 1.79 1.97 2.03 3/221 3804
/proc/meminfo: memFree=15966724/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15011656 memory=87984 CPUtime=0.43 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 11109 0 0 0 40 3 0 0 20 0 15 0 51583861 15371935744 21996 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3752914 21996 2979 1 0 3715374 0
[pid=3789/tid=3791] ppid=3786 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 8841 0 0 0 28 2 0 0 20 0 15 0 51583861 15371935744 21996 33554432000 4194304 4196468 140737222273120 140159086796448 140159114990170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21996 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15011656 memory=4121691067513045024 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 21996 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15011656 memory=140516754613888 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51583865 15371935744 21996 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21996 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) R 3786 3789 2271 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 51583868 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158152308976 140159114979970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) R 3786 3789 2271 0 -1 4202560 113 0 0 0 2 0 0 0 20 0 15 0 51583868 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158151256432 140159094216046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) R 3786 3789 2271 0 -1 4202560 296 0 0 0 7 0 0 0 20 0 15 0 51583868 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158150203376 140159094893839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21996 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583868 15371935744 21996 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87984 KiB
[startup+0.700748 s]
/proc/loadavg: 1.79 1.97 2.03 3/221 3804
/proc/meminfo: memFree=15942292/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15020052 memory=127828 CPUtime=1 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 18203 0 0 0 96 4 0 0 20 0 15 0 51583861 15380533248 31957 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3755013 31957 3167 1 0 3716398 0
[pid=3789/tid=3791] ppid=3786 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 15537 0 0 0 64 3 0 0 20 0 15 0 51583861 15380533248 31957 33554432000 4194304 4196468 140737222273120 140159086804976 140159114980758 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583863 15380533248 31957 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15020052 memory=281033266472736 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51583865 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51583865 15380533248 31957 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51583865 15380533248 31957 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15380533248 31957 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15020052 memory=8380 CPUtime=0.09 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) R 3786 3789 2271 0 -1 4202560 734 0 0 0 9 0 0 0 20 0 15 0 51583868 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158152308976 140159096495688 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) R 3786 3789 2271 0 -1 4202560 163 0 0 0 6 0 0 0 20 0 15 0 51583868 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158151244272 140159095604641 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) R 3786 3789 2271 0 -1 1077944384 409 0 0 0 17 0 0 0 20 0 15 0 51583868 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158150203376 140159114979970 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15380533248 31957 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583868 15380533248 31957 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127828 KiB
[startup+1.50506 s]
/proc/loadavg: 1.79 1.97 2.03 3/221 3804
/proc/meminfo: memFree=15912640/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15024148 memory=173288 CPUtime=2.88 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 22370 0 0 0 281 7 0 0 20 0 15 0 51583861 15384727552 43322 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3756037 43322 3201 1 0 3717422 0
[pid=3789/tid=3791] ppid=3786 vsize=15024148 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 16953 0 0 0 143 4 0 0 20 0 15 0 51583861 15384727552 43322 33554432000 4194304 4196468 140737222273120 140159086807064 140158622316384 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 43322 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 43322 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 43322 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 43322 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51583865 15384727552 43322 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60406 s]
/proc/loadavg: 1.79 1.97 2.03 3/221 3804
/proc/meminfo: memFree=15912640/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15024148 memory=182380 CPUtime=3.19 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 22619 0 0 0 312 7 0 0 20 0 15 0 51583861 15384727552 45595 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3756037 45595 3202 1 0 3717422 0
[pid=3789/tid=3791] ppid=3786 vsize=15024148 memory=6944656575208382560 CPUtime=1.57 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 17003 0 0 0 152 5 0 0 20 0 15 0 51583861 15384727552 45595 33554432000 4194304 4196468 140737222273120 140159086805240 140158626059527 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 45595 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15024148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583863 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51583865 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15024148 memory=-6524724634732516766 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51583865 15384727552 45595 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15024148 memory=7100839878744967528 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51583865 15384727552 45595 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15024148 memory=-8682203918799434944 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15384727552 45595 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15024148 memory=-9111773198085895259 CPUtime=0.42 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) R 3786 3789 2271 0 -1 4202560 925 0 0 0 42 0 0 0 20 0 15 0 51583868 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158152296976 140159099257681 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15024148 memory=-6524724634732516766 CPUtime=0.41 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) R 3786 3789 2271 0 -1 4202560 621 0 0 0 41 0 0 0 20 0 15 0 51583868 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158151256432 140159096513297 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15024148 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) R 3786 3789 2271 0 -1 4202560 2711 0 0 0 76 0 0 0 20 0 15 0 51583868 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158150203376 140159108065659 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15024148 memory=156820329051955 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51583868 15384727552 45595 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51583868 15384727552 45595 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 182380 KiB
[startup+2.40075 s]
/proc/loadavg: 1.79 1.97 2.03 4/221 3804
/proc/meminfo: memFree=15714340/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15683912 memory=557596 CPUtime=4.93 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 24495 0 0 0 480 13 0 0 20 0 19 0 51583861 16060325888 139399 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3920978 139399 3226 1 0 3881834 0
[pid=3789/tid=3791] ppid=3786 vsize=15683912 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) S 3786 3789 2271 0 -1 1077944384 17779 0 0 0 217 10 0 0 20 0 19 0 51583861 16060325888 139399 33554432000 4194304 4196468 140737222273120 140159086808064 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15683912 memory=216344 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51583865 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15683912 memory=156774896246173 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51583865 16060325888 139399 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51583865 16060325888 139399 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15683912 memory=7813734611832284690 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15683912 memory=6656426216303648864 CPUtime=0.85 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) S 3786 3789 2271 0 -1 1077944384 1323 0 0 0 85 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158152308976 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15683912 memory=6944656592455360604 CPUtime=0.83 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) S 3786 3789 2271 0 -1 1077944384 933 0 0 0 83 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158151256432 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15683912 memory=6944656592455359580 CPUtime=0.94 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) S 3786 3789 2271 0 -1 1077944384 3028 0 0 0 93 1 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158150203376 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15683912 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15683912 memory=-6302440909099221139 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 557596 KiB
[startup+2.80072 s]
/proc/loadavg: 1.79 1.97 2.03 4/221 3804
/proc/meminfo: memFree=15714340/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15683912 memory=557596 CPUtime=4.93 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 24495 0 0 0 480 13 0 0 20 0 19 0 51583861 16060325888 139399 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3920978 139399 3226 1 0 3881834 0
[pid=3789/tid=3791] ppid=3786 vsize=15683912 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) S 3786 3789 2271 0 -1 1077944384 17779 0 0 0 217 10 0 0 20 0 19 0 51583861 16060325888 139399 33554432000 4194304 4196468 140737222273120 140159086808064 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583863 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51583865 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51583865 16060325888 139399 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51583865 16060325888 139399 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15683912 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) S 3786 3789 2271 0 -1 1077944384 1323 0 0 0 85 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158152308976 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15683912 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) S 3786 3789 2271 0 -1 1077944384 933 0 0 0 83 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158151256432 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15683912 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) S 3786 3789 2271 0 -1 1077944384 3028 0 0 0 93 1 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158150203376 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15683912 memory=7157735280180154979 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51583868 16060325888 139399 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 557596 KiB
[startup+3.00091 s]*
/proc/loadavg: 1.79 1.97 2.03 4/223 3810
/proc/meminfo: memFree=15489436/32770624 swapFree=67108860/67108860
[pid=3789] ppid=3786 vsize=15552836 memory=559828 CPUtime=5.73 cores=1,3,5,7
/proc/3789/stat : 3789 (java) S 3786 3789 2271 0 -1 1077944320 24577 5782 0 0 488 13 71 1 20 0 17 0 51583861 15926104064 139957 33554432000 4194304 4196468 140737222273120 140737222255664 140159114968823 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
/proc/3789/statm: 3888209 139957 3226 1 0 3849065 0
[pid=3789/tid=3791] ppid=3786 vsize=15552836 memory=8389772277269004345 CPUtime=3.01 cores=1,3,5,7
/proc/3789/task/3791/stat : 3791 (java) R 3786 3789 2271 0 -1 4202560 17803 5782 0 0 219 10 71 1 20 0 17 0 51583861 15926104064 139957 33554432000 4194304 4196468 140737222273120 140159086806432 140159099012453 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3792] ppid=3786 vsize=15552836 memory=316659581667508247 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3792/stat : 3792 (java) S 3786 3789 2271 0 -1 1077944384 2 5782 0 0 0 0 71 1 20 0 17 0 51583863 15926104064 139957 33554432000 4194304 4196468 140737222273120 140159119211024 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3793] ppid=3786 vsize=15552836 memory=3833601208115947168 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3793/stat : 3793 (java) S 3786 3789 2271 0 -1 1077944384 1 5782 0 0 0 0 71 1 20 0 17 0 51583863 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158575127184 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3794] ppid=3786 vsize=15552836 memory=-3284643825843719562 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3794/stat : 3794 (java) S 3786 3789 2271 0 -1 1077944384 1 5782 0 0 0 0 71 1 20 0 17 0 51583863 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158574074128 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3795] ppid=3786 vsize=15552836 memory=5983648038440153135 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3795/stat : 3795 (java) S 3786 3789 2271 0 -1 1077944384 1 5782 0 0 0 0 71 1 20 0 17 0 51583863 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158573021584 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3796] ppid=3786 vsize=15552836 memory=4207740032270389985 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3796/stat : 3796 (java) S 3786 3789 2271 0 -1 1077944384 5 5782 0 0 0 0 71 1 20 0 17 0 51583865 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158153362160 140159114979970 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3797] ppid=3786 vsize=15552836 memory=7162222085625884719 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3797/stat : 3797 (java) S 3786 3789 2271 0 -1 1077944384 13 5782 0 0 0 0 71 1 20 0 17 0 51583865 15926104064 139957 33554432000 4194304 4196468 140737222273120 140157600655008 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3798] ppid=3786 vsize=15552836 memory=-7088785026380002758 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3798/stat : 3798 (java) S 3786 3789 2271 0 -1 1077944384 21 5782 0 0 0 0 71 1 20 0 17 0 51583865 15926104064 139957 33554432000 4194304 4196468 140737222273120 140157466432752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3799] ppid=3786 vsize=15552836 memory=-7812736537705041862 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3799/stat : 3799 (java) S 3786 3789 2271 0 -1 1077944384 3 5782 0 0 0 0 71 1 20 0 17 0 51583868 15926104064 139957 33554432000 4194304 4196468 140737222273120 140157091928528 140159114987419 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3800] ppid=3786 vsize=15552836 memory=0 CPUtime=1.59 cores=1,3,5,7
/proc/3789/task/3800/stat : 3800 (java) R 3786 3789 2271 0 -1 1077944384 1332 5782 0 0 87 0 71 1 20 0 17 0 51583868 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158152308976 140159114979970 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3801] ppid=3786 vsize=15552836 memory=8462337411775882853 CPUtime=1.56 cores=1,3,5,7
/proc/3789/task/3801/stat : 3801 (java) R 3786 3789 2271 0 -1 4202560 940 5782 0 0 84 0 71 1 20 0 17 0 51583868 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158151256432 140159099279337 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3802] ppid=3786 vsize=15552836 memory=8391306961653779447 CPUtime=1.68 cores=1,3,5,7
/proc/3789/task/3802/stat : 3802 (java) R 3786 3789 2271 0 -1 4202560 3062 5782 0 0 95 1 71 1 20 0 17 0 51583868 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158150201168 140159093923413 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3803] ppid=3786 vsize=15552836 memory=4207599515515776096 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3803/stat : 3803 (java) S 3786 3789 2271 0 -1 1077944384 3 5782 0 0 0 0 71 1 20 0 17 0 51583868 15926104064 139957 33554432000 4194304 4196468 140737222273120 140156594022752 140159114979029 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3804] ppid=3786 vsize=15552836 memory=7809211182596608748 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3804/stat : 3804 (java) S 3786 3789 2271 0 -1 1077944384 1 5782 0 0 0 0 71 1 20 0 17 0 51583868 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158149151792 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3806] ppid=3786 vsize=15552836 memory=-1 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3806/stat : 3806 (java) S 3786 3789 2271 0 -1 1077944384 24 5782 0 0 0 0 71 1 20 0 17 0 51584087 15926104064 139957 33554432000 4194304 4196468 140737222273120 140158139245584 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
[pid=3789/tid=3810] ppid=3786 vsize=15552836 memory=140516754613888 CPUtime=0.72 cores=1,3,5,7
/proc/3789/task/3810/stat : 3810 (java) S 3786 3789 2271 0 -1 1077944384 10 5782 0 0 0 0 71 1 20 0 17 0 51584089 15926104064 139957 33554432000 4194304 4196468 140737222273120 140155788715056 140159114979970 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11825152 140737222280179 140737222280457 140737222280457 140737222283215 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 559828 KiB
Child status: 0
Real time (s): 3.02759
CPU time (s): 5.7678
CPU user time (s): 5.60856
CPU system time (s): 0.15924
CPU usage (%): 190.508
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 559828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.60856
system time used= 0.15924
maximum resident set size= 565116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4303
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 3789
# total CPU time (s): 5.7678
# total CPU user time (s): 5.60856
# total CPU system time (s): 0.15924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050259 second user time and 0.072624 second system time
The end