Trace number 4294513

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-06-13)SAT 21.1746 8.31124

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06b_c18.xml
MD5SUMed15a4f7a5bcd1b231009209ed1d9727
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.764899
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints381
Number of domains3
Minimum domain size5
Maximum domain size30
Distribution of domain sizes[{"size":5,"count":150},{"size":6,"count":150},{"size":30,"count":300}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":300},{"degree":3,"count":150},{"degree":4,"count":130},{"degree":5,"count":20}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":300},{"arity":4,"count":5},{"arity":5,"count":60},{"arity":30,"count":10},{"arity":60,"count":5},{"arity":150,"count":1}]
Number of extensional constraints300
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":300},{"type":"allDifferent","count":70},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.52	scop both+minisat_release (2018-06-13)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Mon Jul 23 18:04:41 CEST 2018
0.67/0.55	c PID: 17991
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
2.36/1.19	c (0,0) Parsing End
2.36/1.20	c (0,0) CSP: 600 int (0 aux), 0 bool (0 aux), 381 ctr, max domain size 30
2.36/1.20	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.69/1.21	c (0,0) Constraint Name Generate Begin
2.69/1.21	c (0,0) Ctr:HOME/instance-4294513-1532361880.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
2.69/1.21	c (0,0) Constraint Name Generate End
2.69/1.21	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.69/1.21	c (0,0) CSP to CSPinCNF Begin
4.16/1.75	c (1,1) translated 39 (10%) constraints
6.33/2.43	c (1,1) translated 77 (20%) constraints
8.08/2.94	c (2,2) translated 115 (30%) constraints
8.44/3.03	c (2,2) translated 153 (40%) constraints
8.77/3.11	c (2,2) translated 191 (50%) constraints
8.77/3.19	c (2,2) translated 229 (60%) constraints
9.05/3.27	c (2,2) translated 267 (70%) constraints
9.36/3.35	c (2,2) translated 305 (80%) constraints
9.66/3.43	c (2,2) translated 343 (90%) constraints
9.97/3.50	c (2,2) translated 381 (100%) constraints
10.31/3.68	c (3,3) STATISTICS1:HOME/instance-4294513-1532361880.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,2449,20869,30,30,30,2,30:4204;29:176;28:157;27:325;6:300;5:300,30:31322;29:687;28:579;27:1136;6:2400;5:2100;2:8247,30:20;7:150;6:150;5:120;4:199;3:11133;2:9049;1:48,2:5462;1:44547;0:300,
10.31/3.68	c (3,3) ===========================================
10.31/3.68	c (3,3) Both Encoding selects:
10.31/3.68	c (3,3) Order
10.31/3.68	c (3,3) ===========================================
10.99/3.80	c (3,3) translated 2087 (10%) constraints
10.99/3.88	c (3,3) translated 4174 (20%) constraints
11.63/4.03	c (3,3) translated 6261 (30%) constraints
12.28/4.25	c (3,3) translated 8348 (40%) constraints
12.88/4.47	c (3,3) translated 10435 (50%) constraints
13.49/4.67	c (4,4) translated 12522 (60%) constraints
14.09/4.82	c (4,4) translated 14609 (70%) constraints
14.09/4.88	c (4,4) translated 16696 (80%) constraints
14.40/4.95	c (4,4) translated 18783 (90%) constraints
14.72/5.01	c (4,4) translated 20869 (100%) constraints
14.72/5.01	c (4,4) CSP to CSPinCNF End
14.72/5.01	c (4,4) CSP: 600 int (0 aux), 10849 bool (10849 aux), 38869 ctr, max domain size 30
14.72/5.01	c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.72/5.01	c (4,4) CSPinCNF Propagation Begin
15.96/5.40	c (4,4) 118 values, 1211 unsatisfiable literals, and 864 valid clauses are removed
15.96/5.40	c (4,4) CSPinCNF Propagation End
15.96/5.41	c (4,4) CSP: 688 int (88 aux), 10761 bool (10761 aux), 38005 ctr, max domain size 30
15.96/5.41	c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.96/5.41	c (4,4) Simplify CSPinCNF Begin
16.79/5.71	c (5,5) Simplify CSPinCNF End
16.79/5.71	c (5,5) CSP: 688 int (88 aux), 20926 bool (20926 aux), 48170 ctr, max domain size 30
16.79/5.71	c (5,5) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.79/5.71	c (5,5) Calculate Precise Domain Begin
16.79/5.71	c (5,5) 0 values are removed by re-calculation
16.79/5.71	c (5,5) Calculate Precise Domain End
16.79/5.72	c (5,5) CSP: 688 int (88 aux), 20926 bool (20926 aux), 48170 ctr, max domain size 30
16.79/5.72	c (5,5) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.79/5.72	c (5,5) CSPinCNF to SatSolver Begin
17.94/6.20	c (5,5) 4817 (10 %) CSP clauses are encoded (30888 SAT variables, 104850 SAT clauses)
18.32/6.48	c (5,5) 9634 (20 %) CSP clauses are encoded (30888 SAT variables, 200657 SAT clauses)
18.69/6.70	c (6,6) 14451 (30 %) CSP clauses are encoded (30888 SAT variables, 274856 SAT clauses)
18.69/6.73	c (6,6) 19268 (40 %) CSP clauses are encoded (30888 SAT variables, 281363 SAT clauses)
18.69/6.76	c (6,6) 24085 (50 %) CSP clauses are encoded (30888 SAT variables, 286180 SAT clauses)
18.69/6.78	c (6,6) 28902 (60 %) CSP clauses are encoded (30888 SAT variables, 290997 SAT clauses)
18.79/6.81	c (6,6) 33719 (70 %) CSP clauses are encoded (30888 SAT variables, 295814 SAT clauses)
18.79/6.83	c (6,6) 38536 (80 %) CSP clauses are encoded (30888 SAT variables, 300631 SAT clauses)
18.92/6.90	c (6,6) 43353 (90 %) CSP clauses are encoded (30888 SAT variables, 319797 SAT clauses)
18.92/6.94	c (6,6) 48170 (100 %) CSP clauses are encoded (30888 SAT variables, 324614 SAT clauses)
18.92/6.94	c (6,6) CSPinCNF to SatSolver End
18.92/6.94	c (6,6) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.56/7.18	c (6,6) STATISTICS2:HOME/instance-4294513-1532361880.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,21614,48170,30,30,30,2,30:7091;29:322;28:611;27:1188;6:600;5:600,30:51905;29:1147;28:2077;27:3696;6:3000;5:2700;2:54917,30:5;27:14;25:1;6:150;5:270;4:199;3:10417;2:37066;1:48,2:10412;1:98618,
19.56/7.18	c (6,6) SatSolver.solve Begin
19.56/7.18	c (6,6) 30888 bool, 324615 clause
19.56/7.18	c (6,6) 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-4294513-1532361880.xml-scop-17991.cnf HOME/instance-4294513-1532361880.xml-scop-17991.cnf.out
20.75/8.20	c (7,0) c This is COMiniSatPS.
20.75/8.20	c (7,0) c WARNING: for repeatability, setting FPU to use double precision
20.75/8.20	c (7,0) c ============================[ Problem Statistics ]=============================
20.75/8.20	c (7,0) c |                                                                             |
20.75/8.20	c (7,0) c |  Number of variables:         30888                                         |
20.75/8.20	c (7,0) c |  Number of clauses:          324158                                         |
20.75/8.20	c (7,0) c |  Parse time:                   0.09 s                                       |
20.75/8.20	c (7,0) c |  Eliminated clauses:           0.33 Mb                                      |
20.75/8.20	c (7,0) c Reduced to 14565 vars, 287738 cls (grow=0)
20.75/8.20	c (7,0) c No iterative elimination performed. (vars=14565, c/v ratio=19.8)
20.75/8.20	c (7,0) c |  Simplification time:          0.33 s                                       |
20.75/8.20	c (7,0) c |                                                                             |
20.75/8.20	c (7,0) c ============================[ Search Statistics ]==============================
20.75/8.20	c (7,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.75/8.20	c (7,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
20.75/8.20	c (7,0) c ===============================================================================
20.75/8.20	c (7,0) c ===============================================================================
20.75/8.20	c (7,0) c restarts              : 31
20.75/8.20	c (7,0) c conflicts             : 5044           (5104 /sec)
20.75/8.20	c (7,0) c decisions             : 54965          (0.00 % random) (55620 /sec)
20.75/8.20	c (7,0) c propagations          : 2554931        (2585379 /sec)
20.75/8.20	c (7,0) c conflict literals     : 51957          (7.30 % deleted)
20.75/8.20	c (7,0) c CPU time              : 0.988223 s
20.75/8.20	c (7,0) 
20.75/8.20	c (7,0) s SATISFIABLE
20.87/8.24	c (7,6) SatSolver.solve End
20.87/8.24	c (7,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.87/8.24	c (7,6) Show results Begin
20.87/8.26	c (7,6) gve[0][0] = 0
20.87/8.26	c (7,6) gve[0][1] = 3
20.87/8.26	c (7,6) gve[0][2] = 5
20.87/8.26	c (7,6) gve[0][3] = 4
20.87/8.26	c (7,6) gve[0][4] = 2
20.87/8.26	c (7,6) gve[1][0] = 0
20.87/8.26	c (7,6) gve[1][1] = 1
20.87/8.26	c (7,6) gve[1][2] = 4
20.87/8.26	c (7,6) gve[1][3] = 3
20.87/8.26	c (7,6) gve[1][4] = 2
20.87/8.26	c (7,6) gve[2][0] = 0
20.87/8.27	c (7,6) gve[2][1] = 4
20.87/8.27	c (7,6) gve[2][2] = 5
20.87/8.27	c (7,6) gve[2][3] = 2
20.87/8.27	c (7,6) gve[2][4] = 1
20.87/8.27	c (7,6) gve[3][0] = 0
20.87/8.27	c (7,6) gve[3][1] = 3
20.87/8.27	c (7,6) gve[3][2] = 5
20.87/8.27	c (7,6) gve[3][3] = 4
20.87/8.27	c (7,6) gve[3][4] = 2
20.87/8.27	c (7,6) gve[4][0] = 0
20.87/8.27	c (7,6) gve[4][1] = 3
20.87/8.27	c (7,6) gve[4][2] = 4
20.87/8.27	c (7,6) gve[4][3] = 2
20.87/8.27	c (7,6) gve[4][4] = 1
20.87/8.27	c (7,6) gve[5][0] = 1
20.87/8.27	c (7,6) gve[5][1] = 3
20.87/8.27	c (7,6) gve[5][2] = 5
20.87/8.27	c (7,6) gve[5][3] = 2
20.87/8.27	c (7,6) gve[5][4] = 4
20.87/8.27	c (7,6) gve[6][0] = 1
20.87/8.27	c (7,6) gve[6][1] = 0
20.87/8.27	c (7,6) gve[6][2] = 3
20.87/8.27	c (7,6) gve[6][3] = 4
20.87/8.27	c (7,6) gve[6][4] = 2
20.87/8.27	c (7,6) gve[7][0] = 1
20.87/8.27	c (7,6) gve[7][1] = 5
20.87/8.27	c (7,6) gve[7][2] = 2
20.87/8.27	c (7,6) gve[7][3] = 4
20.87/8.27	c (7,6) gve[7][4] = 3
20.87/8.27	c (7,6) gve[8][0] = 1
20.87/8.27	c (7,6) gve[8][1] = 0
20.87/8.27	c (7,6) gve[8][2] = 4
20.87/8.27	c (7,6) gve[8][3] = 2
20.87/8.27	c (7,6) gve[8][4] = 3
20.87/8.27	c (7,6) gve[9][0] = 2
20.87/8.27	c (7,6) gve[9][1] = 5
20.87/8.27	c (7,6) gve[9][2] = 0
20.87/8.27	c (7,6) gve[9][3] = 4
20.87/8.27	c (7,6) gve[9][4] = 1
20.87/8.27	c (7,6) gve[10][0] = 2
20.87/8.27	c (7,6) gve[10][1] = 5
20.87/8.27	c (7,6) gve[10][2] = 0
20.87/8.27	c (7,6) gve[10][3] = 3
20.87/8.27	c (7,6) gve[10][4] = 4
20.87/8.27	c (7,6) gve[11][0] = 2
20.87/8.27	c (7,6) gve[11][1] = 5
20.87/8.27	c (7,6) gve[11][2] = 3
20.87/8.27	c (7,6) gve[11][3] = 0
20.87/8.27	c (7,6) gve[11][4] = 4
20.87/8.27	c (7,6) gve[12][0] = 2
20.87/8.27	c (7,6) gve[12][1] = 1
20.87/8.27	c (7,6) gve[12][2] = 4
20.87/8.27	c (7,6) gve[12][3] = 5
20.87/8.27	c (7,6) gve[12][4] = 0
20.87/8.27	c (7,6) gve[13][0] = 2
20.87/8.27	c (7,6) gve[13][1] = 4
20.87/8.27	c (7,6) gve[13][2] = 0
20.87/8.27	c (7,6) gve[13][3] = 5
20.87/8.27	c (7,6) gve[13][4] = 3
20.87/8.27	c (7,6) gve[14][0] = 2
20.87/8.27	c (7,6) gve[14][1] = 1
20.87/8.27	c (7,6) gve[14][2] = 3
20.87/8.27	c (7,6) gve[14][3] = 0
20.87/8.27	c (7,6) gve[14][4] = 4
20.87/8.27	c (7,6) gve[15][0] = 3
20.87/8.27	c (7,6) gve[15][1] = 1
20.87/8.27	c (7,6) gve[15][2] = 4
20.87/8.27	c (7,6) gve[15][3] = 2
20.87/8.27	c (7,6) gve[15][4] = 0
20.87/8.27	c (7,6) gve[16][0] = 3
20.87/8.27	c (7,6) gve[16][1] = 0
20.87/8.27	c (7,6) gve[16][2] = 4
20.87/8.27	c (7,6) gve[16][3] = 5
20.87/8.27	c (7,6) gve[16][4] = 2
20.87/8.27	c (7,6) gve[17][0] = 3
20.87/8.27	c (7,6) gve[17][1] = 4
20.87/8.27	c (7,6) gve[17][2] = 2
20.87/8.27	c (7,6) gve[17][3] = 5
20.87/8.27	c (7,6) gve[17][4] = 1
20.87/8.27	c (7,6) gve[18][0] = 3
20.87/8.27	c (7,6) gve[18][1] = 4
20.87/8.27	c (7,6) gve[18][2] = 2
20.87/8.27	c (7,6) gve[18][3] = 1
20.87/8.27	c (7,6) gve[18][4] = 5
20.87/8.27	c (7,6) gve[19][0] = 3
20.87/8.27	c (7,6) gve[19][1] = 4
20.87/8.27	c (7,6) gve[19][2] = 2
20.87/8.27	c (7,6) gve[19][3] = 0
20.87/8.27	c (7,6) gve[19][4] = 5
20.87/8.27	c (7,6) gve[20][0] = 4
20.87/8.27	c (7,6) gve[20][1] = 2
20.87/8.27	c (7,6) gve[20][2] = 1
20.87/8.27	c (7,6) gve[20][3] = 0
20.87/8.27	c (7,6) gve[20][4] = 5
20.87/8.27	c (7,6) gve[21][0] = 4
20.87/8.27	c (7,6) gve[21][1] = 2
20.87/8.27	c (7,6) gve[21][2] = 1
20.87/8.27	c (7,6) gve[21][3] = 3
20.87/8.27	c (7,6) gve[21][4] = 0
20.87/8.27	c (7,6) gve[22][0] = 4
20.87/8.27	c (7,6) gve[22][1] = 3
20.87/8.27	c (7,6) gve[22][2] = 2
20.87/8.27	c (7,6) gve[22][3] = 0
20.87/8.27	c (7,6) gve[22][4] = 5
20.87/8.27	c (7,6) gve[23][0] = 4
20.87/8.27	c (7,6) gve[23][1] = 2
20.87/8.27	c (7,6) gve[23][2] = 3
20.87/8.27	c (7,6) gve[23][3] = 1
20.87/8.27	c (7,6) gve[23][4] = 0
20.87/8.27	c (7,6) gve[24][0] = 4
20.87/8.27	c (7,6) gve[24][1] = 0
20.87/8.27	c (7,6) gve[24][2] = 1
20.87/8.27	c (7,6) gve[24][3] = 3
20.87/8.27	c (7,6) gve[24][4] = 2
20.87/8.27	c (7,6) gve[25][0] = 4
20.87/8.27	c (7,6) gve[25][1] = 2
20.87/8.27	c (7,6) gve[25][2] = 0
20.87/8.27	c (7,6) gve[25][3] = 1
20.87/8.27	c (7,6) gve[25][4] = 3
20.87/8.27	c (7,6) gve[26][0] = 5
20.87/8.27	c (7,6) gve[26][1] = 4
20.87/8.27	c (7,6) gve[26][2] = 0
20.87/8.27	c (7,6) gve[26][3] = 2
20.87/8.27	c (7,6) gve[26][4] = 3
20.87/8.27	c (7,6) gve[27][0] = 5
20.87/8.27	c (7,6) gve[27][1] = 0
20.87/8.27	c (7,6) gve[27][2] = 2
20.87/8.27	c (7,6) gve[27][3] = 1
20.87/8.27	c (7,6) gve[27][4] = 4
20.87/8.27	c (7,6) gve[28][0] = 5
20.87/8.27	c (7,6) gve[28][1] = 2
20.87/8.27	c (7,6) gve[28][2] = 1
20.87/8.27	c (7,6) gve[28][3] = 3
20.87/8.27	c (7,6) gve[28][4] = 4
20.87/8.27	c (7,6) gve[29][0] = 5
20.87/8.27	c (7,6) gve[29][1] = 2
20.87/8.27	c (7,6) gve[29][2] = 3
20.87/8.27	c (7,6) gve[29][3] = 4
20.87/8.27	c (7,6) gve[29][4] = 0
20.87/8.27	c (7,6) gvr[0][0] = 0
20.87/8.27	c (7,6) gvr[0][1] = 1
20.87/8.27	c (7,6) gvr[0][2] = 2
20.87/8.27	c (7,6) gvr[0][3] = 3
20.87/8.27	c (7,6) gvr[0][4] = 4
20.87/8.27	c (7,6) gvr[1][0] = 0
20.87/8.27	c (7,6) gvr[1][1] = 1
20.87/8.27	c (7,6) gvr[1][2] = 4
20.87/8.27	c (7,6) gvr[1][3] = 2
20.87/8.27	c (7,6) gvr[1][4] = 3
20.87/8.27	c (7,6) gvr[2][0] = 0
20.87/8.27	c (7,6) gvr[2][1] = 4
20.87/8.27	c (7,6) gvr[2][2] = 1
20.87/8.27	c (7,6) gvr[2][3] = 3
20.87/8.27	c (7,6) gvr[2][4] = 2
20.87/8.27	c (7,6) gvr[3][0] = 0
20.87/8.27	c (7,6) gvr[3][1] = 4
20.87/8.27	c (7,6) gvr[3][2] = 1
20.87/8.27	c (7,6) gvr[3][3] = 3
20.87/8.27	c (7,6) gvr[3][4] = 2
20.87/8.27	c (7,6) gvr[4][0] = 0
20.87/8.27	c (7,6) gvr[4][1] = 2
20.87/8.27	c (7,6) gvr[4][2] = 4
20.87/8.27	c (7,6) gvr[4][3] = 1
20.87/8.27	c (7,6) gvr[4][4] = 3
20.87/8.27	c (7,6) gvr[5][0] = 0
20.87/8.27	c (7,6) gvr[5][1] = 2
20.87/8.27	c (7,6) gvr[5][2] = 3
20.87/8.27	c (7,6) gvr[5][3] = 4
20.87/8.27	c (7,6) gvr[5][4] = 1
20.87/8.27	c (7,6) gvr[6][0] = 1
20.87/8.27	c (7,6) gvr[6][1] = 2
20.87/8.27	c (7,6) gvr[6][2] = 4
20.87/8.27	c (7,6) gvr[6][3] = 3
20.87/8.27	c (7,6) gvr[6][4] = 0
20.87/8.27	c (7,6) gvr[7][0] = 1
20.87/8.27	c (7,6) gvr[7][1] = 0
20.87/8.27	c (7,6) gvr[7][2] = 3
20.87/8.27	c (7,6) gvr[7][3] = 4
20.87/8.27	c (7,6) gvr[7][4] = 2
20.87/8.27	c (7,6) gvr[8][0] = 1
20.87/8.27	c (7,6) gvr[8][1] = 2
20.87/8.27	c (7,6) gvr[8][2] = 4
20.87/8.27	c (7,6) gvr[8][3] = 3
20.87/8.27	c (7,6) gvr[8][4] = 0
20.87/8.27	c (7,6) gvr[9][0] = 1
20.87/8.27	c (7,6) gvr[9][1] = 4
20.87/8.27	c (7,6) gvr[9][2] = 3
20.87/8.27	c (7,6) gvr[9][3] = 2
20.87/8.27	c (7,6) gvr[9][4] = 0
20.87/8.27	c (7,6) gvr[10][0] = 1
20.87/8.27	c (7,6) gvr[10][1] = 3
20.87/8.27	c (7,6) gvr[10][2] = 2
20.87/8.27	c (7,6) gvr[10][3] = 4
20.87/8.27	c (7,6) gvr[10][4] = 0
20.87/8.27	c (7,6) gvr[11][0] = 1
20.87/8.27	c (7,6) gvr[11][1] = 4
20.87/8.27	c (7,6) gvr[11][2] = 3
20.87/8.27	c (7,6) gvr[11][3] = 0
20.87/8.27	c (7,6) gvr[11][4] = 2
20.87/8.27	c (7,6) gvr[12][0] = 2
20.87/8.27	c (7,6) gvr[12][1] = 4
20.87/8.27	c (7,6) gvr[12][2] = 3
20.87/8.27	c (7,6) gvr[12][3] = 1
20.87/8.27	c (7,6) gvr[12][4] = 0
20.87/8.27	c (7,6) gvr[13][0] = 2
20.87/8.27	c (7,6) gvr[13][1] = 3
20.87/8.27	c (7,6) gvr[13][2] = 1
20.87/8.27	c (7,6) gvr[13][3] = 0
20.87/8.27	c (7,6) gvr[13][4] = 4
20.87/8.27	c (7,6) gvr[14][0] = 2
20.87/8.27	c (7,6) gvr[14][1] = 3
20.87/8.27	c (7,6) gvr[14][2] = 4
20.87/8.27	c (7,6) gvr[14][3] = 0
20.87/8.27	c (7,6) gvr[14][4] = 1
20.87/8.27	c (7,6) gvr[15][0] = 2
20.87/8.27	c (7,6) gvr[15][1] = 3
20.87/8.27	c (7,6) gvr[15][2] = 1
20.87/8.27	c (7,6) gvr[15][3] = 0
20.87/8.27	c (7,6) gvr[15][4] = 4
20.87/8.27	c (7,6) gvr[16][0] = 2
20.87/8.27	c (7,6) gvr[16][1] = 0
20.87/8.27	c (7,6) gvr[16][2] = 3
20.87/8.27	c (7,6) gvr[16][3] = 4
20.87/8.27	c (7,6) gvr[16][4] = 1
20.87/8.27	c (7,6) gvr[17][0] = 2
20.87/8.27	c (7,6) gvr[17][1] = 0
20.87/8.27	c (7,6) gvr[17][2] = 4
20.87/8.27	c (7,6) gvr[17][3] = 3
20.87/8.27	c (7,6) gvr[17][4] = 1
20.87/8.27	c (7,6) gvr[18][0] = 3
20.87/8.27	c (7,6) gvr[18][1] = 0
20.87/8.27	c (7,6) gvr[18][2] = 2
20.87/8.27	c (7,6) gvr[18][3] = 1
20.87/8.27	c (7,6) gvr[18][4] = 4
20.87/8.27	c (7,6) gvr[19][0] = 3
20.87/8.27	c (7,6) gvr[19][1] = 0
20.87/8.27	c (7,6) gvr[19][2] = 1
20.87/8.27	c (7,6) gvr[19][3] = 4
20.87/8.27	c (7,6) gvr[19][4] = 2
20.87/8.27	c (7,6) gvr[20][0] = 3
20.87/8.27	c (7,6) gvr[20][1] = 0
20.87/8.27	c (7,6) gvr[20][2] = 2
20.87/8.27	c (7,6) gvr[20][3] = 1
20.87/8.27	c (7,6) gvr[20][4] = 4
20.87/8.27	c (7,6) gvr[21][0] = 3
20.87/8.27	c (7,6) gvr[21][1] = 2
20.87/8.27	c (7,6) gvr[21][2] = 0
20.87/8.27	c (7,6) gvr[21][3] = 4
20.87/8.27	c (7,6) gvr[21][4] = 1
20.87/8.27	c (7,6) gvr[22][0] = 3
20.87/8.27	c (7,6) gvr[22][1] = 4
20.87/8.27	c (7,6) gvr[22][2] = 1
20.87/8.27	c (7,6) gvr[22][3] = 0
20.87/8.27	c (7,6) gvr[22][4] = 2
20.87/8.27	c (7,6) gvr[23][0] = 3
20.87/8.27	c (7,6) gvr[23][1] = 2
20.87/8.27	c (7,6) gvr[23][2] = 0
20.87/8.27	c (7,6) gvr[23][3] = 1
20.87/8.27	c (7,6) gvr[23][4] = 4
20.87/8.27	c (7,6) gvr[24][0] = 4
20.87/8.27	c (7,6) gvr[24][1] = 3
20.87/8.27	c (7,6) gvr[24][2] = 2
20.87/8.27	c (7,6) gvr[24][3] = 1
20.87/8.27	c (7,6) gvr[24][4] = 0
20.87/8.27	c (7,6) gvr[25][0] = 4
20.87/8.27	c (7,6) gvr[25][1] = 3
20.87/8.27	c (7,6) gvr[25][2] = 2
20.87/8.27	c (7,6) gvr[25][3] = 0
20.87/8.27	c (7,6) gvr[25][4] = 1
20.87/8.27	c (7,6) gvr[26][0] = 4
20.87/8.27	c (7,6) gvr[26][1] = 1
20.87/8.27	c (7,6) gvr[26][2] = 0
20.87/8.27	c (7,6) gvr[26][3] = 2
20.87/8.27	c (7,6) gvr[26][4] = 3
20.87/8.27	c (7,6) gvr[27][0] = 4
20.87/8.27	c (7,6) gvr[27][1] = 1
20.87/8.27	c (7,6) gvr[27][2] = 0
20.87/8.27	c (7,6) gvr[27][3] = 2
20.87/8.27	c (7,6) gvr[27][4] = 3
20.87/8.27	c (7,6) gvr[28][0] = 4
20.87/8.27	c (7,6) gvr[28][1] = 1
20.87/8.27	c (7,6) gvr[28][2] = 0
20.87/8.27	c (7,6) gvr[28][3] = 2
20.87/8.27	c (7,6) gvr[28][4] = 3
20.87/8.27	c (7,6) gvr[29][0] = 4
20.87/8.27	c (7,6) gvr[29][1] = 1
20.87/8.27	c (7,6) gvr[29][2] = 0
20.87/8.27	c (7,6) gvr[29][3] = 2
20.87/8.27	c (7,6) gvr[29][4] = 3
20.87/8.27	c (7,6) ve[0][0] = 0
20.87/8.27	c (7,6) ve[0][1] = 18
20.87/8.27	c (7,6) ve[0][2] = 26
20.87/8.27	c (7,6) ve[0][3] = 22
20.87/8.27	c (7,6) ve[0][4] = 9
20.87/8.27	c (7,6) ve[1][0] = 1
20.87/8.27	c (7,6) ve[1][1] = 7
20.87/8.27	c (7,6) ve[1][2] = 23
20.87/8.27	c (7,6) ve[1][3] = 15
20.87/8.27	c (7,6) ve[1][4] = 10
20.87/8.27	c (7,6) ve[2][0] = 2
20.87/8.27	c (7,6) ve[2][1] = 20
20.87/8.27	c (7,6) ve[2][2] = 27
20.87/8.27	c (7,6) ve[2][3] = 13
20.87/8.27	c (7,6) ve[2][4] = 6
20.87/8.27	c (7,6) ve[3][0] = 3
20.87/8.27	c (7,6) ve[3][1] = 17
20.87/8.27	c (7,6) ve[3][2] = 28
20.87/8.27	c (7,6) ve[3][3] = 25
20.87/8.27	c (7,6) ve[3][4] = 12
20.87/8.27	c (7,6) ve[4][0] = 4
20.87/8.27	c (7,6) ve[4][1] = 16
20.87/8.27	c (7,6) ve[4][2] = 21
20.87/8.27	c (7,6) ve[4][3] = 11
20.87/8.27	c (7,6) ve[4][4] = 8
20.87/8.27	c (7,6) ve[5][0] = 5
20.87/8.27	c (7,6) ve[5][1] = 19
20.87/8.27	c (7,6) ve[5][2] = 29
20.87/8.27	c (7,6) ve[5][3] = 14
20.87/8.27	c (7,6) ve[5][4] = 24
20.87/8.27	c (7,6) ve[6][0] = 6
20.87/8.27	c (7,6) ve[6][1] = 1
20.87/8.27	c (7,6) ve[6][2] = 15
20.87/8.27	c (7,6) ve[6][3] = 23
20.87/8.27	c (7,6) ve[6][4] = 14
20.87/8.27	c (7,6) ve[7][0] = 7
20.87/8.27	c (7,6) ve[7][1] = 26
20.87/8.27	c (7,6) ve[7][2] = 13
20.87/8.27	c (7,6) ve[7][3] = 24
20.87/8.27	c (7,6) ve[7][4] = 16
20.87/8.27	c (7,6) ve[8][0] = 8
20.87/8.27	c (7,6) ve[8][1] = 0
20.87/8.27	c (7,6) ve[8][2] = 22
20.87/8.27	c (7,6) ve[8][3] = 12
20.87/8.27	c (7,6) ve[8][4] = 17
20.87/8.27	c (7,6) ve[9][0] = 9
20.87/8.27	c (7,6) ve[9][1] = 27
20.87/8.27	c (7,6) ve[9][2] = 3
20.87/8.27	c (7,6) ve[9][3] = 20
20.87/8.27	c (7,6) ve[9][4] = 5
20.87/8.27	c (7,6) ve[10][0] = 10
20.87/8.27	c (7,6) ve[10][1] = 28
20.87/8.27	c (7,6) ve[10][2] = 2
20.87/8.27	c (7,6) ve[10][3] = 18
20.87/8.27	c (7,6) ve[10][4] = 21
20.87/8.27	c (7,6) ve[11][0] = 11
20.87/8.27	c (7,6) ve[11][1] = 29
20.87/8.27	c (7,6) ve[11][2] = 19
20.87/8.27	c (7,6) ve[11][3] = 4
20.87/8.27	c (7,6) ve[11][4] = 25
20.87/8.27	c (7,6) ve[12][0] = 12
20.87/8.27	c (7,6) ve[12][1] = 5
20.87/8.27	c (7,6) ve[12][2] = 20
20.87/8.27	c (7,6) ve[12][3] = 26
20.87/8.27	c (7,6) ve[12][4] = 3
20.87/8.27	c (7,6) ve[13][0] = 13
20.87/8.27	c (7,6) ve[13][1] = 23
20.87/8.27	c (7,6) ve[13][2] = 0
20.87/8.27	c (7,6) ve[13][3] = 27
20.87/8.27	c (7,6) ve[13][4] = 19
20.87/8.27	c (7,6) ve[14][0] = 14
20.87/8.27	c (7,6) ve[14][1] = 6
20.87/8.27	c (7,6) ve[14][2] = 18
20.87/8.27	c (7,6) ve[14][3] = 1
20.87/8.27	c (7,6) ve[14][4] = 22
20.87/8.27	c (7,6) ve[15][0] = 15
20.87/8.27	c (7,6) ve[15][1] = 8
20.87/8.27	c (7,6) ve[15][2] = 25
20.87/8.27	c (7,6) ve[15][3] = 9
20.87/8.27	c (7,6) ve[15][4] = 2
20.87/8.27	c (7,6) ve[16][0] = 16
20.87/8.27	c (7,6) ve[16][1] = 4
20.87/8.27	c (7,6) ve[16][2] = 24
20.87/8.27	c (7,6) ve[16][3] = 28
20.87/8.27	c (7,6) ve[16][4] = 11
20.87/8.27	c (7,6) ve[17][0] = 17
20.87/8.27	c (7,6) ve[17][1] = 21
20.87/8.27	c (7,6) ve[17][2] = 10
20.87/8.27	c (7,6) ve[17][3] = 29
20.87/8.27	c (7,6) ve[17][4] = 7
20.87/8.27	c (7,6) ve[18][0] = 18
20.87/8.27	c (7,6) ve[18][1] = 25
20.87/8.27	c (7,6) ve[18][2] = 11
20.87/8.27	c (7,6) ve[18][3] = 8
20.87/8.27	c (7,6) ve[18][4] = 26
20.87/8.27	c (7,6) ve[19][0] = 19
20.87/8.27	c (7,6) ve[19][1] = 24
20.87/8.27	c (7,6) ve[19][2] = 9
20.87/8.27	c (7,6) ve[19][3] = 2
20.87/8.27	c (7,6) ve[19][4] = 27
20.87/8.27	c (7,6) ve[20][0] = 20
20.87/8.27	c (7,6) ve[20][1] = 10
20.87/8.27	c (7,6) ve[20][2] = 7
20.87/8.27	c (7,6) ve[20][3] = 3
20.87/8.27	c (7,6) ve[20][4] = 28
20.87/8.27	c (7,6) ve[21][0] = 21
20.87/8.27	c (7,6) ve[21][1] = 13
20.87/8.27	c (7,6) ve[21][2] = 5
20.87/8.27	c (7,6) ve[21][3] = 17
20.87/8.27	c (7,6) ve[21][4] = 1
20.87/8.27	c (7,6) ve[22][0] = 22
20.87/8.27	c (7,6) ve[22][1] = 15
20.87/8.27	c (7,6) ve[22][2] = 12
20.87/8.27	c (7,6) ve[22][3] = 0
20.87/8.27	c (7,6) ve[22][4] = 29
20.87/8.27	c (7,6) ve[23][0] = 23
20.87/8.27	c (7,6) ve[23][1] = 14
20.87/8.27	c (7,6) ve[23][2] = 16
20.87/8.27	c (7,6) ve[23][3] = 6
20.87/8.27	c (7,6) ve[23][4] = 4
20.87/8.27	c (7,6) ve[24][0] = 24
20.87/8.27	c (7,6) ve[24][1] = 2
20.87/8.27	c (7,6) ve[24][2] = 8
20.87/8.27	c (7,6) ve[24][3] = 16
20.87/8.27	c (7,6) ve[24][4] = 13
20.87/8.27	c (7,6) ve[25][0] = 25
20.87/8.27	c (7,6) ve[25][1] = 11
20.87/8.27	c (7,6) ve[25][2] = 4
20.87/8.27	c (7,6) ve[25][3] = 7
20.87/8.27	c (7,6) ve[25][4] = 15
20.87/8.27	c (7,6) ve[26][0] = 26
20.87/8.27	c (7,6) ve[26][1] = 22
20.87/8.27	c (7,6) ve[26][2] = 1
20.87/8.27	c (7,6) ve[26][3] = 10
20.87/8.27	c (7,6) ve[26][4] = 18
20.87/8.27	c (7,6) ve[27][0] = 27
20.87/8.27	c (7,6) ve[27][1] = 3
20.87/8.27	c (7,6) ve[27][2] = 14
20.87/8.27	c (7,6) ve[27][3] = 5
20.87/8.27	c (7,6) ve[27][4] = 20
20.87/8.27	c (7,6) ve[28][0] = 28
20.87/8.27	c (7,6) ve[28][1] = 9
20.87/8.27	c (7,6) ve[28][2] = 6
20.87/8.27	c (7,6) ve[28][3] = 19
20.87/8.27	c (7,6) ve[28][4] = 23
20.87/8.27	c (7,6) ve[29][0] = 29
20.87/8.27	c (7,6) ve[29][1] = 12
20.87/8.27	c (7,6) ve[29][2] = 17
20.87/8.27	c (7,6) ve[29][3] = 21
20.87/8.27	c (7,6) ve[29][4] = 0
20.87/8.27	c (7,6) vr[0][0] = 0
20.87/8.27	c (7,6) vr[0][1] = 8
20.87/8.27	c (7,6) vr[0][2] = 13
20.87/8.27	c (7,6) vr[0][3] = 22
20.87/8.27	c (7,6) vr[0][4] = 29
20.87/8.27	c (7,6) vr[1][0] = 1
20.87/8.27	c (7,6) vr[1][1] = 6
20.87/8.27	c (7,6) vr[1][2] = 26
20.87/8.27	c (7,6) vr[1][3] = 14
20.87/8.27	c (7,6) vr[1][4] = 21
20.87/8.27	c (7,6) vr[2][0] = 2
20.87/8.27	c (7,6) vr[2][1] = 24
20.87/8.27	c (7,6) vr[2][2] = 10
20.87/8.27	c (7,6) vr[2][3] = 19
20.87/8.27	c (7,6) vr[2][4] = 15
20.87/8.27	c (7,6) vr[3][0] = 3
20.87/8.27	c (7,6) vr[3][1] = 27
20.87/8.27	c (7,6) vr[3][2] = 9
20.87/8.27	c (7,6) vr[3][3] = 20
20.87/8.27	c (7,6) vr[3][4] = 12
20.87/8.27	c (7,6) vr[4][0] = 4
20.87/8.27	c (7,6) vr[4][1] = 16
20.87/8.27	c (7,6) vr[4][2] = 25
20.87/8.27	c (7,6) vr[4][3] = 11
20.87/8.27	c (7,6) vr[4][4] = 23
20.87/8.27	c (7,6) vr[5][0] = 5
20.87/8.27	c (7,6) vr[5][1] = 12
20.87/8.27	c (7,6) vr[5][2] = 21
20.87/8.27	c (7,6) vr[5][3] = 27
20.87/8.27	c (7,6) vr[5][4] = 9
20.87/8.27	c (7,6) vr[6][0] = 6
20.87/8.27	c (7,6) vr[6][1] = 14
20.87/8.27	c (7,6) vr[6][2] = 28
20.87/8.27	c (7,6) vr[6][3] = 23
20.87/8.27	c (7,6) vr[6][4] = 2
20.87/8.27	c (7,6) vr[7][0] = 7
20.87/8.27	c (7,6) vr[7][1] = 1
20.87/8.27	c (7,6) vr[7][2] = 20
20.87/8.27	c (7,6) vr[7][3] = 25
20.87/8.27	c (7,6) vr[7][4] = 17
20.87/8.27	c (7,6) vr[8][0] = 8
20.87/8.27	c (7,6) vr[8][1] = 15
20.87/8.27	c (7,6) vr[8][2] = 24
20.87/8.27	c (7,6) vr[8][3] = 18
20.87/8.27	c (7,6) vr[8][4] = 4
20.87/8.27	c (7,6) vr[9][0] = 9
20.87/8.27	c (7,6) vr[9][1] = 28
20.87/8.27	c (7,6) vr[9][2] = 19
20.87/8.27	c (7,6) vr[9][3] = 15
20.87/8.27	c (7,6) vr[9][4] = 0
20.87/8.27	c (7,6) vr[10][0] = 10
20.87/8.27	c (7,6) vr[10][1] = 20
20.87/8.27	c (7,6) vr[10][2] = 17
20.87/8.27	c (7,6) vr[10][3] = 26
20.87/8.27	c (7,6) vr[10][4] = 1
20.87/8.27	c (7,6) vr[11][0] = 11
20.87/8.27	c (7,6) vr[11][1] = 25
20.87/8.27	c (7,6) vr[11][2] = 18
20.87/8.27	c (7,6) vr[11][3] = 4
20.87/8.27	c (7,6) vr[11][4] = 16
20.87/8.27	c (7,6) vr[12][0] = 12
20.87/8.27	c (7,6) vr[12][1] = 29
20.87/8.27	c (7,6) vr[12][2] = 22
20.87/8.27	c (7,6) vr[12][3] = 8
20.87/8.27	c (7,6) vr[12][4] = 3
20.87/8.27	c (7,6) vr[13][0] = 13
20.87/8.27	c (7,6) vr[13][1] = 21
20.87/8.27	c (7,6) vr[13][2] = 7
20.87/8.27	c (7,6) vr[13][3] = 2
20.87/8.27	c (7,6) vr[13][4] = 24
20.87/8.27	c (7,6) vr[14][0] = 14
20.87/8.27	c (7,6) vr[14][1] = 23
20.87/8.27	c (7,6) vr[14][2] = 27
20.87/8.27	c (7,6) vr[14][3] = 5
20.87/8.27	c (7,6) vr[14][4] = 6
20.87/8.27	c (7,6) vr[15][0] = 15
20.87/8.27	c (7,6) vr[15][1] = 22
20.87/8.27	c (7,6) vr[15][2] = 6
20.87/8.27	c (7,6) vr[15][3] = 1
20.87/8.27	c (7,6) vr[15][4] = 25
20.87/8.27	c (7,6) vr[16][0] = 16
20.87/8.27	c (7,6) vr[16][1] = 4
20.87/8.27	c (7,6) vr[16][2] = 23
20.87/8.27	c (7,6) vr[16][3] = 24
20.87/8.28	c (7,6) vr[16][4] = 7
20.87/8.28	c (7,6) vr[17][0] = 17
20.87/8.28	c (7,6) vr[17][1] = 3
20.87/8.28	c (7,6) vr[17][2] = 29
20.87/8.28	c (7,6) vr[17][3] = 21
20.87/8.28	c (7,6) vr[17][4] = 8
20.87/8.28	c (7,6) vr[18][0] = 18
20.87/8.28	c (7,6) vr[18][1] = 0
20.87/8.28	c (7,6) vr[18][2] = 14
20.87/8.28	c (7,6) vr[18][3] = 10
20.87/8.28	c (7,6) vr[18][4] = 26
20.87/8.28	c (7,6) vr[19][0] = 19
20.87/8.28	c (7,6) vr[19][1] = 5
20.87/8.28	c (7,6) vr[19][2] = 11
20.87/8.28	c (7,6) vr[19][3] = 28
20.87/8.28	c (7,6) vr[19][4] = 13
20.87/8.28	c (7,6) vr[20][0] = 20
20.87/8.28	c (7,6) vr[20][1] = 2
20.87/8.28	c (7,6) vr[20][2] = 12
20.87/8.28	c (7,6) vr[20][3] = 9
20.87/8.28	c (7,6) vr[20][4] = 27
20.87/8.28	c (7,6) vr[21][0] = 21
20.87/8.28	c (7,6) vr[21][1] = 17
20.87/8.28	c (7,6) vr[21][2] = 4
20.87/8.28	c (7,6) vr[21][3] = 29
20.87/8.28	c (7,6) vr[21][4] = 10
20.87/8.28	c (7,6) vr[22][0] = 22
20.87/8.28	c (7,6) vr[22][1] = 26
20.87/8.28	c (7,6) vr[22][2] = 8
20.87/8.28	c (7,6) vr[22][3] = 0
20.87/8.28	c (7,6) vr[22][4] = 14
20.87/8.28	c (7,6) vr[23][0] = 23
20.87/8.28	c (7,6) vr[23][1] = 13
20.87/8.28	c (7,6) vr[23][2] = 1
20.87/8.28	c (7,6) vr[23][3] = 6
20.87/8.28	c (7,6) vr[23][4] = 28
20.87/8.28	c (7,6) vr[24][0] = 24
20.87/8.28	c (7,6) vr[24][1] = 19
20.87/8.28	c (7,6) vr[24][2] = 16
20.87/8.28	c (7,6) vr[24][3] = 7
20.87/8.28	c (7,6) vr[24][4] = 5
20.87/8.28	c (7,6) vr[25][0] = 25
20.87/8.28	c (7,6) vr[25][1] = 18
20.87/8.28	c (7,6) vr[25][2] = 15
20.87/8.28	c (7,6) vr[25][3] = 3
20.87/8.28	c (7,6) vr[25][4] = 11
20.87/8.28	c (7,6) vr[26][0] = 26
20.87/8.28	c (7,6) vr[26][1] = 7
20.87/8.28	c (7,6) vr[26][2] = 0
20.87/8.28	c (7,6) vr[26][3] = 12
20.87/8.28	c (7,6) vr[26][4] = 18
20.87/8.28	c (7,6) vr[27][0] = 27
20.87/8.28	c (7,6) vr[27][1] = 9
20.87/8.28	c (7,6) vr[27][2] = 2
20.87/8.28	c (7,6) vr[27][3] = 13
20.87/8.28	c (7,6) vr[27][4] = 19
20.87/8.28	c (7,6) vr[28][0] = 28
20.87/8.28	c (7,6) vr[28][1] = 10
20.87/8.28	c (7,6) vr[28][2] = 3
20.87/8.28	c (7,6) vr[28][3] = 16
20.87/8.28	c (7,6) vr[28][4] = 20
20.87/8.28	c (7,6) vr[29][0] = 29
20.87/8.28	c (7,6) vr[29][1] = 11
20.87/8.28	c (7,6) vr[29][2] = 5
20.87/8.28	c (7,6) vr[29][3] = 17
20.87/8.28	c (7,6) vr[29][4] = 22
20.87/8.28	s SATISFIABLE
20.87/8.28	v <instantiation>
20.87/8.28	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4]</list>
20.87/8.28	v     <values>0 8 13 22 29 1 6 26 14 21 2 24 10 19 15 3 27 9 20 12 4 16 25 11 23 5 12 21 27 9 6 14 28 23 2 7 1 20 25 17 8 15 24 18 4 9 28 19 15 0 10 20 17 26 1 11 25 18 4 16 12 29 22 8 3 13 21 7 2 24 14 23 27 5 6 15 22 6 1 25 16 4 23 24 7 17 3 29 21 8 18 0 14 10 26 19 5 11 28 13 20 2 12 9 27 21 17 4 29 10 22 26 8 0 14 23 13 1 6 28 24 19 16 7 5 25 18 15 3 11 26 7 0 12 18 27 9 2 13 19 28 10 3 16 20 29 11 5 17 22 0 18 26 22 9 1 7 23 15 10 2 20 27 13 6 3 17 28 25 12 4 16 21 11 8 5 19 29 14 24 6 1 15 23 14 7 26 13 24 16 8 0 22 12 17 9 27 3 20 5 10 28 2 18 21 11 29 19 4 25 12 5 20 26 3 13 23 0 27 19 14 6 18 1 22 15 8 25 9 2 16 4 24 28 11 17 21 10 29 7 18 25 11 8 26 19 24 9 2 27 20 10 7 3 28 21 13 5 17 1 22 15 12 0 29 23 14 16 6 4 24 2 8 16 13 25 11 4 7 15 26 22 1 10 18 27 3 14 5 20 28 9 6 19 23 29 12 17 21 0 0 1 2 3 4 0 1 4 2 3 0 4 1 3 2 0 4 1 3 2 0 2 4 1 3 0 2 3 4 1 1 2 4 3 0 1 0 3 4 2 1 2 4 3 0 1 4 3 2 0 1 3 2 4 0 1 4 3 0 2 2 4 3 1 0 2 3 1 0 4 2 3 4 0 1 2 3 1 0 4 2 0 3 4 1 2 0 4 3 1 3 0 2 1 4 3 0 1 4 2 3 0 2 1 4 3 2 0 4 1 3 4 1 0 2 3 2 0 1 4 4 3 2 1 0 4 3 2 0 1 4 1 0 2 3 4 1 0 2 3 4 1 0 2 3 4 1 0 2 3 0 3 5 4 2 0 1 4 3 2 0 4 5 2 1 0 3 5 4 2 0 3 4 2 1 1 3 5 2 4 1 0 3 4 2 1 5 2 4 3 1 0 4 2 3 2 5 0 4 1 2 5 0 3 4 2 5 3 0 4 2 1 4 5 0 2 4 0 5 3 2 1 3 0 4 3 1 4 2 0 3 0 4 5 2 3 4 2 5 1 3 4 2 1 5 3 4 2 0 5 4 2 1 0 5 4 2 1 3 0 4 3 2 0 5 4 2 3 1 0 4 0 1 3 2 4 2 0 1 3 5 4 0 2 3 5 0 2 1 4 5 2 1 3 4 5 2 3 4 0</values>
20.87/8.28	v </instantiation>
20.87/8.28	c (7,6) Show results End
20.87/8.28	c (7,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.87/8.28	c (7,6) 0,0,4,4,5,5,6,7,7,STOP-AFTER(ALL)
20.87/8.28	c END-Prog: Mon Jul 23 18:04:49 CEST 2018

Verifier Data 

OK

Watcher Data 

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 (5802 MiB free)
  memory of node 1: 16384 MiB (8098 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294513-1532361880/watcher-4294513-1532361880 -o /tmp/evaluation-result-4294513-1532361880/solver-4294513-1532361880 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294513-1532361880.xml 

running on 4 cores: 0,2,4,6

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=17991, runsolver pid=17988

[startup+0.100092 s]*
/proc/loadavg: 2.60 2.16 2.09 4/221 18006
/proc/meminfo: memFree=14175912/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15011656 memory=72372 CPUtime=0.12 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 6281 0 0 0 10 2 0 0 20 0 15 0 53751206 15371935744 18093 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3752914 18093 2775 1 0 3715374 0
[pid=17991/tid=17993] ppid=17988 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) R 17988 17991 8919 0 -1 4202560 4515 0 0 0 8 1 0 0 20 0 15 0 53751206 15371935744 18225 33554432000 4194304 4196468 140737338951120 139855492086160 139855500535538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 18225 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751209 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53751210 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751210 15371935744 18291 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 18291 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) S 17988 17991 8919 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854858885104 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854857832560 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0.01 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) S 17988 17991 8919 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 53751212 15371935744 18291 33554432000 4194304 4196468 140737338951120 139854856780016 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 18357 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751213 15371935744 18357 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72372 KiB

[startup+0.210414 s]*
/proc/loadavg: 2.60 2.16 2.09 3/221 18006
/proc/meminfo: memFree=14162580/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15011656 memory=85476 CPUtime=0.26 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 9854 0 0 0 23 3 0 0 20 0 15 0 53751206 15371935744 21369 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3752914 21369 2873 1 0 3715374 0
[pid=17991/tid=17993] ppid=17988 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) R 17988 17991 8919 0 -1 4202560 7737 0 0 0 18 2 0 0 20 0 15 0 53751206 15371935744 21369 33554432000 4194304 4196468 140737338951120 139855492082128 139855520271766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 21369 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15011656 memory=3906791456274482848 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751209 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53751210 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751210 15371935744 21369 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 21369 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) S 17988 17991 8919 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854858885104 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) S 17988 17991 8919 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854857832560 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0.03 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) R 17988 17991 8919 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 53751212 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854856780016 139855498948159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 21369 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) R 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751213 15371935744 21369 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85476 KiB

