Trace number 4392600

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
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 1352.41 760.153

General information on the benchmark

NameRandom/Random-m1-5-12-12/
rand-5-12-12-200-12442-22.xml
MD5SUM1f678c7b1175962864f0f6df2117d050
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.7944
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree76
Maximum variable degree93
Distribution of variable degrees[{"degree":76,"count":2},{"degree":78,"count":1},{"degree":80,"count":1},{"degree":81,"count":2},{"degree":82,"count":1},{"degree":83,"count":1},{"degree":89,"count":1},{"degree":90,"count":1},{"degree":91,"count":1},{"degree":93,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1468-serial-file.bin HOME/instance-4392600-1568416859.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:20:01 CEST 2019
0.65/0.56	c PID: 1471
0.65/0.56	c IP: 172.20.3.103
0.65/0.56	c HOST: node103.alineos.net
0.65/0.57	c (0,0) Parsing Begin
6.44/4.93	c (4,4) Parsing End
6.44/4.93	c (4,4) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
6.44/4.93	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.44/4.93	c (4,4) Constraint Name Generate Begin
6.44/4.94	c (4,4) Ctr:HOME/instance-4392600-1568416859.xml,ExtensionSupport:Var
6.44/4.94	c (4,4) Constraint Name Generate End
6.44/4.94	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.44/4.94	c (4,4) CSP to CSPinCNF Begin
70.91/46.61	c (46,44) translated 20 (10%) constraints
122.37/88.52	c (87,85) translated 40 (20%) constraints
179.32/131.19	c (130,126) translated 60 (30%) constraints
233.86/173.36	c (172,166) translated 80 (40%) constraints
282.88/214.82	c (214,206) translated 100 (50%) constraints
331.77/256.28	c (255,247) translated 120 (60%) constraints
380.98/297.75	c (297,287) translated 140 (70%) constraints
430.66/339.27	c (338,327) translated 160 (80%) constraints
477.15/380.42	c (379,368) translated 180 (90%) constraints
527.32/422.09	c (421,408) translated 200 (100%) constraints
529.42/424.11	c (423,410) ===========================================
531.64/426.37	c (425,412) Hybrid: #OE=436517, #LE=0
531.64/426.37	c (425,412) Hybrid
531.64/426.37	c (425,412) ===========================================
546.02/440.05	c (439,426) translated 634338 (10%) constraints
563.54/454.15	c (453,440) translated 1268676 (20%) constraints
582.40/468.53	c (467,453) translated 1903014 (30%) constraints
602.19/483.01	c (482,467) translated 2537351 (40%) constraints
615.80/496.68	c (496,481) translated 3171689 (50%) constraints
635.55/511.13	c (510,495) translated 3806027 (60%) constraints
654.94/525.51	c (524,508) translated 4440364 (70%) constraints
668.64/539.21	c (538,522) translated 5074702 (80%) constraints
688.11/553.65	c (553,536) translated 5709040 (90%) constraints
707.76/568.07	c (567,549) translated 6343377 (100%) constraints
707.76/568.07	c (567,549) CSP to CSPinCNF End
707.95/568.28	c (567,549) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
707.95/568.28	c (567,549) Heap : 9323 MiB used (max 21810 MiB), NonHeap : 27 MiB used (max 0 MiB)
707.95/568.28	c (567,549) CSPinCNF Propagation Begin
787.71/607.07	c (606,582) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
787.71/607.07	c (606,582) CSPinCNF Propagation End
787.91/607.27	c (606,583) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
787.91/607.27	c (606,583) Heap : 15711 MiB used (max 21860 MiB), NonHeap : 27 MiB used (max 0 MiB)
790.22/609.59	c (609,585) Hybrid: #OE=436517, #LE=0
790.22/609.59	c (609,585) Simplify CSPinCNF Begin
828.28/625.63	c (625,598) Simplify CSPinCNF End
828.48/625.84	c (625,598) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
828.48/625.84	c (625,598) Heap : 13652 MiB used (max 21195 MiB), NonHeap : 27 MiB used (max 0 MiB)
828.48/625.84	c (625,598) Calculate Precise Domain Begin
828.48/625.84	c (625,598) 0 values are removed by re-calculation
828.48/625.84	c (625,598) Calculate Precise Domain End
828.69/626.04	c (625,598) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
828.69/626.04	c (625,598) Heap : 13655 MiB used (max 21195 MiB), NonHeap : 27 MiB used (max 0 MiB)
828.69/626.04	c (625,598) CSPinCNF to SatSolver Begin
842.63/634.52	c (633,606) 634338 (10 %) CSP clauses are encoded (0 SAT variables, 634457 SAT clauses)
853.38/642.00	c (641,613) 1268676 (20 %) CSP clauses are encoded (0 SAT variables, 1268795 SAT clauses)
863.01/649.30	c (648,620) 1903014 (30 %) CSP clauses are encoded (0 SAT variables, 1903133 SAT clauses)
874.98/656.98	c (656,627) 2537351 (40 %) CSP clauses are encoded (0 SAT variables, 2537470 SAT clauses)
884.51/664.25	c (663,634) 3171689 (50 %) CSP clauses are encoded (0 SAT variables, 3171808 SAT clauses)
894.10/671.52	c (670,641) 3806027 (60 %) CSP clauses are encoded (0 SAT variables, 3806146 SAT clauses)
903.71/678.87	c (678,648) 4440364 (70 %) CSP clauses are encoded (0 SAT variables, 4440483 SAT clauses)
913.45/686.21	c (685,655) 5074702 (80 %) CSP clauses are encoded (0 SAT variables, 5074821 SAT clauses)
923.15/693.68	c (693,662) 5709040 (90 %) CSP clauses are encoded (0 SAT variables, 5709159 SAT clauses)
932.98/700.99	c (700,669) 6343377 (100 %) CSP clauses are encoded (0 SAT variables, 6343496 SAT clauses)
932.98/700.99	c (700,669) CSPinCNF to SatSolver End
932.98/700.99	c (700,669) Heap : 18383 MiB used (max 21574 MiB), NonHeap : 29 MiB used (max 0 MiB)
932.98/700.99	c (700,669) 436637 bool, 6343497 clause
932.98/700.99	c (700,669) Export Begin
933.09/701.07	c (700,669) Export to HOME/scop-1468-serial-file.bin
933.09/701.07	c (700,669) Export End
933.09/701.07	c (700,669) Export File Size: 0.00 MB
933.09/701.07	c (700,669) 4,4,567,606,625,625,700,STOP-AFTER(DIMACS)
933.09/701.07	c END-Prog: Sat Sep 14 01:31:42 CEST 2019
0.00/701.19	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1468-serial-file.bin
933.33/701.66	c (0,0) Read Serial File Begin
933.33/701.66	c (0,0) HOME/scop-1468-serial-file.bin
933.33/701.86	c (0,0) Read Serial File End
933.33/701.87	
933.33/701.87	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
933.33/701.87	(Solving Process)
933.33/701.87	
933.33/701.90	c BEGIN-Prog: Sat Sep 14 01:31:42 CEST 2019
933.33/701.90	c PID: 1557
933.33/701.90	c IP: 172.20.3.103
933.33/701.90	c HOST: node103.alineos.net
933.33/701.90	c (0,0) SatSolver.solve Begin
933.33/701.90	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392600-1568416859.xml-scop-1471.cnf
933.33/701.93	c (0,0) c
933.33/701.93	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
933.33/701.93	c (0,0) c
933.33/701.93	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
933.33/701.93	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
933.33/701.93	c (0,0) c ========================================[ Problem Statistics ]===========================================
933.33/701.93	c (0,0) c |                                                                                                       |
936.76/704.21	c (2,0) c |  Number of variables:        436637                                                                   |
936.76/704.21	c (2,0) c |  Number of clauses:         6343497                                                                   |
936.76/704.21	c (2,0) c |  Parse time:                   2.07 s                                                                 |
936.76/704.21	c (2,0) c |                                                                                                       |
937.35/704.86	c (3,0) c | Too many clauses... No preprocessing                                                                  |
937.35/704.86	c (3,0) c |  Simplification time:          0.60 s                                                                 |
937.35/704.86	c (3,0) c |                                                                                                       |
937.35/704.86	c (3,0) c |  Generating clones                                                                                    |
938.85/706.35	c (4,0) c |  all clones generated. Memory =  3437.27Mb.                                                           |
938.85/706.35	c (4,0) c ========================================================================================================|
938.85/706.35	c (4,0) c
938.85/706.35	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
938.85/706.35	c (4,0) c
938.85/706.35	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.85/706.35	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
938.85/706.35	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
938.85/706.35	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
938.85/706.35	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
938.85/706.35	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
938.85/706.35	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
938.85/706.35	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
938.85/706.35	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
938.85/706.35	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
938.85/706.35	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
938.85/706.35	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
938.85/706.35	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
938.85/706.35	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
938.85/706.35	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
938.85/706.35	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
938.85/706.35	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
938.85/706.35	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
938.85/706.35	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1165.51/735.99	c (34,0) c
1165.51/735.99	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
1165.51/735.99	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1165.51/735.99	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
1165.51/735.99	c (34,0) c |  0 |      1 |        786 |        558 |    14666 |      558 |       13 |        0 |        0 |      103 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  1 |      3 |       3335 |       2256 |    48947 |     1260 |       65 |      274 |        0 |      103 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  2 |      2 |       2395 |       1485 |    47500 |     1485 |       47 |      201 |        0 |      102 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  3 |      2 |       2043 |       1207 |    51555 |     1207 |       36 |      217 |        0 |      109 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  4 |      5 |       3917 |       2708 |    42052 |     1708 |       91 |      187 |        0 |      106 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  5 |      1 |       4366 |       3039 |    41501 |     2045 |       69 |        0 |        0 |      107 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  6 |      3 |       3787 |       2405 |    29069 |     1410 |       53 |       37 |        0 |      112 |  20 |  0.000 |
1165.51/735.99	c (34,0) c |  7 |      2 |       3497 |       2331 |    47108 |     1330 |       42 |      252 |        0 |      111 |  20 |  0.000 |
1165.51/735.99	c (34,0) c 
1165.51/735.99	c (34,0) c synthesis       15989 conflicts   315056772 propagations       74 conflicts/sec  1451879 propagations/sec
1165.51/735.99	c (34,0) c real: 34.0692 s, cpu: 216.999 s, memory: 4336.42 Mb
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c real time : 57.9881 s
1352.07/759.91	c (58,0) c cpu time  : 401.737 s
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c | Conflicts     |           36228 |       1274 |       5241 |       4146 |       3983 |       5674 |       6427 |       3765 |       5718 |
1352.07/759.91	c (58,0) c | Decisions     |           50054 |       1872 |       7343 |       5726 |       5853 |       7538 |       8406 |       5500 |       7816 |
1352.07/759.91	c (58,0) c | Propagations  |       556087969 |   80153808 |   70509626 |   71462600 |   77871557 |   61216617 |   68589938 |   61545780 |   64738043 |
1352.07/759.91	c (58,0) c | ReduceDBs     |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1352.07/759.91	c (58,0) c | SimpDBs       |              12 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          1 |
1352.07/759.91	c (58,0) c | Restarts      |              22 |          1 |          4 |          2 |          2 |          6 |          2 |          3 |          2 |
1352.07/759.91	c (58,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1352.07/759.91	c (58,0) c | PropBinClauses|       247581604 |   29701603 |   29213453 |   31086310 |   32734648 |   32086013 |   31025139 |   29884402 |   31850036 |
1352.07/759.91	c (58,0) c | PropPreBlocker|      4176663747 |  471297321 |  517530621 |  519945213 |  532367256 |  511688583 |  537889453 |  539509982 |  546435318 |
1352.07/759.91	c (58,0) c | PropNotBlocker|      2995758422 |  317266938 |  377250684 |  392795489 |  312033360 |  400834616 |  397263425 |  407501124 |  390812786 |
1352.07/759.91	c (58,0) c | LitFullScans  |      9478230115 | 1180309249 | 1180672611 | 1180971769 | 1180962441 | 1183156291 | 1181728889 | 1200724969 | 1189703896 |
1352.07/759.91	c (58,0) c | LitScanFracts |        37776230 |    3500654 |    4511256 |    4858251 |    3996965 |    4358647 |    5672291 |    6176649 |    4701517 |
1352.07/759.91	c (58,0) c | DecisionLevel0|              31 |          2 |          6 |          3 |          2 |         11 |          2 |          3 |          2 |
1352.07/759.91	c (58,0) c | Periods       |            1572 |        196 |        196 |        196 |        196 |        196 |        196 |        199 |        197 |
1352.07/759.91	c (58,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1352.07/759.91	c (58,0) c | Avg_Trail     |                 |     146591 |      62546 |      66201 |      69251 |      40616 |      43367 |      72767 |      38937 |
1352.07/759.91	c (58,0) c | Avg_DL        |                 |         21 |         10 |         14 |         17 |         12 |         21 |         18 |         19 |
1352.07/759.91	c (58,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1352.07/759.91	c (58,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c | Exported      |            1301 |         29 |        161 |        110 |         70 |        292 |        365 |         76 |        198 |
1352.07/759.91	c (58,0) c | Imported      |            3215 |        370 |        693 |        565 |        217 |        761 |        320 |         37 |        252 |
1352.07/759.91	c (58,0) c | Good          |             378 |         44 |         89 |         86 |         22 |         70 |         39 |          1 |         27 |
1352.07/759.91	c (58,0) c | Purge         |            2837 |        326 |        604 |        479 |        195 |        691 |        281 |         36 |        225 |
1352.07/759.91	c (58,0) c | Promoted      |              11 |          0 |          4 |          0 |          0 |          4 |          0 |          0 |          3 |
1352.07/759.91	c (58,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1352.07/759.91	c (58,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c | Unaries       |                 |          1 |          2 |          1 |          0 |          5 |          0 |          0 |          0 |
1352.07/759.91	c (58,0) c | Binaries      |                 |         10 |         21 |         12 |          8 |         43 |         13 |          4 |         12 |
1352.07/759.91	c (58,0) c | Glues         |                 |         29 |        128 |        110 |         70 |        194 |        132 |         76 |        108 |
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c | Orig_Seen     |             0 % |      27195 |      69143 |      65310 |      77401 |      68259 |      69198 |      40961 |      67841 |
1352.07/759.91	c (58,0) c | Diff Orig seen|                 | -    41064 |        884 | -     2949 |       9142 |      X     |        939 | -    27298 | -      418 |
1352.07/759.91	c (58,0) c | Hamming       |             8 % |      39230 |      37618 |      38067 |      43491 |      X     |      41045 |      38016 |      32480 |
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c | RunningTime   |                 |   53.4 100%|   53.5 100%|   53.5 100%|   52.7 100%|   52.2 100%|   53.5 100%|   52.4 100%|   52.3 100%|
1352.07/759.91	c (58,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c | SolvingTime   |                 |   53.4     |   53.5     |   53.5     |   52.7     |   52.2     |   53.5     |   52.4     |   52.3     |
1352.07/759.91	c (58,0) c | PropagationTim|                 |   51.6  97%|   51.5  96%|   51.5  96%|   50.7  96%|   50.2  96%|   51.5  96%|   50.5  96%|   50.3  96%|
1352.07/759.91	c (58,0) c | AnalysisTime  |                 |    0.4   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|
1352.07/759.91	c (58,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1352.07/759.91	c (58,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c
1352.07/759.91	c (58,0) c Threads : 8
1352.07/759.91	c (58,0) c Winner : 4
1352.07/759.91	c (58,0) c Conflicts_0 : 1274
1352.07/759.91	c (58,0) c Conflicts_1 : 5241
1352.07/759.91	c (58,0) c Conflicts_2 : 4146
1352.07/759.91	c (58,0) c Conflicts_3 : 3983
1352.07/759.91	c (58,0) c Conflicts_4 : 5674
1352.07/759.91	c (58,0) c Conflicts_5 : 6427
1352.07/759.91	c (58,0) c Conflicts_6 : 3765
1352.07/759.92	c (58,0) c Conflicts_7 : 5718
1352.07/759.92	c (58,0) c Conflicts_total : 36228
1352.07/759.92	c (58,0) c Conflicts_winner : 5674
1352.07/759.92	c (58,0) c Decisions_0 : 1872
1352.07/759.92	c (58,0) c Decisions_1 : 7343
1352.07/759.92	c (58,0) c Decisions_2 : 5726
1352.07/759.92	c (58,0) c Decisions_3 : 5853
1352.07/759.92	c (58,0) c Decisions_4 : 7538
1352.07/759.92	c (58,0) c Decisions_5 : 8406
1352.07/759.92	c (58,0) c Decisions_6 : 5500
1352.07/759.92	c (58,0) c Decisions_7 : 7816
1352.07/759.92	c (58,0) c Decisions_total : 50054
1352.07/759.92	c (58,0) c Decisions_winner : 7538
1352.07/759.92	c (58,0) c Propagations_0 : 80153808
1352.07/759.92	c (58,0) c Propagations_1 : 70509626
1352.07/759.92	c (58,0) c Propagations_2 : 71462600
1352.07/759.92	c (58,0) c Propagations_3 : 77871557
1352.07/759.92	c (58,0) c Propagations_4 : 61216617
1352.07/759.92	c (58,0) c Propagations_5 : 68589938
1352.07/759.92	c (58,0) c Propagations_6 : 61545780
1352.07/759.92	c (58,0) c Propagations_7 : 64738043
1352.07/759.92	c (58,0) c Propagations_total : 556087969
1352.07/759.92	c (58,0) c Propagations_winner : 61216617
1352.07/759.92	c (58,0) c ReduceDBs_0 : 0
1352.07/759.92	c (58,0) c ReduceDBs_1 : 1
1352.07/759.92	c (58,0) c ReduceDBs_2 : 1
1352.07/759.92	c (58,0) c ReduceDBs_3 : 1
1352.07/759.92	c (58,0) c ReduceDBs_4 : 1
1352.07/759.92	c (58,0) c ReduceDBs_5 : 1
1352.07/759.92	c (58,0) c ReduceDBs_6 : 1
1352.07/759.92	c (58,0) c ReduceDBs_7 : 1
1352.07/759.92	c (58,0) c ReduceDBs_total : 7
1352.07/759.92	c (58,0) c ReduceDBs_winner : 1
1352.07/759.92	c (58,0) c SimpDBs_0 : 2
1352.07/759.92	c (58,0) c SimpDBs_1 : 2
1352.07/759.92	c (58,0) c SimpDBs_2 : 2
1352.07/759.92	c (58,0) c SimpDBs_3 : 1
1352.07/759.92	c (58,0) c SimpDBs_4 : 2
1352.07/759.92	c (58,0) c SimpDBs_5 : 1
1352.07/759.92	c (58,0) c SimpDBs_6 : 1
1352.07/759.92	c (58,0) c SimpDBs_7 : 1
1352.07/759.92	c (58,0) c SimpDBs_total : 12
1352.07/759.92	c (58,0) c SimpDBs_winner : 2
1352.07/759.92	c (58,0) c Restarts_0 : 1
1352.07/759.92	c (58,0) c Restarts_1 : 4
1352.07/759.92	c (58,0) c Restarts_2 : 2
1352.07/759.92	c (58,0) c Restarts_3 : 2
1352.07/759.92	c (58,0) c Restarts_4 : 6
1352.07/759.92	c (58,0) c Restarts_5 : 2
1352.07/759.92	c (58,0) c Restarts_6 : 3
1352.07/759.92	c (58,0) c Restarts_7 : 2
1352.07/759.92	c (58,0) c Restarts_total : 22
1352.07/759.92	c (58,0) c Restarts_winner : 6
1352.07/759.92	c (58,0) c ForcedImports_0 : 0
1352.07/759.92	c (58,0) c ForcedImports_1 : 0
1352.07/759.92	c (58,0) c ForcedImports_2 : 0
1352.07/759.92	c (58,0) c ForcedImports_3 : 0
1352.07/759.92	c (58,0) c ForcedImports_4 : 0
1352.07/759.92	c (58,0) c ForcedImports_5 : 0
1352.07/759.92	c (58,0) c ForcedImports_6 : 0
1352.07/759.92	c (58,0) c ForcedImports_7 : 0
1352.07/759.92	c (58,0) c ForcedImports_total : 0
1352.07/759.92	c (58,0) c ForcedImports_winner : 0
1352.07/759.92	c (58,0) c PropsBinClauses_0 : 29701603
1352.07/759.92	c (58,0) c PropsBinClauses_1 : 29213453
1352.07/759.92	c (58,0) c PropsBinClauses_2 : 31086310
1352.07/759.92	c (58,0) c PropsBinClauses_3 : 32734648
1352.07/759.92	c (58,0) c PropsBinClauses_4 : 32086013
1352.07/759.92	c (58,0) c PropsBinClauses_5 : 31025139
1352.07/759.92	c (58,0) c PropsBinClauses_6 : 29884402
1352.07/759.92	c (58,0) c PropsBinClauses_7 : 31850036
1352.07/759.92	c (58,0) c PropsBinClauses_total : 247581604
1352.07/759.92	c (58,0) c PropsBinClauses_winner : 32086013
1352.07/759.92	c (58,0) c PropsPreBlocker_0 : 471297321
1352.07/759.92	c (58,0) c PropsPreBlocker_1 : 517530621
1352.07/759.92	c (58,0) c PropsPreBlocker_2 : 519945213
1352.07/759.92	c (58,0) c PropsPreBlocker_3 : 532367256
1352.07/759.92	c (58,0) c PropsPreBlocker_4 : 511688583
1352.07/759.92	c (58,0) c PropsPreBlocker_5 : 537889453
1352.07/759.92	c (58,0) c PropsPreBlocker_6 : 539509982
1352.07/759.92	c (58,0) c PropsPreBlocker_7 : 546435318
1352.07/759.92	c (58,0) c PropsPreBlocker_total : 4176663747
1352.07/759.92	c (58,0) c PropsPreBlocker_winner : 511688583
1352.07/759.92	c (58,0) c PropsNotBlocker_0 : 317266938
1352.07/759.92	c (58,0) c PropsNotBlocker_1 : 377250684
1352.07/759.92	c (58,0) c PropsNotBlocker_2 : 392795489
1352.07/759.92	c (58,0) c PropsNotBlocker_3 : 312033360
1352.07/759.92	c (58,0) c PropsNotBlocker_4 : 400834616
1352.07/759.92	c (58,0) c PropsNotBlocker_5 : 397263425
1352.07/759.92	c (58,0) c PropsNotBlocker_6 : 407501124
1352.07/759.92	c (58,0) c PropsNotBlocker_7 : 390812786
1352.07/759.92	c (58,0) c PropsNotBlocker_total : 2995758422
1352.07/759.92	c (58,0) c PropsNotBlocker_winner : 400834616
1352.07/759.92	c (58,0) c PropsLitFullScans_0 : 1180309249
1352.07/759.92	c (58,0) c PropsLitFullScans_1 : 1180672611
1352.07/759.92	c (58,0) c PropsLitFullScans_2 : 1180971769
1352.07/759.92	c (58,0) c PropsLitFullScans_3 : 1180962441
1352.07/759.92	c (58,0) c PropsLitFullScans_4 : 1183156291
1352.07/759.92	c (58,0) c PropsLitFullScans_5 : 1181728889
1352.07/759.92	c (58,0) c PropsLitFullScans_6 : 1200724969
1352.07/759.92	c (58,0) c PropsLitFullScans_7 : 1189703896
1352.07/759.92	c (58,0) c PropsLitFullScans_total : 9478230115
1352.07/759.92	c (58,0) c PropsLitFullScans_winner : 1183156291
1352.07/759.92	c (58,0) c LitScanFractions_0 : 3500654
1352.07/759.92	c (58,0) c LitScanFractions_1 : 4511256
1352.07/759.92	c (58,0) c LitScanFractions_2 : 4858251
1352.07/759.92	c (58,0) c LitScanFractions_3 : 3996965
1352.07/759.92	c (58,0) c LitScanFractions_4 : 4358647
1352.07/759.92	c (58,0) c LitScanFractions_5 : 5672291
1352.07/759.92	c (58,0) c LitScanFractions_6 : 6176649
1352.07/759.92	c (58,0) c LitScanFractions_7 : 4701517
1352.07/759.92	c (58,0) c LitScanFractions_total : 37776230
1352.07/759.92	c (58,0) c LitScanFractions_winner : 4358647
1352.07/759.92	c (58,0) c DecisionLevel0_0 : 2
1352.07/759.92	c (58,0) c DecisionLevel0_1 : 6
1352.07/759.92	c (58,0) c DecisionLevel0_2 : 3
1352.07/759.92	c (58,0) c DecisionLevel0_3 : 2
1352.07/759.92	c (58,0) c DecisionLevel0_4 : 11
1352.07/759.92	c (58,0) c DecisionLevel0_5 : 2
1352.07/759.92	c (58,0) c DecisionLevel0_6 : 3
1352.07/759.92	c (58,0) c DecisionLevel0_7 : 2
1352.07/759.92	c (58,0) c DecisionLevel0_total : 31
1352.07/759.92	c (58,0) c DecisionLevel0_winner : 11
1352.07/759.92	c (58,0) c Periods_0 : 196
1352.07/759.92	c (58,0) c Periods_1 : 196
1352.07/759.92	c (58,0) c Periods_2 : 196
1352.07/759.92	c (58,0) c Periods_3 : 196
1352.07/759.92	c (58,0) c Periods_4 : 196
1352.07/759.92	c (58,0) c Periods_5 : 196
1352.07/759.92	c (58,0) c Periods_6 : 199
1352.07/759.92	c (58,0) c Periods_7 : 197
1352.07/759.92	c (58,0) c Periods_total : 1572
1352.07/759.92	c (58,0) c Periods_winner : 196
1352.07/759.92	c (58,0) c Margin_0 : 20
1352.07/759.92	c (58,0) c Margin_1 : 20
1352.07/759.92	c (58,0) c Margin_2 : 20
1352.07/759.92	c (58,0) c Margin_3 : 20
1352.07/759.92	c (58,0) c Margin_4 : 20
1352.07/759.92	c (58,0) c Margin_5 : 20
1352.07/759.92	c (58,0) c Margin_6 : 20
1352.07/759.92	c (58,0) c Margin_7 : 20
1352.07/759.92	c (58,0) c Margin_total : 160
1352.07/759.92	c (58,0) c Margin_winner : 20
1352.07/759.92	c (58,0) c Exported_0 : 29
1352.07/759.92	c (58,0) c Exported_1 : 161
1352.07/759.92	c (58,0) c Exported_2 : 110
1352.07/759.92	c (58,0) c Exported_3 : 70
1352.07/759.92	c (58,0) c Exported_4 : 292
1352.07/759.92	c (58,0) c Exported_5 : 365
1352.07/759.92	c (58,0) c Exported_6 : 76
1352.07/759.92	c (58,0) c Exported_7 : 198
1352.07/759.92	c (58,0) c Exported_total : 1301
1352.07/759.92	c (58,0) c Exported_winner : 292
1352.07/759.92	c (58,0) c Imported_0 : 370
1352.07/759.92	c (58,0) c Imported_1 : 693
1352.07/759.92	c (58,0) c Imported_2 : 565
1352.07/759.92	c (58,0) c Imported_3 : 217
1352.07/759.92	c (58,0) c Imported_4 : 761
1352.07/759.92	c (58,0) c Imported_5 : 320
1352.07/759.92	c (58,0) c Imported_6 : 37
1352.07/759.92	c (58,0) c Imported_7 : 252
1352.07/759.92	c (58,0) c Imported_total : 3215
1352.07/759.92	c (58,0) c Imported_winner : 761
1352.07/759.92	c (58,0) c Good_0 : 44
1352.07/759.92	c (58,0) c Good_1 : 89
1352.07/759.92	c (58,0) c Good_2 : 86
1352.07/759.92	c (58,0) c Good_3 : 22
1352.07/759.92	c (58,0) c Good_4 : 70
1352.07/759.92	c (58,0) c Good_5 : 39
1352.07/759.92	c (58,0) c Good_6 : 1
1352.07/759.92	c (58,0) c Good_7 : 27
1352.07/759.92	c (58,0) c Good_total : 378
1352.07/759.92	c (58,0) c Good_winner : 70
1352.07/759.92	c (58,0) c Purge_0 : 326
1352.07/759.92	c (58,0) c Purge_1 : 604
1352.07/759.92	c (58,0) c Purge_2 : 479
1352.07/759.92	c (58,0) c Purge_3 : 195
1352.07/759.92	c (58,0) c Purge_4 : 691
1352.07/759.92	c (58,0) c Purge_5 : 281
1352.07/759.92	c (58,0) c Purge_6 : 36
1352.07/759.92	c (58,0) c Purge_7 : 225
1352.07/759.92	c (58,0) c Purge_total : 2837
1352.07/759.92	c (58,0) c Purge_winner : 691
1352.07/759.92	c (58,0) c Promoted_0 : 0
1352.07/759.92	c (58,0) c Promoted_1 : 4
1352.07/759.92	c (58,0) c Promoted_2 : 0
1352.07/759.92	c (58,0) c Promoted_3 : 0
1352.07/759.92	c (58,0) c Promoted_4 : 4
1352.07/759.92	c (58,0) c Promoted_5 : 0
1352.07/759.92	c (58,0) c Promoted_6 : 0
1352.07/759.92	c (58,0) c Promoted_7 : 3
1352.07/759.92	c (58,0) c Promoted_total : 11
1352.07/759.92	c (58,0) c Promoted_winner : 4
1352.07/759.92	c (58,0) c Remove_Imp_0 : 0
1352.07/759.92	c (58,0) c Remove_Imp_1 : 0
1352.07/759.92	c (58,0) c Remove_Imp_2 : 0
1352.07/759.92	c (58,0) c Remove_Imp_3 : 0
1352.07/759.92	c (58,0) c Remove_Imp_4 : 0
1352.07/759.92	c (58,0) c Remove_Imp_5 : 0
1352.07/759.92	c (58,0) c Remove_Imp_6 : 0
1352.07/759.92	c (58,0) c Remove_Imp_7 : 0
1352.07/759.92	c (58,0) c Remove_Imp_total : 0
1352.07/759.92	c (58,0) c Remove_Imp_winner : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_0 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_1 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_2 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_3 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_4 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_5 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_6 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_7 : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_total : 0
1352.07/759.92	c (58,0) c Blocked_Reuse_winner : 0
1352.07/759.92	c (58,0) c Unaries_0 : 1
1352.07/759.92	c (58,0) c Unaries_1 : 2
1352.07/759.92	c (58,0) c Unaries_2 : 1
1352.07/759.92	c (58,0) c Unaries_3 : 0
1352.07/759.92	c (58,0) c Unaries_4 : 5
1352.07/759.92	c (58,0) c Unaries_5 : 0
1352.07/759.92	c (58,0) c Unaries_6 : 0
1352.07/759.92	c (58,0) c Unaries_7 : 0
1352.07/759.92	c (58,0) c Unaries_total : 9
1352.07/759.92	c (58,0) c Unaries_winner : 5
1352.07/759.92	c (58,0) c Binaries_0 : 10
1352.07/759.92	c (58,0) c Binaries_1 : 21
1352.07/759.92	c (58,0) c Binaries_2 : 12
1352.07/759.92	c (58,0) c Binaries_3 : 8
1352.07/759.92	c (58,0) c Binaries_4 : 43
1352.07/759.92	c (58,0) c Binaries_5 : 13
1352.07/759.92	c (58,0) c Binaries_6 : 4
1352.07/759.92	c (58,0) c Binaries_7 : 12
1352.07/759.92	c (58,0) c Binaries_total : 123
1352.07/759.92	c (58,0) c Binaries_winner : 43
1352.07/759.92	c (58,0) c Glues_0 : 29
1352.07/759.92	c (58,0) c Glues_1 : 128
1352.07/759.92	c (58,0) c Glues_2 : 110
1352.07/759.92	c (58,0) c Glues_3 : 70
1352.07/759.92	c (58,0) c Glues_4 : 194
1352.07/759.92	c (58,0) c Glues_5 : 132
1352.07/759.92	c (58,0) c Glues_6 : 76
1352.07/759.92	c (58,0) c Glues_7 : 108
1352.07/759.92	c (58,0) c Glues_total : 847
1352.07/759.92	c (58,0) c Glues_winner : 194
1352.07/759.92	c (58,0) c RunningTime_0 : 53.363233
1352.07/759.92	c (58,0) c RunningTime_1 : 53.535694
1352.07/759.92	c (58,0) c RunningTime_2 : 53.527051
1352.07/759.92	c (58,0) c RunningTime_3 : 52.739524
1352.07/759.92	c (58,0) c RunningTime_4 : 52.163658
1352.07/759.92	c (58,0) c RunningTime_5 : 53.490647
1352.07/759.92	c (58,0) c RunningTime_6 : 52.387549
1352.07/759.92	c (58,0) c RunningTime_7 : 52.301775
1352.07/759.92	c (58,0) c RunningTime_total : 423.509132
1352.07/759.92	c (58,0) c RunningTime_winner : 52.163658
1352.07/759.92	c (58,0) c WaitingTime_0 : 0.000296
1352.07/759.92	c (58,0) c WaitingTime_1 : 0.000314
1352.07/759.92	c (58,0) c WaitingTime_2 : 0.000273
1352.07/759.92	c (58,0) c WaitingTime_3 : 0.000393
1352.07/759.92	c (58,0) c WaitingTime_4 : 0.000362
1352.07/759.92	c (58,0) c WaitingTime_5 : 0.000353
1352.07/759.92	c (58,0) c WaitingTime_6 : 0.000378
1352.07/759.92	c (58,0) c WaitingTime_7 : 0.000356
1352.07/759.92	c (58,0) c WaitingTime_total : 0.002725
1352.07/759.92	c (58,0) c WaitingTime_winner : 0.000362
1352.07/759.92	c (58,0) c ExchangingTime_0 : 0.010430
1352.07/759.92	c (58,0) c ExchangingTime_1 : 0.006924
1352.07/759.92	c (58,0) c ExchangingTime_2 : 0.004380
1352.07/759.92	c (58,0) c ExchangingTime_3 : 0.003441
1352.07/759.92	c (58,0) c ExchangingTime_4 : 0.008457
1352.07/759.92	c (58,0) c ExchangingTime_5 : 0.004257
1352.07/759.92	c (58,0) c ExchangingTime_6 : 0.003293
1352.07/759.92	c (58,0) c ExchangingTime_7 : 0.004245
1352.07/759.92	c (58,0) c ExchangingTime_total : 0.045426
1352.07/759.92	c (58,0) c ExchangingTime_winner : 0.008457
1352.07/759.92	c (58,0) c PeriodProcTime_0 : 0.003006
1352.07/759.92	c (58,0) c PeriodProcTime_1 : 0.002878
1352.07/759.92	c (58,0) c PeriodProcTime_2 : 0.002902
1352.07/759.92	c (58,0) c PeriodProcTime_3 : 0.002995
1352.07/759.92	c (58,0) c PeriodProcTime_4 : 0.002566
1352.07/759.92	c (58,0) c PeriodProcTime_5 : 0.003105
1352.07/759.92	c (58,0) c PeriodProcTime_6 : 0.003695
1352.07/759.92	c (58,0) c PeriodProcTime_7 : 0.002809
1352.07/759.93	c (58,0) c PeriodProcTime_total : 0.023957
1352.07/759.93	c (58,0) c PeriodProcTime_winner : 0.002566
1352.07/759.93	c (58,0) c SolvingTime_0 : 53.376966
1352.07/759.93	c (58,0) c SolvingTime_1 : 53.545810
1352.07/759.93	c (58,0) c SolvingTime_2 : 53.534606
1352.07/759.93	c (58,0) c SolvingTime_3 : 52.746354
1352.07/759.93	c (58,0) c SolvingTime_4 : 52.175043
1352.07/759.93	c (58,0) c SolvingTime_5 : 53.498362
1352.07/759.93	c (58,0) c SolvingTime_6 : 52.394914
1352.07/759.93	c (58,0) c SolvingTime_7 : 52.309185
1352.07/759.93	c (58,0) c SolvingTime_total : 423.581240
1352.07/759.93	c (58,0) c SolvingTime_winner : 52.175043
1352.07/759.93	c (58,0) c PropagationTime_0 : 51.615177
1352.07/759.93	c (58,0) c PropagationTime_1 : 51.493403
1352.07/759.93	c (58,0) c PropagationTime_2 : 51.503116
1352.07/759.93	c (58,0) c PropagationTime_3 : 50.749263
1352.07/759.93	c (58,0) c PropagationTime_4 : 50.156349
1352.07/759.93	c (58,0) c PropagationTime_5 : 51.464337
1352.07/759.93	c (58,0) c PropagationTime_6 : 50.527009
1352.07/759.93	c (58,0) c PropagationTime_7 : 50.336956
1352.07/759.93	c (58,0) c PropagationTime_total : 407.845608
1352.07/759.93	c (58,0) c PropagationTime_winner : 50.156349
1352.07/759.93	c (58,0) c AnalysisTime_0 : 0.383444
1352.07/759.93	c (58,0) c AnalysisTime_1 : 0.522209
1352.07/759.93	c (58,0) c AnalysisTime_2 : 0.492045
1352.07/759.93	c (58,0) c AnalysisTime_3 : 0.503492
1352.07/759.93	c (58,0) c AnalysisTime_4 : 0.507624
1352.07/759.93	c (58,0) c AnalysisTime_5 : 0.534792
1352.07/759.93	c (58,0) c AnalysisTime_6 : 0.496871
1352.07/759.93	c (58,0) c AnalysisTime_7 : 0.544856
1352.07/759.93	c (58,0) c AnalysisTime_total : 3.985333
1352.07/759.93	c (58,0) c AnalysisTime_winner : 0.507624
1352.07/759.93	c (58,0) c ReductionTime_0 : 0.000000
1352.07/759.93	c (58,0) c ReductionTime_1 : 0.000493
1352.07/759.93	c (58,0) c ReductionTime_2 : 0.000427
1352.07/759.93	c (58,0) c ReductionTime_3 : 0.000480
1352.07/759.93	c (58,0) c ReductionTime_4 : 0.000515
1352.07/759.93	c (58,0) c ReductionTime_5 : 0.000477
1352.07/759.93	c (58,0) c ReductionTime_6 : 0.000498
1352.07/759.93	c (58,0) c ReductionTime_7 : 0.000497
1352.07/759.93	c (58,0) c ReductionTime_total : 0.003387
1352.07/759.93	c (58,0) c ReductionTime_winner : 0.000515
1352.07/759.93	c (58,0) c SimplifyTime_0 : 0.123308
1352.07/759.93	c (58,0) c SimplifyTime_1 : 0.128522
1352.07/759.93	c (58,0) c SimplifyTime_2 : 0.138456
1352.07/759.93	c (58,0) c SimplifyTime_3 : 0.000000
1352.07/759.93	c (58,0) c SimplifyTime_4 : 0.125296
1352.07/759.93	c (58,0) c SimplifyTime_5 : 0.000001
1352.07/759.93	c (58,0) c SimplifyTime_6 : 0.000001
1352.07/759.93	c (58,0) c SimplifyTime_7 : 0.000001
1352.07/759.93	c (58,0) c SimplifyTime_total : 0.515585
1352.07/759.93	c (58,0) c SimplifyTime_winner : 0.125296
1352.07/759.93	c (58,0) c UsedRateTime_0 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_1 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_2 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_3 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_4 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_5 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_6 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_7 : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_total : 0.000000
1352.07/759.93	c (58,0) c UsedRateTime_winner : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_0 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_1 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_2 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_3 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_4 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_5 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_6 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_7 : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_total : 0.000000
1352.07/759.93	c (58,0) c OverlapRateTime_winner : 0.000000
1352.07/759.93	c (58,0) c
1352.07/759.93	c (58,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1352.07/759.93	c (58,0) c
1352.07/759.93	c (58,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.93	c (58,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1352.07/759.93	c (58,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.93	c (58,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1352.07/759.93	c (58,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1352.07/759.93	c (58,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1352.07/759.93	c (58,0) c | Initial random_seed   | 2116719779 |  664212894 |   96574494 |  367598630 |  625368562 |   57557606 | 1828192073 |  250372578 |
1352.07/759.93	c (58,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1352.07/759.93	c (58,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1352.07/759.93	c (58,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1352.07/759.93	c (58,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1352.07/759.93	c (58,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1352.07/759.93	c (58,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1352.07/759.93	c (58,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1352.07/759.93	c (58,0) c | var_decay             |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |
1352.07/759.93	c (58,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1352.07/759.93	c (58,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1352.07/759.93	c (58,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1352.07/759.93	c (58,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1352.07/759.93	c (58,0) 
1352.07/759.93	c (58,0) s UNSATISFIABLE
1352.32/760.11	c (58,0) SatSolver.solve End
1352.32/760.11	c (58,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1352.32/760.11	c (58,0) Show results Begin
1352.32/760.11	s UNSATISFIABLE
1352.32/760.11	c (58,0) Show results End
1352.32/760.11	c (58,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1352.32/760.11	c (58,0) 58,58,STOP-AFTER(ALL)
1352.32/760.11	c END-Prog: Sat Sep 14 01:32:41 CEST 2019

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392600-1568416859/watcher-4392600-1568416859 -o /tmp/evaluation-result-4392600-1568416859/solver-4392600-1568416859 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392600-1568416859.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1468, runsolver pid=1465

[startup+0.100111 s]*
/proc/loadavg: 2.68 1.35 1.71 3/211 1490
/proc/meminfo: memFree=31245176/32770624 swapFree=66996956/67108860
[pid=1468] ppid=1465 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1468/stat : 1468 (scop.sh) S 1465 1468 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417939015 115843072 349 33554432000 4194304 5098028 140728749221600 140728749218856 140511406416508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8392704 140728749224740 140728749225068 140728749225068 140728749227981 0
/proc/1468/statm: 28282 349 296 221 0 87 0
[pid=1471] ppid=1468 vsize=27314120 memory=107404 CPUtime=0.1 cores=0-7
/proc/1471/stat : 1471 (java) S 1468 1468 31983 0 -1 1077944320 6442 0 0 0 8 2 0 0 20 0 20 0 417939016 27969658880 26851 33554432000 4194304 4196468 140724791530336 140724791512880 139889150906103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
/proc/1471/statm: 6828530 26851 2776 1 0 6790935 0
[pid=1471/tid=1472] ppid=1468 vsize=27314120 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/1471/task/1472/stat : 1472 (java) R 1468 1468 31983 0 -1 4202560 4568 0 0 0 7 1 0 0 20 0 20 0 417939016 27969658880 26916 33554432000 4194304 4196468 140724791530336 139889122732432 139889143143230 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1473] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1473/stat : 1473 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 26916 33554432000 4194304 4196468 140724791530336 139889155148048 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1474] ppid=1468 vsize=27314120 memory=140372678657664 CPUtime=0 cores=0-7
/proc/1471/task/1474/stat : 1474 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888969304464 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1475] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1475/stat : 1475 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888968251920 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1476] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1476/stat : 1476 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888967199376 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1477] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1477/stat : 1477 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888966146832 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1478] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1478/stat : 1478 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888965094288 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1479] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1479/stat : 1479 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888568204304 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1480] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1480/stat : 1480 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 26916 33554432000 4194304 4196468 140724791530336 139888567151760 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1481] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1481/stat : 1481 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939020 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887202199536 139889150917250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1482] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1482/stat : 1482 (java) S 1468 1468 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417939021 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887084823456 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1483] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1483/stat : 1483 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939021 27969658880 26916 33554432000 4194304 4196468 140724791530336 139886816388080 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1484] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1484/stat : 1484 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 26916 33554432000 4194304 4196468 140724791530336 139886441879760 139889150924699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1485] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1485/stat : 1485 (java) S 1468 1468 31983 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887201147376 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1486] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1486/stat : 1486 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887200094832 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1487] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1487/stat : 1487 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887199042288 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1488] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1488/stat : 1488 (java) S 1468 1468 31983 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887197989744 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1489] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1489/stat : 1489 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 26916 33554432000 4194304 4196468 140724791530336 139885943974112 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1490] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1490/stat : 1490 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939024 27969658880 26916 33554432000 4194304 4196468 140724791530336 139887196936624 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108800 KiB

[startup+0.210073 s]*
/proc/loadavg: 2.68 1.35 1.71 2/211 1490
/proc/meminfo: memFree=31226652/32770624 swapFree=66996956/67108860
[pid=1468] ppid=1465 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1468/stat : 1468 (scop.sh) S 1465 1468 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417939015 115843072 349 33554432000 4194304 5098028 140728749221600 140728749218856 140511406416508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8392704 140728749224740 140728749225068 140728749225068 140728749227981 0
/proc/1468/statm: 28282 349 296 221 0 87 0
[pid=1471] ppid=1468 vsize=27314120 memory=124496 CPUtime=0.25 cores=0-7
/proc/1471/stat : 1471 (java) S 1468 1468 31983 0 -1 1077944320 11477 0 0 0 21 4 0 0 20 0 20 0 417939016 27969658880 31124 33554432000 4194304 4196468 140724791530336 140724791512880 139889150906103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
/proc/1471/statm: 6828530 31124 2956 1 0 6790935 0
[pid=1471/tid=1472] ppid=1468 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1471/task/1472/stat : 1472 (java) R 1468 1468 31983 0 -1 4202560 9187 0 0 0 16 3 0 0 20 0 20 0 417939016 27969658880 31124 33554432000 4194304 4196468 140724791530336 139889122705488 139889132469655 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1473] ppid=1468 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/1471/task/1473/stat : 1473 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 31124 33554432000 4194304 4196468 140724791530336 139889155148048 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1474] ppid=1468 vsize=27314120 memory=140372678685908 CPUtime=0 cores=0-7
/proc/1471/task/1474/stat : 1474 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888969304464 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1475] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1475/stat : 1475 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888968251920 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1476] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1476/stat : 1476 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888967199376 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1477] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1477/stat : 1477 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888966146832 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1478] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1478/stat : 1478 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888965094288 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1479] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1479/stat : 1479 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888568204304 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1480] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1480/stat : 1480 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 31124 33554432000 4194304 4196468 140724791530336 139888567151760 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1481] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1481/stat : 1481 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939020 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887202199536 139889150917250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1482] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1482/stat : 1482 (java) S 1468 1468 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417939021 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887084823456 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1483] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1483/stat : 1483 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939021 27969658880 31124 33554432000 4194304 4196468 140724791530336 139886816388080 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1484] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1484/stat : 1484 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 31124 33554432000 4194304 4196468 140724791530336 139886441879760 139889150924699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1485] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1485/stat : 1485 (java) S 1468 1468 31983 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887201147376 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1486] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1486/stat : 1486 (java) S 1468 1468 31983 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887200094832 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1487] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1487/stat : 1487 (java) S 1468 1468 31983 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887199042288 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1488] ppid=1468 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/1471/task/1488/stat : 1488 (java) S 1468 1468 31983 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 417939023 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887197989744 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1489] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1489/stat : 1489 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 31124 33554432000 4194304 4196468 140724791530336 139885943974112 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1490] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1490/stat : 1490 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939024 27969658880 31124 33554432000 4194304 4196468 140724791530336 139887196936624 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125892 KiB

