Trace number 4405460

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-09-22)UNSAT 1344.77 756.587

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-28021-serial-file.bin HOME/instance-4405460-1569238651.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: Mon Sep 23 12:27:10 CEST 2019
0.65/0.56	c PID: 28024
0.65/0.56	c IP: 172.20.3.104
0.65/0.56	c HOST: node104.alineos.net
0.65/0.57	c (0,0) Parsing Begin
6.33/4.88	c (4,4) Parsing End
6.33/4.88	c (4,4) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
6.33/4.88	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.33/4.88	c (4,4) Constraint Name Generate Begin
6.33/4.89	c (4,4) Ctr:HOME/instance-4405460-1569238651.xml,ExtensionSupport:Var
6.33/4.89	c (4,4) Constraint Name Generate End
6.33/4.89	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.33/4.89	c (4,4) CSP to CSPinCNF Begin
66.93/46.09	c (45,44) translated 20 (10%) constraints
118.91/87.83	c (87,84) translated 40 (20%) constraints
175.55/130.30	c (129,125) translated 60 (30%) constraints
229.53/172.39	c (171,165) translated 80 (40%) constraints
278.30/213.91	c (213,206) translated 100 (50%) constraints
326.41/255.27	c (254,246) translated 120 (60%) constraints
375.00/296.61	c (296,286) translated 140 (70%) constraints
424.43/338.21	c (337,327) translated 160 (80%) constraints
470.39/379.29	c (378,367) translated 180 (90%) constraints
520.25/420.87	c (420,407) translated 200 (100%) constraints
522.25/422.89	c (422,409) ===========================================
524.18/424.72	c (424,411) Hybrid: #OE=436517, #LE=0
524.18/424.72	c (424,411) Hybrid
524.18/424.72	c (424,411) ===========================================
543.00/439.34	c (438,425) translated 634338 (10%) constraints
557.06/453.39	c (452,439) translated 1268676 (20%) constraints
576.04/467.97	c (467,453) translated 1903014 (30%) constraints
595.70/482.65	c (482,467) translated 2537351 (40%) constraints
609.70/496.64	c (496,481) translated 3171689 (50%) constraints
629.31/511.32	c (510,495) translated 3806027 (60%) constraints
648.70/525.96	c (525,509) translated 4440364 (70%) constraints
662.60/539.85	c (539,523) translated 5074702 (80%) constraints
682.28/554.46	c (553,537) translated 5709040 (90%) constraints
701.86/569.08	c (568,551) translated 6343377 (100%) constraints
701.86/569.08	c (568,551) CSP to CSPinCNF End
702.07/569.22	c (568,551) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
702.07/569.22	c (568,551) Heap : 9553 MiB used (max 21825 MiB), NonHeap : 26 MiB used (max 0 MiB)
702.07/569.22	c (568,551) CSPinCNF Propagation Begin
781.84/607.29	c (606,583) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
781.84/607.29	c (606,583) CSPinCNF Propagation End
782.05/607.43	c (606,583) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
782.05/607.43	c (606,583) Heap : 15829 MiB used (max 21872 MiB), NonHeap : 27 MiB used (max 0 MiB)
783.96/609.33	c (608,585) Hybrid: #OE=436517, #LE=0
783.96/609.33	c (608,585) Simplify CSPinCNF Begin
822.42/625.38	c (624,598) Simplify CSPinCNF End
822.62/625.52	c (624,598) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
822.62/625.52	c (624,598) Heap : 13643 MiB used (max 21212 MiB), NonHeap : 27 MiB used (max 0 MiB)
822.62/625.52	c (624,598) Calculate Precise Domain Begin
822.62/625.52	c (624,598) 0 values are removed by re-calculation
822.62/625.52	c (624,598) Calculate Precise Domain End
822.72/625.66	c (625,598) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
822.72/625.66	c (625,598) Heap : 13647 MiB used (max 21212 MiB), NonHeap : 27 MiB used (max 0 MiB)
822.72/625.66	c (625,598) CSPinCNF to SatSolver Begin
836.59/633.82	c (633,606) 634338 (10 %) CSP clauses are encoded (0 SAT variables, 634457 SAT clauses)
846.55/640.77	c (640,612) 1268676 (20 %) CSP clauses are encoded (0 SAT variables, 1268795 SAT clauses)
855.65/647.59	c (647,619) 1903014 (30 %) CSP clauses are encoded (0 SAT variables, 1903133 SAT clauses)
867.40/654.76	c (654,625) 2537351 (40 %) CSP clauses are encoded (0 SAT variables, 2537470 SAT clauses)
876.56/661.58	c (661,632) 3171689 (50 %) CSP clauses are encoded (0 SAT variables, 3171808 SAT clauses)
885.72/668.59	c (668,638) 3806027 (60 %) CSP clauses are encoded (0 SAT variables, 3806146 SAT clauses)
895.06/675.51	c (674,645) 4440364 (70 %) CSP clauses are encoded (0 SAT variables, 4440483 SAT clauses)
904.21/682.36	c (681,651) 5074702 (80 %) CSP clauses are encoded (0 SAT variables, 5074821 SAT clauses)
913.64/689.23	c (688,658) 5709040 (90 %) CSP clauses are encoded (0 SAT variables, 5709159 SAT clauses)
923.18/696.13	c (695,664) 6343377 (100 %) CSP clauses are encoded (0 SAT variables, 6343496 SAT clauses)
923.18/696.13	c (695,664) CSPinCNF to SatSolver End
923.18/696.13	c (695,664) Heap : 18159 MiB used (max 21577 MiB), NonHeap : 29 MiB used (max 0 MiB)
923.18/696.13	c (695,664) 436637 bool, 6343497 clause
923.18/696.13	c (695,664) Export Begin
923.31/696.22	c (695,664) Export to HOME/scop-28021-serial-file.bin
923.31/696.22	c (695,664) Export End
923.31/696.22	c (695,664) Export File Size: 0.00 MB
923.31/696.22	c (695,664) 4,4,568,606,624,625,695,STOP-AFTER(DIMACS)
923.31/696.22	c END-Prog: Mon Sep 23 12:38:46 CEST 2019
0.00/696.33	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28021-serial-file.bin
923.48/696.80	c (0,0) Read Serial File Begin
923.48/696.80	c (0,0) HOME/scop-28021-serial-file.bin
923.48/697.01	c (0,0) Read Serial File End
924.38/697.02	
924.61/697.13	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
924.61/697.13	(Solving Process)
924.61/697.13	
924.61/697.13	c BEGIN-Prog: Mon Sep 23 12:38:46 CEST 2019
924.61/697.13	c PID: 28098
924.61/697.13	c IP: 172.20.3.104
924.61/697.13	c HOST: node104.alineos.net
924.61/697.13	c (0,0) SatSolver.solve Begin
924.61/697.13	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405460-1569238651.xml-scop-28024.cnf
924.61/697.13	c (0,0) c
924.61/697.13	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)
924.61/697.13	c (0,0) c
924.61/697.13	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
924.61/697.13	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
924.61/697.13	c (0,0) c ========================================[ Problem Statistics ]===========================================
924.61/697.13	c (0,0) c |                                                                                                       |
926.90/699.43	c (2,0) c |  Number of variables:        436637                                                                   |
926.90/699.43	c (2,0) c |  Number of clauses:         6343497                                                                   |
926.90/699.43	c (2,0) c |  Parse time:                   2.12 s                                                                 |
926.90/699.43	c (2,0) c |                                                                                                       |
927.51/700.09	c (3,0) c | Too many clauses... No preprocessing                                                                  |
927.51/700.09	c (3,0) c |  Simplification time:          0.61 s                                                                 |
927.51/700.09	c (3,0) c |                                                                                                       |
927.51/700.09	c (3,0) c |  Generating clones                                                                                    |
929.01/701.58	c (4,0) c |  all clones generated. Memory =  3437.28Mb.                                                           |
929.01/701.58	c (4,0) c ========================================================================================================|
929.01/701.58	c (4,0) c
929.01/701.58	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
929.01/701.58	c (4,0) c
929.01/701.58	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.01/701.58	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
929.01/701.58	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.01/701.58	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
929.01/701.58	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
929.01/701.58	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
929.01/701.58	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
929.01/701.58	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
929.01/701.58	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
929.01/701.58	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
929.01/701.58	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
929.01/701.58	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
929.01/701.58	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
929.01/701.58	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
929.01/701.58	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
929.01/701.58	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
929.01/701.58	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
929.01/701.58	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
929.01/701.58	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1154.87/731.03	c (34,0) c
1154.87/731.03	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
1154.87/731.03	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1154.87/731.03	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
1154.87/731.03	c (34,0) c |  0 |      1 |        798 |        571 |    15026 |      571 |       15 |        0 |        0 |      107 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  1 |      2 |       3024 |       2098 |    44751 |     1102 |       62 |        0 |        0 |       96 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  2 |      2 |       2385 |       1481 |    47469 |     1481 |       45 |      201 |        0 |      101 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  3 |      2 |       2035 |       1200 |    51279 |     1200 |       36 |      217 |        0 |      108 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  4 |      5 |       3884 |       2683 |    41886 |     1683 |       90 |      187 |        0 |      104 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  5 |      1 |       4220 |       2927 |    40988 |     1933 |       64 |        0 |        0 |      103 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  6 |      3 |       3780 |       2400 |    28926 |     1405 |       53 |       37 |        0 |      111 |  20 |  0.000 |
1154.87/731.03	c (34,0) c |  7 |      2 |       3351 |       2209 |    46091 |     1208 |       40 |      252 |        0 |      108 |  20 |  0.000 |
1154.87/731.03	c (34,0) c 
1154.87/731.03	c (34,0) c synthesis       15569 conflicts   310119709 propagations       72 conflicts/sec  1436695 propagations/sec
1154.87/731.03	c (34,0) c real: 33.9599 s, cpu: 215.856 s, memory: 4336.82 Mb
1344.42/756.34	c (59,0) c
1344.42/756.34	c (59,0) c real time : 59.2684 s
1344.42/756.34	c (59,0) c cpu time  : 404.123 s
1344.42/756.34	c (59,0) c
1344.42/756.34	c (59,0) c
1344.42/756.34	c (59,0) c
1344.42/756.34	c (59,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1344.42/756.34	c (59,0) c
1344.42/756.34	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.34	c (59,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1344.42/756.34	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.34	c (59,0) c | Conflicts     |           36198 |       1274 |       5241 |       4146 |       3983 |       5674 |       6427 |       3765 |       5688 |
1344.42/756.34	c (59,0) c | Decisions     |           50012 |       1872 |       7343 |       5726 |       5853 |       7538 |       8406 |       5500 |       7774 |
1344.42/756.34	c (59,0) c | Propagations  |       555571891 |   80153808 |   70509626 |   71462600 |   77871557 |   61216617 |   68589938 |   61545780 |   64221965 |
1344.42/756.34	c (59,0) c | ReduceDBs     |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1344.42/756.34	c (59,0) c | SimpDBs       |              12 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          1 |
1344.42/756.34	c (59,0) c | Restarts      |              22 |          1 |          4 |          2 |          2 |          6 |          2 |          3 |          2 |
1344.42/756.34	c (59,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1344.42/756.34	c (59,0) c | PropBinClauses|       247350619 |   29701603 |   29213453 |   31086310 |   32734648 |   32086013 |   31025139 |   29884402 |   31619051 |
1344.42/756.34	c (59,0) c | PropPreBlocker|      4172392934 |  471297321 |  517530621 |  519945213 |  532367256 |  511688583 |  537889453 |  539509982 |  542164505 |
1344.42/756.34	c (59,0) c | PropNotBlocker|      2992668291 |  317266938 |  377250684 |  392795489 |  312033360 |  400834616 |  397263425 |  407501124 |  387722655 |
1344.42/756.34	c (59,0) c | LitFullScans  |      9469214392 | 1180309249 | 1180672611 | 1180971769 | 1180962441 | 1183156291 | 1181728889 | 1200724969 | 1180688173 |
1344.42/756.34	c (59,0) c | LitScanFracts |        37748431 |    3500654 |    4511256 |    4858251 |    3996965 |    4358647 |    5672291 |    6176649 |    4673718 |
1344.42/756.34	c (59,0) c | DecisionLevel0|              31 |          2 |          6 |          3 |          2 |         11 |          2 |          3 |          2 |
1344.42/756.34	c (59,0) c | Periods       |            1571 |        196 |        196 |        196 |        196 |        196 |        196 |        199 |        196 |
1344.42/756.34	c (59,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1344.42/756.34	c (59,0) c | Avg_Trail     |                 |     146591 |      62546 |      66201 |      69251 |      40616 |      43367 |      72767 |      39030 |
1344.42/756.34	c (59,0) c | Avg_DL        |                 |         21 |         10 |         14 |         17 |         12 |         21 |         18 |         19 |
1344.42/756.34	c (59,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1344.42/756.34	c (59,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1344.42/756.34	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.35	c (59,0) c | Exported      |            1297 |         29 |        161 |        110 |         70 |        292 |        365 |         76 |        194 |
1344.42/756.35	c (59,0) c | Imported      |            3215 |        370 |        693 |        565 |        217 |        761 |        320 |         37 |        252 |
1344.42/756.35	c (59,0) c | Good          |             378 |         44 |         89 |         86 |         22 |         70 |         39 |          1 |         27 |
1344.42/756.35	c (59,0) c | Purge         |            2837 |        326 |        604 |        479 |        195 |        691 |        281 |         36 |        225 |
1344.42/756.35	c (59,0) c | Promoted      |              11 |          0 |          4 |          0 |          0 |          4 |          0 |          0 |          3 |
1344.42/756.35	c (59,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1344.42/756.35	c (59,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1344.42/756.35	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.35	c (59,0) c | Unaries       |                 |          1 |          2 |          1 |          0 |          5 |          0 |          0 |          0 |
1344.42/756.35	c (59,0) c | Binaries      |                 |         10 |         21 |         12 |          8 |         43 |         13 |          4 |         12 |
1344.42/756.35	c (59,0) c | Glues         |                 |         29 |        128 |        110 |         70 |        194 |        132 |         76 |        107 |
1344.42/756.35	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.35	c (59,0) c | Orig_Seen     |             0 % |      27195 |      69143 |      65310 |      77401 |      68259 |      69198 |      40961 |      67710 |
1344.42/756.35	c (59,0) c | Diff Orig seen|                 | -    41064 |        884 | -     2949 |       9142 |      X     |        939 | -    27298 | -      549 |
1344.42/756.35	c (59,0) c | Hamming       |             9 % |      39230 |      37618 |      38067 |      43491 |      X     |      41045 |      38016 |      40809 |
1344.42/756.35	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.35	c (59,0) c | RunningTime   |                 |   52.7 100%|   54.7 100%|   53.3 100%|   52.8 100%|   52.5 100%|   54.0 100%|   52.7 100%|   52.9 100%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,0) c | SolvingTime   |                 |   52.7     |   54.7     |   53.3     |   52.8     |   52.5     |   54.0     |   52.7     |   52.9     |
1344.42/756.35	c (59,0) c | PropagationTim|                 |   50.9  97%|   52.7  96%|   51.3  96%|   50.9  96%|   50.4  96%|   52.0  96%|   50.8  96%|   50.9  96%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,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%|
1344.42/756.35	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.35	c (59,0) c
1344.42/756.35	c (59,0) c
1344.42/756.35	c (59,0) c Threads : 8
1344.42/756.35	c (59,0) c Winner : 4
1344.42/756.35	c (59,0) c Conflicts_0 : 1274
1344.42/756.35	c (59,0) c Conflicts_1 : 5241
1344.42/756.35	c (59,0) c Conflicts_2 : 4146
1344.42/756.35	c (59,0) c Conflicts_3 : 3983
1344.42/756.35	c (59,0) c Conflicts_4 : 5674
1344.42/756.35	c (59,0) c Conflicts_5 : 6427
1344.42/756.35	c (59,0) c Conflicts_6 : 3765
1344.42/756.35	c (59,0) c Conflicts_7 : 5688
1344.42/756.35	c (59,0) c Conflicts_total : 36198
1344.42/756.35	c (59,0) c Conflicts_winner : 5674
1344.42/756.35	c (59,0) c Decisions_0 : 1872
1344.42/756.35	c (59,0) c Decisions_1 : 7343
1344.42/756.35	c (59,0) c Decisions_2 : 5726
1344.42/756.35	c (59,0) c Decisions_3 : 5853
1344.42/756.35	c (59,0) c Decisions_4 : 7538
1344.42/756.35	c (59,0) c Decisions_5 : 8406
1344.42/756.35	c (59,0) c Decisions_6 : 5500
1344.42/756.35	c (59,0) c Decisions_7 : 7774
1344.42/756.35	c (59,0) c Decisions_total : 50012
1344.42/756.35	c (59,0) c Decisions_winner : 7538
1344.42/756.35	c (59,0) c Propagations_0 : 80153808
1344.42/756.35	c (59,0) c Propagations_1 : 70509626
1344.42/756.35	c (59,0) c Propagations_2 : 71462600
1344.42/756.35	c (59,0) c Propagations_3 : 77871557
1344.42/756.35	c (59,0) c Propagations_4 : 61216617
1344.42/756.35	c (59,0) c Propagations_5 : 68589938
1344.42/756.35	c (59,0) c Propagations_6 : 61545780
1344.42/756.35	c (59,0) c Propagations_7 : 64221965
1344.42/756.35	c (59,0) c Propagations_total : 555571891
1344.42/756.35	c (59,0) c Propagations_winner : 61216617
1344.42/756.35	c (59,0) c ReduceDBs_0 : 0
1344.42/756.35	c (59,0) c ReduceDBs_1 : 1
1344.42/756.35	c (59,0) c ReduceDBs_2 : 1
1344.42/756.35	c (59,0) c ReduceDBs_3 : 1
1344.42/756.35	c (59,0) c ReduceDBs_4 : 1
1344.42/756.35	c (59,0) c ReduceDBs_5 : 1
1344.42/756.35	c (59,0) c ReduceDBs_6 : 1
1344.42/756.35	c (59,0) c ReduceDBs_7 : 1
1344.42/756.35	c (59,0) c ReduceDBs_total : 7
1344.42/756.35	c (59,0) c ReduceDBs_winner : 1
1344.42/756.35	c (59,0) c SimpDBs_0 : 2
1344.42/756.35	c (59,0) c SimpDBs_1 : 2
1344.42/756.35	c (59,0) c SimpDBs_2 : 2
1344.42/756.35	c (59,0) c SimpDBs_3 : 1
1344.42/756.35	c (59,0) c SimpDBs_4 : 2
1344.42/756.35	c (59,0) c SimpDBs_5 : 1
1344.42/756.35	c (59,0) c SimpDBs_6 : 1
1344.42/756.35	c (59,0) c SimpDBs_7 : 1
1344.42/756.35	c (59,0) c SimpDBs_total : 12
1344.42/756.35	c (59,0) c SimpDBs_winner : 2
1344.42/756.35	c (59,0) c Restarts_0 : 1
1344.42/756.35	c (59,0) c Restarts_1 : 4
1344.42/756.35	c (59,0) c Restarts_2 : 2
1344.42/756.35	c (59,0) c Restarts_3 : 2
1344.42/756.35	c (59,0) c Restarts_4 : 6
1344.42/756.35	c (59,0) c Restarts_5 : 2
1344.42/756.35	c (59,0) c Restarts_6 : 3
1344.42/756.35	c (59,0) c Restarts_7 : 2
1344.42/756.35	c (59,0) c Restarts_total : 22
1344.42/756.35	c (59,0) c Restarts_winner : 6
1344.42/756.35	c (59,0) c ForcedImports_0 : 0
1344.42/756.35	c (59,0) c ForcedImports_1 : 0
1344.42/756.35	c (59,0) c ForcedImports_2 : 0
1344.42/756.35	c (59,0) c ForcedImports_3 : 0
1344.42/756.35	c (59,0) c ForcedImports_4 : 0
1344.42/756.35	c (59,0) c ForcedImports_5 : 0
1344.42/756.35	c (59,0) c ForcedImports_6 : 0
1344.42/756.35	c (59,0) c ForcedImports_7 : 0
1344.42/756.35	c (59,0) c ForcedImports_total : 0
1344.42/756.35	c (59,0) c ForcedImports_winner : 0
1344.42/756.35	c (59,0) c PropsBinClauses_0 : 29701603
1344.42/756.35	c (59,0) c PropsBinClauses_1 : 29213453
1344.42/756.35	c (59,0) c PropsBinClauses_2 : 31086310
1344.42/756.35	c (59,0) c PropsBinClauses_3 : 32734648
1344.42/756.35	c (59,0) c PropsBinClauses_4 : 32086013
1344.42/756.35	c (59,0) c PropsBinClauses_5 : 31025139
1344.42/756.35	c (59,0) c PropsBinClauses_6 : 29884402
1344.42/756.35	c (59,0) c PropsBinClauses_7 : 31619051
1344.42/756.35	c (59,0) c PropsBinClauses_total : 247350619
1344.42/756.35	c (59,0) c PropsBinClauses_winner : 32086013
1344.42/756.35	c (59,0) c PropsPreBlocker_0 : 471297321
1344.42/756.35	c (59,0) c PropsPreBlocker_1 : 517530621
1344.42/756.35	c (59,0) c PropsPreBlocker_2 : 519945213
1344.42/756.35	c (59,0) c PropsPreBlocker_3 : 532367256
1344.42/756.35	c (59,0) c PropsPreBlocker_4 : 511688583
1344.42/756.35	c (59,0) c PropsPreBlocker_5 : 537889453
1344.42/756.35	c (59,0) c PropsPreBlocker_6 : 539509982
1344.42/756.35	c (59,0) c PropsPreBlocker_7 : 542164505
1344.42/756.35	c (59,0) c PropsPreBlocker_total : 4172392934
1344.42/756.35	c (59,0) c PropsPreBlocker_winner : 511688583
1344.42/756.35	c (59,0) c PropsNotBlocker_0 : 317266938
1344.42/756.35	c (59,0) c PropsNotBlocker_1 : 377250684
1344.42/756.35	c (59,0) c PropsNotBlocker_2 : 392795489
1344.42/756.35	c (59,0) c PropsNotBlocker_3 : 312033360
1344.42/756.35	c (59,0) c PropsNotBlocker_4 : 400834616
1344.42/756.35	c (59,0) c PropsNotBlocker_5 : 397263425
1344.42/756.35	c (59,0) c PropsNotBlocker_6 : 407501124
1344.42/756.35	c (59,0) c PropsNotBlocker_7 : 387722655
1344.42/756.35	c (59,0) c PropsNotBlocker_total : 2992668291
1344.42/756.35	c (59,0) c PropsNotBlocker_winner : 400834616
1344.42/756.35	c (59,0) c PropsLitFullScans_0 : 1180309249
1344.42/756.35	c (59,0) c PropsLitFullScans_1 : 1180672611
1344.42/756.35	c (59,0) c PropsLitFullScans_2 : 1180971769
1344.42/756.35	c (59,0) c PropsLitFullScans_3 : 1180962441
1344.42/756.35	c (59,0) c PropsLitFullScans_4 : 1183156291
1344.42/756.35	c (59,0) c PropsLitFullScans_5 : 1181728889
1344.42/756.35	c (59,0) c PropsLitFullScans_6 : 1200724969
1344.42/756.35	c (59,0) c PropsLitFullScans_7 : 1180688173
1344.42/756.35	c (59,0) c PropsLitFullScans_total : 9469214392
1344.42/756.35	c (59,0) c PropsLitFullScans_winner : 1183156291
1344.42/756.35	c (59,0) c LitScanFractions_0 : 3500654
1344.42/756.35	c (59,0) c LitScanFractions_1 : 4511256
1344.42/756.35	c (59,0) c LitScanFractions_2 : 4858251
1344.42/756.35	c (59,0) c LitScanFractions_3 : 3996965
1344.42/756.35	c (59,0) c LitScanFractions_4 : 4358647
1344.42/756.35	c (59,0) c LitScanFractions_5 : 5672291
1344.42/756.35	c (59,0) c LitScanFractions_6 : 6176649
1344.42/756.35	c (59,0) c LitScanFractions_7 : 4673718
1344.42/756.35	c (59,0) c LitScanFractions_total : 37748431
1344.42/756.35	c (59,0) c LitScanFractions_winner : 4358647
1344.42/756.35	c (59,0) c DecisionLevel0_0 : 2
1344.42/756.35	c (59,0) c DecisionLevel0_1 : 6
1344.42/756.35	c (59,0) c DecisionLevel0_2 : 3
1344.42/756.35	c (59,0) c DecisionLevel0_3 : 2
1344.42/756.35	c (59,0) c DecisionLevel0_4 : 11
1344.42/756.35	c (59,0) c DecisionLevel0_5 : 2
1344.42/756.35	c (59,0) c DecisionLevel0_6 : 3
1344.42/756.35	c (59,0) c DecisionLevel0_7 : 2
1344.42/756.35	c (59,0) c DecisionLevel0_total : 31
1344.42/756.35	c (59,0) c DecisionLevel0_winner : 11
1344.42/756.35	c (59,0) c Periods_0 : 196
1344.42/756.35	c (59,0) c Periods_1 : 196
1344.42/756.35	c (59,0) c Periods_2 : 196
1344.42/756.35	c (59,0) c Periods_3 : 196
1344.42/756.35	c (59,0) c Periods_4 : 196
1344.42/756.35	c (59,0) c Periods_5 : 196
1344.42/756.35	c (59,0) c Periods_6 : 199
1344.42/756.35	c (59,0) c Periods_7 : 196
1344.42/756.35	c (59,0) c Periods_total : 1571
1344.42/756.35	c (59,0) c Periods_winner : 196
1344.42/756.35	c (59,0) c Margin_0 : 20
1344.42/756.35	c (59,0) c Margin_1 : 20
1344.42/756.35	c (59,0) c Margin_2 : 20
1344.42/756.35	c (59,0) c Margin_3 : 20
1344.42/756.35	c (59,0) c Margin_4 : 20
1344.42/756.35	c (59,0) c Margin_5 : 20
1344.42/756.35	c (59,0) c Margin_6 : 20
1344.42/756.35	c (59,0) c Margin_7 : 20
1344.42/756.35	c (59,0) c Margin_total : 160
1344.42/756.35	c (59,0) c Margin_winner : 20
1344.42/756.35	c (59,0) c Exported_0 : 29
1344.42/756.35	c (59,0) c Exported_1 : 161
1344.42/756.35	c (59,0) c Exported_2 : 110
1344.42/756.35	c (59,0) c Exported_3 : 70
1344.42/756.35	c (59,0) c Exported_4 : 292
1344.42/756.35	c (59,0) c Exported_5 : 365
1344.42/756.35	c (59,0) c Exported_6 : 76
1344.42/756.35	c (59,0) c Exported_7 : 194
1344.42/756.35	c (59,0) c Exported_total : 1297
1344.42/756.35	c (59,0) c Exported_winner : 292
1344.42/756.35	c (59,0) c Imported_0 : 370
1344.42/756.35	c (59,0) c Imported_1 : 693
1344.42/756.35	c (59,0) c Imported_2 : 565
1344.42/756.35	c (59,0) c Imported_3 : 217
1344.42/756.35	c (59,0) c Imported_4 : 761
1344.42/756.35	c (59,0) c Imported_5 : 320
1344.42/756.35	c (59,0) c Imported_6 : 37
1344.42/756.35	c (59,0) c Imported_7 : 252
1344.42/756.35	c (59,0) c Imported_total : 3215
1344.42/756.35	c (59,0) c Imported_winner : 761
1344.42/756.35	c (59,0) c Good_0 : 44
1344.42/756.35	c (59,0) c Good_1 : 89
1344.42/756.35	c (59,0) c Good_2 : 86
1344.42/756.35	c (59,0) c Good_3 : 22
1344.42/756.35	c (59,0) c Good_4 : 70
1344.42/756.35	c (59,0) c Good_5 : 39
1344.42/756.35	c (59,0) c Good_6 : 1
1344.42/756.35	c (59,0) c Good_7 : 27
1344.42/756.35	c (59,0) c Good_total : 378
1344.42/756.35	c (59,0) c Good_winner : 70
1344.42/756.35	c (59,0) c Purge_0 : 326
1344.42/756.35	c (59,0) c Purge_1 : 604
1344.42/756.35	c (59,0) c Purge_2 : 479
1344.42/756.35	c (59,0) c Purge_3 : 195
1344.42/756.35	c (59,0) c Purge_4 : 691
1344.42/756.35	c (59,0) c Purge_5 : 281
1344.42/756.35	c (59,0) c Purge_6 : 36
1344.42/756.35	c (59,0) c Purge_7 : 225
1344.42/756.35	c (59,0) c Purge_total : 2837
1344.42/756.35	c (59,0) c Purge_winner : 691
1344.42/756.35	c (59,0) c Promoted_0 : 0
1344.42/756.35	c (59,0) c Promoted_1 : 4
1344.42/756.35	c (59,0) c Promoted_2 : 0
1344.42/756.35	c (59,0) c Promoted_3 : 0
1344.42/756.35	c (59,0) c Promoted_4 : 4
1344.42/756.35	c (59,0) c Promoted_5 : 0
1344.42/756.35	c (59,0) c Promoted_6 : 0
1344.42/756.35	c (59,0) c Promoted_7 : 3
1344.42/756.35	c (59,0) c Promoted_total : 11
1344.42/756.35	c (59,0) c Promoted_winner : 4
1344.42/756.35	c (59,0) c Remove_Imp_0 : 0
1344.42/756.35	c (59,0) c Remove_Imp_1 : 0
1344.42/756.35	c (59,0) c Remove_Imp_2 : 0
1344.42/756.35	c (59,0) c Remove_Imp_3 : 0
1344.42/756.35	c (59,0) c Remove_Imp_4 : 0
1344.42/756.35	c (59,0) c Remove_Imp_5 : 0
1344.42/756.35	c (59,0) c Remove_Imp_6 : 0
1344.42/756.35	c (59,0) c Remove_Imp_7 : 0
1344.42/756.35	c (59,0) c Remove_Imp_total : 0
1344.42/756.35	c (59,0) c Remove_Imp_winner : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_0 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_1 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_2 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_3 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_4 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_5 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_6 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_7 : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_total : 0
1344.42/756.35	c (59,0) c Blocked_Reuse_winner : 0
1344.42/756.35	c (59,0) c Unaries_0 : 1
1344.42/756.35	c (59,0) c Unaries_1 : 2
1344.42/756.35	c (59,0) c Unaries_2 : 1
1344.42/756.35	c (59,0) c Unaries_3 : 0
1344.42/756.35	c (59,0) c Unaries_4 : 5
1344.42/756.35	c (59,0) c Unaries_5 : 0
1344.42/756.35	c (59,0) c Unaries_6 : 0
1344.42/756.35	c (59,0) c Unaries_7 : 0
1344.42/756.35	c (59,0) c Unaries_total : 9
1344.42/756.35	c (59,0) c Unaries_winner : 5
1344.42/756.35	c (59,0) c Binaries_0 : 10
1344.42/756.35	c (59,0) c Binaries_1 : 21
1344.42/756.35	c (59,0) c Binaries_2 : 12
1344.42/756.35	c (59,0) c Binaries_3 : 8
1344.42/756.35	c (59,0) c Binaries_4 : 43
1344.42/756.35	c (59,0) c Binaries_5 : 13
1344.42/756.35	c (59,0) c Binaries_6 : 4
1344.42/756.35	c (59,0) c Binaries_7 : 12
1344.42/756.35	c (59,0) c Binaries_total : 123
1344.42/756.35	c (59,0) c Binaries_winner : 43
1344.42/756.35	c (59,0) c Glues_0 : 29
1344.42/756.35	c (59,0) c Glues_1 : 128
1344.42/756.35	c (59,0) c Glues_2 : 110
1344.42/756.35	c (59,0) c Glues_3 : 70
1344.42/756.35	c (59,0) c Glues_4 : 194
1344.42/756.35	c (59,0) c Glues_5 : 132
1344.42/756.35	c (59,0) c Glues_6 : 76
1344.42/756.35	c (59,0) c Glues_7 : 107
1344.42/756.35	c (59,0) c Glues_total : 846
1344.42/756.35	c (59,0) c Glues_winner : 194
1344.42/756.35	c (59,0) c RunningTime_0 : 52.654735
1344.42/756.35	c (59,0) c RunningTime_1 : 54.738487
1344.42/756.35	c (59,0) c RunningTime_2 : 53.297545
1344.42/756.35	c (59,0) c RunningTime_3 : 52.819614
1344.42/756.35	c (59,0) c RunningTime_4 : 52.466337
1344.42/756.35	c (59,0) c RunningTime_5 : 54.041739
1344.42/756.35	c (59,0) c RunningTime_6 : 52.671400
1344.42/756.35	c (59,0) c RunningTime_7 : 52.876679
1344.42/756.35	c (59,0) c RunningTime_total : 425.566537
1344.42/756.35	c (59,0) c RunningTime_winner : 52.466337
1344.42/756.35	c (59,0) c WaitingTime_0 : 0.000386
1344.42/756.35	c (59,0) c WaitingTime_1 : 0.000222
1344.42/756.35	c (59,0) c WaitingTime_2 : 0.000330
1344.42/756.35	c (59,0) c WaitingTime_3 : 0.000388
1344.42/756.35	c (59,0) c WaitingTime_4 : 0.000347
1344.42/756.35	c (59,0) c WaitingTime_5 : 0.000352
1344.42/756.35	c (59,0) c WaitingTime_6 : 0.000386
1344.42/756.35	c (59,0) c WaitingTime_7 : 0.000404
1344.42/756.35	c (59,0) c WaitingTime_total : 0.002817
1344.42/756.35	c (59,0) c WaitingTime_winner : 0.000347
1344.42/756.35	c (59,0) c ExchangingTime_0 : 0.011194
1344.42/756.35	c (59,0) c ExchangingTime_1 : 0.006789
1344.42/756.35	c (59,0) c ExchangingTime_2 : 0.004835
1344.42/756.35	c (59,0) c ExchangingTime_3 : 0.004458
1344.42/756.35	c (59,0) c ExchangingTime_4 : 0.008434
1344.42/756.35	c (59,0) c ExchangingTime_5 : 0.004107
1344.42/756.35	c (59,0) c ExchangingTime_6 : 0.003470
1344.42/756.35	c (59,0) c ExchangingTime_7 : 0.004128
1344.42/756.35	c (59,0) c ExchangingTime_total : 0.047415
1344.42/756.35	c (59,0) c ExchangingTime_winner : 0.008434
1344.42/756.35	c (59,0) c PeriodProcTime_0 : 0.003182
1344.42/756.35	c (59,0) c PeriodProcTime_1 : 0.002675
1344.42/756.35	c (59,0) c PeriodProcTime_2 : 0.002987
1344.42/756.35	c (59,0) c PeriodProcTime_3 : 0.003214
1344.42/756.35	c (59,0) c PeriodProcTime_4 : 0.003105
1344.42/756.35	c (59,0) c PeriodProcTime_5 : 0.002717
1344.42/756.35	c (59,0) c PeriodProcTime_6 : 0.003531
1344.42/756.35	c (59,0) c PeriodProcTime_7 : 0.002937
1344.42/756.35	c (59,0) c PeriodProcTime_total : 0.024348
1344.42/756.35	c (59,0) c PeriodProcTime_winner : 0.003105
1344.42/756.35	c (59,0) c SolvingTime_0 : 52.669497
1344.42/756.35	c (59,0) c SolvingTime_1 : 54.748173
1344.42/756.35	c (59,0) c SolvingTime_2 : 53.305697
1344.42/756.35	c (59,0) c SolvingTime_3 : 52.827674
1344.42/756.35	c (59,0) c SolvingTime_4 : 52.478224
1344.42/756.35	c (59,0) c SolvingTime_5 : 54.048915
1344.42/756.35	c (59,0) c SolvingTime_6 : 52.678788
1344.42/756.35	c (59,0) c SolvingTime_7 : 52.884148
1344.42/756.35	c (59,0) c SolvingTime_total : 425.641116
1344.42/756.35	c (59,0) c SolvingTime_winner : 52.478224
1344.42/756.35	c (59,0) c PropagationTime_0 : 50.879748
1344.42/756.35	c (59,0) c PropagationTime_1 : 52.739032
1344.42/756.35	c (59,0) c PropagationTime_2 : 51.287430
1344.42/756.35	c (59,0) c PropagationTime_3 : 50.890891
1344.42/756.35	c (59,0) c PropagationTime_4 : 50.409310
1344.42/756.35	c (59,0) c PropagationTime_5 : 52.011477
1344.42/756.36	c (59,0) c PropagationTime_6 : 50.818308
1344.42/756.36	c (59,0) c PropagationTime_7 : 50.903767
1344.42/756.36	c (59,0) c PropagationTime_total : 409.939962
1344.42/756.36	c (59,0) c PropagationTime_winner : 50.409310
1344.42/756.36	c (59,0) c AnalysisTime_0 : 0.380554
1344.42/756.36	c (59,0) c AnalysisTime_1 : 0.519105
1344.42/756.36	c (59,0) c AnalysisTime_2 : 0.485318
1344.42/756.36	c (59,0) c AnalysisTime_3 : 0.517839
1344.42/756.36	c (59,0) c AnalysisTime_4 : 0.512790
1344.42/756.36	c (59,0) c AnalysisTime_5 : 0.536521
1344.42/756.36	c (59,0) c AnalysisTime_6 : 0.493636
1344.42/756.36	c (59,0) c AnalysisTime_7 : 0.540922
1344.42/756.36	c (59,0) c AnalysisTime_total : 3.986685
1344.42/756.36	c (59,0) c AnalysisTime_winner : 0.512790
1344.42/756.36	c (59,0) c ReductionTime_0 : 0.000000
1344.42/756.36	c (59,0) c ReductionTime_1 : 0.000472
1344.42/756.36	c (59,0) c ReductionTime_2 : 0.000484
1344.42/756.36	c (59,0) c ReductionTime_3 : 0.000494
1344.42/756.36	c (59,0) c ReductionTime_4 : 0.000463
1344.42/756.36	c (59,0) c ReductionTime_5 : 0.000470
1344.42/756.36	c (59,0) c ReductionTime_6 : 0.000525
1344.42/756.36	c (59,0) c ReductionTime_7 : 0.000481
1344.42/756.36	c (59,0) c ReductionTime_total : 0.003389
1344.42/756.36	c (59,0) c ReductionTime_winner : 0.000463
1344.42/756.36	c (59,0) c SimplifyTime_0 : 0.124974
1344.42/756.36	c (59,0) c SimplifyTime_1 : 0.131796
1344.42/756.36	c (59,0) c SimplifyTime_2 : 0.137477
1344.42/756.36	c (59,0) c SimplifyTime_3 : 0.000001
1344.42/756.36	c (59,0) c SimplifyTime_4 : 0.124414
1344.42/756.36	c (59,0) c SimplifyTime_5 : 0.000000
1344.42/756.36	c (59,0) c SimplifyTime_6 : 0.000000
1344.42/756.36	c (59,0) c SimplifyTime_7 : 0.000001
1344.42/756.36	c (59,0) c SimplifyTime_total : 0.518663
1344.42/756.36	c (59,0) c SimplifyTime_winner : 0.124414
1344.42/756.36	c (59,0) c UsedRateTime_0 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_1 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_2 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_3 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_4 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_5 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_6 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_7 : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_total : 0.000000
1344.42/756.36	c (59,0) c UsedRateTime_winner : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_0 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_1 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_2 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_3 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_4 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_5 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_6 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_7 : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_total : 0.000000
1344.42/756.36	c (59,0) c OverlapRateTime_winner : 0.000000
1344.42/756.36	c (59,0) c
1344.42/756.36	c (59,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1344.42/756.36	c (59,0) c
1344.42/756.36	c (59,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.36	c (59,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1344.42/756.36	c (59,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.36	c (59,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1344.42/756.36	c (59,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1344.42/756.36	c (59,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1344.42/756.36	c (59,0) c | Initial random_seed   | 2116719779 |  664212894 |   96574494 |  367598630 |  625368562 |   57557606 | 1828192073 |  305240318 |
1344.42/756.36	c (59,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1344.42/756.36	c (59,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1344.42/756.36	c (59,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1344.42/756.36	c (59,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1344.42/756.36	c (59,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1344.42/756.36	c (59,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1344.42/756.36	c (59,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1344.42/756.36	c (59,0) c | var_decay             |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |
1344.42/756.36	c (59,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1344.42/756.36	c (59,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1344.42/756.36	c (59,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1344.42/756.36	c (59,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1344.42/756.36	c (59,0) 
1344.42/756.36	c (59,0) s UNSATISFIABLE
924.74/756.53	c (59,0) SatSolver.solve End
924.74/756.53	c (59,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
924.74/756.53	c (59,0) Show results Begin
924.74/756.53	s UNSATISFIABLE
924.74/756.53	c (59,0) Show results End
924.74/756.53	c (59,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
924.74/756.53	c (59,0) 59,59,STOP-AFTER(ALL)
924.74/756.53	c END-Prog: Mon Sep 23 12:39:46 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 (13182 MiB free)
  memory of node 1: 16384 MiB (11710 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405460-1569238651/watcher-4405460-1569238651 -o /tmp/evaluation-result-4405460-1569238651/solver-4405460-1569238651 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405460-1569238651.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=28021, runsolver pid=28018

[startup+0.100064 s]*
/proc/loadavg: 0.92 0.22 0.11 2/210 28043
/proc/meminfo: memFree=25396200/32770624 swapFree=66986356/67108860
[pid=28021] ppid=28018 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28021/stat : 28021 (scop.sh) S 28018 28021 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500121911 115843072 349 33554432000 4194304 5098028 140723673935056 140723673932312 139846025405052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29540352 140723673940772 140723673941100 140723673941100 140723673944013 0
/proc/28021/statm: 28282 349 296 221 0 87 0
[pid=28024] ppid=28021 vsize=27314120 memory=105324 CPUtime=0.1 cores=0-7
/proc/28024/stat : 28024 (java) S 28021 28021 27734 0 -1 1077944320 6440 0 0 0 8 2 0 0 20 0 20 0 500121911 27969658880 26331 33554432000 4194304 4196468 140734190999392 140734190981936 140059034164983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
/proc/28024/statm: 6828530 26331 2802 1 0 6790935 0
[pid=28024/tid=28025] ppid=28021 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/28024/task/28025/stat : 28025 (java) R 28021 28021 27734 0 -1 4202560 4511 0 0 0 7 2 0 0 20 0 20 0 500121911 27969658880 26331 33554432000 4194304 4196468 140734190999392 140059005997184 140059018245470 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28026] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28026/stat : 28026 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140059038407824 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28027] ppid=28021 vsize=27314120 memory=139701542719455 CPUtime=0 cores=0-7
/proc/28024/task/28027/stat : 28027 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058821803024 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28028] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28028/stat : 28028 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058820750224 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28029] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28029/stat : 28029 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058819697424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28030] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28030/stat : 28030 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058818644624 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28031] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28031/stat : 28031 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058817591824 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28032] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28032/stat : 28032 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058451499408 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28033] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28033/stat : 28033 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 26331 33554432000 4194304 4196468 140734190999392 140058450446608 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28034] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28034/stat : 28034 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500121915 27969658880 26331 33554432000 4194304 4196468 140734190999392 140057554942832 140059034176130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28035] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28035/stat : 28035 (java) S 28021 28021 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500121916 27969658880 26331 33554432000 4194304 4196468 140734190999392 140056668923424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28036] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28036/stat : 28036 (java) S 28021 28021 27734 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500121916 27969658880 26331 33554432000 4194304 4196468 140734190999392 140056534701424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28037] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28037/stat : 28037 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140056160196944 140059034183579 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28038] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28038/stat : 28038 (java) S 28021 28021 27734 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140057553889648 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28039] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28039/stat : 28039 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140057552836848 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28040] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28040/stat : 28040 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140057551784048 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28041] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28041/stat : 28041 (java) S 28021 28021 27734 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140057550731248 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28042] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28042/stat : 28042 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140055662292064 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28043] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28043/stat : 28043 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 26331 33554432000 4194304 4196468 140734190999392 140057549679664 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106720 KiB

[startup+0.210506 s]*
/proc/loadavg: 0.92 0.22 0.11 3/210 28043
/proc/meminfo: memFree=25374848/32770624 swapFree=66986356/67108860
[pid=28021] ppid=28018 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28021/stat : 28021 (scop.sh) S 28018 28021 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500121911 115843072 349 33554432000 4194304 5098028 140723673935056 140723673932312 139846025405052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29540352 140723673940772 140723673941100 140723673941100 140723673944013 0
/proc/28021/statm: 28282 349 296 221 0 87 0
[pid=28024] ppid=28021 vsize=27314120 memory=124360 CPUtime=0.24 cores=0-7
/proc/28024/stat : 28024 (java) S 28021 28021 27734 0 -1 1077944320 12035 0 0 0 20 4 0 0 20 0 20 0 500121911 27969658880 31090 33554432000 4194304 4196468 140734190999392 140734190981936 140059034164983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
/proc/28024/statm: 6828530 31090 2913 1 0 6790935 0
[pid=28024/tid=28025] ppid=28021 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28024/task/28025/stat : 28025 (java) R 28021 28021 27734 0 -1 4202560 9721 0 0 0 16 3 0 0 20 0 20 0 500121911 27969658880 31090 33554432000 4194304 4196468 140734190999392 140059005985936 140059019330638 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28026] ppid=28021 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/28024/task/28026/stat : 28026 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140059038407824 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28027] ppid=28021 vsize=27314120 memory=288370077694404224 CPUtime=0 cores=0-7
/proc/28024/task/28027/stat : 28027 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058821803024 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28028] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28028/stat : 28028 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058820750224 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28029] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28029/stat : 28029 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058819697424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28030] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28030/stat : 28030 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058818644624 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28031] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28031/stat : 28031 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058817591824 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28032] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28032/stat : 28032 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058451499408 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28033] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28033/stat : 28033 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 31090 33554432000 4194304 4196468 140734190999392 140058450446608 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28034] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28034/stat : 28034 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500121915 27969658880 31090 33554432000 4194304 4196468 140734190999392 140057554942832 140059034176130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28035] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28035/stat : 28035 (java) S 28021 28021 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500121916 27969658880 31090 33554432000 4194304 4196468 140734190999392 140056668923424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28036] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28036/stat : 28036 (java) S 28021 28021 27734 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500121916 27969658880 31090 33554432000 4194304 4196468 140734190999392 140056534701424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28037] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28037/stat : 28037 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140056160196944 140059034183579 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28038] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28038/stat : 28038 (java) S 28021 28021 27734 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140057553889648 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28039] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28039/stat : 28039 (java) S 28021 28021 27734 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140057552836848 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28040] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28040/stat : 28040 (java) S 28021 28021 27734 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140057551784048 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28041] ppid=28021 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/28024/task/28041/stat : 28041 (java) S 28021 28021 27734 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140057550731248 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28042] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28042/stat : 28042 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140055662292064 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28043] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28043/stat : 28043 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 31090 33554432000 4194304 4196468 140734190999392 140057549679664 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125756 KiB