[startup+0.310361 s]*
/proc/loadavg: 2.60 2.16 2.09 3/221 18006
/proc/meminfo: memFree=14158936/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15011656 memory=89648 CPUtime=0.43 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 10472 0 0 0 40 3 0 0 20 0 15 0 53751206 15371935744 22412 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3752914 22412 2975 1 0 3715374 0
[pid=17991/tid=17993] ppid=17988 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) S 17988 17991 8919 0 -1 1077944384 8170 0 0 0 27 3 0 0 20 0 15 0 53751206 15371935744 22412 33554432000 4194304 4196468 140737338951120 139855492088048 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 22412 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15011656 memory=3834733862236554912 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751209 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53751210 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751210 15371935744 22412 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 22412 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) R 17988 17991 8919 0 -1 4202560 520 0 0 0 2 0 0 0 20 0 15 0 53751212 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854858885104 139855499953978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) R 17988 17991 8919 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 53751212 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854857832560 139855520270978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0.08 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) R 17988 17991 8919 0 -1 4202560 339 0 0 0 8 0 0 0 20 0 15 0 53751212 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854856780016 139855498880800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15371935744 22412 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15011656 memory=140643833841280 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751213 15371935744 22412 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89648 KiB

[startup+0.700675 s]
/proc/loadavg: 2.55 2.16 2.09 3/221 18006
/proc/meminfo: memFree=14134256/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15019976 memory=129752 CPUtime=1.04 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 17580 0 0 0 99 5 0 0 20 0 15 0 53751206 15380455424 32438 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3754994 32438 3142 1 0 3716398 0
[pid=17991/tid=17993] ppid=17988 vsize=15019976 memory=217944558688685 CPUtime=0.68 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) R 17988 17991 8919 0 -1 4202560 14743 0 0 0 64 4 0 0 20 0 15 0 53751206 15380455424 32438 33554432000 4194304 4196468 140737338951120 139855492081120 139855520271766 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15019976 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15380455424 32438 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751208 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751208 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15019976 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53751209 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15019976 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53751210 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15019976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751210 15380455424 32438 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15019976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15380455424 32438 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15019976 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) S 17988 17991 8919 0 -1 1077944384 767 0 0 0 9 0 0 0 20 0 15 0 53751212 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854858885104 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15019976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) R 17988 17991 8919 0 -1 4202560 205 0 0 0 7 0 0 0 20 0 15 0 53751212 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854857822352 139855504656976 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15019976 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) R 17988 17991 8919 0 -1 4202560 522 0 0 0 18 0 0 0 20 0 15 0 53751212 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854856777808 139855513356667 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15380455424 32438 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751213 15380455424 32438 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129752 KiB