[startup+0.309258 s]*
/proc/loadavg: 2.68 1.35 1.71 2/211 1490
/proc/meminfo: memFree=31222976/32770624 swapFree=66996956/67108860
[pid=1468] ppid=1465 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1468/stat : 1468 (scop.sh) S 1465 1468 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417939015 115843072 349 33554432000 4194304 5098028 140728749221600 140728749218856 140511406416508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8392704 140728749224740 140728749225068 140728749225068 140728749227981 0
/proc/1468/statm: 28282 349 296 221 0 87 0
[pid=1471] ppid=1468 vsize=27314120 memory=128172 CPUtime=0.42 cores=0-7
/proc/1471/stat : 1471 (java) S 1468 1468 31983 0 -1 1077944320 11900 0 0 0 38 4 0 0 20 0 20 0 417939016 27969658880 32043 33554432000 4194304 4196468 140724791530336 140724791512880 139889150906103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
/proc/1471/statm: 6828530 32043 3033 1 0 6790935 0
[pid=1471/tid=1472] ppid=1468 vsize=27314120 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1471/task/1472/stat : 1472 (java) R 1468 1468 31983 0 -1 4202560 9455 0 0 0 26 3 0 0 20 0 20 0 417939016 27969658880 32043 33554432000 4194304 4196468 140724791530336 139889122736176 139889132459416 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1473] ppid=1468 vsize=27314120 memory=676 CPUtime=0 cores=0-7
/proc/1471/task/1473/stat : 1473 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 32043 33554432000 4194304 4196468 140724791530336 139889155148048 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1474] ppid=1468 vsize=27314120 memory=1060 CPUtime=0 cores=0-7
/proc/1471/task/1474/stat : 1474 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888969304464 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1475] ppid=1468 vsize=27314120 memory=1548 CPUtime=0 cores=0-7
/proc/1471/task/1475/stat : 1475 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888968251920 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1476] ppid=1468 vsize=27314120 memory=8560 CPUtime=0 cores=0-7
/proc/1471/task/1476/stat : 1476 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888967199376 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1477] ppid=1468 vsize=27314120 memory=1668 CPUtime=0 cores=0-7
/proc/1471/task/1477/stat : 1477 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888966146832 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1478] ppid=1468 vsize=27314120 memory=1112 CPUtime=0 cores=0-7
/proc/1471/task/1478/stat : 1478 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888965094288 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1479] ppid=1468 vsize=27314120 memory=1004 CPUtime=0 cores=0-7
/proc/1471/task/1479/stat : 1479 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888568204304 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1480] ppid=1468 vsize=27314120 memory=5976 CPUtime=0 cores=0-7
/proc/1471/task/1480/stat : 1480 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939019 27969658880 32043 33554432000 4194304 4196468 140724791530336 139888567151760 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1481] ppid=1468 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/1471/task/1481/stat : 1481 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939020 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887202199536 139889150917250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1482] ppid=1468 vsize=27314120 memory=2124 CPUtime=0 cores=0-7
/proc/1471/task/1482/stat : 1482 (java) S 1468 1468 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417939021 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887084823456 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1483] ppid=1468 vsize=27314120 memory=22144 CPUtime=0 cores=0-7
/proc/1471/task/1483/stat : 1483 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939021 27969658880 32043 33554432000 4194304 4196468 140724791530336 139886816388080 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1484] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1484/stat : 1484 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 32043 33554432000 4194304 4196468 140724791530336 139886441879760 139889150924699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1485] ppid=1468 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1471/task/1485/stat : 1485 (java) S 1468 1468 31983 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 417939023 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887201147376 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1486] ppid=1468 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1471/task/1486/stat : 1486 (java) S 1468 1468 31983 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 417939023 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887200094832 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1487] ppid=1468 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1471/task/1487/stat : 1487 (java) R 1468 1468 31983 0 -1 4202560 150 0 0 0 1 0 0 0 20 0 20 0 417939023 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887199042288 139889131606400 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1488] ppid=1468 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1471/task/1488/stat : 1488 (java) S 1468 1468 31983 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 20 0 417939023 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887197989744 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1489] ppid=1468 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1489/stat : 1489 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417939023 27969658880 32043 33554432000 4194304 4196468 140724791530336 139885943974112 139889150916309 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1490] ppid=1468 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1471/task/1490/stat : 1490 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939024 27969658880 32043 33554432000 4194304 4196468 140724791530336 139887196936624 139889150917250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129568 KiB

