0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 12:16:00 CEST 2018
0.67/0.55 c PID: 4055
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.42/1.00 c (0,0) Parsing End
1.65/1.01 c (0,0) CSP: 100 int (0 aux), 25 bool (0 aux), 76 ctr, max domain size 40
1.65/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.65/1.01 c (0,0) Constraint Name Generate Begin
1.65/1.01 c (0,0) Ctr:HOME/instance-4293162-1532340960.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.65/1.01 c (0,0) Constraint Name Generate End
1.65/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.65/1.01 c (0,0) CSP to CSPinCNF Begin
1.65/1.10 c (0,0) translated 8 (10%) constraints
1.65/1.10 c (0,0) translated 16 (20%) constraints
1.81/1.11 c (0,0) translated 23 (30%) constraints
1.81/1.11 c (0,0) translated 31 (40%) constraints
1.81/1.12 c (0,0) translated 38 (50%) constraints
1.81/1.12 c (0,0) translated 46 (60%) constraints
1.98/1.23 c (0,0) translated 54 (70%) constraints
2.22/1.30 c (0,0) translated 61 (80%) constraints
2.22/1.37 c (0,0) translated 69 (90%) constraints
2.51/1.41 c (0,0) translated 76 (100%) constraints
3.14/1.62 c (1,1) STATISTICS1:HOME/instance-4293162-1532340960.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,221,711,80,40,4,3,80:2;78:119;76:203;74:205;72:47;39:11;38:7;37:5;36:1;30:2;28:119;26:203;24:205;22:47;14:11;13:7;12:5;11:1;2:48;1:2,40:98;39:490;38:343;37:245;36:49;15:98;14:490;13:343;12:245;11:49;2:2016;1:50,4:300;3:120;2:240;1:51,3:1200;2:50;1:816;0:25,
3.14/1.62 c (1,1) ===========================================
3.14/1.62 c (1,1) Order
3.14/1.62 c (1,1) ===========================================
3.14/1.63 c (1,1) translated 72 (10%) constraints
3.14/1.64 c (1,1) translated 143 (20%) constraints
3.14/1.64 c (1,1) translated 214 (30%) constraints
3.14/1.65 c (1,1) translated 285 (40%) constraints
3.14/1.65 c (1,1) translated 356 (50%) constraints
3.14/1.66 c (1,1) translated 427 (60%) constraints
3.14/1.67 c (1,1) translated 498 (70%) constraints
3.14/1.67 c (1,1) translated 569 (80%) constraints
3.14/1.68 c (1,1) translated 640 (90%) constraints
3.14/1.69 c (1,1) translated 711 (100%) constraints
3.14/1.69 c (1,1) CSP to CSPinCNF End
3.14/1.69 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 711 ctr, max domain size 40
3.14/1.69 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.14/1.69 c (1,1) CSPinCNF Propagation Begin
3.47/1.77 c (1,1) 0 values, 24 unsatisfiable literals, and 3 valid clauses are removed
3.47/1.77 c (1,1) CSPinCNF Propagation End
3.47/1.78 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 708 ctr, max domain size 40
3.47/1.78 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.47/1.78 c (1,1) Simplify CSPinCNF Begin
3.80/1.87 c (1,1) Simplify CSPinCNF End
3.80/1.87 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40
3.80/1.87 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.80/1.87 c (1,1) Calculate Precise Domain Begin
3.80/1.87 c (1,1) 0 values are removed by re-calculation
3.80/1.87 c (1,1) Calculate Precise Domain End
3.80/1.88 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40
3.80/1.88 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.80/1.88 c (1,1) CSPinCNF to SatSolver Begin
4.17/1.94 c (1,1) 191 (10 %) CSP clauses are encoded (2608 SAT variables, 1379 SAT clauses)
4.17/1.94 c (1,1) 382 (20 %) CSP clauses are encoded (2608 SAT variables, 1570 SAT clauses)
4.53/2.02 c (1,1) 573 (30 %) CSP clauses are encoded (2608 SAT variables, 6895 SAT clauses)
4.53/2.07 c (1,1) 764 (40 %) CSP clauses are encoded (2608 SAT variables, 13308 SAT clauses)
4.84/2.11 c (1,1) 954 (50 %) CSP clauses are encoded (2608 SAT variables, 19804 SAT clauses)
4.84/2.15 c (1,1) 1145 (60 %) CSP clauses are encoded (2608 SAT variables, 26241 SAT clauses)
4.84/2.19 c (1,1) 1336 (70 %) CSP clauses are encoded (2608 SAT variables, 32368 SAT clauses)
5.12/2.23 c (1,1) 1527 (80 %) CSP clauses are encoded (2608 SAT variables, 38789 SAT clauses)
5.12/2.26 c (1,1) 1718 (90 %) CSP clauses are encoded (2608 SAT variables, 45131 SAT clauses)
5.12/2.29 c (1,1) 1908 (100 %) CSP clauses are encoded (2608 SAT variables, 51834 SAT clauses)
5.12/2.29 c (1,1) CSPinCNF to SatSolver End
5.12/2.29 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.44/2.32 c (1,1) STATISTICS2:HOME/instance-4293162-1532340960.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,1421,1908,80,40,4,3,80:2;78:119;76:203;74:205;72:47;39:11;38:7;37:5;36:1;30:2;28:119;26:203;24:205;22:47;14:11;13:7;12:5;11:1;2:48,40:98;39:489;38:343;37:245;36:49;15:98;14:489;13:343;12:245;11:49;2:4416;1:48,4:300;3:96;2:1464;1:48,3:1200;2:48;1:3216,
5.44/2.32 c (1,1) SatSolver.solve Begin
5.44/2.32 c (1,1) 2608 bool, 51856 clause
5.44/2.32 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-4293162-1532340960.xml-scop-4055.cnf HOME/instance-4293162-1532340960.xml-scop-4055.cnf.out
5.72/2.66 c (2,0) c This is COMiniSatPS.
5.72/2.66 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
5.72/2.66 c (2,0) c ============================[ Problem Statistics ]=============================
5.72/2.66 c (2,0) c | |
5.72/2.66 c (2,0) c | Number of variables: 2608 |
5.72/2.66 c (2,0) c | Number of clauses: 51856 |
5.72/2.66 c (2,0) c | Parse time: 0.02 s |
5.72/2.66 c (2,0) c | Eliminated clauses: 0.01 Mb |
5.72/2.66 c (2,0) c Reduced to 2163 vars, 51196 cls (grow=0)
5.72/2.66 c (2,0) c No iterative elimination performed. (vars=2163, c/v ratio=23.7)
5.72/2.66 c (2,0) c | Simplification time: 0.05 s |
5.72/2.66 c (2,0) c | |
5.72/2.66 c (2,0) c ============================[ Search Statistics ]==============================
5.72/2.66 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
5.72/2.66 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.72/2.66 c (2,0) c ===============================================================================
5.72/2.66 c (2,0) c ===============================================================================
5.72/2.66 c (2,0) c restarts : 54
5.72/2.66 c (2,0) c conflicts : 9803 (30627 /sec)
5.72/2.66 c (2,0) c decisions : 33414 (0.00 % random) (104393 /sec)
5.72/2.66 c (2,0) c propagations : 753068 (2352757 /sec)
5.72/2.66 c (2,0) c conflict literals : 319275 (11.58 % deleted)
5.72/2.66 c (2,0) c CPU time : 0.320079 s
5.72/2.66 c (2,0)
5.72/2.66 c (2,0) s SATISFIABLE
5.72/2.67 c (2,1) SatSolver.solve End
5.72/2.67 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.72/2.67 c (2,1) Show results Begin
5.72/2.68 c (2,1) h[0] = 3
5.72/2.68 c (2,1) h[1] = 3
5.72/2.68 c (2,1) h[2] = 9
5.72/2.68 c (2,1) h[3] = 2
5.72/2.68 c (2,1) h[4] = 3
5.72/2.68 c (2,1) h[5] = 3
5.72/2.68 c (2,1) h[6] = 11
5.72/2.68 c (2,1) h[7] = 13
5.72/2.68 c (2,1) h[8] = 4
5.72/2.68 c (2,1) h[9] = 4
5.72/2.68 c (2,1) h[10] = 3
5.72/2.68 c (2,1) h[11] = 11
5.72/2.68 c (2,1) h[12] = 2
5.72/2.68 c (2,1) h[13] = 3
5.72/2.68 c (2,1) h[14] = 3
5.72/2.68 c (2,1) h[15] = 4
5.72/2.68 c (2,1) h[16] = 4
5.72/2.68 c (2,1) h[17] = 2
5.72/2.68 c (2,1) h[18] = 1
5.72/2.68 c (2,1) h[19] = 3
5.72/2.68 c (2,1) h[20] = 13
5.72/2.68 c (2,1) h[21] = 4
5.72/2.68 c (2,1) h[22] = 1
5.72/2.68 c (2,1) h[23] = 5
5.72/2.68 c (2,1) h[24] = 6
5.72/2.68 c (2,1) r[0] = 0
5.72/2.68 c (2,1) r[1] = 0
5.72/2.69 c (2,1) r[2] = 1
5.72/2.69 c (2,1) r[3] = 0
5.72/2.69 c (2,1) r[4] = 0
5.72/2.69 c (2,1) r[5] = 0
5.72/2.69 c (2,1) r[6] = 1
5.72/2.69 c (2,1) r[7] = 1
5.72/2.69 c (2,1) r[8] = 0
5.72/2.69 c (2,1) r[9] = 0
5.72/2.69 c (2,1) r[10] = 1
5.72/2.69 c (2,1) r[11] = 1
5.72/2.69 c (2,1) r[12] = 0
5.72/2.69 c (2,1) r[13] = 0
5.72/2.69 c (2,1) r[14] = 0
5.72/2.69 c (2,1) r[15] = 0
5.72/2.69 c (2,1) r[16] = 0
5.72/2.69 c (2,1) r[17] = 0
5.72/2.69 c (2,1) r[18] = 1
5.72/2.69 c (2,1) r[19] = 1
5.72/2.69 c (2,1) r[20] = 1
5.72/2.69 c (2,1) r[21] = 0
5.72/2.69 c (2,1) r[22] = 1
5.72/2.69 c (2,1) r[23] = 1
5.72/2.69 c (2,1) r[24] = 1
5.72/2.69 c (2,1) w[0] = 11
5.72/2.69 c (2,1) w[1] = 13
5.72/2.69 c (2,1) w[2] = 2
5.72/2.69 c (2,1) w[3] = 7
5.72/2.69 c (2,1) w[4] = 9
5.72/2.69 c (2,1) w[5] = 7
5.72/2.69 c (2,1) w[6] = 2
5.72/2.69 c (2,1) w[7] = 2
5.72/2.69 c (2,1) w[8] = 11
5.72/2.69 c (2,1) w[9] = 13
5.72/2.69 c (2,1) w[10] = 5
5.72/2.69 c (2,1) w[11] = 2
5.72/2.69 c (2,1) w[12] = 2
5.72/2.69 c (2,1) w[13] = 11
5.72/2.69 c (2,1) w[14] = 2
5.72/2.69 c (2,1) w[15] = 5
5.72/2.69 c (2,1) w[16] = 6
5.72/2.69 c (2,1) w[17] = 12
5.72/2.69 c (2,1) w[18] = 2
5.72/2.69 c (2,1) w[19] = 5
5.72/2.69 c (2,1) w[20] = 5
5.72/2.69 c (2,1) w[21] = 12
5.72/2.69 c (2,1) w[22] = 4
5.72/2.69 c (2,1) w[23] = 2
5.72/2.69 c (2,1) w[24] = 2
5.72/2.69 c (2,1) x[0] = 25
5.72/2.69 c (2,1) x[1] = 0
5.72/2.69 c (2,1) x[2] = 36
5.72/2.69 c (2,1) x[3] = 13
5.72/2.69 c (2,1) x[4] = 27
5.72/2.69 c (2,1) x[5] = 13
5.72/2.69 c (2,1) x[6] = 0
5.72/2.69 c (2,1) x[7] = 38
5.72/2.69 c (2,1) x[8] = 2
5.72/2.69 c (2,1) x[9] = 2
5.72/2.69 c (2,1) x[10] = 31
5.72/2.69 c (2,1) x[11] = 25
5.72/2.69 c (2,1) x[12] = 38
5.72/2.69 c (2,1) x[13] = 27
5.72/2.69 c (2,1) x[14] = 36
5.72/2.69 c (2,1) x[15] = 15
5.72/2.69 c (2,1) x[16] = 14
5.72/2.69 c (2,1) x[17] = 13
5.72/2.69 c (2,1) x[18] = 0
5.72/2.69 c (2,1) x[19] = 31
5.72/2.69 c (2,1) x[20] = 20
5.72/2.69 c (2,1) x[21] = 2
5.72/2.69 c (2,1) x[22] = 25
5.72/2.69 c (2,1) x[23] = 27
5.72/2.69 c (2,1) x[24] = 29
5.72/2.69 c (2,1) y[0] = 12
5.72/2.69 c (2,1) y[1] = 12
5.72/2.69 c (2,1) y[2] = 6
5.72/2.69 c (2,1) y[3] = 2
5.72/2.69 c (2,1) y[4] = 0
5.72/2.69 c (2,1) y[5] = 12
5.72/2.69 c (2,1) y[6] = 1
5.72/2.69 c (2,1) y[7] = 0
5.72/2.69 c (2,1) y[8] = 0
5.72/2.69 c (2,1) y[9] = 4
5.72/2.69 c (2,1) y[10] = 9
5.72/2.69 c (2,1) y[11] = 0
5.72/2.69 c (2,1) y[12] = 13
5.72/2.69 c (2,1) y[13] = 3
5.72/2.69 c (2,1) y[14] = 0
5.72/2.69 c (2,1) y[15] = 4
5.72/2.69 c (2,1) y[16] = 8
5.72/2.69 c (2,1) y[17] = 0
5.72/2.69 c (2,1) y[18] = 0
5.72/2.69 c (2,1) y[19] = 6
5.72/2.69 c (2,1) y[20] = 2
5.72/2.69 c (2,1) y[21] = 8
5.72/2.69 c (2,1) y[22] = 11
5.72/2.69 c (2,1) y[23] = 6
5.72/2.69 c (2,1) y[24] = 6
5.72/2.69 s SATISFIABLE
5.72/2.69 v <instantiation>
5.72/2.69 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] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] 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] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] 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] w[17] w[18] w[19] w[20] w[21] w[22] w[23] w[24] 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] h[17] h[18] h[19] h[20] h[21] h[22] h[23] h[24] 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] r[17] r[18] r[19] r[20] r[21] r[22] r[23] r[24]</list>
5.72/2.69 v <values>25 0 36 13 27 13 0 38 2 2 31 25 38 27 36 15 14 13 0 31 20 2 25 27 29 12 12 6 2 0 12 1 0 0 4 9 0 13 3 0 4 8 0 0 6 2 8 11 6 6 11 13 2 7 9 7 2 2 11 13 5 2 2 11 2 5 6 12 2 5 5 12 4 2 2 3 3 9 2 3 3 11 13 4 4 3 11 2 3 3 4 4 2 1 3 13 4 1 5 6 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1</values>
5.72/2.69 v </instantiation>
5.72/2.69 c (2,1) Show results End
5.72/2.69 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.72/2.69 c (2,1) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
5.72/2.69 c END-Prog: Mon Jul 23 12:16:03 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4043 MiB free)
memory of node 1: 16384 MiB (11586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293162-1532340960/watcher-4293162-1532340960 -o /tmp/evaluation-result-4293162-1532340960/solver-4293162-1532340960 -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-4293162-1532340960.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
solver pid=4055, runsolver pid=4052
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.07 2.04 2.05 3/220 4070
/proc/meminfo: memFree=15941764/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15011656 memory=71272 CPUtime=0.11 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 7065 0 0 0 10 1 0 0 20 0 15 0 51659150 15371935744 17818 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3752914 17818 2773 1 0 3715374 0
[pid=4055/tid=4057] ppid=4052 vsize=15011656 memory=4139546515513381779 CPUtime=0.09 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) R 4052 4055 2271 0 -1 4202560 5342 0 0 0 8 1 0 0 20 0 15 0 51659151 15371935744 18082 33554432000 4194304 4196468 140722533654848 139732337914248 139732346378091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 18082 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 18082 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 18082 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 18082 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659154 15371935744 18082 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659154 15371935744 18082 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659155 15371935744 18082 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 18082 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) S 4052 4055 2271 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 18082 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 18082 33554432000 4194304 4196468 140722533654848 139731425982576 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0.01 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) S 4052 4055 2271 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 51659157 15371935744 18148 33554432000 4194304 4196468 140722533654848 139731424930032 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 18148 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 18148 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71272 KiB
[startup+0.210461 s]*
/proc/loadavg: 2.07 2.04 2.05 3/220 4070
/proc/meminfo: memFree=15927820/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15011656 memory=84380 CPUtime=0.26 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 10500 0 0 0 24 2 0 0 20 0 15 0 51659150 15371935744 21095 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3752914 21095 2937 1 0 3715374 0
[pid=4055/tid=4057] ppid=4052 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) R 4052 4055 2271 0 -1 4202560 8339 0 0 0 19 1 0 0 20 0 15 0 51659151 15371935744 21095 33554432000 4194304 4196468 140722533654848 139732337885824 139732350182750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 21095 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15011656 memory=140094687928666 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 21095 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659154 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659154 15371935744 21095 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659155 15371935744 21095 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 21095 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) R 4052 4055 2271 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 51659157 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731427035120 139732351010281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) R 4052 4055 2271 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731425982576 139732366113410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0.03 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) S 4052 4055 2271 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 51659157 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731424930032 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 21095 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 21095 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84380 KiB
[startup+0.310469 s]*
/proc/loadavg: 2.07 2.04 2.05 3/220 4070
/proc/meminfo: memFree=15923664/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15011656 memory=88488 CPUtime=0.43 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 11206 0 0 0 41 2 0 0 20 0 15 0 51659150 15371935744 22122 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3752914 22122 2984 1 0 3715374 0
[pid=4055/tid=4057] ppid=4052 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) R 4052 4055 2271 0 -1 4202560 8771 0 0 0 28 1 0 0 20 0 15 0 51659151 15371935744 22122 33554432000 4194304 4196468 140722533654848 139732337923024 139732350145893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 22122 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 22122 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659154 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659154 15371935744 22122 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15011656 memory=140094687913600 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659155 15371935744 22122 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 22122 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) R 4052 4055 2271 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 51659157 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) R 4052 4055 2271 0 -1 4202560 263 0 0 0 3 0 0 0 20 0 15 0 51659157 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731425982576 139732345358939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) R 4052 4055 2271 0 -1 4202560 472 0 0 0 7 0 0 0 20 0 15 0 51659157 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731424930032 139732366116112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 22122 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659157 15371935744 22122 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88488 KiB
[startup+0.700694 s]
/proc/loadavg: 2.07 2.04 2.05 3/220 4070
/proc/meminfo: memFree=15898984/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15020052 memory=128868 CPUtime=1 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 18474 0 0 0 95 5 0 0 20 0 15 0 51659150 15380533248 32217 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3755013 32217 3155 1 0 3716398 0
[pid=4055/tid=4057] ppid=4052 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) R 4052 4055 2271 0 -1 4202560 15521 0 0 0 64 3 0 0 20 0 15 0 51659151 15380533248 32217 33554432000 4194304 4196468 140722533654848 139732337927248 139732350145893 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659152 15380533248 32217 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15380533248 32217 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15020052 memory=280189171181344 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51659154 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659154 15380533248 32217 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659155 15380533248 32217 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15380533248 32217 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15020052 memory=8380 CPUtime=0.08 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) S 4052 4055 2271 0 -1 1077944384 611 0 0 0 8 0 0 0 20 0 15 0 51659157 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) R 4052 4055 2271 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 15 0 51659157 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731425970128 139732347633313 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) R 4052 4055 2271 0 -1 4202560 704 0 0 0 16 0 0 0 20 0 15 0 51659157 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731424930032 139732347512413 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15380533248 32217 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659157 15380533248 32217 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 128868 KiB
[startup+1.50635 s]
/proc/loadavg: 2.07 2.04 2.05 5/220 4070
/proc/meminfo: memFree=15869828/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15024148 memory=174176 CPUtime=2.83 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 22621 0 0 0 275 8 0 0 20 0 15 0 51659150 15384727552 43544 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3756037 43544 3200 1 0 3717422 0
[pid=4055/tid=4057] ppid=4052 vsize=15024148 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) R 4052 4055 2271 0 -1 4202560 16866 0 0 0 143 4 0 0 20 0 15 0 51659151 15384727552 43544 33554432000 4194304 4196468 140722533654848 139732337927712 139731875649695 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 43544 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 43544 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 43544 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 43544 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51659154 15384727552 43544 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
################
# More data... #
################
Current children cumulated memory: 174176 KiB
[startup+2.71498 s]
# the end of solver process 4055 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.9815 s, system=0.152508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60141 s]
/proc/loadavg: 2.07 2.04 2.05 5/220 4070
/proc/meminfo: memFree=15869828/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15024148 memory=183220 CPUtime=3.14 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 22823 0 0 0 306 8 0 0 20 0 15 0 51659150 15384727552 45805 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3756037 45805 3201 1 0 3717422 0
[pid=4055/tid=4057] ppid=4052 vsize=15024148 memory=6944656575208382560 CPUtime=1.56 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) R 4052 4055 2271 0 -1 4202560 16901 0 0 0 152 4 0 0 20 0 15 0 51659151 15384727552 45805 33554432000 4194304 4196468 140722533654848 139732337940800 139732366114198 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 45805 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 45805 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15024148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659152 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51659154 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15024148 memory=7100839852857526888 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51659154 15384727552 45805 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15024148 memory=-8682203918799434944 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659155 15384727552 45805 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15024148 memory=-9183264543635518555 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15384727552 45805 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15024148 memory=-8686725192589007501 CPUtime=0.41 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) S 4052 4055 2271 0 -1 1077944384 944 0 0 0 41 0 0 0 20 0 15 0 51659157 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15024148 memory=-6524724634732516766 CPUtime=0.38 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) S 4052 4055 2271 0 -1 1077944384 610 0 0 0 38 0 0 0 20 0 15 0 51659157 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731425982576 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15024148 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) R 4052 4055 2271 0 -1 4202560 3028 0 0 0 73 1 0 0 20 0 15 0 51659157 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731424930032 139732366114198 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15024148 memory=157540742707261 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51659157 15384727552 45805 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51659157 15384727552 45805 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 183220 KiB
[startup+2.40071 s]
/proc/loadavg: 2.22 2.08 2.06 5/220 4070
/proc/meminfo: memFree=15774024/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15683912 memory=381764 CPUtime=5.72 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 25773 0 0 0 559 13 0 0 20 0 19 0 51659150 16060325888 95441 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3920978 95441 3228 1 0 3881834 0
[pid=4055/tid=4057] ppid=4052 vsize=15683912 memory=0 CPUtime=2.35 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) S 4052 4055 2271 0 -1 1077944384 17697 0 0 0 227 8 0 0 20 0 19 0 51659151 16060325888 95441 33554432000 4194304 4196468 140722533654848 139732337941504 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15683912 memory=209084 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51659154 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15683912 memory=157496450752433 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51659154 16060325888 95441 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659155 16060325888 95441 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15683912 memory=7813734189784638994 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15683912 memory=6656426216303648864 CPUtime=1.2 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) S 4052 4055 2271 0 -1 1077944384 1289 0 0 0 119 1 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15683912 memory=6944656592455360604 CPUtime=1.15 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) S 4052 4055 2271 0 -1 1077944384 1892 0 0 0 114 1 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731425982576 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15683912 memory=6944656592455359580 CPUtime=0.99 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) S 4052 4055 2271 0 -1 1077944384 3503 0 0 0 98 1 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731424930032 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15683912 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15683912 memory=7100839887285624713 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 381764 KiB
[startup+2.60069 s]
/proc/loadavg: 2.22 2.08 2.06 5/220 4070
/proc/meminfo: memFree=15774024/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15683912 memory=381764 CPUtime=5.72 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 25773 0 0 0 559 13 0 0 20 0 19 0 51659150 16060325888 95441 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3920978 95441 3228 1 0 3881834 0
[pid=4055/tid=4057] ppid=4052 vsize=15683912 memory=8112282956445269571 CPUtime=2.35 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) S 4052 4055 2271 0 -1 1077944384 17697 0 0 0 227 8 0 0 20 0 19 0 51659151 16060325888 95441 33554432000 4194304 4196468 140722533654848 139732337941504 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15683912 memory=8785 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659152 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15683912 memory=12545 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51659154 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731428088304 139732366113410 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51659154 16060325888 95441 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659155 16060325888 95441 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139730279553744 139732366120859 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15683912 memory=-3472574944341025154 CPUtime=1.2 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) S 4052 4055 2271 0 -1 1077944384 1289 0 0 0 119 1 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15683912 memory=6944656575208382560 CPUtime=1.15 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) S 4052 4055 2271 0 -1 1077944384 1892 0 0 0 114 1 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731425982576 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15683912 memory=6655300316396806240 CPUtime=0.99 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) S 4052 4055 2271 0 -1 1077944384 3503 0 0 0 98 1 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731424930032 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15683912 memory=6011850727434381924 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4070] ppid=4052 vsize=15683912 memory=8243391893231659111 CPUtime=0 cores=1,3,5,7
/proc/4055/task/4070/stat : 4070 (java) S 4052 4055 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51659157 16060325888 95441 33554432000 4194304 4196468 140722533654848 139731423877936 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 381764 KiB
[startup+2.70065 s]
/proc/loadavg: 2.22 2.08 2.06 5/220 4070
/proc/meminfo: memFree=15774024/32770624 swapFree=67108860/67108860
[pid=4055] ppid=4052 vsize=15421760 memory=386932 CPUtime=6.11 cores=1,3,5,7
/proc/4055/stat : 4055 (java) S 4052 4055 2271 0 -1 1077944320 26537 2956 0 0 565 14 32 0 20 0 16 0 51659150 15791882240 96733 33554432000 4194304 4196468 140722533654848 140722533637392 139732366102263 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
/proc/4055/statm: 3855440 96733 3230 1 0 3816296 0
[pid=4055/tid=4057] ppid=4052 vsize=15421760 memory=381764 CPUtime=2.68 cores=1,3,5,7
/proc/4055/task/4057/stat : 4057 (java) S 4052 4055 2271 0 -1 1077944384 18405 2956 0 0 228 8 32 0 20 0 16 0 51659151 15791882240 96733 33554432000 4194304 4196468 140722533654848 139732337945744 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4058] ppid=4052 vsize=15421760 memory=4132769004644038186 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4058/stat : 4058 (java) S 4052 4055 2271 0 -1 1077944384 2 2956 0 0 0 0 32 0 20 0 16 0 51659152 15791882240 96733 33554432000 4194304 4196468 140722533654848 139732370344208 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4059] ppid=4052 vsize=15421760 memory=166 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4059/stat : 4059 (java) S 4052 4055 2271 0 -1 1077944384 1 2956 0 0 0 0 32 0 20 0 16 0 51659152 15791882240 96733 33554432000 4194304 4196468 140722533654848 139732199438736 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4060] ppid=4052 vsize=15421760 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4060/stat : 4060 (java) S 4052 4055 2271 0 -1 1077944384 1 2956 0 0 0 0 32 0 20 0 16 0 51659152 15791882240 96733 33554432000 4194304 4196468 140722533654848 139731825408528 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4061] ppid=4052 vsize=15421760 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4061/stat : 4061 (java) S 4052 4055 2271 0 -1 1077944384 1 2956 0 0 0 0 32 0 20 0 16 0 51659152 15791882240 96733 33554432000 4194304 4196468 140722533654848 139731824355984 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4062] ppid=4052 vsize=15421760 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4062/stat : 4062 (java) S 4052 4055 2271 0 -1 1077944384 5 2956 0 0 0 0 32 0 20 0 16 0 51659154 15791882240 96733 33554432000 4194304 4196468 140722533654848 139731428088512 139732366113410 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4063] ppid=4052 vsize=15421760 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4063/stat : 4063 (java) S 4052 4055 2271 0 -1 1077944384 13 2956 0 0 0 0 32 0 20 0 16 0 51659154 15791882240 96733 33554432000 4194304 4196468 140722533654848 139730922497440 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4064] ppid=4052 vsize=15421760 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4064/stat : 4064 (java) S 4052 4055 2271 0 -1 1077944384 1 2956 0 0 0 0 32 0 20 0 16 0 51659155 15791882240 96733 33554432000 4194304 4196468 140722533654848 139730654062064 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4065] ppid=4052 vsize=15421760 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4065/stat : 4065 (java) S 4052 4055 2271 0 -1 1077944384 4 2956 0 0 0 0 32 0 20 0 16 0 51659157 15791882240 96733 33554432000 4194304 4196468 140722533654848 139730279553392 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4066] ppid=4052 vsize=15421760 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/4055/task/4066/stat : 4066 (java) S 4052 4055 2271 0 -1 1077944384 1293 2956 0 0 120 1 32 0 20 0 16 0 51659157 15791882240 96733 33554432000 4194304 4196468 140722533654848 139731427035120 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4067] ppid=4052 vsize=15421760 memory=280189171219472 CPUtime=1.48 cores=1,3,5,7
/proc/4055/task/4067/stat : 4067 (java) S 4052 4055 2271 0 -1 1077944384 1900 2956 0 0 115 1 32 0 20 0 16 0 51659157 15791882240 96733 33554432000 4194304 4196468 140722533654848 139731425967632 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4068] ppid=4052 vsize=15421760 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/4055/task/4068/stat : 4068 (java) S 4052 4055 2271 0 -1 1077944384 3529 2956 0 0 99 1 32 0 20 0 16 0 51659157 15791882240 96733 33554432000 4194304 4196468 140722533654848 139731424930032 139732366113410 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
[pid=4055/tid=4069] ppid=4052 vsize=15421760 memory=-4546129931942301728 CPUtime=0.32 cores=1,3,5,7
/proc/4055/task/4069/stat : 4069 (java) S 4052 4055 2271 0 -1 1077944384 3 2956 0 0 0 0 32 0 20 0 16 0 51659157 15791882240 96733 33554432000 4194304 4196468 140722533654848 139729781647968 139732366112469 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34951168 140722533663731 140722533664009 140722533664009 140722533666767 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 15421760 KiB
Current children cumulated memory: 386932 KiB
Child status: 0
Real time (s): 2.71503
CPU time (s): 6.13401
CPU user time (s): 5.9815
CPU system time (s): 0.152508
CPU usage (%): 225.928
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 386932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9815
system time used= 0.152508
maximum resident set size= 387320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4111
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 4055
# total CPU time (s): 6.13401
# total CPU user time (s): 5.9815
# total CPU system time (s): 0.152508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038513 second user time and 0.073628 second system time
The end