[startup+1.50102 s]
/proc/loadavg: 2.55 2.16 2.09 5/221 18006
/proc/meminfo: memFree=14093760/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15022100 memory=186816 CPUtime=3.49 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 23043 0 0 0 339 10 0 0 20 0 15 0 53751206 15382630400 46704 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3755525 46704 3204 1 0 3716910 0
[pid=17991/tid=17993] ppid=17988 vsize=15022100 memory=5794836780235444585 CPUtime=1.46 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) R 17988 17991 8919 0 -1 4202560 15905 0 0 0 141 5 0 0 20 0 15 0 53751206 15382630400 46704 33554432000 4194304 4196468 140737338951120 139855492094560 139855030289728 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15022100 memory=6298673690012635497 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15382630400 46704 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15022100 memory=7589518994099825768 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751208 15382630400 46704 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15022100 memory=7883946350929535320 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53751208 15382630400 46704 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15022100 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751208 15382630400 46704 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15022100 memory=7667487682807556435 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53751209 15382630400 46704 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0

################
# More data... #
################

/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53751210 15388991488 445391 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15028312 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15388991488 445391 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15028312 memory=6943526294502006880 CPUtime=5.11 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) S 17988 17991 8919 0 -1 1077944384 2873 0 0 0 510 1 0 0 20 0 15 0 53751212 15388991488 445391 33554432000 4194304 4196468 140737338951120 139854858885104 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15028312 memory=1549884 CPUtime=5.12 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) S 17988 17991 8919 0 -1 1077944384 6663 0 0 0 510 2 0 0 20 0 15 0 53751212 15388991488 445391 33554432000 4194304 4196468 140737338951120 139854857832560 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15028312 memory=1387844 CPUtime=1.69 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) S 17988 17991 8919 0 -1 1077944384 4548 0 0 0 167 2 0 0 20 0 15 0 53751212 15388991488 445391 33554432000 4194304 4196468 140737338951120 139854856780016 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15028312 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751212 15388991488 445391 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15028312 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53751213 15388991488 445391 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 1781564 KiB