[startup+0.700891 s]
/proc/loadavg: 2.68 1.35 1.71 3/211 1490
/proc/meminfo: memFree=31199400/32770624 swapFree=66996956/67108860
[pid=1468] ppid=1465 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1468/stat : 1468 (scop.sh) S 1465 1468 31983 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417939015 115843072 349 33554432000 4194304 5098028 140728749221600 140728749218856 140511406416508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8392704 140728749224740 140728749225068 140728749225068 140728749227981 0
/proc/1468/statm: 28282 349 296 221 0 87 0
[pid=1471] ppid=1468 vsize=27320392 memory=167252 CPUtime=1.02 cores=0-7
/proc/1471/stat : 1471 (java) S 1468 1468 31983 0 -1 1077944320 19973 0 0 0 96 6 0 0 20 0 20 0 417939016 27976081408 41813 33554432000 4194304 4196468 140724791530336 140724791512880 139889150906103 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
/proc/1471/statm: 6830098 41813 3183 1 0 6791447 0
[pid=1471/tid=1472] ppid=1468 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/1471/task/1472/stat : 1472 (java) R 1468 1468 31983 0 -1 4202560 16891 0 0 0 63 5 0 0 20 0 20 0 417939016 27976081408 41813 33554432000 4194304 4196468 140724791530336 139889122744032 139889150928029 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1473] ppid=1468 vsize=27320392 memory=140372550656880 CPUtime=0 cores=0-7
/proc/1471/task/1473/stat : 1473 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417939018 27976081408 41813 33554432000 4194304 4196468 140724791530336 139889155148048 139889150916309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1474] ppid=1468 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1474/stat : 1474 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27976081408 41813 33554432000 4194304 4196468 140724791530336 139888969304464 139889150916309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0
[pid=1471/tid=1475] ppid=1468 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1471/task/1475/stat : 1475 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417939018 27976081408 41813 33554432000 4194304 4196468 140724791530336 139888968251920 139889150916309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35065856 140724791538411 140724791538838 140724791538838 140724791541711 0

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

