Trace number 4392300

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 order+ManyGlucose (2019-06-15)UNSAT 1467.39 779.808

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17404-serial-file.bin HOME/instance-4392300-1568416857.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 01:20:18 CEST 2019
0.66/0.57	c PID: 17407
0.66/0.57	c IP: 172.20.3.124
0.66/0.57	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.24/4.85	c (4,4) Parsing End
6.24/4.85	c (4,4) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
6.24/4.85	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.24/4.85	c (4,4) Constraint Name Generate Begin
6.24/4.86	c (4,4) Ctr:HOME/instance-4392300-1568416857.xml,ExtensionSupport:Var
6.24/4.86	c (4,4) Constraint Name Generate End
6.24/4.86	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.24/4.86	c (4,4) CSP to CSPinCNF Begin
71.10/47.79	c (47,46) translated 20 (10%) constraints
124.16/91.27	c (90,88) translated 40 (20%) constraints
182.09/135.33	c (134,130) translated 60 (30%) constraints
239.02/179.16	c (178,172) translated 80 (40%) constraints
289.59/222.16	c (221,214) translated 100 (50%) constraints
340.32/265.16	c (264,255) translated 120 (60%) constraints
391.09/308.13	c (307,297) translated 140 (70%) constraints
442.40/351.17	c (350,339) translated 160 (80%) constraints
490.67/393.88	c (393,381) translated 180 (90%) constraints
542.53/437.04	c (436,423) translated 200 (100%) constraints
544.63/439.14	c (438,425) ===========================================
544.63/439.17	c (438,425) Order
544.63/439.17	c (438,425) ===========================================
558.73/452.71	c (452,439) translated 634338 (10%) constraints
576.46/466.85	c (466,452) translated 1268676 (20%) constraints
596.09/481.25	c (480,466) translated 1903014 (30%) constraints
609.69/494.80	c (494,479) translated 2537351 (40%) constraints
629.13/508.97	c (508,493) translated 3171689 (50%) constraints
648.66/523.16	c (522,506) translated 3806027 (60%) constraints
662.15/536.61	c (536,520) translated 4440364 (70%) constraints
682.02/550.92	c (550,533) translated 5074702 (80%) constraints
695.42/564.34	c (563,547) translated 5709040 (90%) constraints
715.35/578.58	c (578,560) translated 6343377 (100%) constraints
715.35/578.58	c (578,560) CSP to CSPinCNF End
715.58/578.75	c (578,560) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
715.58/578.75	c (578,560) Heap : 12199 MiB used (max 21777 MiB), NonHeap : 26 MiB used (max 0 MiB)
715.58/578.75	c (578,560) CSPinCNF Propagation Begin
808.67/619.96	c (619,594) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
808.67/619.96	c (619,594) CSPinCNF Propagation End
808.88/620.12	c (619,594) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
808.88/620.12	c (619,594) Heap : 13667 MiB used (max 21850 MiB), NonHeap : 27 MiB used (max 0 MiB)
808.88/620.15	c (619,594) Simplify CSPinCNF Begin
834.43/634.86	c (634,607) Simplify CSPinCNF End
834.64/635.02	c (634,607) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
834.64/635.02	c (634,607) Heap : 15461 MiB used (max 20487 MiB), NonHeap : 27 MiB used (max 0 MiB)
834.64/635.02	c (634,607) Calculate Precise Domain Begin
834.64/635.02	c (634,607) 0 values are removed by re-calculation
834.64/635.02	c (634,607) Calculate Precise Domain End
834.74/635.18	c (634,608) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
834.74/635.18	c (634,608) Heap : 15461 MiB used (max 20487 MiB), NonHeap : 27 MiB used (max 0 MiB)
834.74/635.18	c (634,608) CSPinCNF to SatSolver Begin
851.84/643.93	c (643,615) 634338 (10 %) CSP clauses are encoded (0 SAT variables, 634457 SAT clauses)
865.00/651.29	c (650,622) 1268676 (20 %) CSP clauses are encoded (0 SAT variables, 1268795 SAT clauses)
874.09/658.17	c (657,628) 1903014 (30 %) CSP clauses are encoded (0 SAT variables, 1903133 SAT clauses)
883.09/664.99	c (664,635) 2537351 (40 %) CSP clauses are encoded (0 SAT variables, 2537470 SAT clauses)
892.15/671.74	c (671,641) 3171689 (50 %) CSP clauses are encoded (0 SAT variables, 3171808 SAT clauses)
901.29/678.56	c (678,648) 3806027 (60 %) CSP clauses are encoded (0 SAT variables, 3806146 SAT clauses)
913.05/685.73	c (685,654) 4440364 (70 %) CSP clauses are encoded (0 SAT variables, 4440483 SAT clauses)
922.18/692.60	c (692,661) 5074702 (80 %) CSP clauses are encoded (0 SAT variables, 5074821 SAT clauses)
931.66/699.66	c (699,667) 5709040 (90 %) CSP clauses are encoded (0 SAT variables, 5709159 SAT clauses)
1038.77/719.08	c (718,674) 6343377 (100 %) CSP clauses are encoded (0 SAT variables, 6343496 SAT clauses)
1038.77/719.08	c (718,674) CSPinCNF to SatSolver End
1038.77/719.08	c (718,674) Heap : 8707 MiB used (max 21559 MiB), NonHeap : 29 MiB used (max 0 MiB)
1038.77/719.08	c (718,674) 436637 bool, 6343497 clause
1038.77/719.08	c (718,674) Export Begin
1038.88/719.17	c (718,674) Export to HOME/scop-17404-serial-file.bin
1038.88/719.17	c (718,674) Export End
1038.88/719.18	c (718,674) Export File Size: 0.00 MB
1038.88/719.18	c (718,674) 4,4,578,619,634,634,718,STOP-AFTER(DIMACS)
1038.88/719.18	c END-Prog: Sat Sep 14 01:32:17 CEST 2019
0.00/719.31	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17404-serial-file.bin
1039.17/719.80	c (0,0) Read Serial File Begin
1039.17/719.80	c (0,0) HOME/scop-17404-serial-file.bin
1039.17/720.00	c (0,0) Read Serial File End
1040.07/720.01	
1040.07/720.01	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1040.07/720.01	(Solving Process)
1040.07/720.01	
1040.07/720.03	c BEGIN-Prog: Sat Sep 14 01:32:18 CEST 2019
1040.07/720.03	c PID: 17481
1040.07/720.03	c IP: 172.20.3.124
1040.07/720.03	c HOST: node124.alineos.net
1040.07/720.04	c (0,0) SatSolver.solve Begin
1040.07/720.04	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392300-1568416857.xml-scop-17407.cnf
1040.07/720.07	c (0,0) c
1040.07/720.07	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)
1040.07/720.07	c (0,0) c
1040.07/720.07	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1040.07/720.07	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1040.07/720.07	c (0,0) c ========================================[ Problem Statistics ]===========================================
1040.07/720.07	c (0,0) c |                                                                                                       |
1042.54/722.36	c (2,0) c |  Number of variables:        436637                                                                   |
1042.54/722.36	c (2,0) c |  Number of clauses:         6343497                                                                   |
1042.54/722.36	c (2,0) c |  Parse time:                   2.09 s                                                                 |
1042.54/722.36	c (2,0) c |                                                                                                       |
1043.24/723.01	c (3,0) c | Too many clauses... No preprocessing                                                                  |
1043.24/723.01	c (3,0) c |  Simplification time:          0.60 s                                                                 |
1043.24/723.01	c (3,0) c |                                                                                                       |
1043.24/723.02	c (3,0) c |  Generating clones                                                                                    |
1044.75/724.51	c (4,0) c |  all clones generated. Memory =  3437.28Mb.                                                           |
1044.75/724.51	c (4,0) c ========================================================================================================|
1044.75/724.51	c (4,0) c
1044.75/724.51	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1044.75/724.51	c (4,0) c
1044.75/724.51	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1044.75/724.51	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1044.75/724.51	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1044.75/724.51	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1044.75/724.51	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1044.75/724.51	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1044.75/724.51	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1044.75/724.51	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1044.75/724.51	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1044.75/724.51	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1044.75/724.51	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1044.75/724.51	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1044.75/724.51	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1044.75/724.51	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1044.75/724.51	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1044.75/724.51	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1044.75/724.51	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1044.75/724.51	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1044.75/724.51	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1269.89/753.84	c (34,0) c
1269.89/753.84	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
1269.89/753.84	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1269.89/753.84	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
1269.89/753.84	c (34,0) c |  0 |      1 |        795 |        565 |    14912 |      565 |       15 |        0 |        0 |      106 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  1 |      3 |       3335 |       2256 |    48947 |     1260 |       65 |      274 |        0 |      103 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  2 |      2 |       2312 |       1425 |    46422 |     1425 |       44 |      201 |        0 |       98 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  3 |      2 |       2017 |       1184 |    50864 |     1184 |       36 |      217 |        0 |      106 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  4 |      5 |       3764 |       2572 |    41177 |     1572 |       86 |      187 |        0 |      101 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  5 |      1 |       4151 |       2867 |    40713 |     1873 |       64 |        0 |        0 |      101 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  6 |      3 |       3758 |       2382 |    28868 |     1387 |       53 |       37 |        0 |      109 |  20 |  0.000 |
1269.89/753.84	c (34,0) c |  7 |      2 |       3225 |       2111 |    45501 |     1110 |       39 |      252 |        0 |      106 |  20 |  0.000 |
1269.89/753.84	c (34,0) c 
1269.89/753.84	c (34,0) c synthesis       15362 conflicts   307924381 propagations       72 conflicts/sec  1437610 propagations/sec
1269.89/753.84	c (34,0) c real: 33.7803 s, cpu: 214.192 s, memory: 4335.80 Mb
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c real time : 59.5045 s
1466.99/779.57	c (59,0) c cpu time  : 409.874 s
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c | Conflicts     |           36550 |       1310 |       5413 |       4146 |       4041 |       5674 |       6427 |       3810 |       5729 |
1466.99/779.57	c (59,0) c | Decisions     |           50500 |       1943 |       7565 |       5726 |       5947 |       7538 |       8406 |       5549 |       7826 |
1466.99/779.57	c (59,0) c | Propagations  |       561699953 |   82080943 |   71278866 |   71462600 |   79231844 |   61216617 |   68589938 |   62930450 |   64908695 |
1466.99/779.57	c (59,0) c | ReduceDBs     |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1466.99/779.57	c (59,0) c | SimpDBs       |              12 |          2 |          2 |          2 |          1 |          2 |          1 |          1 |          1 |
1466.99/779.57	c (59,0) c | Restarts      |              22 |          1 |          4 |          2 |          2 |          6 |          2 |          3 |          2 |
1466.99/779.57	c (59,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1466.99/779.57	c (59,0) c | PropBinClauses|       249633172 |   30287518 |   29558471 |   31086310 |   33286241 |   32086013 |   31025139 |   30354699 |   31948781 |
1466.99/779.57	c (59,0) c | PropPreBlocker|      4221488114 |  484743294 |  525830845 |  519945213 |  543250085 |  511688583 |  537889453 |  550269573 |  547871068 |
1466.99/779.57	c (59,0) c | PropNotBlocker|      3028251010 |  325374259 |  384485914 |  392795489 |  320070070 |  400834616 |  397263425 |  415614752 |  391812485 |
1466.99/779.57	c (59,0) c | LitFullScans  |      9576006997 | 1209558051 | 1198869982 | 1180971769 | 1204509466 | 1183156291 | 1181728889 | 1224399765 | 1192812784 |
1466.99/779.57	c (59,0) c | LitScanFracts |        38141009 |    3508882 |    4552474 |    4858251 |    4120595 |    4358647 |    5672291 |    6368341 |    4701528 |
1466.99/779.57	c (59,0) c | DecisionLevel0|              31 |          2 |          6 |          3 |          2 |         11 |          2 |          3 |          2 |
1466.99/779.57	c (59,0) c | Periods       |            1589 |        201 |        199 |        196 |        200 |        196 |        196 |        203 |        198 |
1466.99/779.57	c (59,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1466.99/779.57	c (59,0) c | Avg_Trail     |                 |     147759 |      61151 |      66201 |      68991 |      40616 |      43367 |      72775 |      38941 |
1466.99/779.57	c (59,0) c | Avg_DL        |                 |         21 |         10 |         14 |         17 |         12 |         21 |         18 |         19 |
1466.99/779.57	c (59,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1466.99/779.57	c (59,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c | Exported      |            1333 |         30 |        190 |        110 |         70 |        292 |        365 |         78 |        198 |
1466.99/779.57	c (59,0) c | Imported      |            3215 |        370 |        693 |        565 |        217 |        761 |        320 |         37 |        252 |
1466.99/779.57	c (59,0) c | Good          |             378 |         44 |         89 |         86 |         22 |         70 |         39 |          1 |         27 |
1466.99/779.57	c (59,0) c | Purge         |            2837 |        326 |        604 |        479 |        195 |        691 |        281 |         36 |        225 |
1466.99/779.57	c (59,0) c | Promoted      |              11 |          0 |          4 |          0 |          0 |          4 |          0 |          0 |          3 |
1466.99/779.57	c (59,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1466.99/779.57	c (59,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c | Unaries       |                 |          1 |          2 |          1 |          0 |          5 |          0 |          0 |          0 |
1466.99/779.57	c (59,0) c | Binaries      |                 |         10 |         22 |         12 |          8 |         43 |         13 |          4 |         12 |
1466.99/779.57	c (59,0) c | Glues         |                 |         30 |        140 |        110 |         70 |        194 |        132 |         78 |        108 |
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c | Orig_Seen     |             0 % |      28232 |      71424 |      65310 |      77947 |      68259 |      69198 |      41654 |      67910 |
1466.99/779.57	c (59,0) c | Diff Orig seen|                 | -    40027 |       3165 | -     2949 |       9688 |      X     |        939 | -    26605 | -      349 |
1466.99/779.57	c (59,0) c | Hamming       |             8 % |      42980 |      39643 |      38067 |      36430 |      X     |      41045 |      34549 |      33568 |
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c | RunningTime   |                 |   53.7 100%|   53.7 100%|   55.0 100%|   53.7 100%|   53.7 100%|   54.6 100%|   53.8 100%|   53.7 100%|
1466.99/779.57	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%|
1466.99/779.57	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%|
1466.99/779.57	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%|
1466.99/779.57	c (59,0) c | SolvingTime   |                 |   53.7     |   53.7     |   55.0     |   53.7     |   53.7     |   54.6     |   53.8     |   53.7     |
1466.99/779.57	c (59,0) c | PropagationTim|                 |   52.0  97%|   51.7  96%|   53.0  96%|   51.7  96%|   51.6  96%|   52.5  96%|   51.9  96%|   51.7  96%|
1466.99/779.57	c (59,0) c | AnalysisTime  |                 |    0.4   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.6   1%|    0.5   1%|    0.5   1%|
1466.99/779.57	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%|
1466.99/779.57	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%|
1466.99/779.57	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%|
1466.99/779.57	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%|
1466.99/779.57	c (59,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c
1466.99/779.57	c (59,0) c Threads : 8
1466.99/779.57	c (59,0) c Winner : 4
1466.99/779.57	c (59,0) c Conflicts_0 : 1310
1466.99/779.57	c (59,0) c Conflicts_1 : 5413
1466.99/779.57	c (59,0) c Conflicts_2 : 4146
1466.99/779.57	c (59,0) c Conflicts_3 : 4041
1466.99/779.57	c (59,0) c Conflicts_4 : 5674
1466.99/779.57	c (59,0) c Conflicts_5 : 6427
1466.99/779.57	c (59,0) c Conflicts_6 : 3810
1466.99/779.57	c (59,0) c Conflicts_7 : 5729
1466.99/779.57	c (59,0) c Conflicts_total : 36550
1466.99/779.57	c (59,0) c Conflicts_winner : 5674
1466.99/779.57	c (59,0) c Decisions_0 : 1943
1466.99/779.57	c (59,0) c Decisions_1 : 7565
1466.99/779.57	c (59,0) c Decisions_2 : 5726
1466.99/779.57	c (59,0) c Decisions_3 : 5947
1466.99/779.57	c (59,0) c Decisions_4 : 7538
1466.99/779.57	c (59,0) c Decisions_5 : 8406
1466.99/779.57	c (59,0) c Decisions_6 : 5549
1466.99/779.57	c (59,0) c Decisions_7 : 7826
1466.99/779.57	c (59,0) c Decisions_total : 50500
1466.99/779.57	c (59,0) c Decisions_winner : 7538
1466.99/779.57	c (59,0) c Propagations_0 : 82080943
1466.99/779.57	c (59,0) c Propagations_1 : 71278866
1466.99/779.57	c (59,0) c Propagations_2 : 71462600
1466.99/779.57	c (59,0) c Propagations_3 : 79231844
1466.99/779.57	c (59,0) c Propagations_4 : 61216617
1466.99/779.57	c (59,0) c Propagations_5 : 68589938
1466.99/779.57	c (59,0) c Propagations_6 : 62930450
1466.99/779.57	c (59,0) c Propagations_7 : 64908695
1466.99/779.57	c (59,0) c Propagations_total : 561699953
1466.99/779.57	c (59,0) c Propagations_winner : 61216617
1466.99/779.57	c (59,0) c ReduceDBs_0 : 0
1466.99/779.57	c (59,0) c ReduceDBs_1 : 1
1466.99/779.57	c (59,0) c ReduceDBs_2 : 1
1466.99/779.57	c (59,0) c ReduceDBs_3 : 1
1466.99/779.57	c (59,0) c ReduceDBs_4 : 1
1466.99/779.57	c (59,0) c ReduceDBs_5 : 1
1466.99/779.57	c (59,0) c ReduceDBs_6 : 1
1466.99/779.57	c (59,0) c ReduceDBs_7 : 1
1466.99/779.57	c (59,0) c ReduceDBs_total : 7
1466.99/779.57	c (59,0) c ReduceDBs_winner : 1
1466.99/779.57	c (59,0) c SimpDBs_0 : 2
1466.99/779.57	c (59,0) c SimpDBs_1 : 2
1466.99/779.57	c (59,0) c SimpDBs_2 : 2
1466.99/779.57	c (59,0) c SimpDBs_3 : 1
1466.99/779.57	c (59,0) c SimpDBs_4 : 2
1466.99/779.57	c (59,0) c SimpDBs_5 : 1
1466.99/779.57	c (59,0) c SimpDBs_6 : 1
1466.99/779.57	c (59,0) c SimpDBs_7 : 1
1466.99/779.57	c (59,0) c SimpDBs_total : 12
1466.99/779.57	c (59,0) c SimpDBs_winner : 2
1466.99/779.57	c (59,0) c Restarts_0 : 1
1466.99/779.57	c (59,0) c Restarts_1 : 4
1466.99/779.57	c (59,0) c Restarts_2 : 2
1466.99/779.57	c (59,0) c Restarts_3 : 2
1466.99/779.57	c (59,0) c Restarts_4 : 6
1466.99/779.57	c (59,0) c Restarts_5 : 2
1466.99/779.57	c (59,0) c Restarts_6 : 3
1466.99/779.57	c (59,0) c Restarts_7 : 2
1466.99/779.57	c (59,0) c Restarts_total : 22
1466.99/779.57	c (59,0) c Restarts_winner : 6
1466.99/779.57	c (59,0) c ForcedImports_0 : 0
1466.99/779.57	c (59,0) c ForcedImports_1 : 0
1466.99/779.57	c (59,0) c ForcedImports_2 : 0
1466.99/779.57	c (59,0) c ForcedImports_3 : 0
1466.99/779.57	c (59,0) c ForcedImports_4 : 0
1466.99/779.57	c (59,0) c ForcedImports_5 : 0
1466.99/779.57	c (59,0) c ForcedImports_6 : 0
1466.99/779.57	c (59,0) c ForcedImports_7 : 0
1466.99/779.57	c (59,0) c ForcedImports_total : 0
1466.99/779.57	c (59,0) c ForcedImports_winner : 0
1466.99/779.57	c (59,0) c PropsBinClauses_0 : 30287518
1466.99/779.57	c (59,0) c PropsBinClauses_1 : 29558471
1466.99/779.57	c (59,0) c PropsBinClauses_2 : 31086310
1466.99/779.57	c (59,0) c PropsBinClauses_3 : 33286241
1466.99/779.57	c (59,0) c PropsBinClauses_4 : 32086013
1466.99/779.57	c (59,0) c PropsBinClauses_5 : 31025139
1466.99/779.57	c (59,0) c PropsBinClauses_6 : 30354699
1466.99/779.57	c (59,0) c PropsBinClauses_7 : 31948781
1466.99/779.57	c (59,0) c PropsBinClauses_total : 249633172
1466.99/779.57	c (59,0) c PropsBinClauses_winner : 32086013
1466.99/779.57	c (59,0) c PropsPreBlocker_0 : 484743294
1466.99/779.57	c (59,0) c PropsPreBlocker_1 : 525830845
1466.99/779.57	c (59,0) c PropsPreBlocker_2 : 519945213
1466.99/779.57	c (59,0) c PropsPreBlocker_3 : 543250085
1466.99/779.57	c (59,0) c PropsPreBlocker_4 : 511688583
1466.99/779.57	c (59,0) c PropsPreBlocker_5 : 537889453
1466.99/779.57	c (59,0) c PropsPreBlocker_6 : 550269573
1466.99/779.57	c (59,0) c PropsPreBlocker_7 : 547871068
1466.99/779.57	c (59,0) c PropsPreBlocker_total : 4221488114
1466.99/779.57	c (59,0) c PropsPreBlocker_winner : 511688583
1466.99/779.57	c (59,0) c PropsNotBlocker_0 : 325374259
1466.99/779.57	c (59,0) c PropsNotBlocker_1 : 384485914
1466.99/779.57	c (59,0) c PropsNotBlocker_2 : 392795489
1466.99/779.57	c (59,0) c PropsNotBlocker_3 : 320070070
1466.99/779.57	c (59,0) c PropsNotBlocker_4 : 400834616
1466.99/779.57	c (59,0) c PropsNotBlocker_5 : 397263425
1466.99/779.57	c (59,0) c PropsNotBlocker_6 : 415614752
1466.99/779.57	c (59,0) c PropsNotBlocker_7 : 391812485
1466.99/779.57	c (59,0) c PropsNotBlocker_total : 3028251010
1466.99/779.57	c (59,0) c PropsNotBlocker_winner : 400834616
1466.99/779.57	c (59,0) c PropsLitFullScans_0 : 1209558051
1466.99/779.57	c (59,0) c PropsLitFullScans_1 : 1198869982
1466.99/779.57	c (59,0) c PropsLitFullScans_2 : 1180971769
1466.99/779.57	c (59,0) c PropsLitFullScans_3 : 1204509466
1466.99/779.57	c (59,0) c PropsLitFullScans_4 : 1183156291
1466.99/779.57	c (59,0) c PropsLitFullScans_5 : 1181728889
1466.99/779.57	c (59,0) c PropsLitFullScans_6 : 1224399765
1466.99/779.57	c (59,0) c PropsLitFullScans_7 : 1192812784
1466.99/779.57	c (59,0) c PropsLitFullScans_total : 9576006997
1466.99/779.57	c (59,0) c PropsLitFullScans_winner : 1183156291
1466.99/779.57	c (59,0) c LitScanFractions_0 : 3508882
1466.99/779.57	c (59,0) c LitScanFractions_1 : 4552474
1466.99/779.57	c (59,0) c LitScanFractions_2 : 4858251
1466.99/779.57	c (59,0) c LitScanFractions_3 : 4120595
1466.99/779.57	c (59,0) c LitScanFractions_4 : 4358647
1466.99/779.57	c (59,0) c LitScanFractions_5 : 5672291
1466.99/779.57	c (59,0) c LitScanFractions_6 : 6368341
1466.99/779.57	c (59,0) c LitScanFractions_7 : 4701528
1466.99/779.57	c (59,0) c LitScanFractions_total : 38141009
1466.99/779.57	c (59,0) c LitScanFractions_winner : 4358647
1466.99/779.57	c (59,0) c DecisionLevel0_0 : 2
1466.99/779.57	c (59,0) c DecisionLevel0_1 : 6
1466.99/779.57	c (59,0) c DecisionLevel0_2 : 3
1466.99/779.57	c (59,0) c DecisionLevel0_3 : 2
1466.99/779.57	c (59,0) c DecisionLevel0_4 : 11
1466.99/779.57	c (59,0) c DecisionLevel0_5 : 2
1466.99/779.57	c (59,0) c DecisionLevel0_6 : 3
1466.99/779.57	c (59,0) c DecisionLevel0_7 : 2
1466.99/779.57	c (59,0) c DecisionLevel0_total : 31
1466.99/779.57	c (59,0) c DecisionLevel0_winner : 11
1466.99/779.57	c (59,0) c Periods_0 : 201
1466.99/779.57	c (59,0) c Periods_1 : 199
1466.99/779.57	c (59,0) c Periods_2 : 196
1466.99/779.57	c (59,0) c Periods_3 : 200
1466.99/779.57	c (59,0) c Periods_4 : 196
1466.99/779.57	c (59,0) c Periods_5 : 196
1466.99/779.57	c (59,0) c Periods_6 : 203
1466.99/779.57	c (59,0) c Periods_7 : 198
1466.99/779.58	c (59,0) c Periods_total : 1589
1466.99/779.58	c (59,0) c Periods_winner : 196
1466.99/779.58	c (59,0) c Margin_0 : 20
1466.99/779.58	c (59,0) c Margin_1 : 20
1466.99/779.58	c (59,0) c Margin_2 : 20
1466.99/779.58	c (59,0) c Margin_3 : 20
1466.99/779.58	c (59,0) c Margin_4 : 20
1466.99/779.58	c (59,0) c Margin_5 : 20
1466.99/779.58	c (59,0) c Margin_6 : 20
1466.99/779.58	c (59,0) c Margin_7 : 20
1466.99/779.58	c (59,0) c Margin_total : 160
1466.99/779.58	c (59,0) c Margin_winner : 20
1466.99/779.58	c (59,0) c Exported_0 : 30
1466.99/779.58	c (59,0) c Exported_1 : 190
1466.99/779.58	c (59,0) c Exported_2 : 110
1466.99/779.58	c (59,0) c Exported_3 : 70
1466.99/779.58	c (59,0) c Exported_4 : 292
1466.99/779.58	c (59,0) c Exported_5 : 365
1466.99/779.58	c (59,0) c Exported_6 : 78
1466.99/779.58	c (59,0) c Exported_7 : 198
1466.99/779.58	c (59,0) c Exported_total : 1333
1466.99/779.58	c (59,0) c Exported_winner : 292
1466.99/779.58	c (59,0) c Imported_0 : 370
1466.99/779.58	c (59,0) c Imported_1 : 693
1466.99/779.58	c (59,0) c Imported_2 : 565
1466.99/779.58	c (59,0) c Imported_3 : 217
1466.99/779.58	c (59,0) c Imported_4 : 761
1466.99/779.58	c (59,0) c Imported_5 : 320
1466.99/779.58	c (59,0) c Imported_6 : 37
1466.99/779.58	c (59,0) c Imported_7 : 252
1466.99/779.58	c (59,0) c Imported_total : 3215
1466.99/779.58	c (59,0) c Imported_winner : 761
1466.99/779.58	c (59,0) c Good_0 : 44
1466.99/779.58	c (59,0) c Good_1 : 89
1466.99/779.58	c (59,0) c Good_2 : 86
1466.99/779.58	c (59,0) c Good_3 : 22
1466.99/779.58	c (59,0) c Good_4 : 70
1466.99/779.58	c (59,0) c Good_5 : 39
1466.99/779.58	c (59,0) c Good_6 : 1
1466.99/779.58	c (59,0) c Good_7 : 27
1466.99/779.58	c (59,0) c Good_total : 378
1466.99/779.58	c (59,0) c Good_winner : 70
1466.99/779.58	c (59,0) c Purge_0 : 326
1466.99/779.58	c (59,0) c Purge_1 : 604
1466.99/779.58	c (59,0) c Purge_2 : 479
1466.99/779.58	c (59,0) c Purge_3 : 195
1466.99/779.58	c (59,0) c Purge_4 : 691
1466.99/779.58	c (59,0) c Purge_5 : 281
1466.99/779.58	c (59,0) c Purge_6 : 36
1466.99/779.58	c (59,0) c Purge_7 : 225
1466.99/779.58	c (59,0) c Purge_total : 2837
1466.99/779.58	c (59,0) c Purge_winner : 691
1466.99/779.58	c (59,0) c Promoted_0 : 0
1466.99/779.58	c (59,0) c Promoted_1 : 4
1466.99/779.58	c (59,0) c Promoted_2 : 0
1466.99/779.58	c (59,0) c Promoted_3 : 0
1466.99/779.58	c (59,0) c Promoted_4 : 4
1466.99/779.58	c (59,0) c Promoted_5 : 0
1466.99/779.58	c (59,0) c Promoted_6 : 0
1466.99/779.58	c (59,0) c Promoted_7 : 3
1466.99/779.58	c (59,0) c Promoted_total : 11
1466.99/779.58	c (59,0) c Promoted_winner : 4
1466.99/779.58	c (59,0) c Remove_Imp_0 : 0
1466.99/779.58	c (59,0) c Remove_Imp_1 : 0
1466.99/779.58	c (59,0) c Remove_Imp_2 : 0
1466.99/779.58	c (59,0) c Remove_Imp_3 : 0
1466.99/779.58	c (59,0) c Remove_Imp_4 : 0
1466.99/779.58	c (59,0) c Remove_Imp_5 : 0
1466.99/779.58	c (59,0) c Remove_Imp_6 : 0
1466.99/779.58	c (59,0) c Remove_Imp_7 : 0
1466.99/779.58	c (59,0) c Remove_Imp_total : 0
1466.99/779.58	c (59,0) c Remove_Imp_winner : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_0 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_1 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_2 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_3 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_4 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_5 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_6 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_7 : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_total : 0
1466.99/779.58	c (59,0) c Blocked_Reuse_winner : 0
1466.99/779.58	c (59,0) c Unaries_0 : 1
1466.99/779.58	c (59,0) c Unaries_1 : 2
1466.99/779.58	c (59,0) c Unaries_2 : 1
1466.99/779.58	c (59,0) c Unaries_3 : 0
1466.99/779.58	c (59,0) c Unaries_4 : 5
1466.99/779.58	c (59,0) c Unaries_5 : 0
1466.99/779.58	c (59,0) c Unaries_6 : 0
1466.99/779.58	c (59,0) c Unaries_7 : 0
1466.99/779.58	c (59,0) c Unaries_total : 9
1466.99/779.58	c (59,0) c Unaries_winner : 5
1466.99/779.58	c (59,0) c Binaries_0 : 10
1466.99/779.58	c (59,0) c Binaries_1 : 22
1466.99/779.58	c (59,0) c Binaries_2 : 12
1466.99/779.58	c (59,0) c Binaries_3 : 8
1466.99/779.58	c (59,0) c Binaries_4 : 43
1466.99/779.58	c (59,0) c Binaries_5 : 13
1466.99/779.58	c (59,0) c Binaries_6 : 4
1466.99/779.58	c (59,0) c Binaries_7 : 12
1466.99/779.58	c (59,0) c Binaries_total : 124
1466.99/779.58	c (59,0) c Binaries_winner : 43
1466.99/779.58	c (59,0) c Glues_0 : 30
1466.99/779.58	c (59,0) c Glues_1 : 140
1466.99/779.58	c (59,0) c Glues_2 : 110
1466.99/779.58	c (59,0) c Glues_3 : 70
1466.99/779.58	c (59,0) c Glues_4 : 194
1466.99/779.58	c (59,0) c Glues_5 : 132
1466.99/779.58	c (59,0) c Glues_6 : 78
1466.99/779.58	c (59,0) c Glues_7 : 108
1466.99/779.58	c (59,0) c Glues_total : 862
1466.99/779.58	c (59,0) c Glues_winner : 194
1466.99/779.58	c (59,0) c RunningTime_0 : 53.723721
1466.99/779.58	c (59,0) c RunningTime_1 : 53.735979
1466.99/779.58	c (59,0) c RunningTime_2 : 55.037283
1466.99/779.58	c (59,0) c RunningTime_3 : 53.682766
1466.99/779.58	c (59,0) c RunningTime_4 : 53.665804
1466.99/779.58	c (59,0) c RunningTime_5 : 54.623384
1466.99/779.58	c (59,0) c RunningTime_6 : 53.831200
1466.99/779.58	c (59,0) c RunningTime_7 : 53.717404
1466.99/779.58	c (59,0) c RunningTime_total : 432.017541
1466.99/779.58	c (59,0) c RunningTime_winner : 53.665804
1466.99/779.58	c (59,0) c WaitingTime_0 : 0.000369
1466.99/779.58	c (59,0) c WaitingTime_1 : 0.000384
1466.99/779.58	c (59,0) c WaitingTime_2 : 0.000274
1466.99/779.58	c (59,0) c WaitingTime_3 : 0.000373
1466.99/779.58	c (59,0) c WaitingTime_4 : 0.000346
1466.99/779.58	c (59,0) c WaitingTime_5 : 0.000294
1466.99/779.58	c (59,0) c WaitingTime_6 : 0.000450
1466.99/779.58	c (59,0) c WaitingTime_7 : 0.000404
1466.99/779.58	c (59,0) c WaitingTime_total : 0.002894
1466.99/779.58	c (59,0) c WaitingTime_winner : 0.000346
1466.99/779.58	c (59,0) c ExchangingTime_0 : 0.010950
1466.99/779.58	c (59,0) c ExchangingTime_1 : 0.007696
1466.99/779.58	c (59,0) c ExchangingTime_2 : 0.004247
1466.99/779.58	c (59,0) c ExchangingTime_3 : 0.003737
1466.99/779.58	c (59,0) c ExchangingTime_4 : 0.008316
1466.99/779.58	c (59,0) c ExchangingTime_5 : 0.003695
1466.99/779.58	c (59,0) c ExchangingTime_6 : 0.003770
1466.99/779.58	c (59,0) c ExchangingTime_7 : 0.004054
1466.99/779.58	c (59,0) c ExchangingTime_total : 0.046465
1466.99/779.58	c (59,0) c ExchangingTime_winner : 0.008316
1466.99/779.58	c (59,0) c PeriodProcTime_0 : 0.003331
1466.99/779.58	c (59,0) c PeriodProcTime_1 : 0.003081
1466.99/779.58	c (59,0) c PeriodProcTime_2 : 0.003089
1466.99/779.58	c (59,0) c PeriodProcTime_3 : 0.003314
1466.99/779.58	c (59,0) c PeriodProcTime_4 : 0.002448
1466.99/779.58	c (59,0) c PeriodProcTime_5 : 0.002959
1466.99/779.58	c (59,0) c PeriodProcTime_6 : 0.003453
1466.99/779.58	c (59,0) c PeriodProcTime_7 : 0.002813
1466.99/779.58	c (59,0) c PeriodProcTime_total : 0.024487
1466.99/779.58	c (59,0) c PeriodProcTime_winner : 0.002448
1466.99/779.58	c (59,0) c SolvingTime_0 : 53.738371
1466.99/779.58	c (59,0) c SolvingTime_1 : 53.747140
1466.99/779.58	c (59,0) c SolvingTime_2 : 55.044894
1466.99/779.58	c (59,0) c SolvingTime_3 : 53.690190
1466.99/779.58	c (59,0) c SolvingTime_4 : 53.676914
1466.99/779.58	c (59,0) c SolvingTime_5 : 54.630332
1466.99/779.58	c (59,0) c SolvingTime_6 : 53.838873
1466.99/779.58	c (59,0) c SolvingTime_7 : 53.724674
1466.99/779.58	c (59,0) c SolvingTime_total : 432.091387
1466.99/779.58	c (59,0) c SolvingTime_winner : 53.676914
1466.99/779.58	c (59,0) c PropagationTime_0 : 51.990876
1466.99/779.58	c (59,0) c PropagationTime_1 : 51.709726
1466.99/779.58	c (59,0) c PropagationTime_2 : 52.967086
1466.99/779.58	c (59,0) c PropagationTime_3 : 51.680171
1466.99/779.58	c (59,0) c PropagationTime_4 : 51.570496
1466.99/779.58	c (59,0) c PropagationTime_5 : 52.545127
1466.99/779.58	c (59,0) c PropagationTime_6 : 51.935195
1466.99/779.58	c (59,0) c PropagationTime_7 : 51.738974
1466.99/779.58	c (59,0) c PropagationTime_total : 416.137652
1466.99/779.58	c (59,0) c PropagationTime_winner : 51.570496
1466.99/779.58	c (59,0) c AnalysisTime_0 : 0.386285
1466.99/779.58	c (59,0) c AnalysisTime_1 : 0.543469
1466.99/779.58	c (59,0) c AnalysisTime_2 : 0.501899
1466.99/779.58	c (59,0) c AnalysisTime_3 : 0.531923
1466.99/779.58	c (59,0) c AnalysisTime_4 : 0.518569
1466.99/779.58	c (59,0) c AnalysisTime_5 : 0.554065
1466.99/779.58	c (59,0) c AnalysisTime_6 : 0.503589
1466.99/779.58	c (59,0) c AnalysisTime_7 : 0.523102
1466.99/779.58	c (59,0) c AnalysisTime_total : 4.062900
1466.99/779.58	c (59,0) c AnalysisTime_winner : 0.518569
1466.99/779.58	c (59,0) c ReductionTime_0 : 0.000000
1466.99/779.58	c (59,0) c ReductionTime_1 : 0.000483
1466.99/779.58	c (59,0) c ReductionTime_2 : 0.000498
1466.99/779.58	c (59,0) c ReductionTime_3 : 0.000494
1466.99/779.58	c (59,0) c ReductionTime_4 : 0.000462
1466.99/779.58	c (59,0) c ReductionTime_5 : 0.000513
1466.99/779.58	c (59,0) c ReductionTime_6 : 0.000511
1466.99/779.58	c (59,0) c ReductionTime_7 : 0.000469
1466.99/779.58	c (59,0) c ReductionTime_total : 0.003430
1466.99/779.58	c (59,0) c ReductionTime_winner : 0.000462
1466.99/779.58	c (59,0) c SimplifyTime_0 : 0.120792
1466.99/779.58	c (59,0) c SimplifyTime_1 : 0.126179
1466.99/779.58	c (59,0) c SimplifyTime_2 : 0.142479
1466.99/779.58	c (59,0) c SimplifyTime_3 : 0.000000
1466.99/779.58	c (59,0) c SimplifyTime_4 : 0.125715
1466.99/779.58	c (59,0) c SimplifyTime_5 : 0.000000
1466.99/779.58	c (59,0) c SimplifyTime_6 : 0.000000
1466.99/779.58	c (59,0) c SimplifyTime_7 : 0.000000
1466.99/779.58	c (59,0) c SimplifyTime_total : 0.515165
1466.99/779.58	c (59,0) c SimplifyTime_winner : 0.125715
1466.99/779.58	c (59,0) c UsedRateTime_0 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_1 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_2 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_3 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_4 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_5 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_6 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_7 : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_total : 0.000000
1466.99/779.58	c (59,0) c UsedRateTime_winner : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_0 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_1 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_2 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_3 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_4 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_5 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_6 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_7 : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_total : 0.000000
1466.99/779.58	c (59,0) c OverlapRateTime_winner : 0.000000
1466.99/779.58	c (59,0) c
1466.99/779.58	c (59,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1466.99/779.58	c (59,0) c
1466.99/779.58	c (59,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.58	c (59,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1466.99/779.58	c (59,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.58	c (59,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1466.99/779.58	c (59,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1466.99/779.58	c (59,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1466.99/779.58	c (59,0) c | Initial random_seed   |  347484653 | 1449981574 |   96574494 | 1137864104 |  625368562 |   57557606 | 1831091741 |  743935239 |
1466.99/779.58	c (59,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1466.99/779.58	c (59,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1466.99/779.58	c (59,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1466.99/779.58	c (59,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1466.99/779.58	c (59,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1466.99/779.58	c (59,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1466.99/779.58	c (59,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1466.99/779.58	c (59,0) c | var_decay             |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |
1466.99/779.58	c (59,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1466.99/779.58	c (59,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1466.99/779.58	c (59,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1466.99/779.58	c (59,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1466.99/779.58	c (59,0) 
1466.99/779.58	c (59,0) s UNSATISFIABLE
1040.42/779.76	c (60,0) SatSolver.solve End
1040.42/779.76	c (60,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1040.42/779.76	c (60,0) Show results Begin
1040.42/779.76	s UNSATISFIABLE
1040.42/779.77	c (60,0) Show results End
1040.42/779.77	c (60,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1040.42/779.77	c (60,0) 60,60,STOP-AFTER(ALL)
1040.42/779.77	c END-Prog: Sat Sep 14 01:33:17 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 (13834 MiB free)
  memory of node 1: 16384 MiB (14244 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392300-1568416857/watcher-4392300-1568416857 -o /tmp/evaluation-result-4392300-1568416857/solver-4392300-1568416857 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392300-1568416857.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
Starting watchdog thread
solver pid=17404, runsolver pid=17401
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 2.00 0.99 1.14 4/212 17426
/proc/meminfo: memFree=28656328/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417625930 115843072 349 33554432000 4194304 5098028 140726253693504 140726253690760 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 349 296 221 0 87 0
[pid=17407] ppid=17404 vsize=27314120 memory=107824 CPUtime=0.1 cores=0-7
/proc/17407/stat : 17407 (java) S 17404 17404 16408 0 -1 1077944320 6516 0 0 0 8 2 0 0 20 0 20 0 417625930 27969658880 26956 33554432000 4194304 4196468 140726025151984 140726025134528 140186828951287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
/proc/17407/statm: 6828530 26956 2801 1 0 6790935 0
[pid=17407/tid=17408] ppid=17404 vsize=27314120 memory=7970133773678190743 CPUtime=0.09 cores=0-7
/proc/17407/task/17408/stat : 17408 (java) R 17404 17404 16408 0 -1 4202560 4624 0 0 0 7 2 0 0 20 0 20 0 417625931 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186800773568 140186813031774 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17409] ppid=17404 vsize=27314120 memory=732370523632475109 CPUtime=0 cores=0-7
/proc/17407/task/17409/stat : 17409 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186833193232 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17410] ppid=17404 vsize=27314120 memory=140385295021696 CPUtime=0 cores=0-7
/proc/17407/task/17410/stat : 17410 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186660010384 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17411] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17411/stat : 17411 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186250463760 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17412] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17412/stat : 17412 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186249411216 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17413] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17413/stat : 17413 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186248358672 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17414] ppid=17404 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17407/task/17414/stat : 17414 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186247306128 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17415] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17415/stat : 17415 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186246253584 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17416] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17416/stat : 17416 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 26956 33554432000 4194304 4196468 140726025151984 140186245201040 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17417] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17417/stat : 17417 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 26956 33554432000 4194304 4196468 140726025151984 140185820346352 140186828962434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17418] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17418/stat : 17418 (java) S 17404 17404 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 26956 33554432000 4194304 4196468 140726025151984 140184779744160 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17419] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17419/stat : 17419 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 26956 33554432000 4194304 4196468 140726025151984 140184511308784 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17420] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17420/stat : 17420 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140184136800464 140186828969883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17421] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17421/stat : 17421 (java) S 17404 17404 16408 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140185819294192 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17422] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17422/stat : 17422 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140185818241648 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17423] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17423/stat : 17423 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140185817189104 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17424] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17424/stat : 17424 (java) S 17404 17404 16408 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140185816136560 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17425] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17425/stat : 17425 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140183638894816 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17426] ppid=17404 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17407/task/17426/stat : 17426 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 26956 33554432000 4194304 4196468 140726025151984 140185815083440 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109220 KiB

[startup+0.210428 s]*
/proc/loadavg: 2.00 0.99 1.14 2/212 17426
/proc/meminfo: memFree=28635108/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417625930 115843072 349 33554432000 4194304 5098028 140726253693504 140726253690760 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 349 296 221 0 87 0
[pid=17407] ppid=17404 vsize=27314120 memory=126888 CPUtime=0.24 cores=0-7
/proc/17407/stat : 17407 (java) S 17404 17404 16408 0 -1 1077944320 12006 0 0 0 20 4 0 0 20 0 20 0 417625930 27969658880 31722 33554432000 4194304 4196468 140726025151984 140726025134528 140186828951287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
/proc/17407/statm: 6828530 31722 2938 1 0 6790935 0
[pid=17407/tid=17408] ppid=17404 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/17407/task/17408/stat : 17408 (java) R 17404 17404 16408 0 -1 4202560 9739 0 0 0 16 3 0 0 20 0 20 0 417625931 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186800771216 140186809226609 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17409] ppid=17404 vsize=27314120 memory=280770461841144 CPUtime=0 cores=0-7
/proc/17407/task/17409/stat : 17409 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186833193232 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17410] ppid=17404 vsize=27314120 memory=140385295021696 CPUtime=0 cores=0-7
/proc/17407/task/17410/stat : 17410 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186660010384 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17411] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17411/stat : 17411 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186250463760 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17412] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17412/stat : 17412 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186249411216 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17413] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17413/stat : 17413 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186248358672 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17414] ppid=17404 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17407/task/17414/stat : 17414 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186247306128 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17415] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17415/stat : 17415 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186246253584 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17416] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17416/stat : 17416 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 31722 33554432000 4194304 4196468 140726025151984 140186245201040 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17417] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17417/stat : 17417 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 31722 33554432000 4194304 4196468 140726025151984 140185820346352 140186828962434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17418] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17418/stat : 17418 (java) S 17404 17404 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 31722 33554432000 4194304 4196468 140726025151984 140184779744160 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17419] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17419/stat : 17419 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 31722 33554432000 4194304 4196468 140726025151984 140184511308784 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17420] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17420/stat : 17420 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140184136800464 140186828969883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17421] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17421/stat : 17421 (java) S 17404 17404 16408 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140185819294192 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17422] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17422/stat : 17422 (java) S 17404 17404 16408 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140185818241648 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17423] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17423/stat : 17423 (java) S 17404 17404 16408 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140185817189104 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17424] ppid=17404 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/17407/task/17424/stat : 17424 (java) S 17404 17404 16408 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140185816136560 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17425] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17425/stat : 17425 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140183638894816 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17426] ppid=17404 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17407/task/17426/stat : 17426 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 31722 33554432000 4194304 4196468 140726025151984 140185815083440 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128284 KiB