[startup+7.20062 s]
/proc/loadavg: 2.75 2.20 2.11 5/221 18006
/proc/meminfo: memFree=12017460/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15421764 memory=2365780 CPUtime=19.77 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 34198 0 0 0 1933 44 0 0 20 0 18 0 53751206 15791886336 591445 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3855441 591445 3233 1 0 3816297 0
[pid=17991/tid=17993] ppid=17988 vsize=15421764 memory=1947452 CPUtime=7.15 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) R 17988 17991 8919 0 -1 4202560 18741 0 0 0 678 37 0 0 20 0 18 0 53751206 15791886336 591445 33554432000 4194304 4196468 140737338951120 139855492099600 139855520271766 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15421764 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 53751208 15791886336 591445 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15421764 memory=10996 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 53751208 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15421764 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 53751208 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15421764 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 53751208 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15421764 memory=281287475050672 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 18 0 53751209 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15421764 memory=140643737709943 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 53751210 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15421764 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 53751210 15791886336 591445 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15421764 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 53751212 15791886336 591445 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15421764 memory=2240 CPUtime=5.41 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) R 17988 17991 8919 0 -1 4202560 2873 0 0 0 540 1 0 0 20 0 19 0 53751212 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854858876144 139855501804284 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15421764 memory=4132 CPUtime=5.44 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) S 17988 17991 8919 0 -1 1077944384 6663 0 0 0 542 2 0 0 20 0 19 0 53751212 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854857832560 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15421764 memory=928 CPUtime=1.73 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) S 17988 17991 8919 0 -1 1077944384 4551 0 0 0 170 3 0 0 20 0 19 0 53751212 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854856780016 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15421764 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751212 15791886336 591445 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15421764 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751213 15791886336 591445 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 19.77 s
Current children cumulated vsize: 15421764 KiB
Current children cumulated memory: 2365780 KiB