[pid=1557/tid=1560] ppid=1468 vsize=8414124 memory=3540 CPUtime=0 cores=0-7
/proc/1557/task/1560/stat : 1560 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295983835792 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1561] ppid=1468 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1557/task/1561/stat : 1561 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295982782736 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1562] ppid=1468 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/1557/task/1562/stat : 1562 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295981730192 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1563] ppid=1468 vsize=8414124 memory=118236 CPUtime=0 cores=0-7
/proc/1557/task/1563/stat : 1563 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295980678160 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1564] ppid=1468 vsize=8414124 memory=4279860 CPUtime=0 cores=0-7
/proc/1557/task/1564/stat : 1564 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295646379152 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1565] ppid=1468 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/1557/task/1565/stat : 1565 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295645326096 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1566] ppid=1468 vsize=8414124 memory=22160 CPUtime=0 cores=0-7
/proc/1557/task/1566/stat : 1566 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295644273552 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1567] ppid=1468 vsize=8414124 memory=11960 CPUtime=0 cores=0-7
/proc/1557/task/1567/stat : 1567 (java) S 1468 1468 31983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418009138 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295460325616 140296165448322 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1568] ppid=1468 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/1557/task/1568/stat : 1568 (java) S 1468 1468 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418009139 8616062976 29559 33554432000 4194304 4196468 140726978149040 140294569845920 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1569] ppid=1468 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/1557/task/1569/stat : 1569 (java) S 1468 1468 31983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418009139 8616062976 29559 33554432000 4194304 4196468 140726978149040 140294435623664 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1570] ppid=1468 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/1557/task/1570/stat : 1570 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140294061119440 140296165455771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1571] ppid=1468 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/1557/task/1571/stat : 1571 (java) S 1468 1468 31983 0 -1 1077944384 697 0 0 0 6 0 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295459273456 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1572] ppid=1468 vsize=8414124 memory=3548 CPUtime=0.06 cores=0-7
/proc/1557/task/1572/stat : 1572 (java) S 1468 1468 31983 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295458220912 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1573] ppid=1468 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/1557/task/1573/stat : 1573 (java) S 1468 1468 31983 0 -1 1077944384 169 0 0 0 4 0 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295457167856 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1574] ppid=1468 vsize=8414124 memory=4108 CPUtime=0.18 cores=0-7
/proc/1557/task/1574/stat : 1574 (java) S 1468 1468 31983 0 -1 1077944384 557 0 0 0 18 0 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295456115312 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1575] ppid=1468 vsize=8414124 memory=118236 CPUtime=0 cores=0-7
/proc/1557/task/1575/stat : 1575 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140293563214304 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1576] ppid=1468 vsize=8414124 memory=4287888 CPUtime=0.03 cores=0-7
/proc/1557/task/1576/stat : 1576 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 2 1 0 0 20 0 24 0 418009142 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295455062704 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1578] ppid=1468 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/1557/task/1578/stat : 1578 (java) S 1468 1468 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418009208 8616062976 29559 33554432000 4194304 4196468 140726978149040 140295447028672 140296165461785 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1580] ppid=1468 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/1557/task/1580/stat : 1580 (java) S 1468 1468 31983 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 24 0 418009208 8616062976 29559 33554432000 4194304 4196468 140726978149040 140293160550416 140296165459101 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1581] ppid=1468 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1557/task/1581/stat : 1581 (java) S 1468 1468 31983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418009209 8616062976 29559 33554432000 4194304 4196468 140726978149040 140292892115088 140296165459101 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1582] ppid=1468 vsize=8414124 memory=3972 CPUtime=0 cores=0-7
/proc/1557/task/1582/stat : 1582 (java) S 1468 1468 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418009211 8616062976 29559 33554432000 4194304 4196468 140726978149040 140292623687088 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
Current children cumulated CPU time: 1351.08 s
Current children cumulated vsize: 12987384 KiB
Current children cumulated memory: 4408616 KiB