[startup+0.31112 s]*
/proc/loadavg: 2.00 0.99 1.14 2/212 17426
/proc/meminfo: memFree=28632688/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417625930 115843072 349 33554432000 4194304 5098028 140726253693504 140726253690760 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 349 296 221 0 87 0
[pid=17407] ppid=17404 vsize=27314120 memory=130040 CPUtime=0.42 cores=0-7
/proc/17407/stat : 17407 (java) S 17404 17404 16408 0 -1 1077944320 12968 0 0 0 37 5 0 0 20 0 20 0 417625930 27969658880 32510 33554432000 4194304 4196468 140726025151984 140726025134528 140186828951287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
/proc/17407/statm: 6828530 32510 2992 1 0 6790935 0
[pid=17407/tid=17408] ppid=17404 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/17407/task/17408/stat : 17408 (java) R 17404 17404 16408 0 -1 4202560 10540 0 0 0 26 4 0 0 20 0 20 0 417625931 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186800741936 140186813031774 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17409] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17409/stat : 17409 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186833193232 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17410] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17410/stat : 17410 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186660010384 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17411] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17411/stat : 17411 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186250463760 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17412] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17412/stat : 17412 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186249411216 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17413] ppid=17404 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/17407/task/17413/stat : 17413 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186248358672 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17414] ppid=17404 vsize=27314120 memory=140385166914479 CPUtime=0 cores=0-7
/proc/17407/task/17414/stat : 17414 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186247306128 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17415] ppid=17404 vsize=27314120 memory=140385166916784 CPUtime=0 cores=0-7
/proc/17407/task/17415/stat : 17415 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186246253584 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17416] ppid=17404 vsize=27314120 memory=140385166919088 CPUtime=0 cores=0-7
/proc/17407/task/17416/stat : 17416 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27969658880 32510 33554432000 4194304 4196468 140726025151984 140186245201040 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17417] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17417/stat : 17417 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 32510 33554432000 4194304 4196468 140726025151984 140185820346352 140186828962434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17418] ppid=17404 vsize=27314120 memory=280770333845136 CPUtime=0 cores=0-7
/proc/17407/task/17418/stat : 17418 (java) S 17404 17404 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 32510 33554432000 4194304 4196468 140726025151984 140184779744160 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17419] ppid=17404 vsize=27314120 memory=280770333852048 CPUtime=0 cores=0-7
/proc/17407/task/17419/stat : 17419 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625935 27969658880 32510 33554432000 4194304 4196468 140726025151984 140184511308784 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17420] ppid=17404 vsize=27314120 memory=280770333793328 CPUtime=0 cores=0-7
/proc/17407/task/17420/stat : 17420 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140184136800464 140186828969883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17421] ppid=17404 vsize=27314120 memory=280770333865872 CPUtime=0 cores=0-7
/proc/17407/task/17421/stat : 17421 (java) S 17404 17404 16408 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140185819294192 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17422] ppid=17404 vsize=27314120 memory=280770333872784 CPUtime=0.02 cores=0-7
/proc/17407/task/17422/stat : 17422 (java) S 17404 17404 16408 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140185818241648 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17423] ppid=17404 vsize=27314120 memory=280770333870480 CPUtime=0.01 cores=0-7
/proc/17407/task/17423/stat : 17423 (java) S 17404 17404 16408 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140185817189104 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17424] ppid=17404 vsize=27314120 memory=280770333886640 CPUtime=0.07 cores=0-7
/proc/17407/task/17424/stat : 17424 (java) S 17404 17404 16408 0 -1 1077944384 460 0 0 0 7 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140185816136560 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17425] ppid=17404 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17425/stat : 17425 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140183638894816 140186828961493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17426] ppid=17404 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17407/task/17426/stat : 17426 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417625938 27969658880 32510 33554432000 4194304 4196468 140726025151984 140185815083440 140186828962434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131436 KiB