[startup+8.00078 s]*
/proc/loadavg: 2.75 2.20 2.11 3/226 18012
/proc/meminfo: memFree=11824460/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15683912 memory=2374524 CPUtime=19.85 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 34408 0 0 0 1941 44 0 0 20 0 19 0 53751206 16060325888 593631 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3920978 593631 3233 1 0 3881834 0
[pid=18007] ppid=17991 vsize=59312 memory=39784 CPUtime=0.8 cores=0,2,4,6
/proc/18007/stat : 18007 (minisat_release) R 17991 17991 8919 0 -1 4202496 10867 0 0 0 79 1 0 0 20 0 1 0 53751925 60735488 9946 33554432000 4194304 4308513 140727401143152 140727401140776 4275579 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 38875136 140727401149103 140727401149614 140727401149614 140727401152453 0
/proc/18007/statm: 14828 9946 351 28 0 11068 0
[pid=17991/tid=17993] ppid=17988 vsize=15683912 memory=-7824251494390977634 CPUtime=7.19 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) S 17988 17991 8919 0 -1 1077944384 18899 0 0 0 682 37 0 0 20 0 19 0 53751206 16060325888 593631 33554432000 4194304 4196468 140737338951120 139855492099072 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15683912 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 593631 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15683912 memory=7368008160208777825 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15683912 memory=-6441363949789737314 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15683912 memory=16113868786 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15683912 memory=281287475082544 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53751209 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53751210 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53751210 16060325888 593631 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15683912 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751212 16060325888 593631 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15683912 memory=4640767346415259735 CPUtime=5.44 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) S 17988 17991 8919 0 -1 1077944384 2873 0 0 0 543 1 0 0 20 0 19 0 53751212 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854858885104 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15683912 memory=5787213827131598673 CPUtime=5.44 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) S 17988 17991 8919 0 -1 1077944384 6663 0 0 0 542 2 0 0 20 0 19 0 53751212 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854857832560 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15683912 memory=5787213852901402449 CPUtime=1.74 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) S 17988 17991 8919 0 -1 1077944384 4555 0 0 0 171 3 0 0 20 0 19 0 53751212 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854856780016 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751212 16060325888 593631 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751213 16060325888 593631 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18008] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18008/stat : 18008 (java) S 17988 17991 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53751926 16060325888 593631 33554432000 4194304 4196468 140737338951120 139855342589504 139855520284441 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18010] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18010/stat : 18010 (java) S 17988 17991 8919 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53751926 16060325888 593631 33554432000 4194304 4196468 140737338951120 139852456636464 139855520281757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18011] ppid=17988 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18011/stat : 18011 (java) S 17988 17991 8919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53751926 16060325888 593631 33554432000 4194304 4196468 140737338951120 139852590857392 139855520281757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18012] ppid=17988 vsize=15683912 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18012/stat : 18012 (java) S 17988 17991 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 53751928 16060325888 593631 33554432000 4194304 4196468 140737338951120 139852188212256 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 20.65 s
Current children cumulated vsize: 15743224 KiB
Current children cumulated memory: 2414308 KiB

