0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Jul 23 17:29:49 CEST 2018
0.66/0.54 c PID: 17490
0.66/0.54 c IP: 172.20.3.102
0.66/0.54 c HOST: node102.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.02/1.35 c (0,0) Parsing End
3.02/1.36 c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 1207 ctr, max domain size 4
3.02/1.36 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.02/1.36 c (0,0) Constraint Name Generate Begin
3.02/1.37 c (0,0) Ctr:HOME/instance-4294468-1532359789.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.02/1.37 c (0,0) Constraint Name Generate End
3.02/1.37 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.02/1.37 c (0,0) CSP to CSPinCNF Begin
3.59/1.51 c (0,0) translated 121 (10%) constraints
3.59/1.55 c (1,1) translated 242 (20%) constraints
3.59/1.58 c (1,1) translated 363 (30%) constraints
3.90/1.61 c (1,1) translated 483 (40%) constraints
3.90/1.62 c (1,1) translated 604 (50%) constraints
3.90/1.64 c (1,1) translated 725 (60%) constraints
3.90/1.65 c (1,1) translated 845 (70%) constraints
3.90/1.66 c (1,1) translated 966 (80%) constraints
3.90/1.67 c (1,1) translated 1087 (90%) constraints
4.47/1.86 c (1,1) translated 1207 (100%) constraints
5.16/2.06 c (1,1) STATISTICS1:HOME/instance-4294468-1532359789.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,501,2116,32768,4,4,16,32768:40;4:2118;1:541,4:4779;2:1263;1:1195,4:1301;3:339;2:421;1:55,16:40;2:2659;1:1935,
5.16/2.06 c (1,1) ===========================================
5.16/2.06 c (1,1) Both Encoding selects:
5.16/2.06 c (1,1) Order
5.16/2.06 c (1,1) ===========================================
5.16/2.10 c (1,1) translated 212 (10%) constraints
5.52/2.12 c (1,1) translated 424 (20%) constraints
5.52/2.15 c (1,1) translated 635 (30%) constraints
5.52/2.17 c (1,1) translated 847 (40%) constraints
5.52/2.19 c (1,1) translated 1058 (50%) constraints
5.81/2.23 c (1,1) translated 1270 (60%) constraints
5.81/2.27 c (1,1) translated 1482 (70%) constraints
6.14/2.30 c (1,1) translated 1693 (80%) constraints
6.14/2.32 c (1,1) translated 1905 (90%) constraints
6.14/2.34 c (1,1) translated 2116 (100%) constraints
6.14/2.34 c (1,1) CSP to CSPinCNF End
6.14/2.35 c (1,1) CSP: 140 int (60 aux), 741 bool (741 aux), 2912 ctr, max domain size 5
6.14/2.35 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.14/2.35 c (1,1) CSPinCNF Propagation Begin
6.47/2.42 c (1,1) 188 values, 1034 unsatisfiable literals, and 866 valid clauses are removed
6.47/2.42 c (1,1) CSPinCNF Propagation End
6.47/2.43 c (1,1) CSP: 280 int (200 aux), 601 bool (601 aux), 2046 ctr, max domain size 5
6.47/2.43 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.47/2.43 c (1,1) Simplify CSPinCNF Begin
6.47/2.49 c (1,1) Simplify CSPinCNF End
6.47/2.49 c (1,1) CSP: 280 int (200 aux), 1687 bool (1687 aux), 3132 ctr, max domain size 5
6.47/2.49 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.47/2.49 c (1,1) Calculate Precise Domain Begin
6.79/2.53 c (2,1) 0 values are removed by re-calculation
6.79/2.53 c (2,1) Calculate Precise Domain End
6.79/2.53 c (2,1) CSP: 280 int (200 aux), 1687 bool (1687 aux), 3132 ctr, max domain size 5
6.79/2.53 c (2,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.79/2.53 c (2,1) CSPinCNF to SatSolver Begin
7.06/2.62 c (2,2) 314 (10 %) CSP clauses are encoded (2071 SAT variables, 1212 SAT clauses)
7.06/2.64 c (2,2) 627 (20 %) CSP clauses are encoded (2071 SAT variables, 2254 SAT clauses)
7.06/2.66 c (2,2) 940 (30 %) CSP clauses are encoded (2071 SAT variables, 3221 SAT clauses)
7.06/2.67 c (2,2) 1253 (40 %) CSP clauses are encoded (2071 SAT variables, 4110 SAT clauses)
7.06/2.68 c (2,2) 1566 (50 %) CSP clauses are encoded (2071 SAT variables, 4717 SAT clauses)
7.38/2.70 c (2,2) 1880 (60 %) CSP clauses are encoded (2071 SAT variables, 5983 SAT clauses)
7.38/2.72 c (2,2) 2193 (70 %) CSP clauses are encoded (2071 SAT variables, 7248 SAT clauses)
7.38/2.73 c (2,2) 2506 (80 %) CSP clauses are encoded (2071 SAT variables, 8513 SAT clauses)
7.38/2.75 c (2,2) 2819 (90 %) CSP clauses are encoded (2071 SAT variables, 9778 SAT clauses)
7.38/2.76 c (2,2) 3132 (100 %) CSP clauses are encoded (2071 SAT variables, 10575 SAT clauses)
7.38/2.76 c (2,2) CSPinCNF to SatSolver End
7.38/2.76 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
7.69/2.80 c (2,2) STATISTICS2:HOME/instance-4294468-1532359789.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1967,3132,64,5,4,7,64:32;32:64;25:32;4:1158;1:35,5:192;4:3119;2:6299;1:35,4:803;3:149;2:2037;1:143,7:32;6:64;3:32;2:1193;1:6555,
7.69/2.80 c (2,2) SatSolver.solve Begin
7.69/2.80 c (2,2) 2071 bool, 10578 clause
7.69/2.80 c (2,2) 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-4294468-1532359789.xml-scop-17490.cnf HOME/instance-4294468-1532359789.xml-scop-17490.cnf.out
7.69/2.84 c (2,0) c This is COMiniSatPS.
7.69/2.84 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
7.69/2.84 c (2,0) c ============================[ Problem Statistics ]=============================
7.69/2.84 c (2,0) c | |
7.69/2.84 c (2,0) c | Number of variables: 2071 |
7.69/2.84 c (2,0) c | Number of clauses: 10578 |
7.69/2.84 c (2,0) c | Parse time: 0.00 s |
7.69/2.84 c (2,0) c | Eliminated clauses: 0.01 Mb |
7.69/2.84 c (2,0) c Reduced to 1594 vars, 9816 cls (grow=0)
7.69/2.84 c (2,0) c No iterative elimination performed. (vars=1594, c/v ratio=6.2)
7.69/2.84 c (2,0) c | Simplification time: 0.01 s |
7.69/2.84 c (2,0) c | |
7.69/2.84 c (2,0) c ============================[ Search Statistics ]==============================
7.69/2.84 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.69/2.84 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.69/2.84 c (2,0) c ===============================================================================
7.69/2.84 c (2,0) c ===============================================================================
7.69/2.84 c (2,0) c restarts : 3
7.69/2.84 c (2,0) c conflicts : 246 (15277 /sec)
7.69/2.84 c (2,0) c decisions : 878 (0.00 % random) (54524 /sec)
7.69/2.84 c (2,0) c propagations : 17797 (1105198 /sec)
7.69/2.84 c (2,0) c conflict literals : 3459 (4.53 % deleted)
7.69/2.84 c (2,0) c CPU time : 0.016103 s
7.69/2.84 c (2,0)
7.69/2.84 c (2,0) s SATISFIABLE
7.69/2.88 c (2,2) SatSolver.solve End
7.69/2.88 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
7.69/2.88 c (2,2) Show results Begin
7.69/2.89 c (2,2) x[0][0] = 0
7.69/2.89 c (2,2) x[0][1] = 0
7.69/2.89 c (2,2) x[0][2] = 0
7.69/2.89 c (2,2) x[0][3] = 0
7.69/2.89 c (2,2) x[0][4] = 1
7.69/2.89 c (2,2) x[0][5] = 1
7.69/2.89 c (2,2) x[0][6] = 1
7.69/2.89 c (2,2) x[0][7] = 1
7.69/2.89 c (2,2) x[0][8] = 2
7.69/2.89 c (2,2) x[0][9] = 2
7.69/2.89 c (2,2) x[0][10] = 2
7.69/2.89 c (2,2) x[0][11] = 2
7.69/2.89 c (2,2) x[0][12] = 3
7.69/2.89 c (2,2) x[0][13] = 3
7.69/2.89 c (2,2) x[0][14] = 3
7.69/2.89 c (2,2) x[0][15] = 3
7.69/2.89 c (2,2) x[1][0] = 0
7.69/2.89 c (2,2) x[1][1] = 1
7.69/2.89 c (2,2) x[1][2] = 2
7.69/2.89 c (2,2) x[1][3] = 3
7.69/2.89 c (2,2) x[1][4] = 0
7.69/2.89 c (2,2) x[1][5] = 1
7.69/2.89 c (2,2) x[1][6] = 2
7.69/2.89 c (2,2) x[1][7] = 3
7.69/2.89 c (2,2) x[1][8] = 0
7.69/2.89 c (2,2) x[1][9] = 1
7.69/2.89 c (2,2) x[1][10] = 2
7.69/2.89 c (2,2) x[1][11] = 3
7.69/2.89 c (2,2) x[1][12] = 0
7.69/2.89 c (2,2) x[1][13] = 1
7.69/2.89 c (2,2) x[1][14] = 2
7.69/2.89 c (2,2) x[1][15] = 3
7.69/2.89 c (2,2) x[2][0] = 0
7.69/2.89 c (2,2) x[2][1] = 2
7.69/2.89 c (2,2) x[2][2] = 1
7.69/2.89 c (2,2) x[2][3] = 3
7.69/2.89 c (2,2) x[2][4] = 1
7.69/2.89 c (2,2) x[2][5] = 3
7.69/2.89 c (2,2) x[2][6] = 0
7.69/2.89 c (2,2) x[2][7] = 2
7.69/2.89 c (2,2) x[2][8] = 3
7.69/2.89 c (2,2) x[2][9] = 1
7.69/2.89 c (2,2) x[2][10] = 2
7.69/2.89 c (2,2) x[2][11] = 0
7.69/2.89 c (2,2) x[2][12] = 2
7.69/2.89 c (2,2) x[2][13] = 0
7.69/2.89 c (2,2) x[2][14] = 3
7.69/2.89 c (2,2) x[2][15] = 1
7.69/2.89 c (2,2) x[3][0] = 1
7.69/2.89 c (2,2) x[3][1] = 3
7.69/2.89 c (2,2) x[3][2] = 2
7.69/2.89 c (2,2) x[3][3] = 0
7.69/2.89 c (2,2) x[3][4] = 3
7.69/2.89 c (2,2) x[3][5] = 1
7.69/2.89 c (2,2) x[3][6] = 0
7.69/2.89 c (2,2) x[3][7] = 2
7.69/2.89 c (2,2) x[3][8] = 2
7.69/2.89 c (2,2) x[3][9] = 0
7.69/2.89 c (2,2) x[3][10] = 1
7.69/2.89 c (2,2) x[3][11] = 3
7.69/2.89 c (2,2) x[3][12] = 0
7.69/2.89 c (2,2) x[3][13] = 2
7.69/2.89 c (2,2) x[3][14] = 3
7.69/2.89 c (2,2) x[3][15] = 1
7.69/2.89 c (2,2) x[4][0] = 2
7.69/2.89 c (2,2) x[4][1] = 3
7.69/2.89 c (2,2) x[4][2] = 0
7.69/2.89 c (2,2) x[4][3] = 1
7.69/2.89 c (2,2) x[4][4] = 1
7.69/2.89 c (2,2) x[4][5] = 0
7.69/2.89 c (2,2) x[4][6] = 3
7.69/2.89 c (2,2) x[4][7] = 2
7.69/2.89 c (2,2) x[4][8] = 3
7.69/2.89 c (2,2) x[4][9] = 2
7.69/2.89 c (2,2) x[4][10] = 1
7.69/2.89 c (2,2) x[4][11] = 0
7.69/2.89 c (2,2) x[4][12] = 0
7.69/2.89 c (2,2) x[4][13] = 1
7.69/2.89 c (2,2) x[4][14] = 2
7.69/2.89 c (2,2) x[4][15] = 3
7.69/2.89 s SATISFIABLE
7.69/2.89 v <instantiation>
7.69/2.89 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15]</list>
7.69/2.89 v <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 2 1 3 1 3 0 2 3 1 2 0 2 0 3 1 1 3 2 0 3 1 0 2 2 0 1 3 0 2 3 1 2 3 0 1 1 0 3 2 3 2 1 0 0 1 2 3</values>
7.69/2.89 v </instantiation>
7.69/2.89 c (2,2) Show results End
7.69/2.89 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
7.69/2.89 c (2,2) 0,0,1,1,1,2,2,2,2,STOP-AFTER(ALL)
7.69/2.89 c END-Prog: Mon Jul 23 17:29:52 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 (3934 MiB free)
memory of node 1: 16384 MiB (10505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294468-1532359789/watcher-4294468-1532359789 -o /tmp/evaluation-result-4294468-1532359789/solver-4294468-1532359789 -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-4294468-1532359789.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17490, runsolver pid=17487
[startup+0.100673 s]*
/proc/loadavg: 2.24 2.14 2.10 4/220 17505
/proc/meminfo: memFree=14727024/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15011656 memory=71116 CPUtime=0.11 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 6986 0 0 0 10 1 0 0 20 0 15 0 53542043 15371935744 17779 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3752914 17779 2780 1 0 3715374 0
[pid=17490/tid=17492] ppid=17487 vsize=15011656 memory=-6295080567673502544 CPUtime=0.08 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 5228 0 0 0 7 1 0 0 20 0 15 0 53542043 15371935744 17911 33554432000 4194304 4196468 140735152999776 140617329324424 140617337789264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 17977 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 17977 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 17977 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 17977 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542046 15371935744 17977 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15371935744 17977 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15371935744 17977 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 17977 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) S 17487 17490 8919 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 17977 33554432000 4194304 4196468 140735152999776 140616763087472 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 17977 33554432000 4194304 4196468 140735152999776 140616762034672 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) S 17487 17490 8919 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 53542049 15371935744 17977 33554432000 4194304 4196468 140735152999776 140616760982384 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 18043 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 18043 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71116 KiB
[startup+0.210373 s]*
/proc/loadavg: 2.24 2.14 2.10 3/220 17505
/proc/meminfo: memFree=14714056/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15011656 memory=83676 CPUtime=0.25 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 10383 0 0 0 23 2 0 0 20 0 15 0 53542043 15371935744 20919 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3752914 20919 2894 1 0 3715374 0
[pid=17490/tid=17492] ppid=17487 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 8268 0 0 0 18 2 0 0 20 0 15 0 53542043 15371935744 20919 33554432000 4194304 4196468 140735152999776 140617329341984 140617341592926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 20919 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15011656 memory=288370520172394112 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 20919 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 20919 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 20919 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542046 15371935744 20919 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15371935744 20919 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15371935744 20919 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 20919 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) R 17487 17490 8919 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 53542049 15371935744 20919 33554432000 4194304 4196468 140735152999776 140616763087472 140617357523586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) R 17487 17490 8919 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 20919 33554432000 4194304 4196468 140735152999776 140616762034672 140617335171504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0.03 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) S 17487 17490 8919 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 53542049 15371935744 20919 33554432000 4194304 4196468 140735152999776 140616760982384 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 20919 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 20919 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83676 KiB
[startup+0.310648 s]*
/proc/loadavg: 2.24 2.14 2.10 3/220 17505
/proc/meminfo: memFree=14710244/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15011656 memory=87660 CPUtime=0.43 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 11013 0 0 0 40 3 0 0 20 0 15 0 53542043 15371935744 21915 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3752914 21915 2997 1 0 3715374 0
[pid=17490/tid=17492] ppid=17487 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 8701 0 0 0 27 2 0 0 20 0 15 0 53542043 15371935744 21915 33554432000 4194304 4196468 140735152999776 140617329340064 140617341592926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 21915 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15011656 memory=288370520172394112 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 21915 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 21915 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15371935744 21915 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542046 15371935744 21915 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15371935744 21915 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15371935744 21915 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 21915 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) R 17487 17490 8919 0 -1 1077944384 526 0 0 0 3 0 0 0 20 0 15 0 53542049 15371935744 21915 33554432000 4194304 4196468 140735152999776 140616763087472 140617357523586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) R 17487 17490 8919 0 -1 4202560 92 0 0 0 1 0 0 0 20 0 15 0 53542049 15371935744 21915 33554432000 4194304 4196468 140735152999776 140616762034672 140617335930976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0.07 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) R 17487 17490 8919 0 -1 4202560 347 0 0 0 7 0 0 0 20 0 15 0 53542049 15371935744 21915 33554432000 4194304 4196468 140735152999776 140616760982384 140617336002080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 21915 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15011656 memory=140144020682368 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15371935744 21915 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87660 KiB
[startup+0.70139 s]
/proc/loadavg: 2.24 2.14 2.10 3/220 17505
/proc/meminfo: memFree=14685936/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15019976 memory=129696 CPUtime=1.04 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 18126 0 0 0 100 4 0 0 20 0 15 0 53542043 15380455424 32424 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3754994 32424 3150 1 0 3716398 0
[pid=17490/tid=17492] ppid=17487 vsize=15019976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 15293 0 0 0 63 4 0 0 20 0 15 0 53542043 15380455424 32424 33554432000 4194304 4196468 140735152999776 140617329348160 140617341592926 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15380455424 32424 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15380455424 32424 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15380455424 32424 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15019976 memory=215292953253816 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15380455424 32424 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15019976 memory=287128 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53542046 15380455424 32490 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15380455424 32490 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15380455424 32490 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15019976 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15380455424 32490 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15019976 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) R 17487 17490 8919 0 -1 4202560 752 0 0 0 11 0 0 0 20 0 15 0 53542049 15380455424 32490 33554432000 4194304 4196468 140735152999776 140616763087472 140617336773984 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15019976 memory=-3472574513799858009 CPUtime=0.06 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) R 17487 17490 8919 0 -1 4202560 218 0 0 0 6 0 0 0 20 0 15 0 53542049 15380455424 32490 33554432000 4194304 4196468 140735152999776 140616762024464 140617349801888 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15019976 memory=6944656592387989600 CPUtime=0.18 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) S 17487 17490 8919 0 -1 1077944384 537 0 0 0 18 0 0 0 20 0 15 0 53542049 15380455424 32490 33554432000 4194304 4196468 140735152999776 140616760982384 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15019976 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15380455424 32490 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15380455424 32490 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129696 KiB
[startup+1.50423 s]
/proc/loadavg: 2.24 2.14 2.10 6/220 17505
/proc/meminfo: memFree=14644432/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15022100 memory=197988 CPUtime=3.59 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 21957 0 0 0 352 7 0 0 20 0 15 0 53542043 15382630400 49497 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3755525 49497 3207 1 0 3716910 0
[pid=17490/tid=17492] ppid=17487 vsize=15022100 memory=127 CPUtime=1.47 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 16407 0 0 0 142 5 0 0 20 0 15 0 53542043 15382630400 49497 33554432000 4194304 4196468 140735152999776 140617329345440 140617335956876 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 49497 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 49497 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 49497 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 49497 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53542046 15382630400 49497 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
################
# More data... #
################
Current children cumulated memory: 197988 KiB
[startup+2.94397 s]
# the end of solver process 17490 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.93691 s, system=0.139769 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6013 s]
/proc/loadavg: 2.24 2.14 2.10 6/220 17505
/proc/meminfo: memFree=14644432/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15022100 memory=205800 CPUtime=3.9 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 22828 0 0 0 382 8 0 0 20 0 15 0 53542043 15382630400 51450 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3755525 51450 3207 1 0 3716910 0
[pid=17490/tid=17492] ppid=17487 vsize=15022100 memory=6933690305039933585 CPUtime=1.56 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 16422 0 0 0 151 5 0 0 20 0 15 0 53542043 15382630400 51450 33554432000 4194304 4196468 140735152999776 140617329348880 140617357524374 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15022100 memory=140143910571239 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 51450 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15022100 memory=3467964768368353344 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 51450 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15022100 memory=5787219346483269989 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 51450 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15022100 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15382630400 51450 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15022100 memory=7811871126067767892 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53542046 15382630400 51450 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15022100 memory=5787220424115905362 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15382630400 51450 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15022100 memory=7302135314614015845 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15382630400 51450 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15022100 memory=8320808402720012085 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15382630400 51450 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15022100 memory=5524 CPUtime=0.8 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) S 17487 17490 8919 0 -1 1077944384 1674 0 0 0 80 0 0 0 20 0 15 0 53542049 15382630400 51450 33554432000 4194304 4196468 140735152999776 140616763087472 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15022100 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) R 17487 17490 8919 0 -1 4202560 929 0 0 0 76 0 0 0 20 0 15 0 53542049 15382630400 51450 33554432000 4194304 4196468 140735152999776 140616762023344 140617341906327 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15022100 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) S 17487 17490 8919 0 -1 1077944384 2443 0 0 0 73 1 0 0 20 0 15 0 53542049 15382630400 51450 33554432000 4194304 4196468 140735152999776 140616760982384 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15022100 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15382630400 51450 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15022100 memory=13773960120851 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15382630400 51450 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 205800 KiB
[startup+2.40203 s]
/proc/loadavg: 2.22 2.14 2.10 5/220 17505
/proc/meminfo: memFree=14536464/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15024148 memory=324752 CPUtime=6.47 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 25371 0 0 0 637 10 0 0 20 0 15 0 53542043 15384727552 81188 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3756037 81188 3210 1 0 3717422 0
[pid=17490/tid=17492] ppid=17487 vsize=15024148 memory=280287821000704 CPUtime=2.36 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 16802 0 0 0 229 7 0 0 20 0 15 0 53542043 15384727552 81188 33554432000 4194304 4196468 140735152999776 140617329350592 140617341556069 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15384727552 81188 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15024148 memory=280287820955968 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15384727552 81188 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15024148 memory=280287821221840 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15384727552 81188 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15384727552 81188 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15024148 memory=7667497561383256160 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53542046 15384727552 81188 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15024148 memory=7302976471258915946 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15384727552 81188 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15024148 memory=7738703007652664939 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15384727552 81188 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15024148 memory=149001557 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15384727552 81188 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15024148 memory=140143910727832 CPUtime=1.53 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) R 17487 17490 8919 0 -1 4202560 2293 0 0 0 153 0 0 0 20 0 15 0 53542049 15384727552 81188 33554432000 4194304 4196468 140735152999776 140616763069040 140617337748594 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15024148 memory=280287821421328 CPUtime=1.48 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) R 17487 17490 8919 0 -1 4202560 1856 0 0 0 148 0 0 0 20 0 15 0 53542049 15384727552 81188 33554432000 4194304 4196468 140735152999776 140616762034800 140617342625215 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15024148 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) R 17487 17490 8919 0 -1 1077944384 3062 0 0 0 105 1 0 0 20 0 15 0 53542049 15384727552 81188 33554432000 4194304 4196468 140735152999776 140616760982384 140617357523586 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15384727552 81188 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15384727552 81188 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 324752 KiB
[startup+2.80164 s]
/proc/loadavg: 2.22 2.14 2.10 5/220 17505
/proc/meminfo: memFree=14536464/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15026264 memory=404340 CPUtime=7.69 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 26753 0 0 0 757 12 0 0 20 0 15 0 53542043 15386894336 101085 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3756566 101085 3222 1 0 3717422 0
[pid=17490/tid=17492] ppid=17487 vsize=15026264 memory=6791534058613427641 CPUtime=2.76 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) R 17487 17490 8919 0 -1 4202560 17242 0 0 0 268 8 0 0 20 0 15 0 53542043 15386894336 101085 33554432000 4194304 4196468 140735152999776 140617329350752 140616853637069 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15386894336 101085 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15026264 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15386894336 101085 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15026264 memory=1399717448514900851 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542045 15386894336 101085 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15026264 memory=6944656591801720226 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542045 15386894336 101085 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15026264 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53542046 15386894336 101085 33554432000 4194304 4196468 140735152999776 140616764139632 140617357523586 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15026264 memory=1414298054980309879 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542047 15386894336 101085 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15026264 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542047 15386894336 101085 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15026264 memory=-7595754389018307680 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15386894336 101085 33554432000 4194304 4196468 140735152999776 140615311251536 140617357531035 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15026264 memory=1414355462422710185 CPUtime=1.88 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) R 17487 17490 8919 0 -1 4202560 2704 0 0 0 188 0 0 0 20 0 15 0 53542049 15386894336 101085 33554432000 4194304 4196468 140735152999776 140616763067584 140617340923330 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15026264 memory=0 CPUtime=1.81 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) R 17487 17490 8919 0 -1 4202560 2150 0 0 0 181 0 0 0 20 0 15 0 53542049 15386894336 101085 33554432000 4194304 4196468 140735152999776 140616762019744 140617341902288 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15026264 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) S 17487 17490 8919 0 -1 1077944384 3297 0 0 0 118 2 0 0 20 0 15 0 53542049 15386894336 101085 33554432000 4194304 4196468 140735152999776 140616760982384 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15026264 memory=111988 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542049 15386894336 101085 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17505] ppid=17487 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17490/task/17505/stat : 17505 (java) S 17487 17490 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542049 15386894336 101085 33554432000 4194304 4196468 140735152999776 140616692394416 140617357523586 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 404340 KiB
[startup+2.90165 s]
/proc/loadavg: 2.22 2.14 2.10 5/220 17505
/proc/meminfo: memFree=14536464/32770624 swapFree=67108860/67108860
[pid=17490] ppid=17487 vsize=15421760 memory=424324 CPUtime=8.02 cores=1,3,5,7
/proc/17490/stat : 17490 (java) S 17487 17490 8919 0 -1 1077944320 27696 929 0 0 789 12 1 0 20 0 16 0 53542043 15791882240 106081 33554432000 4194304 4196468 140735152999776 140735152982320 140617357512439 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
/proc/17490/statm: 3855440 106081 3228 1 0 3816296 0
[pid=17490/tid=17492] ppid=17487 vsize=15421760 memory=0 CPUtime=2.85 cores=1,3,5,7
/proc/17490/task/17492/stat : 17492 (java) S 17487 17490 8919 0 -1 1077944384 17616 929 0 0 275 9 1 0 20 0 16 0 53542043 15791882240 106081 33554432000 4194304 4196468 140735152999776 140617329355920 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17493] ppid=17487 vsize=15421760 memory=374284 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17493/stat : 17493 (java) S 17487 17490 8919 0 -1 1077944384 2 929 0 0 0 0 1 0 20 0 16 0 53542045 15791882240 106081 33554432000 4194304 4196468 140735152999776 140617361755024 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17494] ppid=17487 vsize=15421760 memory=301228 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17494/stat : 17494 (java) S 17487 17490 8919 0 -1 1077944384 1 929 0 0 0 0 1 0 20 0 16 0 53542045 15791882240 106081 33554432000 4194304 4196468 140735152999776 140617175911184 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17495] ppid=17487 vsize=15421760 memory=280287821049472 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17495/stat : 17495 (java) S 17487 17490 8919 0 -1 1077944384 1 929 0 0 0 0 1 0 20 0 16 0 53542045 15791882240 106081 33554432000 4194304 4196468 140735152999776 140617174858896 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17496] ppid=17487 vsize=15421760 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17496/stat : 17496 (java) S 17487 17490 8919 0 -1 1077944384 2 929 0 0 0 0 1 0 20 0 16 0 53542045 15791882240 106081 33554432000 4194304 4196468 140735152999776 140617173806096 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17497] ppid=17487 vsize=15421760 memory=273036 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17497/stat : 17497 (java) S 17487 17490 8919 0 -1 1077944384 5 929 0 0 0 0 1 0 20 0 16 0 53542046 15791882240 106081 33554432000 4194304 4196468 140735152999776 140616764139840 140617357523586 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17498] ppid=17487 vsize=15421760 memory=127 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17498/stat : 17498 (java) S 17487 17490 8919 0 -1 1077944384 13 929 0 0 0 0 1 0 20 0 16 0 53542047 15791882240 106081 33554432000 4194304 4196468 140735152999776 140615819977504 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17499] ppid=17487 vsize=15421760 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17499/stat : 17499 (java) S 17487 17490 8919 0 -1 1077944384 21 929 0 0 0 0 1 0 20 0 16 0 53542047 15791882240 106081 33554432000 4194304 4196468 140735152999776 140615685756016 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17500] ppid=17487 vsize=15421760 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17500/stat : 17500 (java) S 17487 17490 8919 0 -1 1077944384 23 929 0 0 0 0 1 0 20 0 16 0 53542049 15791882240 106081 33554432000 4194304 4196468 140735152999776 140615311250304 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17501] ppid=17487 vsize=15421760 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/17490/task/17501/stat : 17501 (java) R 17487 17490 8919 0 -1 4202560 3095 929 0 0 198 0 1 0 20 0 16 0 53542049 15791882240 106081 33554432000 4194304 4196468 140735152999776 140616763074288 140617336727792 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17502] ppid=17487 vsize=15421760 memory=0 CPUtime=1.92 cores=1,3,5,7
/proc/17490/task/17502/stat : 17502 (java) S 17487 17490 8919 0 -1 1077944384 2174 929 0 0 191 0 1 0 20 0 16 0 53542049 15791882240 106081 33554432000 4194304 4196468 140735152999776 140616762019728 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17503] ppid=17487 vsize=15421760 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/17490/task/17503/stat : 17503 (java) S 17487 17490 8919 0 -1 1077944384 3366 929 0 0 122 2 1 0 20 0 16 0 53542049 15791882240 106081 33554432000 4194304 4196468 140735152999776 140616760978256 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
[pid=17490/tid=17504] ppid=17487 vsize=15421760 memory=280287820925024 CPUtime=0.01 cores=1,3,5,7
/proc/17490/task/17504/stat : 17504 (java) S 17487 17490 8919 0 -1 1077944384 3 929 0 0 0 0 1 0 20 0 16 0 53542049 15791882240 106081 33554432000 4194304 4196468 140735152999776 140614813346784 140617357522645 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30318592 140735153005556 140735153005833 140735153005833 140735153008591 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 15421760 KiB
Current children cumulated memory: 424324 KiB
Child status: 0
Real time (s): 2.94402
CPU time (s): 8.07668
CPU user time (s): 7.93691
CPU system time (s): 0.139769
CPU usage (%): 274.342
Max. virtual memory (cumulated for all children) (KiB): 15421760
Max. memory (cumulated for all children) (KiB): 424324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.93691
system time used= 0.139769
maximum resident set size= 425672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3678
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 17490
# total CPU time (s): 8.07668
# total CPU user time (s): 7.93691
# total CPU system time (s): 0.139769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047332 second user time and 0.06562 second system time
The end