[startup+0.700956 s]
/proc/loadavg: 2.00 0.99 1.14 2/212 17426
/proc/meminfo: memFree=28611604/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417625930 115843072 349 33554432000 4194304 5098028 140726253693504 140726253690760 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 349 296 221 0 87 0
[pid=17407] ppid=17404 vsize=27320392 memory=166976 CPUtime=0.98 cores=0-7
/proc/17407/stat : 17407 (java) S 17404 17404 16408 0 -1 1077944320 19878 0 0 0 91 7 0 0 20 0 20 0 417625930 27976081408 41744 33554432000 4194304 4196468 140726025151984 140726025134528 140186828951287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
/proc/17407/statm: 6830098 41744 3182 1 0 6791447 0
[pid=17407/tid=17408] ppid=17404 vsize=27320392 memory=280770334181504 CPUtime=0.67 cores=0-7
/proc/17407/task/17408/stat : 17408 (java) R 17404 17404 16408 0 -1 4202560 16958 0 0 0 62 5 0 0 20 0 20 0 417625931 27976081408 41744 33554432000 4194304 4196468 140726025151984 140186800786528 140186828973213 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17409] ppid=17404 vsize=27320392 memory=4943507358845 CPUtime=0 cores=0-7
/proc/17407/task/17409/stat : 17409 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27976081408 41744 33554432000 4194304 4196468 140726025151984 140186833193232 140186828961493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17410] ppid=17404 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17407/task/17410/stat : 17410 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417625933 27976081408 41744 33554432000 4194304 4196468 140726025151984 140186660010384 140186828961493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29048832 140726025159403 140726025159830 140726025159830 140726025162703 0
[pid=17407/tid=17411] ppid=17404 vsize=27320392 memory=0 CPUtime=0 cores=0-7

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