[startup+8.20998 s]
/proc/loadavg: 2.75 2.20 2.11 3/226 18012
/proc/meminfo: memFree=11824460/32770624 swapFree=67108860/67108860
[pid=17991] ppid=17988 vsize=15683912 memory=2376572 CPUtime=19.87 cores=0,2,4,6
/proc/17991/stat : 17991 (java) S 17988 17991 8919 0 -1 1077944320 34414 0 0 0 1943 44 0 0 20 0 19 0 53751206 16060325888 594143 33554432000 4194304 4196468 140737338951120 140737338933664 139855520259831 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
/proc/17991/statm: 3920978 594143 3233 1 0 3881834 0
[pid=18007] ppid=17991 vsize=59316 memory=39784 CPUtime=1 cores=0,2,4,6
/proc/18007/stat : 18007 (minisat_release) R 17991 17991 8919 0 -1 4202496 10869 0 0 0 99 1 0 0 20 0 1 0 53751925 60739584 9946 33554432000 4194304 4308513 140727401143152 140727401139064 139705899113568 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 38875136 140727401149103 140727401149614 140727401149614 140727401152453 0
/proc/18007/statm: 14829 9946 351 28 0 11069 0
[pid=17991/tid=17993] ppid=17988 vsize=15683912 memory=8292088564187963537 CPUtime=7.19 cores=0,2,4,6
/proc/17991/task/17993/stat : 17993 (java) S 17988 17991 8919 0 -1 1077944384 18899 0 0 0 682 37 0 0 20 0 19 0 53751206 16060325888 594143 33554432000 4194304 4196468 140737338951120 139855492099072 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17994] ppid=17988 vsize=15683912 memory=6944656592452807320 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17994/stat : 17994 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 594143 33554432000 4194304 4196468 140737338951120 139855524501776 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17995] ppid=17988 vsize=15683912 memory=-3704326594973231466 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17995/stat : 17995 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854981179792 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17996] ppid=17988 vsize=15683912 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17996/stat : 17996 (java) S 17988 17991 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854980127248 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17997] ppid=17988 vsize=15683912 memory=6943487855420614559 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17997/stat : 17997 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53751208 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854979074704 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17998] ppid=17988 vsize=15683912 memory=6944656592452807314 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17998/stat : 17998 (java) S 17988 17991 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53751209 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854859938288 139855520270978 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=17999] ppid=17988 vsize=15683912 memory=-4059589565903497594 CPUtime=0 cores=0,2,4,6
/proc/17991/task/17999/stat : 17999 (java) S 17988 17991 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53751210 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854134371744 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18000] ppid=17988 vsize=15683912 memory=3472285459368330086 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18000/stat : 18000 (java) S 17988 17991 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53751210 16060325888 594143 33554432000 4194304 4196468 140737338951120 139853865936368 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18001] ppid=17988 vsize=15683912 memory=4206468019030876256 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18001/stat : 18001 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751212 16060325888 594143 33554432000 4194304 4196468 140737338951120 139853491428048 139855520278427 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18002] ppid=17988 vsize=15683912 memory=-8990767739041652640 CPUtime=5.44 cores=0,2,4,6
/proc/17991/task/18002/stat : 18002 (java) S 17988 17991 8919 0 -1 1077944384 2873 0 0 0 543 1 0 0 20 0 19 0 53751212 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854858885104 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18003] ppid=17988 vsize=15683912 memory=-9001727377965607015 CPUtime=5.45 cores=0,2,4,6
/proc/17991/task/18003/stat : 18003 (java) R 17988 17991 8919 0 -1 4202560 6663 0 0 0 543 2 0 0 20 0 19 0 53751212 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854857832560 139855513080692 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18004] ppid=17988 vsize=15683912 memory=1399105007669254531 CPUtime=1.75 cores=0,2,4,6
/proc/17991/task/18004/stat : 18004 (java) R 17988 17991 8919 0 -1 4202560 4555 0 0 0 172 3 0 0 20 0 19 0 53751212 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854856780016 139855520281178 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18005] ppid=17988 vsize=15683912 memory=7682744562847679290 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18005/stat : 18005 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751212 16060325888 594143 33554432000 4194304 4196468 140737338951120 139852993522272 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18006] ppid=17988 vsize=15683912 memory=-7531822216213012384 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18006/stat : 18006 (java) S 17988 17991 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53751213 16060325888 594143 33554432000 4194304 4196468 140737338951120 139854855727920 139855520270978 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18008] ppid=17988 vsize=15683912 memory=4037822743853900027 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18008/stat : 18008 (java) S 17988 17991 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53751926 16060325888 594143 33554432000 4194304 4196468 140737338951120 139855342589504 139855520284441 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18010] ppid=17988 vsize=15683912 memory=4486599637793467488 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18010/stat : 18010 (java) S 17988 17991 8919 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 53751926 16060325888 594143 33554432000 4194304 4196468 140737338951120 139852456636464 139855520281757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18011] ppid=17988 vsize=15683912 memory=8993858474414803267 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18011/stat : 18011 (java) S 17988 17991 8919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53751926 16060325888 594143 33554432000 4194304 4196468 140737338951120 139852590857392 139855520281757 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
[pid=17991/tid=18012] ppid=17988 vsize=15683912 memory=5450883352343967274 CPUtime=0 cores=0,2,4,6
/proc/17991/task/18012/stat : 18012 (java) S 17988 17991 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 53751928 16060325888 594143 33554432000 4194304 4196468 140737338951120 139852188212256 139855520270037 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17543168 140737338954740 140737338955017 140737338955017 140737338957775 0
Current children cumulated CPU time: 20.87 s
Current children cumulated vsize: 15743228 KiB
Current children cumulated memory: 2416356 KiB