[startup+0.30984 s]*
/proc/loadavg: 0.92 0.22 0.11 2/210 28043
/proc/meminfo: memFree=25371312/32770624 swapFree=66986356/67108860
[pid=28021] ppid=28018 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28021/stat : 28021 (scop.sh) S 28018 28021 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500121911 115843072 349 33554432000 4194304 5098028 140723673935056 140723673932312 139846025405052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29540352 140723673940772 140723673941100 140723673941100 140723673944013 0
/proc/28021/statm: 28282 349 296 221 0 87 0
[pid=28024] ppid=28021 vsize=27314120 memory=128228 CPUtime=0.42 cores=0-7
/proc/28024/stat : 28024 (java) S 28021 28021 27734 0 -1 1077944320 12384 0 0 0 38 4 0 0 20 0 20 0 500121911 27969658880 32057 33554432000 4194304 4196468 140734190999392 140734190981936 140059034164983 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
/proc/28024/statm: 6828530 32057 3058 1 0 6790935 0
[pid=28024/tid=28025] ppid=28021 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28024/task/28025/stat : 28025 (java) R 28021 28021 27734 0 -1 4202560 9908 0 0 0 26 3 0 0 20 0 20 0 500121911 27969658880 32057 33554432000 4194304 4196468 140734190999392 140059005949968 140059015728558 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28026] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28026/stat : 28026 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140059038407824 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28027] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28027/stat : 28027 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058821803024 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28028] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28028/stat : 28028 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058820750224 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28029] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28029/stat : 28029 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058819697424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28030] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28030/stat : 28030 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058818644624 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28031] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28031/stat : 28031 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058817591824 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28032] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28032/stat : 28032 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058451499408 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28033] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28033/stat : 28033 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27969658880 32057 33554432000 4194304 4196468 140734190999392 140058450446608 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28034] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28034/stat : 28034 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500121915 27969658880 32057 33554432000 4194304 4196468 140734190999392 140057554942832 140059034176130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28035] ppid=28021 vsize=27314120 memory=279402789412224 CPUtime=0 cores=0-7
/proc/28024/task/28035/stat : 28035 (java) S 28021 28021 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500121916 27969658880 32057 33554432000 4194304 4196468 140734190999392 140056668923424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28036] ppid=28021 vsize=27314120 memory=279402789416832 CPUtime=0 cores=0-7
/proc/28024/task/28036/stat : 28036 (java) S 28021 28021 27734 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500121916 27969658880 32057 33554432000 4194304 4196468 140734190999392 140056534701424 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28037] ppid=28021 vsize=27314120 memory=279402789421440 CPUtime=0 cores=0-7
/proc/28024/task/28037/stat : 28037 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140056160196944 140059034183579 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28038] ppid=28021 vsize=27314120 memory=279402789426048 CPUtime=0.01 cores=0-7
/proc/28024/task/28038/stat : 28038 (java) S 28021 28021 27734 0 -1 1077944384 543 0 0 0 1 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140057553889648 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28039] ppid=28021 vsize=27314120 memory=279402789430656 CPUtime=0.01 cores=0-7
/proc/28024/task/28039/stat : 28039 (java) R 28021 28021 27734 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140057552836848 140059015684658 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28040] ppid=28021 vsize=27314120 memory=279402789435264 CPUtime=0 cores=0-7
/proc/28024/task/28040/stat : 28040 (java) S 28021 28021 27734 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140057551784048 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28041] ppid=28021 vsize=27314120 memory=279402789439872 CPUtime=0.07 cores=0-7
/proc/28024/task/28041/stat : 28041 (java) S 28021 28021 27734 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140057550731248 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28042] ppid=28021 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28042/stat : 28042 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140055662292064 140059034175189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28043] ppid=28021 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28024/task/28043/stat : 28043 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121919 27969658880 32057 33554432000 4194304 4196468 140734190999392 140057549679664 140059034176130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129624 KiB