/proc/17481/task/17493/stat : 17493 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30058 33554432000 4194304 4196468 140734485767552 140235916698864 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17494] ppid=17404 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/17481/task/17494/stat : 17494 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697869 8616062976 30058 33554432000 4194304 4196468 140734485767552 140235542190544 140237540329371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17495] ppid=17404 vsize=8414124 memory=280770334577840 CPUtime=0.06 cores=0-7
/proc/17481/task/17495/stat : 17495 (java) S 17404 17404 16408 0 -1 1077944384 529 0 0 0 6 0 0 0 20 0 24 0 417697870 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236498438384 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17496] ppid=17404 vsize=8414124 memory=6944656575208382560 CPUtime=0.06 cores=0-7
/proc/17481/task/17496/stat : 17496 (java) S 17404 17404 16408 0 -1 1077944384 329 0 0 0 6 0 0 0 20 0 24 0 417697870 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236497385840 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17497] ppid=17404 vsize=8414124 memory=6943526294502006880 CPUtime=0.05 cores=0-7
/proc/17481/task/17497/stat : 17497 (java) S 17404 17404 16408 0 -1 1077944384 302 0 0 0 5 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236496332784 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17498] ppid=17404 vsize=8414124 memory=6944656592387989600 CPUtime=0.18 cores=0-7
/proc/17481/task/17498/stat : 17498 (java) S 17404 17404 16408 0 -1 1077944384 498 0 0 0 18 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236495280240 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17499] ppid=17404 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/17481/task/17499/stat : 17499 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140235044285408 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17500] ppid=17404 vsize=8414124 memory=7302450732787149464 CPUtime=0.02 cores=0-7
/proc/17481/task/17500/stat : 17500 (java) S 17404 17404 16408 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236494228656 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17502] ppid=17404 vsize=8414124 memory=7302450732787149464 CPUtime=0 cores=0-7
/proc/17481/task/17502/stat : 17502 (java) S 17404 17404 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236486194624 140237540335385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17504] ppid=17404 vsize=8414124 memory=4255760 CPUtime=0 cores=0-7
/proc/17481/task/17504/stat : 17504 (java) S 17404 17404 16408 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30058 33554432000 4194304 4196468 140734485767552 140234373185040 140237540332701 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17505] ppid=17404 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/17481/task/17505/stat : 17505 (java) S 17404 17404 16408 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30058 33554432000 4194304 4196468 140734485767552 140234641620624 140237540332701 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17506] ppid=17404 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/17481/task/17506/stat : 17506 (java) S 17404 17404 16408 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417697939 8616062976 30058 33554432000 4194304 4196468 140734485767552 140234104757168 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
Current children cumulated CPU time: 1459.66 s
Current children cumulated vsize: 12988480 KiB
Current children cumulated memory: 4410388 KiB