[startup+760.001 s]*
/proc/loadavg: 4.98 2.24 1.78 2/217 1595
/proc/meminfo: memFree=28329384/32770624 swapFree=66996960/67108860
[pid=1468] ppid=1465 vsize=113128 memory=1476 CPUtime=933.33 cores=0-7
/proc/1468/stat : 1468 (scop.sh) S 1465 1468 31983 0 -1 4202496 583 299240 0 0 0 0 88391 4942 20 0 1 0 417939015 115843072 369 33554432000 4194304 5098028 140728749221600 140728749218344 140511406416508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8392704 140728749224740 140728749225068 140728749225068 140728749227981 0
/proc/1468/statm: 28282 369 311 221 0 87 0
[pid=1557] ppid=1468 vsize=8414124 memory=119388 CPUtime=1.24 cores=0-7
/proc/1557/stat : 1557 (java) S 1468 1468 31983 0 -1 1077944320 21333 0 0 0 115 9 0 0 20 0 24 0 418009135 8616062976 29847 33554432000 4194304 4196468 140726978149040 140726978131584 140296165437175 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
/proc/1557/statm: 2103531 29847 3210 1 0 2064875 0
[pid=1557/tid=1558] ppid=1468 vsize=8414124 memory=6935054825532540783 CPUtime=0.75 cores=0-7
/proc/1557/task/1558/stat : 1558 (java) S 1468 1468 31983 0 -1 1077944384 17908 0 0 0 69 6 0 0 20 0 24 0 418009135 8616062976 29847 33554432000 4194304 4196468 140726978149040 140296137277344 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1559] ppid=1468 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/1557/task/1559/stat : 1559 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140296169679376 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1560] ppid=1468 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/1557/task/1560/stat : 1560 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295983835792 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1561] ppid=1468 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1557/task/1561/stat : 1561 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295982782736 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1562] ppid=1468 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/1557/task/1562/stat : 1562 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295981730192 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1563] ppid=1468 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1557/task/1563/stat : 1563 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295980678160 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1564] ppid=1468 vsize=8414124 memory=40516 CPUtime=0 cores=0-7
/proc/1557/task/1564/stat : 1564 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295646379152 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1565] ppid=1468 vsize=8414124 memory=3028 CPUtime=0 cores=0-7
/proc/1557/task/1565/stat : 1565 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295645326096 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1566] ppid=1468 vsize=8414124 memory=-7035114785800479027 CPUtime=0 cores=0-7
/proc/1557/task/1566/stat : 1566 (java) S 1468 1468 31983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418009137 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295644273552 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1567] ppid=1468 vsize=8414124 memory=118236 CPUtime=0 cores=0-7
/proc/1557/task/1567/stat : 1567 (java) S 1468 1468 31983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418009138 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295460325616 140296165448322 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1568] ppid=1468 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1557/task/1568/stat : 1568 (java) S 1468 1468 31983 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418009139 8616062976 29847 33554432000 4194304 4196468 140726978149040 140294569845920 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1569] ppid=1468 vsize=8414124 memory=118236 CPUtime=0 cores=0-7
/proc/1557/task/1569/stat : 1569 (java) S 1468 1468 31983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418009139 8616062976 29847 33554432000 4194304 4196468 140726978149040 140294435623664 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1570] ppid=1468 vsize=8414124 memory=4285992 CPUtime=0 cores=0-7
/proc/1557/task/1570/stat : 1570 (java) S 1468 1468 31983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140294061119440 140296165455771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1571] ppid=1468 vsize=8414124 memory=11960 CPUtime=0.07 cores=0-7
/proc/1557/task/1571/stat : 1571 (java) S 1468 1468 31983 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295459273456 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1572] ppid=1468 vsize=8414124 memory=500 CPUtime=0.06 cores=0-7
/proc/1557/task/1572/stat : 1572 (java) S 1468 1468 31983 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295458220912 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1573] ppid=1468 vsize=8414124 memory=-4075877051373423737 CPUtime=0.05 cores=0-7
/proc/1557/task/1573/stat : 1573 (java) S 1468 1468 31983 0 -1 1077944384 170 0 0 0 5 0 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295457167856 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1574] ppid=1468 vsize=8414124 memory=932 CPUtime=0.2 cores=0-7
/proc/1557/task/1574/stat : 1574 (java) S 1468 1468 31983 0 -1 1077944384 811 0 0 0 20 0 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295456115312 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1575] ppid=1468 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/1557/task/1575/stat : 1575 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140293563214304 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1576] ppid=1468 vsize=8414124 memory=8560 CPUtime=0.03 cores=0-7
/proc/1557/task/1576/stat : 1576 (java) S 1468 1468 31983 0 -1 1077944384 3 0 0 0 2 1 0 0 20 0 24 0 418009142 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295455062704 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1578] ppid=1468 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/1557/task/1578/stat : 1578 (java) S 1468 1468 31983 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418009208 8616062976 29847 33554432000 4194304 4196468 140726978149040 140295447028672 140296165461785 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1580] ppid=1468 vsize=8414124 memory=1112 CPUtime=0.02 cores=0-7
/proc/1557/task/1580/stat : 1580 (java) S 1468 1468 31983 0 -1 4202560 39 0 0 0 2 0 0 0 20 0 24 0 418009208 8616062976 29847 33554432000 4194304 4196468 140726978149040 140293160550448 140296165459101 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1581] ppid=1468 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/1557/task/1581/stat : 1581 (java) S 1468 1468 31983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418009209 8616062976 29847 33554432000 4194304 4196468 140726978149040 140292892115088 140296165459101 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1582] ppid=1468 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/1557/task/1582/stat : 1582 (java) S 1468 1468 31983 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418009211 8616062976 29847 33554432000 4194304 4196468 140726978149040 140292623687088 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
Current children cumulated CPU time: 934.57 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120864 KiB

