0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 12:14:39 CEST 2018
0.66/0.55 c PID: 10717
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.42/1.00 c (0,0) Parsing End
1.64/1.01 c (0,0) CSP: 100 int (0 aux), 25 bool (0 aux), 76 ctr, max domain size 40
1.64/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.64/1.01 c (0,0) Constraint Name Generate Begin
1.64/1.01 c (0,0) Ctr:HOME/instance-4293161-1532340879.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.64/1.01 c (0,0) Constraint Name Generate End
1.64/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.64/1.01 c (0,0) CSP to CSPinCNF Begin
1.64/1.09 c (0,0) translated 8 (10%) constraints
1.64/1.10 c (0,0) translated 16 (20%) constraints
1.80/1.11 c (0,0) translated 23 (30%) constraints
1.80/1.11 c (0,0) translated 31 (40%) constraints
1.80/1.12 c (0,0) translated 38 (50%) constraints
1.80/1.12 c (0,0) translated 46 (60%) constraints
1.98/1.23 c (0,0) translated 54 (70%) constraints
2.21/1.30 c (0,0) translated 61 (80%) constraints
2.21/1.36 c (0,0) translated 69 (90%) constraints
2.51/1.40 c (0,0) translated 76 (100%) constraints
3.15/1.61 c (1,1) STATISTICS1:HOME/instance-4293161-1532340879.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.15/1.61 c (1,1) ===========================================
3.15/1.61 c (1,1) Both Encoding selects:
3.15/1.61 c (1,1) Order
3.15/1.61 c (1,1) ===========================================
3.15/1.62 c (1,1) translated 72 (10%) constraints
3.15/1.64 c (1,1) translated 143 (20%) constraints
3.15/1.64 c (1,1) translated 214 (30%) constraints
3.15/1.64 c (1,1) translated 285 (40%) constraints
3.15/1.64 c (1,1) translated 356 (50%) constraints
3.15/1.65 c (1,1) translated 427 (60%) constraints
3.15/1.66 c (1,1) translated 498 (70%) constraints
3.15/1.66 c (1,1) translated 569 (80%) constraints
3.15/1.67 c (1,1) translated 640 (90%) constraints
3.15/1.68 c (1,1) translated 711 (100%) constraints
3.15/1.68 c (1,1) CSP to CSPinCNF End
3.15/1.68 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 711 ctr, max domain size 40
3.15/1.68 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.15/1.68 c (1,1) CSPinCNF Propagation Begin
3.48/1.77 c (1,1) 0 values, 24 unsatisfiable literals, and 3 valid clauses are removed
3.48/1.77 c (1,1) CSPinCNF Propagation End
3.48/1.77 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 708 ctr, max domain size 40
3.48/1.77 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.48/1.77 c (1,1) Simplify CSPinCNF Begin
3.84/1.86 c (1,1) Simplify CSPinCNF End
3.84/1.86 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40
3.84/1.86 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.84/1.86 c (1,1) Calculate Precise Domain Begin
3.84/1.86 c (1,1) 0 values are removed by re-calculation
3.84/1.86 c (1,1) Calculate Precise Domain End
3.84/1.86 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40
3.84/1.86 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.84/1.86 c (1,1) CSPinCNF to SatSolver Begin
4.17/1.93 c (1,1) 191 (10 %) CSP clauses are encoded (2608 SAT variables, 1379 SAT clauses)
4.17/1.93 c (1,1) 382 (20 %) CSP clauses are encoded (2608 SAT variables, 1570 SAT clauses)
4.55/2.01 c (1,1) 573 (30 %) CSP clauses are encoded (2608 SAT variables, 6895 SAT clauses)
4.55/2.06 c (1,1) 764 (40 %) CSP clauses are encoded (2608 SAT variables, 13308 SAT clauses)
4.85/2.11 c (1,1) 954 (50 %) CSP clauses are encoded (2608 SAT variables, 19804 SAT clauses)
4.85/2.15 c (1,1) 1145 (60 %) CSP clauses are encoded (2608 SAT variables, 26241 SAT clauses)
4.85/2.19 c (1,1) 1336 (70 %) CSP clauses are encoded (2608 SAT variables, 32368 SAT clauses)
5.13/2.23 c (1,1) 1527 (80 %) CSP clauses are encoded (2608 SAT variables, 38789 SAT clauses)
5.13/2.26 c (1,1) 1718 (90 %) CSP clauses are encoded (2608 SAT variables, 45131 SAT clauses)
5.43/2.30 c (1,1) 1908 (100 %) CSP clauses are encoded (2608 SAT variables, 51834 SAT clauses)
5.43/2.30 c (1,1) CSPinCNF to SatSolver End
5.43/2.30 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.43/2.33 c (1,1) STATISTICS2:HOME/instance-4293161-1532340879.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.43/2.33 c (1,1) SatSolver.solve Begin
5.43/2.33 c (1,1) 2608 bool, 51856 clause
5.43/2.33 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-4293161-1532340879.xml-scop-10717.cnf HOME/instance-4293161-1532340879.xml-scop-10717.cnf.out
5.76/2.67 c (2,0) c This is COMiniSatPS.
5.76/2.67 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
5.76/2.67 c (2,0) c ============================[ Problem Statistics ]=============================
5.76/2.67 c (2,0) c | |
5.76/2.67 c (2,0) c | Number of variables: 2608 |
5.76/2.67 c (2,0) c | Number of clauses: 51856 |
5.76/2.67 c (2,0) c | Parse time: 0.01 s |
5.76/2.67 c (2,0) c | Eliminated clauses: 0.01 Mb |
5.76/2.67 c (2,0) c Reduced to 2163 vars, 51196 cls (grow=0)
5.76/2.67 c (2,0) c No iterative elimination performed. (vars=2163, c/v ratio=23.7)
5.76/2.67 c (2,0) c | Simplification time: 0.05 s |
5.76/2.67 c (2,0) c | |
5.76/2.67 c (2,0) c ============================[ Search Statistics ]==============================
5.76/2.67 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
5.76/2.67 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.76/2.67 c (2,0) c ===============================================================================
5.76/2.67 c (2,0) c ===============================================================================
5.76/2.67 c (2,0) c restarts : 54
5.76/2.67 c (2,0) c conflicts : 9803 (30993 /sec)
5.76/2.67 c (2,0) c decisions : 33414 (0.00 % random) (105641 /sec)
5.76/2.67 c (2,0) c propagations : 753068 (2380881 /sec)
5.76/2.67 c (2,0) c conflict literals : 319275 (11.58 % deleted)
5.76/2.67 c (2,0) c CPU time : 0.316298 s
5.76/2.67 c (2,0)
5.76/2.67 c (2,0) s SATISFIABLE
5.76/2.68 c (2,1) SatSolver.solve End
5.76/2.68 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.76/2.68 c (2,1) Show results Begin
5.76/2.69 c (2,1) h[0] = 3
5.76/2.69 c (2,1) h[1] = 3
5.76/2.69 c (2,1) h[2] = 9
5.76/2.69 c (2,1) h[3] = 2
5.76/2.69 c (2,1) h[4] = 3
5.76/2.69 c (2,1) h[5] = 3
5.76/2.69 c (2,1) h[6] = 11
5.76/2.69 c (2,1) h[7] = 13
5.76/2.69 c (2,1) h[8] = 4
5.76/2.69 c (2,1) h[9] = 4
5.76/2.69 c (2,1) h[10] = 3
5.76/2.69 c (2,1) h[11] = 11
5.76/2.69 c (2,1) h[12] = 2
5.76/2.69 c (2,1) h[13] = 3
5.76/2.69 c (2,1) h[14] = 3
5.76/2.69 c (2,1) h[15] = 4
5.76/2.69 c (2,1) h[16] = 4
5.76/2.69 c (2,1) h[17] = 2
5.76/2.69 c (2,1) h[18] = 1
5.76/2.69 c (2,1) h[19] = 3
5.76/2.69 c (2,1) h[20] = 13
5.76/2.69 c (2,1) h[21] = 4
5.76/2.69 c (2,1) h[22] = 1
5.76/2.69 c (2,1) h[23] = 5
5.76/2.69 c (2,1) h[24] = 6
5.76/2.69 c (2,1) r[0] = 0
5.76/2.69 c (2,1) r[1] = 0
5.76/2.69 c (2,1) r[2] = 1
5.76/2.69 c (2,1) r[3] = 0
5.76/2.69 c (2,1) r[4] = 0
5.76/2.69 c (2,1) r[5] = 0
5.76/2.69 c (2,1) r[6] = 1
5.76/2.69 c (2,1) r[7] = 1
5.76/2.69 c (2,1) r[8] = 0
5.76/2.69 c (2,1) r[9] = 0
5.76/2.69 c (2,1) r[10] = 1
5.76/2.69 c (2,1) r[11] = 1
5.76/2.69 c (2,1) r[12] = 0
5.76/2.69 c (2,1) r[13] = 0
5.76/2.69 c (2,1) r[14] = 0
5.76/2.69 c (2,1) r[15] = 0
5.76/2.69 c (2,1) r[16] = 0
5.76/2.69 c (2,1) r[17] = 0
5.76/2.69 c (2,1) r[18] = 1
5.76/2.69 c (2,1) r[19] = 1
5.76/2.69 c (2,1) r[20] = 1
5.76/2.69 c (2,1) r[21] = 0
5.76/2.69 c (2,1) r[22] = 1
5.76/2.69 c (2,1) r[23] = 1
5.76/2.69 c (2,1) r[24] = 1
5.76/2.69 c (2,1) w[0] = 11
5.76/2.69 c (2,1) w[1] = 13
5.76/2.69 c (2,1) w[2] = 2
5.76/2.69 c (2,1) w[3] = 7
5.76/2.69 c (2,1) w[4] = 9
5.76/2.69 c (2,1) w[5] = 7
5.76/2.69 c (2,1) w[6] = 2
5.76/2.69 c (2,1) w[7] = 2
5.76/2.69 c (2,1) w[8] = 11
5.76/2.69 c (2,1) w[9] = 13
5.76/2.69 c (2,1) w[10] = 5
5.76/2.69 c (2,1) w[11] = 2
5.76/2.69 c (2,1) w[12] = 2
5.76/2.70 c (2,1) w[13] = 11
5.76/2.70 c (2,1) w[14] = 2
5.76/2.70 c (2,1) w[15] = 5
5.76/2.70 c (2,1) w[16] = 6
5.76/2.70 c (2,1) w[17] = 12
5.76/2.70 c (2,1) w[18] = 2
5.76/2.70 c (2,1) w[19] = 5
5.76/2.70 c (2,1) w[20] = 5
5.76/2.70 c (2,1) w[21] = 12
5.76/2.70 c (2,1) w[22] = 4
5.76/2.70 c (2,1) w[23] = 2
5.76/2.70 c (2,1) w[24] = 2
5.76/2.70 c (2,1) x[0] = 25
5.76/2.70 c (2,1) x[1] = 0
5.76/2.70 c (2,1) x[2] = 36
5.76/2.70 c (2,1) x[3] = 13
5.76/2.70 c (2,1) x[4] = 27
5.76/2.70 c (2,1) x[5] = 13
6.16/2.70 c (2,1) x[6] = 0
6.16/2.70 c (2,1) x[7] = 38
6.16/2.70 c (2,1) x[8] = 2
6.16/2.70 c (2,1) x[9] = 2
6.16/2.70 c (2,1) x[10] = 31
6.16/2.70 c (2,1) x[11] = 25
6.16/2.70 c (2,1) x[12] = 38
6.16/2.70 c (2,1) x[13] = 27
6.16/2.70 c (2,1) x[14] = 36
6.16/2.70 c (2,1) x[15] = 15
6.16/2.70 c (2,1) x[16] = 14
6.16/2.70 c (2,1) x[17] = 13
6.16/2.70 c (2,1) x[18] = 0
6.16/2.70 c (2,1) x[19] = 31
6.16/2.70 c (2,1) x[20] = 20
6.16/2.70 c (2,1) x[21] = 2
6.16/2.70 c (2,1) x[22] = 25
6.16/2.70 c (2,1) x[23] = 27
6.16/2.70 c (2,1) x[24] = 29
6.16/2.70 c (2,1) y[0] = 12
6.16/2.70 c (2,1) y[1] = 12
6.16/2.70 c (2,1) y[2] = 6
6.16/2.70 c (2,1) y[3] = 2
6.16/2.70 c (2,1) y[4] = 0
6.16/2.70 c (2,1) y[5] = 12
6.16/2.70 c (2,1) y[6] = 1
6.16/2.70 c (2,1) y[7] = 0
6.16/2.70 c (2,1) y[8] = 0
6.16/2.70 c (2,1) y[9] = 4
6.16/2.70 c (2,1) y[10] = 9
6.16/2.70 c (2,1) y[11] = 0
6.16/2.70 c (2,1) y[12] = 13
6.16/2.70 c (2,1) y[13] = 3
6.16/2.70 c (2,1) y[14] = 0
6.16/2.70 c (2,1) y[15] = 4
6.16/2.70 c (2,1) y[16] = 8
6.16/2.70 c (2,1) y[17] = 0
6.16/2.70 c (2,1) y[18] = 0
6.16/2.70 c (2,1) y[19] = 6
6.16/2.70 c (2,1) y[20] = 2
6.16/2.70 c (2,1) y[21] = 8
6.16/2.70 c (2,1) y[22] = 11
6.16/2.70 c (2,1) y[23] = 6
6.16/2.70 c (2,1) y[24] = 6
6.16/2.70 s SATISFIABLE
6.16/2.70 v <instantiation>
6.16/2.70 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>
6.16/2.70 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>
6.16/2.70 v </instantiation>
6.16/2.70 c (2,1) Show results End
6.16/2.70 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
6.16/2.70 c (2,1) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
6.16/2.70 c END-Prog: Mon Jul 23 12:14:41 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 (5516 MiB free)
memory of node 1: 16384 MiB (10510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293161-1532340879/watcher-4293161-1532340879 -o /tmp/evaluation-result-4293161-1532340879/solver-4293161-1532340879 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293161-1532340879.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=10717, runsolver pid=10714
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 2.06 2.05 2.05 4/220 10732
/proc/meminfo: memFree=16351724/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15011656 memory=72528 CPUtime=0.11 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 6313 0 0 0 9 2 0 0 20 0 15 0 51651029 15371935744 18132 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3752914 18132 2779 1 0 3715374 0
[pid=10717/tid=10719] ppid=10714 vsize=15011656 memory=-6871259845000215376 CPUtime=0.08 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 4202560 4579 0 0 0 7 1 0 0 20 0 15 0 51651029 15371935744 18330 33554432000 4194304 4196468 140726499454080 140329611763368 140329620227879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 18330 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 18330 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 18330 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 18330 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 18330 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 18330 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 18330 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 18330 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) S 10714 10717 8919 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 18396 33554432000 4194304 4196468 140726499454080 140328677177584 140329639963266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 18396 33554432000 4194304 4196468 140726499454080 140328676125040 140329639963266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0.01 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) S 10714 10717 8919 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 51651036 15371935744 18396 33554432000 4194304 4196468 140726499454080 140328675071984 140329639963266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 18396 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 18396 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72528 KiB
[startup+0.210407 s]*
/proc/loadavg: 2.06 2.05 2.05 3/220 10732
/proc/meminfo: memFree=16337648/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15011656 memory=85648 CPUtime=0.26 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 9888 0 0 0 23 3 0 0 20 0 15 0 51651029 15371935744 21412 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3752914 21412 2912 1 0 3715374 0
[pid=10717/tid=10719] ppid=10714 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 4202560 7778 0 0 0 18 2 0 0 20 0 15 0 51651029 15371935744 21412 33554432000 4194304 4196468 140726499454080 140329611778032 140329639964054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 21412 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15011656 memory=139919421276507 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 21412 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 21412 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 21412 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 21412 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 21412 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 21412 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 21412 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) R 10714 10717 8919 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 21412 33554432000 4194304 4196468 140726499454080 140328677177584 140329632189246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) R 10714 10717 8919 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 21412 33554432000 4194304 4196468 140726499454080 140328676125040 140329625614848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0.03 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) R 10714 10717 8919 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 51651036 15371935744 21412 33554432000 4194304 4196468 140726499454080 140328675071984 140329639963266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 21412 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) R 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 21412 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85648 KiB
[startup+0.310562 s]*
/proc/loadavg: 2.06 2.05 2.05 4/220 10732
/proc/meminfo: memFree=16333724/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15011656 memory=89808 CPUtime=0.42 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 10497 0 0 0 39 3 0 0 20 0 15 0 51651029 15371935744 22452 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3752914 22452 2990 1 0 3715374 0
[pid=10717/tid=10719] ppid=10714 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 4202560 8210 0 0 0 27 2 0 0 20 0 15 0 51651029 15371935744 22452 33554432000 4194304 4196468 140726499454080 140329611776208 140329639964054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 22452 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15011656 memory=139919421276506 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 22452 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 22452 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15371935744 22452 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 22452 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 22452 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651033 15371935744 22452 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 22452 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) R 10714 10717 8919 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 51651036 15371935744 22452 33554432000 4194304 4196468 140726499454080 140328677177584 140329639964054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) R 10714 10717 8919 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 51651036 15371935744 22452 33554432000 4194304 4196468 140726499454080 140328676125040 140329639963266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0.07 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) R 10714 10717 8919 0 -1 4202560 351 0 0 0 7 0 0 0 20 0 15 0 51651036 15371935744 22452 33554432000 4194304 4196468 140726499454080 140328675071984 140329617974328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 22452 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15011656 memory=139919421265536 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651036 15371935744 22452 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89808 KiB
[startup+0.700666 s]
/proc/loadavg: 2.06 2.05 2.05 3/220 10732
/proc/meminfo: memFree=16309168/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15020052 memory=129648 CPUtime=1.01 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 17683 0 0 0 96 5 0 0 20 0 15 0 51651029 15380533248 32412 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3755013 32412 3155 1 0 3716398 0
[pid=10717/tid=10719] ppid=10714 vsize=15020052 memory=185978526383427 CPUtime=0.67 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 4202560 14961 0 0 0 63 4 0 0 20 0 15 0 51651029 15380533248 32412 33554432000 4194304 4196468 140726499454080 140329611777104 140329623995749 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15020052 memory=268934 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15380533248 32412 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15380533248 32412 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15380533248 32412 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15380533248 32412 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51651033 15380533248 32412 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51651033 15380533248 32412 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651033 15380533248 32412 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15380533248 32412 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) S 10714 10717 8919 0 -1 1077944384 589 0 0 0 9 0 0 0 20 0 15 0 51651036 15380533248 32412 33554432000 4194304 4196468 140726499454080 140328677177584 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) S 10714 10717 8919 0 -1 1077944384 314 0 0 0 5 0 0 0 20 0 15 0 51651036 15380533248 32412 33554432000 4194304 4196468 140726499454080 140328676125040 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) R 10714 10717 8919 0 -1 4202560 479 0 0 0 17 0 0 0 20 0 15 0 51651036 15380533248 32412 33554432000 4194304 4196468 140726499454080 140328675071984 140329624134770 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15380533248 32412 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651036 15380533248 32412 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129648 KiB
[startup+1.50118 s]
/proc/loadavg: 2.06 2.05 2.05 5/220 10732
/proc/meminfo: memFree=16280384/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15024148 memory=174472 CPUtime=2.8 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 21695 0 0 0 272 8 0 0 20 0 15 0 51651029 15384727552 43618 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3756037 43618 3202 1 0 3717422 0
[pid=10717/tid=10719] ppid=10714 vsize=15024148 memory=5794836780235446113 CPUtime=1.46 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 4202560 16301 0 0 0 141 5 0 0 20 0 15 0 51651029 15384727552 43618 33554432000 4194304 4196468 140726499454080 140329611774384 140329150795803 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15024148 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 43618 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15024148 memory=7517463620577092976 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 43618 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15024148 memory=7813299391538424409 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 43618 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15024148 memory=4638778428397538640 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 43618 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15024148 memory=7308327790089628249 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51651033 15384727552 43618 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
################
# More data... #
################
[startup+2.72217 s]
# the end of solver process 10717 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.05201 s, system=0.144255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6008 s]
/proc/loadavg: 2.06 2.05 2.05 5/220 10732
/proc/meminfo: memFree=16280384/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15024148 memory=183640 CPUtime=3.15 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 21912 0 0 0 307 8 0 0 20 0 15 0 51651029 15384727552 45910 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3756037 45910 3202 1 0 3717422 0
[pid=10717/tid=10719] ppid=10714 vsize=15024148 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 4202560 16336 0 0 0 151 5 0 0 20 0 15 0 51651029 15384727552 45910 33554432000 4194304 4196468 140726499454080 140329611786016 140329639964054 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 45910 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15024148 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 45910 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 45910 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15024148 memory=12081 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651031 15384727552 45910 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51651033 15384727552 45910 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15024148 memory=-2317720213663851332 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51651033 15384727552 45910 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15024148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651033 15384727552 45910 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15024148 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15384727552 45910 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15024148 memory=-6945504543650622756 CPUtime=0.47 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) R 10714 10717 8919 0 -1 1077944384 934 0 0 0 46 1 0 0 20 0 15 0 51651036 15384727552 45910 33554432000 4194304 4196468 140726499454080 140328677177584 140329639963266 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15024148 memory=6944656592455360608 CPUtime=0.35 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) R 10714 10717 8919 0 -1 4202560 578 0 0 0 35 0 0 0 20 0 15 0 51651036 15384727552 45910 33554432000 4194304 4196468 140726499454080 140328676110192 140329621469621 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15024148 memory=279838594313792 CPUtime=0.73 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) R 10714 10717 8919 0 -1 4202560 2722 0 0 0 73 0 0 0 20 0 15 0 51651036 15384727552 45910 33554432000 4194304 4196468 140726499454080 140328675067248 140329618635820 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51651036 15384727552 45910 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51651036 15384727552 45910 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 183640 KiB
[startup+2.40606 s]
/proc/loadavg: 2.06 2.05 2.05 5/220 10732
/proc/meminfo: memFree=16183128/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15683912 memory=385268 CPUtime=5.76 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 25080 0 0 0 564 12 0 0 20 0 19 0 51651029 16060325888 96317 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3920978 96317 3226 1 0 3881834 0
[pid=10717/tid=10719] ppid=10714 vsize=15683912 memory=6003386712307482720 CPUtime=2.35 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) S 10714 10717 8919 0 -1 1077944384 17123 0 0 0 227 8 0 0 20 0 19 0 51651029 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329611791360 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15683912 memory=-7453528518462155811 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15683912 memory=21455 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51651033 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51651033 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651033 16060325888 96317 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=1.25 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) S 10714 10717 8919 0 -1 1077944384 1509 0 0 0 124 1 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328677177584 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=1.15 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) S 10714 10717 8919 0 -1 1077944384 1883 0 0 0 114 1 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328676125040 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0.98 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) S 10714 10717 8919 0 -1 1077944384 3173 0 0 0 97 1 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328675071984 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15683912 memory=5794836780235446113 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15683912 memory=6298673690012637025 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 385268 KiB
[startup+2.60066 s]
/proc/loadavg: 2.06 2.05 2.05 5/220 10732
/proc/meminfo: memFree=16183128/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15683912 memory=385268 CPUtime=5.76 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 25081 0 0 0 564 12 0 0 20 0 19 0 51651029 16060325888 96317 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3920978 96317 3226 1 0 3881834 0
[pid=10717/tid=10719] ppid=10714 vsize=15683912 memory=0 CPUtime=2.35 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) S 10714 10717 8919 0 -1 1077944384 17123 0 0 0 227 8 0 0 20 0 19 0 51651029 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329611791360 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15683912 memory=279838594184992 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15683912 memory=185933429232573 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15683912 memory=139919297119904 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651031 16060325888 96317 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51651033 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51651033 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651033 16060325888 96317 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15683912 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) S 10714 10717 8919 0 -1 1077944384 1509 0 0 0 124 1 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328677177584 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15683912 memory=2209 CPUtime=1.15 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) S 10714 10717 8919 0 -1 1077944384 1883 0 0 0 114 1 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328676125040 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15683912 memory=26660 CPUtime=0.98 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) S 10714 10717 8919 0 -1 1077944384 3173 0 0 0 97 1 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328675071984 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51651036 16060325888 96317 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 385268 KiB
[startup+2.70159 s]
/proc/loadavg: 2.06 2.05 2.05 5/220 10732
/proc/meminfo: memFree=16183128/32770624 swapFree=67108860/67108860
[pid=10717] ppid=10714 vsize=15552836 memory=386208 CPUtime=6.16 cores=1,3,5,7
/proc/10717/stat : 10717 (java) S 10714 10717 8919 0 -1 1077944320 25837 2990 0 0 572 13 31 0 20 0 17 0 51651029 15926104064 96552 33554432000 4194304 4196468 140726499454080 140726499436624 140329639952119 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
/proc/10717/statm: 3888209 96552 3226 1 0 3849065 0
[pid=10717/tid=10719] ppid=10714 vsize=15552836 memory=385268 CPUtime=2.68 cores=1,3,5,7
/proc/10717/task/10719/stat : 10719 (java) R 10714 10717 8919 0 -1 1077944384 17830 2990 0 0 228 9 31 0 20 0 17 0 51651029 15926104064 96552 33554432000 4194304 4196468 140726499454080 140329611789760 140329639962325 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10720] ppid=10714 vsize=15552836 memory=56 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10720/stat : 10720 (java) S 10714 10717 8919 0 -1 1077944384 1 2990 0 0 0 0 31 0 20 0 17 0 51651031 15926104064 96552 33554432000 4194304 4196468 140726499454080 140329644194320 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10721] ppid=10714 vsize=15552836 memory=363832 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10721/stat : 10721 (java) S 10714 10717 8919 0 -1 1077944384 2 2990 0 0 0 0 31 0 20 0 17 0 51651031 15926104064 96552 33554432000 4194304 4196468 140726499454080 140329100896912 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10722] ppid=10714 vsize=15552836 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10722/stat : 10722 (java) S 10714 10717 8919 0 -1 1077944384 2 2990 0 0 0 0 31 0 20 0 17 0 51651031 15926104064 96552 33554432000 4194304 4196468 140726499454080 140329099843856 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10723] ppid=10714 vsize=15552836 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10723/stat : 10723 (java) S 10714 10717 8919 0 -1 1077944384 1 2990 0 0 0 0 31 0 20 0 17 0 51651031 15926104064 96552 33554432000 4194304 4196468 140726499454080 140329098791312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10724] ppid=10714 vsize=15552836 memory=185978526487075 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10724/stat : 10724 (java) S 10714 10717 8919 0 -1 1077944384 5 2990 0 0 0 0 31 0 20 0 17 0 51651033 15926104064 96552 33554432000 4194304 4196468 140726499454080 140328678230768 140329639963266 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10725] ppid=10714 vsize=15552836 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10725/stat : 10725 (java) S 10714 10717 8919 0 -1 1077944384 13 2990 0 0 0 0 31 0 20 0 17 0 51651033 15926104064 96552 33554432000 4194304 4196468 140726499454080 140328191387296 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10726] ppid=10714 vsize=15552836 memory=276920 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10726/stat : 10726 (java) S 10714 10717 8919 0 -1 1077944384 1 2990 0 0 0 0 31 0 20 0 17 0 51651033 15926104064 96552 33554432000 4194304 4196468 140726499454080 140327922951408 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10727] ppid=10714 vsize=15552836 memory=209876 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10727/stat : 10727 (java) S 10714 10717 8919 0 -1 1077944384 3 2990 0 0 0 0 31 0 20 0 17 0 51651036 15926104064 96552 33554432000 4194304 4196468 140726499454080 140327548443088 140329639970715 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10728] ppid=10714 vsize=15552836 memory=6656426216303648864 CPUtime=1.58 cores=1,3,5,7
/proc/10717/task/10728/stat : 10728 (java) R 10714 10717 8919 0 -1 4202560 1524 2990 0 0 126 1 31 0 20 0 17 0 51651036 15926104064 96552 33554432000 4194304 4196468 140726499454080 140328677166256 140329619607792 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10729] ppid=10714 vsize=15552836 memory=6944656592455360604 CPUtime=1.48 cores=1,3,5,7
/proc/10717/task/10729/stat : 10729 (java) R 10714 10717 8919 0 -1 4202560 1891 2990 0 0 116 1 31 0 20 0 17 0 51651036 15926104064 96552 33554432000 4194304 4196468 140726499454080 140328676112912 140329620164272 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10730] ppid=10714 vsize=15552836 memory=-5921431000321636112 CPUtime=1.3 cores=1,3,5,7
/proc/10717/task/10730/stat : 10730 (java) R 10714 10717 8919 0 -1 4202560 3186 2990 0 0 98 1 31 0 20 0 17 0 51651036 15926104064 96552 33554432000 4194304 4196468 140726499454080 140328675071984 140329639964054 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10731] ppid=10714 vsize=15552836 memory=279838594344800 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10731/stat : 10731 (java) S 10714 10717 8919 0 -1 1077944384 3 2990 0 0 0 0 31 0 20 0 17 0 51651036 15926104064 96552 33554432000 4194304 4196468 140726499454080 140327050537312 140329639962325 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
[pid=10717/tid=10732] ppid=10714 vsize=15552836 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/10717/task/10732/stat : 10732 (java) S 10714 10717 8919 0 -1 1077944384 1 2990 0 0 0 0 31 0 20 0 17 0 51651036 15926104064 96552 33554432000 4194304 4196468 140726499454080 140328674020400 140329639963266 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35078144 140726499460084 140726499460361 140726499460361 140726499463119 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 386208 KiB
Child status: 0
Real time (s): 2.72223
CPU time (s): 6.19627
CPU user time (s): 6.05201
CPU system time (s): 0.144255
CPU usage (%): 227.617
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 386208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.05201
system time used= 0.144255
maximum resident set size= 388712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28858
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= 4045
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 10717
# total CPU time (s): 6.19627
# total CPU user time (s): 6.05201
# total CPU system time (s): 0.144255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041666 second user time and 0.07012 second system time
The end