[startup+779.201 s]
/proc/loadavg: 5.82 2.51 1.61 3/219 17517
/proc/meminfo: memFree=24190992/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1476 CPUtime=1039.17 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 583 465260 0 0 0 0 99088 4829 20 0 1 0 417625930 115843072 369 33554432000 4194304 5098028 140726253693504 140726253690248 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 369 311 221 0 87 0
[pid=17481] ppid=17404 vsize=8414124 memory=120232 CPUtime=1.19 cores=0-7
/proc/17481/stat : 17481 (java) S 17404 17404 16408 0 -1 1077944320 19994 0 0 0 110 9 0 0 20 0 24 0 417697862 8616062976 30058 33554432000 4194304 4196468 140734485767552 140734485750096 140237540310775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
/proc/17481/statm: 2103531 30058 3205 1 0 2064875 0
[pid=17501] ppid=17481 vsize=4461228 memory=4289992 CPUtime=426.33 cores=0-7
/proc/17501/stat : 17501 (manyglucose-4.1) S 17481 17404 16408 0 -1 1077944320 3588231 0 0 0 40950 1683 0 0 20 0 2 0 417697937 4568297472 1072498 33554432000 4194304 4454172 140730403516896 140730403515280 139623368851191 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 18718720 140730403521385 140730403521584 140730403521584 140730403524538 0
/proc/17501/statm: 1115307 1072498 419 64 0 1110975 0
[pid=17501/tid=17509] ppid=17481 vsize=4461228 memory=120232 CPUtime=52.98 cores=0-7
/proc/17501/task/17509/stat : 17509 (manyglucose-4.1) R 17481 17404 16408 0 -1 4202560 383955 0 0 0 5121 177 0 0 20 0 2 0 417698382 4568297472 1072498 33554432000 4194304 4454172 140730403516896 139621520780392 4351800 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 18718720 140730403521385 140730403521584 140730403521584 140730403524538 0
[pid=17481/tid=17482] ppid=17404 vsize=8414124 memory=2008 CPUtime=0.74 cores=0-7
/proc/17481/task/17482/stat : 17482 (java) S 17404 17404 16408 0 -1 1077944384 16934 0 0 0 69 5 0 0 20 0 24 0 417697863 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237512150944 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17483] ppid=17404 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/17481/task/17483/stat : 17483 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237544553488 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17484] ppid=17404 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/17481/task/17484/stat : 17484 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237344722064 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17485] ppid=17404 vsize=8414124 memory=7595433370074047568 CPUtime=0 cores=0-7
/proc/17481/task/17485/stat : 17485 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237343669008 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17486] ppid=17404 vsize=8414124 memory=5787220497464846677 CPUtime=0 cores=0-7
/proc/17481/task/17486/stat : 17486 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237342616464 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17487] ppid=17404 vsize=8414124 memory=-8102918446579788844 CPUtime=0 cores=0-7
/proc/17481/task/17487/stat : 17487 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237341563408 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17488] ppid=17404 vsize=8414124 memory=4973941326 CPUtime=0 cores=0-7
/proc/17481/task/17488/stat : 17488 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237340510864 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17489] ppid=17404 vsize=8414124 memory=280770335314200 CPUtime=0 cores=0-7
/proc/17481/task/17489/stat : 17489 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237339457808 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17490] ppid=17404 vsize=8414124 memory=280770336987120 CPUtime=0 cores=0-7
/proc/17481/task/17490/stat : 17490 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30058 33554432000 4194304 4196468 140734485767552 140237338405264 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17491] ppid=17404 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17481/task/17491/stat : 17491 (java) S 17404 17404 16408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236499491568 140237540321922 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17492] ppid=17404 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17481/task/17492/stat : 17492 (java) S 17404 17404 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236185134752 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17493] ppid=17404 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17481/task/17493/stat : 17493 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30058 33554432000 4194304 4196468 140734485767552 140235916698864 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17494] ppid=17404 vsize=8414124 memory=40660 CPUtime=0 cores=0-7
/proc/17481/task/17494/stat : 17494 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697869 8616062976 30058 33554432000 4194304 4196468 140734485767552 140235542190544 140237540329371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17495] ppid=17404 vsize=8414124 memory=988 CPUtime=0.06 cores=0-7
/proc/17481/task/17495/stat : 17495 (java) S 17404 17404 16408 0 -1 1077944384 529 0 0 0 6 0 0 0 20 0 24 0 417697870 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236498438384 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17496] ppid=17404 vsize=8414124 memory=2008 CPUtime=0.06 cores=0-7
/proc/17481/task/17496/stat : 17496 (java) S 17404 17404 16408 0 -1 1077944384 329 0 0 0 6 0 0 0 20 0 24 0 417697870 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236497385840 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17497] ppid=17404 vsize=8414124 memory=1436 CPUtime=0.05 cores=0-7
/proc/17481/task/17497/stat : 17497 (java) S 17404 17404 16408 0 -1 1077944384 302 0 0 0 5 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236496332784 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17498] ppid=17404 vsize=8414124 memory=580 CPUtime=0.18 cores=0-7
/proc/17481/task/17498/stat : 17498 (java) S 17404 17404 16408 0 -1 1077944384 498 0 0 0 18 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236495280240 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17499] ppid=17404 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/17481/task/17499/stat : 17499 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140235044285408 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17500] ppid=17404 vsize=8414124 memory=10604 CPUtime=0.03 cores=0-7
/proc/17481/task/17500/stat : 17500 (java) S 17404 17404 16408 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 24 0 417697871 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236494228656 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17502] ppid=17404 vsize=8414124 memory=3360 CPUtime=0 cores=0-7
/proc/17481/task/17502/stat : 17502 (java) S 17404 17404 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30058 33554432000 4194304 4196468 140734485767552 140236486194624 140237540335385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17504] ppid=17404 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/17481/task/17504/stat : 17504 (java) S 17404 17404 16408 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30058 33554432000 4194304 4196468 140734485767552 140234373185040 140237540332701 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17505] ppid=17404 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/17481/task/17505/stat : 17505 (java) S 17404 17404 16408 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30058 33554432000 4194304 4196468 140734485767552 140234641620624 140237540332701 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17506] ppid=17404 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/17481/task/17506/stat : 17506 (java) S 17404 17404 16408 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417697939 8616062976 30058 33554432000 4194304 4196468 140734485767552 140234104757168 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
Current children cumulated CPU time: 1466.69 s
Current children cumulated vsize: 12988480 KiB
Current children cumulated memory: 4411700 KiB