[startup+0.700959 s]
/proc/loadavg: 0.92 0.22 0.11 2/210 28043
/proc/meminfo: memFree=25350668/32770624 swapFree=66986356/67108860
[pid=28021] ppid=28018 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28021/stat : 28021 (scop.sh) S 28018 28021 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500121911 115843072 349 33554432000 4194304 5098028 140723673935056 140723673932312 139846025405052 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29540352 140723673940772 140723673941100 140723673941100 140723673944013 0
/proc/28021/statm: 28282 349 296 221 0 87 0
[pid=28024] ppid=28021 vsize=27320392 memory=167468 CPUtime=0.99 cores=0-7
/proc/28024/stat : 28024 (java) S 28021 28021 27734 0 -1 1077944320 19916 0 0 0 93 6 0 0 20 0 20 0 500121911 27976081408 41867 33554432000 4194304 4196468 140734190999392 140734190981936 140059034164983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
/proc/28024/statm: 6830098 41867 3194 1 0 6791447 0
[pid=28024/tid=28025] ppid=28021 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/28024/task/28025/stat : 28025 (java) R 28021 28021 27734 0 -1 4202560 16814 0 0 0 62 5 0 0 20 0 20 0 500121911 27976081408 41867 33554432000 4194304 4196468 140734190999392 140059006000224 140059034186909 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28026] ppid=28021 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28026/stat : 28026 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27976081408 41867 33554432000 4194304 4196468 140734190999392 140059038407824 140059034175189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28027] ppid=28021 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/28024/task/28027/stat : 28027 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500121914 27976081408 41867 33554432000 4194304 4196468 140734190999392 140058821803024 140059034175189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0
[pid=28024/tid=28028] ppid=28021 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/28024/task/28028/stat : 28028 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500121914 27976081408 41867 33554432000 4194304 4196468 140734190999392 140058820750224 140059034175189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36196352 140734191006442 140734191006870 140734191006870 140734191009743 0

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