[startup+8.30091 s]*
/proc/loadavg: 2.75 2.20 2.11 3/208 18012
/proc/meminfo: memFree=13209112/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 8.31124
CPU time (s): 21.1746
CPU user time (s): 20.6849
CPU system time (s): 0.489699
CPU usage (%): 254.771
Max. virtual memory (cumulated for all children) (KiB): 15743228
Max. memory (cumulated for all children) (KiB): 2416356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.6849
system time used= 0.489699
maximum resident set size= 2389684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45400
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4927
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 17991
#   total CPU time (s): 21.1746
#   total CPU user time (s): 20.6849
#   total CPU system time (s): 0.489699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08241 second user time and 0.12261 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-23 18:04:40
IDJOB=4294513
IDBENCH=141391
IDSOLVER=2755
FILE ID=node102/4294513-1532361880
RUNJOBID= node102-1532330044-8950
PBS_JOBID= 21019000
Free space on /tmp= 53236 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06b_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294513-1532361880/watcher-4294513-1532361880 -o /tmp/evaluation-result-4294513-1532361880/solver-4294513-1532361880 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294513-1532361880.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ed15a4f7a5bcd1b231009209ed1d9727
RANDOM SEED=626338385

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        14236836 kB
MemAvailable:   29476812 kB
Buffers:          260164 kB
Cached:         15067124 kB
SwapCached:            0 kB
Active:          4009272 kB
Inactive:       13830996 kB
Active(anon):    2515852 kB
Inactive(anon):    16888 kB
Active(file):    1493420 kB
Inactive(file): 13814108 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8028 kB
Writeback:             0 kB
AnonPages:       2536116 kB
Mapped:            49488 kB
Shmem:             17036 kB
Slab:             388832 kB
SReclaimable:     360908 kB
SUnreclaim:        27924 kB
KernelStack:        3888 kB
PageTables:        10200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13525164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2357248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 53228 MiB
End job on node102 at 2018-07-23 18:04:49