[startup+779.601 s]
/proc/loadavg: 5.82 2.51 1.61 3/219 17517
/proc/meminfo: memFree=24190992/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1476 CPUtime=1039.17 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 583 465260 0 0 0 0 99088 4829 20 0 1 0 417625930 115843072 369 33554432000 4194304 5098028 140726253693504 140726253690248 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 369 311 221 0 87 0
[pid=17481] ppid=17404 vsize=8414124 memory=121144 CPUtime=1.25 cores=0-7
/proc/17481/stat : 17481 (java) S 17404 17404 16408 0 -1 1077944320 20292 0 0 0 116 9 0 0 20 0 24 0 417697862 8616062976 30286 33554432000 4194304 4196468 140734485767552 140734485750096 140237540310775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
/proc/17481/statm: 2103531 30286 3205 1 0 2064875 0
[pid=17481/tid=17482] ppid=17404 vsize=8414124 memory=1760 CPUtime=0.74 cores=0-7
/proc/17481/task/17482/stat : 17482 (java) S 17404 17404 16408 0 -1 1077944384 16934 0 0 0 69 5 0 0 20 0 24 0 417697863 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237512150944 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17483] ppid=17404 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/17481/task/17483/stat : 17483 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237544553488 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17484] ppid=17404 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/17481/task/17484/stat : 17484 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237344722064 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17485] ppid=17404 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/17481/task/17485/stat : 17485 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237343669008 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17486] ppid=17404 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/17481/task/17486/stat : 17486 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237342616464 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17487] ppid=17404 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/17481/task/17487/stat : 17487 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237341563408 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17488] ppid=17404 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/17481/task/17488/stat : 17488 (java) S 17404 17404 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237340510864 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17489] ppid=17404 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/17481/task/17489/stat : 17489 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237339457808 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17490] ppid=17404 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/17481/task/17490/stat : 17490 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417697864 8616062976 30286 33554432000 4194304 4196468 140734485767552 140237338405264 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17491] ppid=17404 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/17481/task/17491/stat : 17491 (java) S 17404 17404 16408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236499491568 140237540321922 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17492] ppid=17404 vsize=8414124 memory=120232 CPUtime=0 cores=0-7
/proc/17481/task/17492/stat : 17492 (java) S 17404 17404 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236185134752 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17493] ppid=17404 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/17481/task/17493/stat : 17493 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697866 8616062976 30286 33554432000 4194304 4196468 140734485767552 140235916698864 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17494] ppid=17404 vsize=8414124 memory=5976 CPUtime=0 cores=0-7
/proc/17481/task/17494/stat : 17494 (java) S 17404 17404 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417697869 8616062976 30286 33554432000 4194304 4196468 140734485767552 140235542190544 140237540329371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17495] ppid=17404 vsize=8414124 memory=1060 CPUtime=0.07 cores=0-7
/proc/17481/task/17495/stat : 17495 (java) S 17404 17404 16408 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 24 0 417697870 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236498438384 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17496] ppid=17404 vsize=8414124 memory=2828 CPUtime=0.06 cores=0-7
/proc/17481/task/17496/stat : 17496 (java) S 17404 17404 16408 0 -1 1077944384 330 0 0 0 6 0 0 0 20 0 24 0 417697870 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236497385840 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17497] ppid=17404 vsize=8414124 memory=1216 CPUtime=0.06 cores=0-7
/proc/17481/task/17497/stat : 17497 (java) S 17404 17404 16408 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 24 0 417697871 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236496332784 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17498] ppid=17404 vsize=8414124 memory=984 CPUtime=0.2 cores=0-7
/proc/17481/task/17498/stat : 17498 (java) S 17404 17404 16408 0 -1 1077944384 774 0 0 0 20 0 0 0 20 0 24 0 417697871 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236495280240 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17499] ppid=17404 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/17481/task/17499/stat : 17499 (java) S 17404 17404 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417697871 8616062976 30286 33554432000 4194304 4196468 140734485767552 140235044285408 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17500] ppid=17404 vsize=8414124 memory=21772 CPUtime=0.03 cores=0-7
/proc/17481/task/17500/stat : 17500 (java) S 17404 17404 16408 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 24 0 417697871 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236494228656 140237540321922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17502] ppid=17404 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/17481/task/17502/stat : 17502 (java) S 17404 17404 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30286 33554432000 4194304 4196468 140734485767552 140236486194624 140237540335385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17504] ppid=17404 vsize=8414124 memory=2124 CPUtime=0.02 cores=0-7
/proc/17481/task/17504/stat : 17504 (java) S 17404 17404 16408 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 24 0 417697937 8616062976 30286 33554432000 4194304 4196468 140734485767552 140234373185072 140237540332701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17505] ppid=17404 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/17481/task/17505/stat : 17505 (java) S 17404 17404 16408 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417697937 8616062976 30286 33554432000 4194304 4196468 140734485767552 140234641620624 140237540332701 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
[pid=17481/tid=17506] ppid=17404 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/17481/task/17506/stat : 17506 (java) S 17404 17404 16408 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417697939 8616062976 30286 33554432000 4194304 4196468 140734485767552 140234104757168 140237540320981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23437312 140734485775351 140734485775510 140734485775510 140734485778383 0
Current children cumulated CPU time: 1040.42 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122620 KiB