[pid=28098/tid=28103] ppid=28021 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/28098/task/28103/stat : 28103 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 29904 33554432000 4194304 4196468 140720461679360 139953235627024 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28104] ppid=28021 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/28098/task/28104/stat : 28104 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 29904 33554432000 4194304 4196468 140720461679360 139953234573712 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28105] ppid=28021 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28098/task/28105/stat : 28105 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 29904 33554432000 4194304 4196468 140720461679360 139953233520912 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28106] ppid=28021 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/28098/task/28106/stat : 28106 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 29904 33554432000 4194304 4196468 140720461679360 139953232468624 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28107] ppid=28021 vsize=8414124 memory=62128 CPUtime=0 cores=0-7
/proc/28098/task/28107/stat : 28107 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 29904 33554432000 4194304 4196468 140720461679360 139953231415824 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28108] ppid=28021 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/28098/task/28108/stat : 28108 (java) S 28021 28021 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952712030832 139953752849026 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28109] ppid=28021 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/28098/task/28109/stat : 28109 (java) S 28021 28021 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952314639648 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28110] ppid=28021 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/28098/task/28110/stat : 28110 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952046204528 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28111] ppid=28021 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/28098/task/28111/stat : 28111 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191551 8616062976 29904 33554432000 4194304 4196468 140720461679360 139951671695952 139953752856475 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28112] ppid=28021 vsize=8414124 memory=692 CPUtime=0.06 cores=0-7
/proc/28098/task/28112/stat : 28112 (java) S 28021 28021 27734 0 -1 1077944384 677 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952710977648 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28113] ppid=28021 vsize=8414124 memory=119616 CPUtime=0.06 cores=0-7
/proc/28098/task/28113/stat : 28113 (java) S 28021 28021 27734 0 -1 1077944384 277 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952709924848 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28114] ppid=28021 vsize=8414124 memory=-8598614568107012498 CPUtime=0.06 cores=0-7
/proc/28098/task/28114/stat : 28114 (java) S 28021 28021 27734 0 -1 1077944384 267 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952708872560 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28115] ppid=28021 vsize=8414124 memory=119616 CPUtime=0.19 cores=0-7
/proc/28098/task/28115/stat : 28115 (java) S 28021 28021 27734 0 -1 1077944384 737 0 0 0 19 0 0 0 20 0 24 0 500191551 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952707819760 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28116] ppid=28021 vsize=8414124 memory=4287296 CPUtime=0 cores=0-7
/proc/28098/task/28116/stat : 28116 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500191551 8616062976 29904 33554432000 4194304 4196468 140720461679360 139951173790560 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28117] ppid=28021 vsize=8414124 memory=4279108 CPUtime=0.03 cores=0-7
/proc/28098/task/28117/stat : 28117 (java) S 28021 28021 27734 0 -1 1077944384 4 0 0 0 1 2 0 0 20 0 24 0 500191552 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952706767664 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28119] ppid=28021 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/28098/task/28119/stat : 28119 (java) S 28021 28021 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500191618 8616062976 29904 33554432000 4194304 4196468 140720461679360 139952698734400 139953752862489 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28121] ppid=28021 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/28098/task/28121/stat : 28121 (java) S 28021 28021 27734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 500191619 8616062976 29904 33554432000 4194304 4196468 140720461679360 139950502690192 139953752859805 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28122] ppid=28021 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/28098/task/28122/stat : 28122 (java) S 28021 28021 27734 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500191619 8616062976 29904 33554432000 4194304 4196468 140720461679360 139950771125520 139953752859805 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28123] ppid=28021 vsize=8414124 memory=6756 CPUtime=0 cores=0-7
/proc/28098/task/28123/stat : 28123 (java) S 28021 28021 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500191621 8616062976 29904 33554432000 4194304 4196468 140720461679360 139950234262832 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
Current children cumulated CPU time: 1344.13 s
Current children cumulated vsize: 12987572 KiB
Current children cumulated memory: 4411456 KiB