[startup+760.11 s]
/proc/loadavg: 4.98 2.24 1.78 2/217 1595
/proc/meminfo: memFree=28329384/32770624 swapFree=66996960/67108860
[pid=1468] ppid=1465 vsize=113128 memory=1476 CPUtime=933.33 cores=0-7
/proc/1468/stat : 1468 (scop.sh) S 1465 1468 31983 0 -1 4202496 583 299240 0 0 0 0 88391 4942 20 0 1 0 417939015 115843072 369 33554432000 4194304 5098028 140728749221600 140728749218344 140511406416508 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8392704 140728749224740 140728749225068 140728749225068 140728749227981 0
/proc/1468/statm: 28282 369 311 221 0 87 0
[pid=1557] ppid=1468 vsize=8414124 memory=117352 CPUtime=418.99 cores=0-7
/proc/1557/stat : 1557 (java) S 1468 1468 31983 0 -1 1077944320 21333 3275379 0 0 115 9 40173 1602 20 0 23 0 418009135 8616062976 29843 33554432000 4194304 4196468 140726978149040 140726978131584 140296165437175 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
/proc/1557/statm: 2103531 29843 3210 1 0 2064875 0
[pid=1557/tid=1558] ppid=1468 vsize=8414124 memory=118236 CPUtime=418.5 cores=0-7
/proc/1557/task/1558/stat : 1558 (java) S 1468 1468 31983 0 -1 1077944384 17908 3275379 0 0 69 6 40173 1602 20 0 23 0 418009135 8616062976 29338 33554432000 4194304 4196468 140726978149040 140296137277344 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1559] ppid=1468 vsize=8414124 memory=1476 CPUtime=417.75 cores=0-7
/proc/1557/task/1559/stat : 1559 (java) S 1468 1468 31983 0 -1 1077944384 1 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140296169679376 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1560] ppid=1468 vsize=8414124 memory=11960 CPUtime=417.75 cores=0-7
/proc/1557/task/1560/stat : 1560 (java) S 1468 1468 31983 0 -1 1077944384 2 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295983835792 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1561] ppid=1468 vsize=8414124 memory=500 CPUtime=417.75 cores=0-7
/proc/1557/task/1561/stat : 1561 (java) S 1468 1468 31983 0 -1 1077944384 2 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295982782736 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1562] ppid=1468 vsize=8414124 memory=1388 CPUtime=417.75 cores=0-7
/proc/1557/task/1562/stat : 1562 (java) S 1468 1468 31983 0 -1 1077944384 3 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295981730192 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1563] ppid=1468 vsize=8414124 memory=776 CPUtime=417.75 cores=0-7
/proc/1557/task/1563/stat : 1563 (java) S 1468 1468 31983 0 -1 1077944384 2 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295980678160 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1564] ppid=1468 vsize=8414124 memory=3972 CPUtime=417.75 cores=0-7
/proc/1557/task/1564/stat : 1564 (java) S 1468 1468 31983 0 -1 1077944384 1 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295646379152 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1565] ppid=1468 vsize=8414124 memory=2828 CPUtime=417.75 cores=0-7
/proc/1557/task/1565/stat : 1565 (java) S 1468 1468 31983 0 -1 1077944384 2 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295645326096 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1566] ppid=1468 vsize=8414124 memory=3472328296227679313 CPUtime=417.75 cores=0-7
/proc/1557/task/1566/stat : 1566 (java) S 1468 1468 31983 0 -1 1077944384 2 3275379 0 0 0 0 40173 1602 20 0 23 0 418009137 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295644273552 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1567] ppid=1468 vsize=8414124 memory=6943526294502006880 CPUtime=417.75 cores=0-7
/proc/1557/task/1567/stat : 1567 (java) S 1468 1468 31983 0 -1 1077944384 6 3275379 0 0 0 0 40173 1602 20 0 23 0 418009138 8616062976 29338 33554432000 4194304 4196468 140726978149040 140295460325616 140296165448322 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1568] ppid=1468 vsize=8414124 memory=4273304 CPUtime=417.75 cores=0-7
/proc/1557/task/1568/stat : 1568 (java) S 1468 1468 31983 0 -1 1077944384 13 3275379 0 0 0 0 40173 1602 20 0 23 0 418009139 8616062976 29338 33554432000 4194304 4196468 140726978149040 140294569845920 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1569] ppid=1468 vsize=8414124 memory=1476 CPUtime=417.75 cores=0-7
/proc/1557/task/1569/stat : 1569 (java) S 1468 1468 31983 0 -1 1077944384 21 3275379 0 0 0 0 40173 1602 20 0 23 0 418009139 8616062976 29338 33554432000 4194304 4196468 140726978149040 140294435623664 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1570] ppid=1468 vsize=8414124 memory=0 CPUtime=417.75 cores=0-7
/proc/1557/task/1570/stat : 1570 (java) S 1468 1468 31983 0 -1 1077944384 1 3275379 0 0 0 0 40173 1602 20 0 23 0 418009142 8616062976 29850 33554432000 4194304 4196468 140726978149040 140294061119440 140296165455771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1571] ppid=1468 vsize=8414124 memory=6944656592455360604 CPUtime=417.82 cores=0-7
/proc/1557/task/1571/stat : 1571 (java) S 1468 1468 31983 0 -1 1077944384 708 3275379 0 0 7 0 40173 1602 20 0 23 0 418009142 8616062976 29844 33554432000 4194304 4196468 140726978149040 140295459273456 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1572] ppid=1468 vsize=8283048 memory=1476 CPUtime=417.81 cores=0-7
/proc/1557/task/1572/stat : 1572 (java) S 1468 1468 31983 0 -1 1077944384 302 3275379 0 0 6 0 40173 1602 20 0 22 0 418009142 8481841152 29844 33554432000 4194304 4196468 140726978149040 140295458220912 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1573] ppid=1468 vsize=8283048 memory=1476 CPUtime=417.8 cores=0-7
/proc/1557/task/1573/stat : 1573 (java) S 1468 1468 31983 0 -1 1077944384 170 3275379 0 0 5 0 40173 1602 20 0 22 0 418009142 8481841152 29844 33554432000 4194304 4196468 140726978149040 140295457167856 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1574] ppid=1468 vsize=8283048 memory=68 CPUtime=417.95 cores=0-7
/proc/1557/task/1574/stat : 1574 (java) S 1468 1468 31983 0 -1 1077944384 811 3275379 0 0 20 0 40173 1602 20 0 22 0 418009142 8481841152 29844 33554432000 4194304 4196468 140726978149040 140295456115312 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1575] ppid=1468 vsize=8283048 memory=7445382932431333735 CPUtime=417.75 cores=0-7
/proc/1557/task/1575/stat : 1575 (java) S 1468 1468 31983 0 -1 1077944384 3 3275379 0 0 0 0 40173 1602 20 0 22 0 418009142 8481841152 29844 33554432000 4194304 4196468 140726978149040 140293563214304 140296165447381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1576] ppid=1468 vsize=8283048 memory=812 CPUtime=417.78 cores=0-7
/proc/1557/task/1576/stat : 1576 (java) S 1468 1468 31983 0 -1 1077944384 3 3275379 0 0 2 1 40173 1602 20 0 22 0 418009142 8481841152 29844 33554432000 4194304 4196468 140726978149040 140295455062704 140296165448322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1578] ppid=1468 vsize=8283048 memory=1764 CPUtime=417.75 cores=0-7
/proc/1557/task/1578/stat : 1578 (java) R 1468 1468 31983 0 -1 4202560 24 3275379 0 0 0 0 40173 1602 20 0 22 0 418009208 8481841152 29844 33554432000 4194304 4196468 140726978149040 140295447023056 140296149517662 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
[pid=1557/tid=1582] ppid=1468 vsize=8283048 memory=1476 CPUtime=417.75 cores=0-7
/proc/1557/task/1582/stat : 1582 (java) R 1468 1468 31983 0 -1 4202560 6 3275379 0 0 0 0 40173 1602 20 0 22 0 418009211 8481841152 29844 33554432000 4194304 4196468 140726978149040 140292623687088 140296149517662 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19017728 140726978151416 140726978151574 140726978151574 140726978154447 0
Current children cumulated CPU time: 1352.32 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 118828 KiB