[startup+779.801 s]
/proc/loadavg: 5.82 2.51 1.61 3/219 17517
/proc/meminfo: memFree=24190992/32770624 swapFree=66959224/67108860
[pid=17404] ppid=17401 vsize=113128 memory=1476 CPUtime=1039.17 cores=0-7
/proc/17404/stat : 17404 (scop.sh) S 17401 17404 16408 0 -1 4202496 583 465260 0 0 0 0 99088 4829 20 0 1 0 417625930 115843072 369 33554432000 4194304 5098028 140726253693504 140726253690248 139909705093756 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29589504 140726253695781 140726253696108 140726253696108 140726253699021 0
/proc/17404/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 1039.17 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 779.808
CPU time (s): 1467.39
CPU user time (s): 1401.94
CPU system time (s): 65.451
CPU usage (%): 188.174
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 23102460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1401.94
system time used= 65.451
maximum resident set size= 23101804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4074598
page faults= 0
swaps= 0
block input operations= 8
block output operations= 312544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1312760
involuntary context switches= 8539


# summary of solver processes directly reported to runsolver:
#   pid: 17404
#   total CPU time (s): 1467.39
#   total CPU user time (s): 1401.94
#   total CPU system time (s): 65.451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.1354 second user time and 9.86286 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 01:20:18
IDJOB=4392300
IDBENCH=120983
IDSOLVER=2838
FILE ID=node124/4392300-1568416857
RUNJOBID= node124-1568416728-16435
PBS_JOBID= 21702259
Free space on /tmp= 61784 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-22.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392300-1568416857/watcher-4392300-1568416857 -o /tmp/evaluation-result-4392300-1568416857/solver-4392300-1568416857 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392300-1568416857.xml

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

MD5SUM BENCH= 1f678c7b1175962864f0f6df2117d050
RANDOM SEED=916148090

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        28753968 kB
MemAvailable:   31849484 kB
Buffers:          187488 kB
Cached:          3189624 kB
SwapCached:        45888 kB
Active:          1006100 kB
Inactive:        2420796 kB
Active(anon):       2860 kB
Inactive(anon):    88880 kB
Active(file):    1003240 kB
Inactive(file):  2331916 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             49700 kB
Writeback:             0 kB
AnonPages:        113496 kB
Mapped:            44000 kB
Shmem:             32744 kB
Slab:             181900 kB
SReclaimable:     152388 kB
SUnreclaim:        29512 kB
KernelStack:        3376 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61764 MiB
End job on node124 at 2019-09-14 01:33:18