[startup+756.401 s]
/proc/loadavg: 4.97 2.22 1.12 2/216 28134
/proc/meminfo: memFree=20927276/32770624 swapFree=66986356/67108860
[pid=28021] ppid=28018 vsize=113128 memory=1476 CPUtime=923.48 cores=0-7
/proc/28021/stat : 28021 (scop.sh) S 28018 28021 27734 0 -1 4202496 582 337045 0 0 0 0 87627 4721 20 0 1 0 500121911 115843072 369 33554432000 4194304 5098028 140723673935056 140723673931800 139846025405052 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29540352 140723673940772 140723673941100 140723673941100 140723673944013 0
/proc/28021/statm: 28282 369 311 221 0 87 0
[pid=28098] ppid=28021 vsize=8414124 memory=120668 CPUtime=1.26 cores=0-7
/proc/28098/stat : 28098 (java) S 28021 28021 27734 0 -1 1077944320 21640 0 0 0 118 8 0 0 20 0 24 0 500191544 8616062976 30167 33554432000 4194304 4196468 140720461679360 140720461661904 139953752837879 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
/proc/28098/statm: 2103531 30167 3207 1 0 2064875 0
[pid=28098/tid=28099] ppid=28021 vsize=8414124 memory=1056 CPUtime=0.76 cores=0-7
/proc/28098/task/28099/stat : 28099 (java) S 28021 28021 27734 0 -1 1077944384 17995 0 0 0 70 6 0 0 20 0 24 0 500191545 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953724678048 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28100] ppid=28021 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/28098/task/28100/stat : 28100 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953757080464 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28101] ppid=28021 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/28098/task/28101/stat : 28101 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953237732112 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28102] ppid=28021 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/28098/task/28102/stat : 28102 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953236679824 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28103] ppid=28021 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/28098/task/28103/stat : 28103 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953235627024 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28104] ppid=28021 vsize=8414124 memory=6176 CPUtime=0 cores=0-7
/proc/28098/task/28104/stat : 28104 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953234573712 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28105] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28105/stat : 28105 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953233520912 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28106] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28106/stat : 28106 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953232468624 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28107] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28107/stat : 28107 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953231415824 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28108] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28108/stat : 28108 (java) S 28021 28021 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952712030832 139953752849026 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28109] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28109/stat : 28109 (java) S 28021 28021 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952314639648 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28110] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28110/stat : 28110 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952046204528 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28111] ppid=28021 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28098/task/28111/stat : 28111 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139951671695952 139953752856475 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28112] ppid=28021 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/28098/task/28112/stat : 28112 (java) S 28021 28021 27734 0 -1 1077944384 680 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952710977648 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28113] ppid=28021 vsize=8414124 memory=4290364 CPUtime=0.06 cores=0-7
/proc/28098/task/28113/stat : 28113 (java) S 28021 28021 27734 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952709924848 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28114] ppid=28021 vsize=8414124 memory=1056 CPUtime=0.07 cores=0-7
/proc/28098/task/28114/stat : 28114 (java) S 28021 28021 27734 0 -1 1077944384 276 0 0 0 7 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952708872560 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28115] ppid=28021 vsize=8414124 memory=62128 CPUtime=0.2 cores=0-7
/proc/28098/task/28115/stat : 28115 (java) S 28021 28021 27734 0 -1 1077944384 993 0 0 0 20 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952707819760 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28116] ppid=28021 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/28098/task/28116/stat : 28116 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139951173790560 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28117] ppid=28021 vsize=8414124 memory=2004 CPUtime=0.03 cores=0-7
/proc/28098/task/28117/stat : 28117 (java) S 28021 28021 27734 0 -1 1077944384 4 0 0 0 1 2 0 0 20 0 24 0 500191552 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952706767664 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28119] ppid=28021 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/28098/task/28119/stat : 28119 (java) S 28021 28021 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500191618 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952698734400 139953752862489 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28121] ppid=28021 vsize=8414124 memory=1728 CPUtime=0.02 cores=0-7
/proc/28098/task/28121/stat : 28121 (java) S 28021 28021 27734 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 24 0 500191619 8616062976 30167 33554432000 4194304 4196468 140720461679360 139950502690224 139953752859805 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28122] ppid=28021 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28098/task/28122/stat : 28122 (java) S 28021 28021 27734 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500191619 8616062976 30167 33554432000 4194304 4196468 140720461679360 139950771125520 139953752859805 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28123] ppid=28021 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/28098/task/28123/stat : 28123 (java) S 28021 28021 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500191621 8616062976 30167 33554432000 4194304 4196468 140720461679360 139950234262832 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
Current children cumulated CPU time: 924.74 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122144 KiB