Child status: 0
Real time (s): 760.153
CPU time (s): 1352.41
CPU user time (s): 1286.82
CPU system time (s): 65.5863
CPU usage (%): 177.913
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 22488716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1286.82
system time used= 65.5863
maximum resident set size= 22488688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3596657
page faults= 0
swaps= 0
block input operations= 8
block output operations= 312600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1308876
involuntary context switches= 7026


# summary of solver processes directly reported to runsolver:
#   pid: 1468
#   total CPU time (s): 1352.41
#   total CPU user time (s): 1286.82
#   total CPU system time (s): 65.5863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86445 second user time and 7.58866 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 01:20:00
IDJOB=4392600
IDBENCH=120983
IDSOLVER=2839
FILE ID=node103/4392600-1568416859
RUNJOBID= node103-1568416709-32010
PBS_JOBID= 21702263
Free space on /tmp= 61692 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-22.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392600-1568416859/watcher-4392600-1568416859 -o /tmp/evaluation-result-4392600-1568416859/solver-4392600-1568416859 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568416709-32010 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392600-1568416859.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1f678c7b1175962864f0f6df2117d050
RANDOM SEED=964400374

node103.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.74
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.74
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.74
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.74
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:        31341340 kB
MemAvailable:   31888256 kB
Buffers:           83128 kB
Cached:           747916 kB
SwapCached:         9148 kB
Active:           624692 kB
Inactive:         216840 kB
Active(anon):       5120 kB
Inactive(anon):    46920 kB
Active(file):     619572 kB
Inactive(file):   169920 kB
Unevictable:      111248 kB
Mlocked:          111248 kB
SwapTotal:      67108860 kB
SwapFree:       66996956 kB
Dirty:             49548 kB
Writeback:             0 kB
AnonPages:        114172 kB
Mapped:            44308 kB
Shmem:             32632 kB
Slab:             176532 kB
SReclaimable:     146516 kB
SUnreclaim:        30016 kB
KernelStack:        3360 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 61668 MiB
End job on node103 at 2019-09-14 01:32:41