[startup+756.501 s]
/proc/loadavg: 4.97 2.22 1.12 2/216 28134
/proc/meminfo: memFree=20927276/32770624 swapFree=66986356/67108860
[pid=28021] ppid=28018 vsize=113128 memory=1476 CPUtime=923.48 cores=0-7
/proc/28021/stat : 28021 (scop.sh) S 28018 28021 27734 0 -1 4202496 582 337045 0 0 0 0 87627 4721 20 0 1 0 500121911 115843072 369 33554432000 4194304 5098028 140723673935056 140723673931800 139846025405052 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29540352 140723673940772 140723673941100 140723673941100 140723673944013 0
/proc/28021/statm: 28282 369 311 221 0 87 0
[pid=28098] ppid=28021 vsize=8414124 memory=120668 CPUtime=1.26 cores=0-7
/proc/28098/stat : 28098 (java) S 28021 28021 27734 0 -1 1077944320 21640 0 0 0 118 8 0 0 20 0 24 0 500191544 8616062976 30167 33554432000 4194304 4196468 140720461679360 140720461661904 139953752837879 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
/proc/28098/statm: 2103531 30167 3207 1 0 2064875 0
[pid=28098/tid=28099] ppid=28021 vsize=8414124 memory=1476 CPUtime=0.76 cores=0-7
/proc/28098/task/28099/stat : 28099 (java) S 28021 28021 27734 0 -1 1077944384 17995 0 0 0 70 6 0 0 20 0 24 0 500191545 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953724678048 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28100] ppid=28021 vsize=8414124 memory=4516 CPUtime=0 cores=0-7
/proc/28098/task/28100/stat : 28100 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953757080464 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28101] ppid=28021 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28098/task/28101/stat : 28101 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953237732112 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28102] ppid=28021 vsize=8414124 memory=119616 CPUtime=0 cores=0-7
/proc/28098/task/28102/stat : 28102 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953236679824 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28103] ppid=28021 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/28098/task/28103/stat : 28103 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953235627024 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28104] ppid=28021 vsize=8414124 memory=119616 CPUtime=0 cores=0-7
/proc/28098/task/28104/stat : 28104 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953234573712 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28105] ppid=28021 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/28098/task/28105/stat : 28105 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953233520912 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28106] ppid=28021 vsize=8414124 memory=7523101963314157923 CPUtime=0 cores=0-7
/proc/28098/task/28106/stat : 28106 (java) S 28021 28021 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953232468624 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28107] ppid=28021 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/28098/task/28107/stat : 28107 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191546 8616062976 30167 33554432000 4194304 4196468 140720461679360 139953231415824 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28108] ppid=28021 vsize=8414124 memory=6226315993726545209 CPUtime=0 cores=0-7
/proc/28098/task/28108/stat : 28108 (java) S 28021 28021 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952712030832 139953752849026 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28109] ppid=28021 vsize=8414124 memory=5664 CPUtime=0 cores=0-7
/proc/28098/task/28109/stat : 28109 (java) S 28021 28021 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952314639648 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28110] ppid=28021 vsize=8414124 memory=2440 CPUtime=0 cores=0-7
/proc/28098/task/28110/stat : 28110 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191548 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952046204528 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28111] ppid=28021 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/28098/task/28111/stat : 28111 (java) S 28021 28021 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139951671695952 139953752856475 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28112] ppid=28021 vsize=8414124 memory=7306916055891837009 CPUtime=0.06 cores=0-7
/proc/28098/task/28112/stat : 28112 (java) S 28021 28021 27734 0 -1 1077944384 680 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952710977648 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28113] ppid=28021 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/28098/task/28113/stat : 28113 (java) S 28021 28021 27734 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952709924848 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28114] ppid=28021 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/28098/task/28114/stat : 28114 (java) S 28021 28021 27734 0 -1 1077944384 276 0 0 0 7 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952708872560 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28115] ppid=28021 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/28098/task/28115/stat : 28115 (java) S 28021 28021 27734 0 -1 1077944384 993 0 0 0 20 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952707819760 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28116] ppid=28021 vsize=8414124 memory=7306916055891837008 CPUtime=0 cores=0-7
/proc/28098/task/28116/stat : 28116 (java) S 28021 28021 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500191551 8616062976 30167 33554432000 4194304 4196468 140720461679360 139951173790560 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28117] ppid=28021 vsize=8414124 memory=1056 CPUtime=0.03 cores=0-7
/proc/28098/task/28117/stat : 28117 (java) S 28021 28021 27734 0 -1 1077944384 4 0 0 0 1 2 0 0 20 0 24 0 500191552 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952706767664 139953752849026 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28119] ppid=28021 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/28098/task/28119/stat : 28119 (java) S 28021 28021 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500191618 8616062976 30167 33554432000 4194304 4196468 140720461679360 139952698734400 139953752862489 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28121] ppid=28021 vsize=8414124 memory=279402789322856 CPUtime=0.02 cores=0-7
/proc/28098/task/28121/stat : 28121 (java) S 28021 28021 27734 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 24 0 500191619 8616062976 30167 33554432000 4194304 4196468 140720461679360 139950502690224 139953752859805 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28122] ppid=28021 vsize=8414124 memory=122856532871402 CPUtime=0 cores=0-7
/proc/28098/task/28122/stat : 28122 (java) S 28021 28021 27734 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 500191619 8616062976 30167 33554432000 4194304 4196468 140720461679360 139950771125520 139953752859805 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
[pid=28098/tid=28123] ppid=28021 vsize=8414124 memory=119616 CPUtime=0 cores=0-7
/proc/28098/task/28123/stat : 28123 (java) S 28021 28021 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500191621 8616062976 30167 33554432000 4194304 4196468 140720461679360 139950234262832 139953752848085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31649792 140720461685751 140720461685910 140720461685910 140720461688783 0
Current children cumulated CPU time: 924.74 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122144 KiB

Child status: 0
Real time (s): 756.587
CPU time (s): 1344.77
CPU user time (s): 1281.6
CPU system time (s): 63.1764
CPU usage (%): 177.742
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 22487624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1281.6
system time used= 63.1764
maximum resident set size= 22487540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3679783
page faults= 0
swaps= 0
block input operations= 16
block output operations= 316744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1266229
involuntary context switches= 6813


# summary of solver processes directly reported to runsolver:
#   pid: 28021
#   total CPU time (s): 1344.77
#   total CPU user time (s): 1281.6
#   total CPU system time (s): 63.1764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.51542 second user time and 7.16066 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-23 12:27:09
IDJOB=4405460
IDBENCH=120983
IDSOLVER=2868
FILE ID=node104/4405460-1569238651
RUNJOBID= node104-1569234408-27761
PBS_JOBID= 21704916
Free space on /tmp= 9804 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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-4405460-1569238651/watcher-4405460-1569238651 -o /tmp/evaluation-result-4405460-1569238651/solver-4405460-1569238651 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405460-1569238651.xml

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

MD5SUM BENCH= 1f678c7b1175962864f0f6df2117d050
RANDOM SEED=1480013610

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25491404 kB
MemAvailable:   31821976 kB
Buffers:           84816 kB
Cached:          6311284 kB
SwapCached:        22652 kB
Active:          3199968 kB
Inactive:        3220728 kB
Active(anon):       2884 kB
Inactive(anon):    80096 kB
Active(file):    3197084 kB
Inactive(file):  3140632 kB
Unevictable:      109528 kB
Mlocked:          109528 kB
SwapTotal:      67108860 kB
SwapFree:       66986356 kB
Dirty:             29276 kB
Writeback:            84 kB
AnonPages:        120032 kB
Mapped:            55896 kB
Shmem:             49004 kB
Slab:             450812 kB
SReclaimable:     421316 kB
SUnreclaim:        29496 kB
KernelStack:        3344 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9784 MiB
End job on node104 at 2019-09-23 12:39:46