Trace number 4405336

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-09-22)SAT 23.5169 6.62165

General information on the benchmark

NameAllInterval/AllInterval-m1-s1/
AllInterval-040.xml
MD5SUMb74d7d5d03f7c84e1bb19748e6149180
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.045375
Satisfiable
(Un)Satisfiability was proved
Number of variables79
Number of constraints41
Number of domains2
Minimum domain size39
Maximum domain size40
Distribution of domain sizes[{"size":39,"count":39},{"size":40,"count":40}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":38}]
Minimum constraint arity3
Maximum constraint arity40
Distribution of constraint arities[{"arity":3,"count":39},{"arity":39,"count":1},{"arity":40,"count":1}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"allDifferent","count":2}]
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-28791-serial-file.bin HOME/instance-4405336-1569241950.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: Mon Sep 23 13:22:08 CEST 2019
0.66/0.57	c PID: 28794
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.38/0.90	c (0,0) Parsing End
1.38/0.90	c (0,0) CSP: 79 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.58/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.58/1.03	c (0,0) Constraint Name Generate Begin
1.58/1.03	c (0,0) Ctr:HOME/instance-4405336-1569241950.xml,AllDifferent:Dist:Eq:Var
1.58/1.03	c (0,0) Constraint Name Generate End
1.58/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.58/1.03	c (0,0) CSP to CSPinCNF Begin
2.41/1.37	c (0,0) translated 5 (10%) constraints
2.41/1.37	c (0,0) translated 9 (20%) constraints
2.41/1.38	c (0,0) translated 13 (30%) constraints
2.41/1.38	c (0,0) translated 17 (40%) constraints
2.41/1.38	c (0,0) translated 21 (50%) constraints
2.41/1.39	c (0,0) translated 25 (60%) constraints
2.41/1.39	c (0,0) translated 29 (70%) constraints
2.41/1.39	c (0,0) translated 33 (80%) constraints
2.41/1.40	c (0,0) translated 37 (90%) constraints
2.84/1.40	c (0,0) translated 41 (100%) constraints
2.84/1.40	c (0,0) ===========================================
2.84/1.40	c (0,0) Order
2.84/1.40	c (0,0) ===========================================
2.84/1.43	c (0,0) translated 173 (10%) constraints
2.84/1.45	c (0,0) translated 345 (20%) constraints
2.84/1.46	c (0,0) translated 517 (30%) constraints
2.84/1.48	c (0,0) translated 689 (40%) constraints
3.61/1.68	c (1,1) translated 861 (50%) constraints
3.61/1.69	c (1,1) translated 1033 (60%) constraints
4.02/1.70	c (1,1) translated 1205 (70%) constraints
4.02/1.71	c (1,1) translated 1377 (80%) constraints
4.02/1.72	c (1,1) translated 1549 (90%) constraints
4.42/1.84	c (1,1) translated 1721 (100%) constraints
4.42/1.84	c (1,1) CSP to CSPinCNF End
4.42/1.85	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7963 ctr, max domain size 40
4.42/1.85	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.42/1.85	c (1,1) CSPinCNF Propagation Begin
4.84/1.94	c (1,1) 0 values, 0 unsatisfiable literals, and 158 valid clauses are removed
4.84/1.94	c (1,1) CSPinCNF Propagation End
4.84/1.94	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7805 ctr, max domain size 40
4.84/1.94	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.84/1.94	c (1,1) Simplify CSPinCNF Begin
5.29/2.06	c (1,1) Simplify CSPinCNF End
5.29/2.06	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
5.29/2.06	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.29/2.06	c (1,1) Calculate Precise Domain Begin
5.29/2.07	c (1,1) 0 values are removed by re-calculation
5.29/2.07	c (1,1) Calculate Precise Domain End
5.29/2.07	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
5.29/2.07	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.29/2.07	c (1,1) CSPinCNF to SatSolver Begin
7.22/2.51	c (1,1) 1093 (10 %) CSP clauses are encoded (0 SAT variables, 32447 SAT clauses)
7.63/2.67	c (2,2) 2185 (20 %) CSP clauses are encoded (0 SAT variables, 61931 SAT clauses)
7.87/2.70	c (2,2) 3278 (30 %) CSP clauses are encoded (0 SAT variables, 67080 SAT clauses)
7.87/2.71	c (2,2) 4370 (40 %) CSP clauses are encoded (0 SAT variables, 68172 SAT clauses)
7.87/2.72	c (2,2) 5463 (50 %) CSP clauses are encoded (0 SAT variables, 69265 SAT clauses)
8.01/2.85	c (2,2) 6555 (60 %) CSP clauses are encoded (0 SAT variables, 96995 SAT clauses)
8.14/2.97	c (2,2) 7648 (70 %) CSP clauses are encoded (0 SAT variables, 125790 SAT clauses)
8.14/2.99	c (2,2) 8740 (80 %) CSP clauses are encoded (0 SAT variables, 128858 SAT clauses)
8.14/3.00	c (2,2) 9833 (90 %) CSP clauses are encoded (0 SAT variables, 129951 SAT clauses)
10.00/3.56	c (3,3) 10925 (100 %) CSP clauses are encoded (0 SAT variables, 251749 SAT clauses)
10.00/3.56	c (3,3) CSPinCNF to SatSolver End
10.00/3.56	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.00/3.56	c (3,3) 9283 bool, 252568 clause
10.00/3.56	c (3,3) Export Begin
10.17/3.65	c (3,3) Export to HOME/scop-28791-serial-file.bin
10.17/3.65	c (3,3) Export End
10.17/3.65	c (3,3) Export File Size: 0.01 MB
10.17/3.65	c (3,3) 0,0,1,1,1,1,3,STOP-AFTER(DIMACS)
10.17/3.65	c END-Prog: Mon Sep 23 13:22:11 CEST 2019
10.17/3.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28791-serial-file.bin
10.85/4.14	c (0,0) Read Serial File Begin
10.85/4.14	c (0,0) HOME/scop-28791-serial-file.bin
11.11/4.34	c (0,0) Read Serial File End
11.11/4.35	
11.11/4.35	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
11.11/4.35	(Solving Process)
11.11/4.35	
11.11/4.37	c BEGIN-Prog: Mon Sep 23 13:22:12 CEST 2019
11.11/4.37	c PID: 28814
11.11/4.37	c IP: 172.20.3.104
11.11/4.37	c HOST: node104.alineos.net
11.11/4.38	c (0,0) SatSolver.solve Begin
11.11/4.38	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405336-1569241950.xml-scop-28794.cnf
11.30/4.40	c (0,0) c
11.30/4.40	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)
11.30/4.40	c (0,0) c
11.30/4.40	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.30/4.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
11.30/4.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
11.30/4.41	c (0,0) c |                                                                                                       |
11.30/4.47	c (0,0) c |  Number of variables:          9283                                                                   |
11.30/4.47	c (0,0) c |  Number of clauses:          252568                                                                   |
11.30/4.48	c (0,0) c |  Parse time:                   0.06 s                                                                 |
11.30/4.48	c (0,0) c |                                                                                                       |
11.44/4.84	c (0,0) c |  Simplification time:          0.36 s                                                                 |
11.44/4.84	c (0,0) c |                                                                                                       |
11.44/4.84	c (0,0) c |  Generating clones                                                                                    |
11.44/4.90	c (0,0) c |  all clones generated. Memory =   153.41Mb.                                                           |
11.44/4.90	c (0,0) c ========================================================================================================|
11.44/4.90	c (0,0) c
11.44/4.90	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
11.44/4.90	c (0,0) c
11.44/4.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.44/4.90	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
11.44/4.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.44/4.90	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
11.44/4.90	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
11.44/4.90	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
11.44/4.90	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
11.44/4.90	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
11.44/4.90	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
11.44/4.90	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
11.44/4.90	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
11.44/4.90	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
11.44/4.90	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
11.44/4.90	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
11.44/4.90	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
11.44/4.90	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
11.44/4.90	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
11.44/4.90	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
11.44/4.90	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.44	c (2,0) c
23.02/6.44	c (2,0) c real time : 2.04325 s
23.02/6.44	c (2,0) c cpu time  : 11.4535 s
23.02/6.45	c (2,0) c
23.02/6.45	c (2,0) c
23.02/6.45	c (2,0) c
23.02/6.45	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
23.02/6.45	c (2,0) c
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c | Conflicts     |           61513 |       9501 |       7542 |       6680 |       7814 |       6933 |       6973 |       8070 |       8000 |
23.02/6.45	c (2,0) c | Decisions     |          399191 |      54049 |      56727 |      25514 |      50995 |      50915 |      46377 |      61369 |      53245 |
23.02/6.45	c (2,0) c | Propagations  |        21223232 |    2503164 |    2556534 |    3261221 |    2670321 |    2534915 |    2512867 |    2506191 |    2678019 |
23.02/6.45	c (2,0) c | ReduceDBs     |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
23.02/6.45	c (2,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
23.02/6.45	c (2,0) c | Restarts      |             375 |         47 |         59 |         23 |         47 |         54 |         45 |         48 |         52 |
23.02/6.45	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | PropBinClauses|        29485324 |    3594104 |    3555692 |    4367433 |    3684815 |    3543335 |    3507854 |    3469875 |    3762216 |
23.02/6.45	c (2,0) c | PropPreBlocker|       522212275 |   62754041 |   61427831 |   79058218 |   68501478 |   63300494 |   61895675 |   62244151 |   63030387 |
23.02/6.45	c (2,0) c | PropNotBlocker|       104890730 |   12244486 |   14710098 |   11539532 |   12992495 |   13561240 |   13379378 |   12734464 |   13729037 |
23.02/6.45	c (2,0) c | LitFullScans  |       744487642 |   90871353 |   90044812 |  106795997 |   96004644 |   90002163 |   90028861 |   90006910 |   90732902 |
23.02/6.45	c (2,0) c | LitScanFracts |           28311 |       3124 |       2361 |       7293 |       2585 |       2057 |       3547 |       3842 |       3502 |
23.02/6.45	c (2,0) c | DecisionLevel0|             375 |         47 |         59 |         23 |         47 |         54 |         45 |         48 |         52 |
23.02/6.45	c (2,0) c | Periods       |             123 |         15 |         15 |         17 |         16 |         15 |         15 |         15 |         15 |
23.02/6.45	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
23.02/6.45	c (2,0) c | Avg_Trail     |                 |       4328 |       3827 |       4791 |       4813 |       4453 |       4201 |       4482 |       3995 |
23.02/6.45	c (2,0) c | Avg_DL        |                 |        166 |        106 |         85 |        109 |        124 |        121 |        139 |        139 |
23.02/6.45	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c | Exported      |           10508 |       1570 |       1400 |       1001 |       1250 |       1148 |       1256 |       1353 |       1530 |
23.02/6.45	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.02/6.45	c (2,0) c | Binaries      |                 |         69 |         79 |          6 |         41 |         73 |         59 |         56 |         56 |
23.02/6.45	c (2,0) c | Glues         |                 |        394 |        429 |        215 |        302 |        392 |        383 |        392 |        313 |
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c | Orig_Seen     |            17 % |      39244 |      42508 |      42241 |      45500 |      39463 |      46367 |      43639 |      44443 |
23.02/6.45	c (2,0) c | Diff Orig seen|                 |      X     |       3264 |       2997 |       6256 |        219 |       7123 |       4395 |       5199 |
23.02/6.45	c (2,0) c | Hamming       |            19 % |      X     |       1930 |       1872 |       1157 |       1640 |       1985 |       1850 |       2123 |
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c | RunningTime   |                 |    1.3 100%|    1.5 100%|    1.4 100%|    1.3 100%|    1.5 100%|    1.5 100%|    1.4 100%|    1.3 100%|
23.02/6.45	c (2,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%|
23.02/6.45	c (2,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%|
23.02/6.45	c (2,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%|
23.02/6.45	c (2,0) c | SolvingTime   |                 |    1.3     |    1.5     |    1.4     |    1.3     |    1.5     |    1.5     |    1.4     |    1.3     |
23.02/6.45	c (2,0) c | PropagationTim|                 |    1.1  86%|    1.4  89%|    1.2  88%|    1.2  87%|    1.3  90%|    1.3  88%|    1.3  87%|    1.2  88%|
23.02/6.45	c (2,0) c | AnalysisTime  |                 |    0.1  10%|    0.1   7%|    0.1   8%|    0.1   8%|    0.1   6%|    0.1   8%|    0.1   8%|    0.1   8%|
23.02/6.45	c (2,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%|
23.02/6.45	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
23.02/6.45	c (2,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%|
23.02/6.45	c (2,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%|
23.02/6.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.45	c (2,0) c
23.02/6.45	c (2,0) c
23.02/6.45	c (2,0) c Threads : 8
23.02/6.45	c (2,0) c Winner : 0
23.02/6.45	c (2,0) c Conflicts_0 : 9501
23.02/6.45	c (2,0) c Conflicts_1 : 7542
23.02/6.45	c (2,0) c Conflicts_2 : 6680
23.02/6.45	c (2,0) c Conflicts_3 : 7814
23.02/6.45	c (2,0) c Conflicts_4 : 6933
23.02/6.45	c (2,0) c Conflicts_5 : 6973
23.02/6.45	c (2,0) c Conflicts_6 : 8070
23.02/6.45	c (2,0) c Conflicts_7 : 8000
23.02/6.45	c (2,0) c Conflicts_total : 61513
23.02/6.45	c (2,0) c Conflicts_winner : 9501
23.02/6.45	c (2,0) c Decisions_0 : 54049
23.02/6.45	c (2,0) c Decisions_1 : 56727
23.02/6.45	c (2,0) c Decisions_2 : 25514
23.02/6.45	c (2,0) c Decisions_3 : 50995
23.02/6.45	c (2,0) c Decisions_4 : 50915
23.02/6.45	c (2,0) c Decisions_5 : 46377
23.02/6.45	c (2,0) c Decisions_6 : 61369
23.02/6.45	c (2,0) c Decisions_7 : 53245
23.02/6.45	c (2,0) c Decisions_total : 399191
23.02/6.45	c (2,0) c Decisions_winner : 54049
23.02/6.45	c (2,0) c Propagations_0 : 2503164
23.02/6.45	c (2,0) c Propagations_1 : 2556534
23.02/6.45	c (2,0) c Propagations_2 : 3261221
23.02/6.45	c (2,0) c Propagations_3 : 2670321
23.02/6.45	c (2,0) c Propagations_4 : 2534915
23.02/6.45	c (2,0) c Propagations_5 : 2512867
23.02/6.45	c (2,0) c Propagations_6 : 2506191
23.02/6.45	c (2,0) c Propagations_7 : 2678019
23.02/6.45	c (2,0) c Propagations_total : 21223232
23.02/6.45	c (2,0) c Propagations_winner : 2503164
23.02/6.45	c (2,0) c ReduceDBs_0 : 2
23.02/6.45	c (2,0) c ReduceDBs_1 : 2
23.02/6.45	c (2,0) c ReduceDBs_2 : 2
23.02/6.45	c (2,0) c ReduceDBs_3 : 2
23.02/6.45	c (2,0) c ReduceDBs_4 : 2
23.02/6.45	c (2,0) c ReduceDBs_5 : 2
23.02/6.45	c (2,0) c ReduceDBs_6 : 2
23.02/6.45	c (2,0) c ReduceDBs_7 : 2
23.02/6.45	c (2,0) c ReduceDBs_total : 16
23.02/6.45	c (2,0) c ReduceDBs_winner : 2
23.02/6.45	c (2,0) c SimpDBs_0 : 1
23.02/6.45	c (2,0) c SimpDBs_1 : 1
23.02/6.45	c (2,0) c SimpDBs_2 : 1
23.02/6.45	c (2,0) c SimpDBs_3 : 1
23.02/6.45	c (2,0) c SimpDBs_4 : 1
23.02/6.45	c (2,0) c SimpDBs_5 : 1
23.02/6.45	c (2,0) c SimpDBs_6 : 1
23.02/6.45	c (2,0) c SimpDBs_7 : 1
23.02/6.45	c (2,0) c SimpDBs_total : 8
23.02/6.45	c (2,0) c SimpDBs_winner : 1
23.02/6.45	c (2,0) c Restarts_0 : 47
23.02/6.45	c (2,0) c Restarts_1 : 59
23.02/6.45	c (2,0) c Restarts_2 : 23
23.02/6.45	c (2,0) c Restarts_3 : 47
23.02/6.45	c (2,0) c Restarts_4 : 54
23.02/6.45	c (2,0) c Restarts_5 : 45
23.02/6.45	c (2,0) c Restarts_6 : 48
23.02/6.45	c (2,0) c Restarts_7 : 52
23.02/6.45	c (2,0) c Restarts_total : 375
23.02/6.45	c (2,0) c Restarts_winner : 47
23.02/6.45	c (2,0) c ForcedImports_0 : 0
23.02/6.45	c (2,0) c ForcedImports_1 : 0
23.02/6.45	c (2,0) c ForcedImports_2 : 0
23.02/6.45	c (2,0) c ForcedImports_3 : 0
23.02/6.45	c (2,0) c ForcedImports_4 : 0
23.02/6.45	c (2,0) c ForcedImports_5 : 0
23.02/6.45	c (2,0) c ForcedImports_6 : 0
23.02/6.45	c (2,0) c ForcedImports_7 : 0
23.02/6.45	c (2,0) c ForcedImports_total : 0
23.02/6.45	c (2,0) c ForcedImports_winner : 0
23.02/6.45	c (2,0) c PropsBinClauses_0 : 3594104
23.02/6.45	c (2,0) c PropsBinClauses_1 : 3555692
23.02/6.45	c (2,0) c PropsBinClauses_2 : 4367433
23.02/6.45	c (2,0) c PropsBinClauses_3 : 3684815
23.02/6.45	c (2,0) c PropsBinClauses_4 : 3543335
23.02/6.45	c (2,0) c PropsBinClauses_5 : 3507854
23.02/6.45	c (2,0) c PropsBinClauses_6 : 3469875
23.02/6.45	c (2,0) c PropsBinClauses_7 : 3762216
23.02/6.45	c (2,0) c PropsBinClauses_total : 29485324
23.02/6.45	c (2,0) c PropsBinClauses_winner : 3594104
23.02/6.45	c (2,0) c PropsPreBlocker_0 : 62754041
23.02/6.45	c (2,0) c PropsPreBlocker_1 : 61427831
23.02/6.45	c (2,0) c PropsPreBlocker_2 : 79058218
23.02/6.45	c (2,0) c PropsPreBlocker_3 : 68501478
23.02/6.45	c (2,0) c PropsPreBlocker_4 : 63300494
23.02/6.45	c (2,0) c PropsPreBlocker_5 : 61895675
23.02/6.45	c (2,0) c PropsPreBlocker_6 : 62244151
23.02/6.45	c (2,0) c PropsPreBlocker_7 : 63030387
23.02/6.45	c (2,0) c PropsPreBlocker_total : 522212275
23.02/6.45	c (2,0) c PropsPreBlocker_winner : 62754041
23.02/6.45	c (2,0) c PropsNotBlocker_0 : 12244486
23.02/6.45	c (2,0) c PropsNotBlocker_1 : 14710098
23.02/6.45	c (2,0) c PropsNotBlocker_2 : 11539532
23.02/6.45	c (2,0) c PropsNotBlocker_3 : 12992495
23.02/6.45	c (2,0) c PropsNotBlocker_4 : 13561240
23.02/6.45	c (2,0) c PropsNotBlocker_5 : 13379378
23.02/6.45	c (2,0) c PropsNotBlocker_6 : 12734464
23.02/6.45	c (2,0) c PropsNotBlocker_7 : 13729037
23.02/6.45	c (2,0) c PropsNotBlocker_total : 104890730
23.02/6.45	c (2,0) c PropsNotBlocker_winner : 12244486
23.02/6.45	c (2,0) c PropsLitFullScans_0 : 90871353
23.02/6.45	c (2,0) c PropsLitFullScans_1 : 90044812
23.02/6.45	c (2,0) c PropsLitFullScans_2 : 106795997
23.02/6.45	c (2,0) c PropsLitFullScans_3 : 96004644
23.02/6.45	c (2,0) c PropsLitFullScans_4 : 90002163
23.02/6.45	c (2,0) c PropsLitFullScans_5 : 90028861
23.02/6.45	c (2,0) c PropsLitFullScans_6 : 90006910
23.02/6.45	c (2,0) c PropsLitFullScans_7 : 90732902
23.02/6.45	c (2,0) c PropsLitFullScans_total : 744487642
23.02/6.45	c (2,0) c PropsLitFullScans_winner : 90871353
23.02/6.45	c (2,0) c LitScanFractions_0 : 3124
23.02/6.45	c (2,0) c LitScanFractions_1 : 2361
23.02/6.45	c (2,0) c LitScanFractions_2 : 7293
23.02/6.45	c (2,0) c LitScanFractions_3 : 2585
23.02/6.45	c (2,0) c LitScanFractions_4 : 2057
23.02/6.45	c (2,0) c LitScanFractions_5 : 3547
23.02/6.45	c (2,0) c LitScanFractions_6 : 3842
23.02/6.45	c (2,0) c LitScanFractions_7 : 3502
23.02/6.45	c (2,0) c LitScanFractions_total : 28311
23.02/6.45	c (2,0) c LitScanFractions_winner : 3124
23.02/6.45	c (2,0) c DecisionLevel0_0 : 47
23.02/6.45	c (2,0) c DecisionLevel0_1 : 59
23.02/6.45	c (2,0) c DecisionLevel0_2 : 23
23.02/6.45	c (2,0) c DecisionLevel0_3 : 47
23.02/6.45	c (2,0) c DecisionLevel0_4 : 54
23.02/6.45	c (2,0) c DecisionLevel0_5 : 45
23.02/6.45	c (2,0) c DecisionLevel0_6 : 48
23.02/6.45	c (2,0) c DecisionLevel0_7 : 52
23.02/6.45	c (2,0) c DecisionLevel0_total : 375
23.02/6.45	c (2,0) c DecisionLevel0_winner : 47
23.02/6.45	c (2,0) c Periods_0 : 15
23.02/6.45	c (2,0) c Periods_1 : 15
23.02/6.45	c (2,0) c Periods_2 : 17
23.02/6.45	c (2,0) c Periods_3 : 16
23.02/6.45	c (2,0) c Periods_4 : 15
23.02/6.45	c (2,0) c Periods_5 : 15
23.02/6.45	c (2,0) c Periods_6 : 15
23.02/6.45	c (2,0) c Periods_7 : 15
23.02/6.45	c (2,0) c Periods_total : 123
23.02/6.45	c (2,0) c Periods_winner : 15
23.02/6.45	c (2,0) c Margin_0 : 20
23.02/6.45	c (2,0) c Margin_1 : 20
23.02/6.45	c (2,0) c Margin_2 : 20
23.02/6.45	c (2,0) c Margin_3 : 20
23.02/6.45	c (2,0) c Margin_4 : 20
23.02/6.45	c (2,0) c Margin_5 : 20
23.02/6.45	c (2,0) c Margin_6 : 20
23.02/6.45	c (2,0) c Margin_7 : 20
23.02/6.45	c (2,0) c Margin_total : 160
23.02/6.45	c (2,0) c Margin_winner : 20
23.02/6.45	c (2,0) c Exported_0 : 1570
23.02/6.45	c (2,0) c Exported_1 : 1400
23.02/6.45	c (2,0) c Exported_2 : 1001
23.02/6.45	c (2,0) c Exported_3 : 1250
23.02/6.45	c (2,0) c Exported_4 : 1148
23.02/6.45	c (2,0) c Exported_5 : 1256
23.02/6.45	c (2,0) c Exported_6 : 1353
23.02/6.45	c (2,0) c Exported_7 : 1530
23.02/6.45	c (2,0) c Exported_total : 10508
23.02/6.45	c (2,0) c Exported_winner : 1570
23.02/6.45	c (2,0) c Imported_0 : 0
23.02/6.45	c (2,0) c Imported_1 : 0
23.02/6.45	c (2,0) c Imported_2 : 0
23.02/6.45	c (2,0) c Imported_3 : 0
23.02/6.45	c (2,0) c Imported_4 : 0
23.02/6.45	c (2,0) c Imported_5 : 0
23.02/6.45	c (2,0) c Imported_6 : 0
23.02/6.45	c (2,0) c Imported_7 : 0
23.02/6.45	c (2,0) c Imported_total : 0
23.02/6.45	c (2,0) c Imported_winner : 0
23.02/6.45	c (2,0) c Good_0 : 0
23.02/6.45	c (2,0) c Good_1 : 0
23.02/6.45	c (2,0) c Good_2 : 0
23.02/6.45	c (2,0) c Good_3 : 0
23.02/6.45	c (2,0) c Good_4 : 0
23.02/6.45	c (2,0) c Good_5 : 0
23.02/6.45	c (2,0) c Good_6 : 0
23.02/6.45	c (2,0) c Good_7 : 0
23.02/6.45	c (2,0) c Good_total : 0
23.02/6.45	c (2,0) c Good_winner : 0
23.02/6.45	c (2,0) c Purge_0 : 0
23.02/6.45	c (2,0) c Purge_1 : 0
23.02/6.45	c (2,0) c Purge_2 : 0
23.02/6.45	c (2,0) c Purge_3 : 0
23.02/6.45	c (2,0) c Purge_4 : 0
23.02/6.45	c (2,0) c Purge_5 : 0
23.02/6.45	c (2,0) c Purge_6 : 0
23.02/6.45	c (2,0) c Purge_7 : 0
23.02/6.45	c (2,0) c Purge_total : 0
23.02/6.45	c (2,0) c Purge_winner : 0
23.02/6.45	c (2,0) c Promoted_0 : 0
23.02/6.45	c (2,0) c Promoted_1 : 0
23.02/6.45	c (2,0) c Promoted_2 : 0
23.02/6.45	c (2,0) c Promoted_3 : 0
23.02/6.45	c (2,0) c Promoted_4 : 0
23.02/6.45	c (2,0) c Promoted_5 : 0
23.02/6.45	c (2,0) c Promoted_6 : 0
23.02/6.45	c (2,0) c Promoted_7 : 0
23.02/6.45	c (2,0) c Promoted_total : 0
23.02/6.45	c (2,0) c Promoted_winner : 0
23.02/6.45	c (2,0) c Remove_Imp_0 : 0
23.02/6.45	c (2,0) c Remove_Imp_1 : 0
23.02/6.45	c (2,0) c Remove_Imp_2 : 0
23.02/6.45	c (2,0) c Remove_Imp_3 : 0
23.02/6.45	c (2,0) c Remove_Imp_4 : 0
23.02/6.45	c (2,0) c Remove_Imp_5 : 0
23.02/6.45	c (2,0) c Remove_Imp_6 : 0
23.02/6.46	c (2,0) c Remove_Imp_7 : 0
23.02/6.46	c (2,0) c Remove_Imp_total : 0
23.02/6.46	c (2,0) c Remove_Imp_winner : 0
23.02/6.46	c (2,0) c Blocked_Reuse_0 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_1 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_2 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_3 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_4 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_5 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_6 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_7 : 0
23.02/6.46	c (2,0) c Blocked_Reuse_total : 0
23.02/6.46	c (2,0) c Blocked_Reuse_winner : 0
23.02/6.46	c (2,0) c Unaries_0 : 0
23.02/6.46	c (2,0) c Unaries_1 : 0
23.02/6.46	c (2,0) c Unaries_2 : 0
23.02/6.46	c (2,0) c Unaries_3 : 0
23.02/6.46	c (2,0) c Unaries_4 : 0
23.02/6.46	c (2,0) c Unaries_5 : 0
23.02/6.46	c (2,0) c Unaries_6 : 0
23.02/6.46	c (2,0) c Unaries_7 : 0
23.02/6.46	c (2,0) c Unaries_total : 0
23.02/6.46	c (2,0) c Unaries_winner : 0
23.02/6.46	c (2,0) c Binaries_0 : 69
23.02/6.46	c (2,0) c Binaries_1 : 79
23.02/6.46	c (2,0) c Binaries_2 : 6
23.02/6.46	c (2,0) c Binaries_3 : 41
23.02/6.46	c (2,0) c Binaries_4 : 73
23.02/6.46	c (2,0) c Binaries_5 : 59
23.02/6.46	c (2,0) c Binaries_6 : 56
23.02/6.46	c (2,0) c Binaries_7 : 56
23.02/6.46	c (2,0) c Binaries_total : 439
23.02/6.46	c (2,0) c Binaries_winner : 69
23.02/6.46	c (2,0) c Glues_0 : 394
23.02/6.46	c (2,0) c Glues_1 : 429
23.02/6.46	c (2,0) c Glues_2 : 215
23.02/6.46	c (2,0) c Glues_3 : 302
23.02/6.46	c (2,0) c Glues_4 : 392
23.02/6.46	c (2,0) c Glues_5 : 383
23.02/6.46	c (2,0) c Glues_6 : 392
23.02/6.46	c (2,0) c Glues_7 : 313
23.02/6.46	c (2,0) c Glues_total : 2820
23.02/6.46	c (2,0) c Glues_winner : 394
23.02/6.46	c (2,0) c RunningTime_0 : 1.333358
23.02/6.46	c (2,0) c RunningTime_1 : 1.542574
23.02/6.46	c (2,0) c RunningTime_2 : 1.372404
23.02/6.46	c (2,0) c RunningTime_3 : 1.348132
23.02/6.46	c (2,0) c RunningTime_4 : 1.489435
23.02/6.46	c (2,0) c RunningTime_5 : 1.512694
23.02/6.46	c (2,0) c RunningTime_6 : 1.446559
23.02/6.46	c (2,0) c RunningTime_7 : 1.334221
23.02/6.46	c (2,0) c RunningTime_total : 11.379377
23.02/6.46	c (2,0) c RunningTime_winner : 1.333358
23.02/6.46	c (2,0) c WaitingTime_0 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_1 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_2 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_3 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_4 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_5 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_6 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_7 : 0.000000
23.02/6.46	c (2,0) c WaitingTime_total : 0.000000
23.02/6.46	c (2,0) c WaitingTime_winner : 0.000000
23.02/6.46	c (2,0) c ExchangingTime_0 : 0.000902
23.02/6.46	c (2,0) c ExchangingTime_1 : 0.000791
23.02/6.46	c (2,0) c ExchangingTime_2 : 0.000532
23.02/6.46	c (2,0) c ExchangingTime_3 : 0.000643
23.02/6.46	c (2,0) c ExchangingTime_4 : 0.000821
23.02/6.46	c (2,0) c ExchangingTime_5 : 0.000779
23.02/6.46	c (2,0) c ExchangingTime_6 : 0.000780
23.02/6.46	c (2,0) c ExchangingTime_7 : 0.000675
23.02/6.46	c (2,0) c ExchangingTime_total : 0.005923
23.02/6.46	c (2,0) c ExchangingTime_winner : 0.000902
23.02/6.46	c (2,0) c PeriodProcTime_0 : 0.000125
23.02/6.46	c (2,0) c PeriodProcTime_1 : 0.000141
23.02/6.46	c (2,0) c PeriodProcTime_2 : 0.000143
23.02/6.46	c (2,0) c PeriodProcTime_3 : 0.000140
23.02/6.46	c (2,0) c PeriodProcTime_4 : 0.000160
23.02/6.46	c (2,0) c PeriodProcTime_5 : 0.000143
23.02/6.46	c (2,0) c PeriodProcTime_6 : 0.000142
23.02/6.46	c (2,0) c PeriodProcTime_7 : 0.000150
23.02/6.46	c (2,0) c PeriodProcTime_total : 0.001144
23.02/6.46	c (2,0) c PeriodProcTime_winner : 0.000125
23.02/6.46	c (2,0) c SolvingTime_0 : 1.334385
23.02/6.46	c (2,0) c SolvingTime_1 : 1.543506
23.02/6.46	c (2,0) c SolvingTime_2 : 1.373079
23.02/6.46	c (2,0) c SolvingTime_3 : 1.348915
23.02/6.46	c (2,0) c SolvingTime_4 : 1.490416
23.02/6.46	c (2,0) c SolvingTime_5 : 1.513615
23.02/6.46	c (2,0) c SolvingTime_6 : 1.447481
23.02/6.46	c (2,0) c SolvingTime_7 : 1.335046
23.02/6.46	c (2,0) c SolvingTime_total : 11.386444
23.02/6.46	c (2,0) c SolvingTime_winner : 1.334385
23.02/6.46	c (2,0) c PropagationTime_0 : 1.142803
23.02/6.46	c (2,0) c PropagationTime_1 : 1.377614
23.02/6.46	c (2,0) c PropagationTime_2 : 1.208880
23.02/6.46	c (2,0) c PropagationTime_3 : 1.179914
23.02/6.46	c (2,0) c PropagationTime_4 : 1.334801
23.02/6.46	c (2,0) c PropagationTime_5 : 1.332505
23.02/6.46	c (2,0) c PropagationTime_6 : 1.260006
23.02/6.46	c (2,0) c PropagationTime_7 : 1.170209
23.02/6.46	c (2,0) c PropagationTime_total : 10.006734
23.02/6.46	c (2,0) c PropagationTime_winner : 1.142803
23.02/6.46	c (2,0) c AnalysisTime_0 : 0.126828
23.02/6.46	c (2,0) c AnalysisTime_1 : 0.100991
23.02/6.46	c (2,0) c AnalysisTime_2 : 0.115382
23.02/6.46	c (2,0) c AnalysisTime_3 : 0.108968
23.02/6.46	c (2,0) c AnalysisTime_4 : 0.092631
23.02/6.46	c (2,0) c AnalysisTime_5 : 0.119100
23.02/6.46	c (2,0) c AnalysisTime_6 : 0.120393
23.02/6.46	c (2,0) c AnalysisTime_7 : 0.104193
23.02/6.46	c (2,0) c AnalysisTime_total : 0.888487
23.02/6.46	c (2,0) c AnalysisTime_winner : 0.126828
23.02/6.46	c (2,0) c ReductionTime_0 : 0.001621
23.02/6.46	c (2,0) c ReductionTime_1 : 0.001442
23.02/6.46	c (2,0) c ReductionTime_2 : 0.001368
23.02/6.46	c (2,0) c ReductionTime_3 : 0.001425
23.02/6.46	c (2,0) c ReductionTime_4 : 0.001408
23.02/6.46	c (2,0) c ReductionTime_5 : 0.001488
23.02/6.46	c (2,0) c ReductionTime_6 : 0.001498
23.02/6.46	c (2,0) c ReductionTime_7 : 0.001497
23.02/6.46	c (2,0) c ReductionTime_total : 0.011747
23.02/6.46	c (2,0) c ReductionTime_winner : 0.001621
23.02/6.46	c (2,0) c SimplifyTime_0 : 0.000002
23.02/6.46	c (2,0) c SimplifyTime_1 : 0.000009
23.02/6.46	c (2,0) c SimplifyTime_2 : 0.000003
23.02/6.46	c (2,0) c SimplifyTime_3 : 0.000008
23.02/6.46	c (2,0) c SimplifyTime_4 : 0.000006
23.02/6.46	c (2,0) c SimplifyTime_5 : 0.000004
23.02/6.46	c (2,0) c SimplifyTime_6 : 0.000004
23.02/6.46	c (2,0) c SimplifyTime_7 : 0.000001
23.02/6.46	c (2,0) c SimplifyTime_total : 0.000036
23.02/6.46	c (2,0) c SimplifyTime_winner : 0.000002
23.02/6.46	c (2,0) c UsedRateTime_0 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_1 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_2 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_3 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_4 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_5 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_6 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_7 : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_total : 0.000000
23.02/6.46	c (2,0) c UsedRateTime_winner : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_0 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_1 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_2 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_3 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_4 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_5 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_6 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_7 : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_total : 0.000000
23.02/6.46	c (2,0) c OverlapRateTime_winner : 0.000000
23.02/6.46	c (2,0) c
23.02/6.46	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.02/6.46	c (2,0) c
23.02/6.46	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.46	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.02/6.46	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.46	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.02/6.46	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.02/6.46	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.02/6.46	c (2,0) c | Initial random_seed   | 1714259352 | 1086106600 |  741796969 | 2002624111 | 1842250546 | 1857199202 | 1468884259 | 1460819327 |
23.02/6.46	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.02/6.46	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.02/6.46	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.02/6.46	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.02/6.46	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.02/6.46	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.02/6.46	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.02/6.46	c (2,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
23.02/6.46	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.02/6.46	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.02/6.46	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.02/6.46	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.02/6.46	c (2,0) 
23.02/6.46	c (2,0) s SATISFIABLE
23.02/6.49	c (2,0) SatSolver.solve End
23.02/6.49	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
23.02/6.49	c (2,0) Show results Begin
23.28/6.59	c (2,0) x[0] = 14
23.28/6.59	c (2,0) x[1] = 31
23.28/6.59	c (2,0) x[2] = 4
23.28/6.59	c (2,0) x[3] = 38
23.28/6.59	c (2,0) x[4] = 0
23.28/6.59	c (2,0) x[5] = 39
23.28/6.59	c (2,0) x[6] = 2
23.28/6.59	c (2,0) x[7] = 35
23.28/6.59	c (2,0) x[8] = 10
23.28/6.59	c (2,0) x[9] = 25
23.28/6.59	c (2,0) x[10] = 12
23.28/6.59	c (2,0) x[11] = 22
23.28/6.59	c (2,0) x[12] = 20
23.28/6.59	c (2,0) x[13] = 13
23.28/6.59	c (2,0) x[14] = 21
23.28/6.59	c (2,0) x[15] = 16
23.28/6.59	c (2,0) x[16] = 30
23.28/6.59	c (2,0) x[17] = 7
23.28/6.59	c (2,0) x[18] = 23
23.28/6.59	c (2,0) x[19] = 26
23.28/6.59	c (2,0) x[20] = 17
23.28/6.59	c (2,0) x[21] = 28
23.28/6.59	c (2,0) x[22] = 6
23.28/6.59	c (2,0) x[23] = 36
23.28/6.59	c (2,0) x[24] = 1
23.28/6.59	c (2,0) x[25] = 37
23.28/6.59	c (2,0) x[26] = 5
23.28/6.59	c (2,0) x[27] = 33
23.28/6.59	c (2,0) x[28] = 9
23.28/6.59	c (2,0) x[29] = 29
23.28/6.59	c (2,0) x[30] = 11
23.28/6.59	c (2,0) x[31] = 32
23.28/6.59	c (2,0) x[32] = 3
23.28/6.59	c (2,0) x[33] = 34
23.28/6.59	c (2,0) x[34] = 8
23.28/6.59	c (2,0) x[35] = 27
23.28/6.59	c (2,0) x[36] = 15
23.28/6.59	c (2,0) x[37] = 19
23.28/6.59	c (2,0) x[38] = 18
23.28/6.59	c (2,0) x[39] = 24
23.28/6.59	c (2,0) y[0] = 17
23.28/6.59	c (2,0) y[1] = 27
23.28/6.59	c (2,0) y[2] = 34
23.28/6.59	c (2,0) y[3] = 38
23.28/6.59	c (2,0) y[4] = 39
23.28/6.59	c (2,0) y[5] = 37
23.28/6.59	c (2,0) y[6] = 33
23.28/6.59	c (2,0) y[7] = 25
23.28/6.59	c (2,0) y[8] = 15
23.28/6.59	c (2,0) y[9] = 13
23.28/6.59	c (2,0) y[10] = 10
23.28/6.59	c (2,0) y[11] = 2
23.28/6.59	c (2,0) y[12] = 7
23.28/6.59	c (2,0) y[13] = 8
23.28/6.59	c (2,0) y[14] = 5
23.28/6.59	c (2,0) y[15] = 14
23.28/6.59	c (2,0) y[16] = 23
23.28/6.59	c (2,0) y[17] = 16
23.28/6.59	c (2,0) y[18] = 3
23.28/6.59	c (2,0) y[19] = 9
23.28/6.59	c (2,0) y[20] = 11
23.28/6.59	c (2,0) y[21] = 22
23.28/6.59	c (2,0) y[22] = 30
23.28/6.59	c (2,0) y[23] = 35
23.28/6.59	c (2,0) y[24] = 36
23.28/6.59	c (2,0) y[25] = 32
23.28/6.59	c (2,0) y[26] = 28
23.28/6.59	c (2,0) y[27] = 24
23.28/6.59	c (2,0) y[28] = 20
23.28/6.59	c (2,0) y[29] = 18
23.28/6.59	c (2,0) y[30] = 21
23.28/6.59	c (2,0) y[31] = 29
23.28/6.59	c (2,0) y[32] = 31
23.28/6.59	c (2,0) y[33] = 26
23.28/6.59	c (2,0) y[34] = 19
23.28/6.59	c (2,0) y[35] = 12
23.28/6.59	c (2,0) y[36] = 4
23.28/6.59	c (2,0) y[37] = 1
23.28/6.59	c (2,0) y[38] = 6
23.28/6.59	s SATISFIABLE
23.46/6.60	v <instantiation>
23.46/6.60	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38]</list>
23.46/6.60	v     <values>14 31 4 38 0 39 2 35 10 25 12 22 20 13 21 16 30 7 23 26 17 28 6 36 1 37 5 33 9 29 11 32 3 34 8 27 15 19 18 24 17 27 34 38 39 37 33 25 15 13 10 2 7 8 5 14 23 16 3 9 11 22 30 35 36 32 28 24 20 18 21 29 31 26 19 12 4 1 6</values>
23.46/6.60	v </instantiation>
23.46/6.60	c (2,0) Show results End
23.46/6.60	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
23.46/6.60	c (2,0) 2,2,STOP-AFTER(ALL)
23.46/6.60	c END-Prog: Mon Sep 23 13:22:14 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13161 MiB free)
  memory of node 1: 16384 MiB (11745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405336-1569241950/watcher-4405336-1569241950 -o /tmp/evaluation-result-4405336-1569241950/solver-4405336-1569241950 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405336-1569241950.xml 

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

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

solver pid=28791, runsolver pid=28788

[startup+0.10011 s]*
/proc/loadavg: 7.74 7.92 7.05 3/211 28813
/proc/meminfo: memFree=25410272/32770624 swapFree=66986356/67108860
[pid=28791] ppid=28788 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28791/stat : 28791 (scop.sh) S 28788 28791 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500451725 115843072 349 33554432000 4194304 5098028 140737183420688 140737183417944 139779064484476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14098432 140737183429413 140737183429740 140737183429740 140737183432653 0
/proc/28791/statm: 28282 349 296 221 0 87 0
[pid=28794] ppid=28791 vsize=27314120 memory=106124 CPUtime=0.1 cores=0-7
/proc/28794/stat : 28794 (java) S 28791 28791 27734 0 -1 1077944320 6603 0 0 0 8 2 0 0 20 0 20 0 500451725 27969658880 26531 33554432000 4194304 4196468 140727368333744 140727368316288 139658895138551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
/proc/28794/statm: 6828530 26531 2798 1 0 6790935 0
[pid=28794/tid=28795] ppid=28791 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/28794/task/28795/stat : 28795 (java) R 28791 28791 27734 0 -1 4202560 4707 0 0 0 7 2 0 0 20 0 20 0 500451726 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658866973680 139658879219038 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28796] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28796/stat : 28796 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658899381136 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28797] ppid=28791 vsize=27314120 memory=140124848149031 CPUtime=0 cores=0-7
/proc/28794/task/28797/stat : 28797 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658317691664 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28798] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28798/stat : 28798 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658316639376 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28799] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28799/stat : 28799 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658315586576 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28800] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28800/stat : 28800 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658314533264 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28801] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28801/stat : 28801 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658313480464 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28802] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28802/stat : 28802 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658312428176 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28803] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28803/stat : 28803 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 26531 33554432000 4194304 4196468 140727368333744 139658311375376 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28804] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28804/stat : 28804 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656946936432 139658895149698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28805] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28805/stat : 28805 (java) S 28791 28791 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656834311456 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28806] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28806/stat : 28806 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656565876336 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28807] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28807/stat : 28807 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656191367760 139658895157147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28808] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28808/stat : 28808 (java) S 28791 28791 27734 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656945883248 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28809] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28809/stat : 28809 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656944830448 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28810] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28810/stat : 28810 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656943778160 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28811] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28811/stat : 28811 (java) S 28791 28791 27734 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656942725360 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28812] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28812/stat : 28812 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139655693462368 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28813] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28813/stat : 28813 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 26531 33554432000 4194304 4196468 140727368333744 139656941673264 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107520 KiB

[startup+0.21007 s]*
/proc/loadavg: 7.74 7.92 7.05 2/211 28813
/proc/meminfo: memFree=25389636/32770624 swapFree=66986356/67108860
[pid=28791] ppid=28788 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28791/stat : 28791 (scop.sh) S 28788 28791 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500451725 115843072 349 33554432000 4194304 5098028 140737183420688 140737183417944 139779064484476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14098432 140737183429413 140737183429740 140737183429740 140737183432653 0
/proc/28791/statm: 28282 349 296 221 0 87 0
[pid=28794] ppid=28791 vsize=27314120 memory=125244 CPUtime=0.24 cores=0-7
/proc/28794/stat : 28794 (java) S 28791 28791 27734 0 -1 1077944320 12107 0 0 0 21 3 0 0 20 0 20 0 500451725 27969658880 31311 33554432000 4194304 4196468 140727368333744 140727368316288 139658895138551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
/proc/28794/statm: 6828530 31311 2921 1 0 6790935 0
[pid=28794/tid=28795] ppid=28791 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28794/task/28795/stat : 28795 (java) R 28791 28791 27734 0 -1 4202560 9835 0 0 0 17 3 0 0 20 0 20 0 500451726 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658866954960 139658876702080 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28796] ppid=28791 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/28794/task/28796/stat : 28796 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658899381136 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28797] ppid=28791 vsize=27314120 memory=288370500999833216 CPUtime=0 cores=0-7
/proc/28794/task/28797/stat : 28797 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658317691664 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28798] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28798/stat : 28798 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658316639376 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28799] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28799/stat : 28799 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658315586576 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28800] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28800/stat : 28800 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658314533264 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28801] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28801/stat : 28801 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658313480464 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28802] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28802/stat : 28802 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658312428176 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28803] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28803/stat : 28803 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 31311 33554432000 4194304 4196468 140727368333744 139658311375376 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28804] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28804/stat : 28804 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656946936432 139658895149698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28805] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28805/stat : 28805 (java) S 28791 28791 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656834311456 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28806] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28806/stat : 28806 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656565876336 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28807] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28807/stat : 28807 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656191367760 139658895157147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28808] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28808/stat : 28808 (java) S 28791 28791 27734 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656945883248 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28809] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28809/stat : 28809 (java) S 28791 28791 27734 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656944830448 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28810] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28810/stat : 28810 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656943778160 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28811] ppid=28791 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/28794/task/28811/stat : 28811 (java) S 28791 28791 27734 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656942725360 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28812] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28812/stat : 28812 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139655693462368 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28813] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28813/stat : 28813 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 31311 33554432000 4194304 4196468 140727368333744 139656941673264 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126640 KiB

[startup+0.309403 s]*
/proc/loadavg: 7.74 7.92 7.05 2/211 28813
/proc/meminfo: memFree=25386844/32770624 swapFree=66986356/67108860
[pid=28791] ppid=28788 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28791/stat : 28791 (scop.sh) S 28788 28791 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500451725 115843072 349 33554432000 4194304 5098028 140737183420688 140737183417944 139779064484476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14098432 140737183429413 140737183429740 140737183429740 140737183432653 0
/proc/28791/statm: 28282 349 296 221 0 87 0
[pid=28794] ppid=28791 vsize=27314120 memory=129616 CPUtime=0.42 cores=0-7
/proc/28794/stat : 28794 (java) S 28791 28791 27734 0 -1 1077944320 13273 0 0 0 38 4 0 0 20 0 20 0 500451725 27969658880 32404 33554432000 4194304 4196468 140727368333744 140727368316288 139658895138551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
/proc/28794/statm: 6828530 32404 3033 1 0 6790935 0
[pid=28794/tid=28795] ppid=28791 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28794/task/28795/stat : 28795 (java) R 28791 28791 27734 0 -1 4202560 10808 0 0 0 26 3 0 0 20 0 20 0 500451726 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658866968624 139658875413850 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28796] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28796/stat : 28796 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658899381136 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28797] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28797/stat : 28797 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658317691664 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28798] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28798/stat : 28798 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658316639376 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28799] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28799/stat : 28799 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658315586576 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28800] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28800/stat : 28800 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658314533264 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28801] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28801/stat : 28801 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658313480464 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28802] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28802/stat : 28802 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658312428176 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28803] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28803/stat : 28803 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451728 27969658880 32404 33554432000 4194304 4196468 140727368333744 139658311375376 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28804] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28804/stat : 28804 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656946936432 139658895149698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28805] ppid=28791 vsize=27314120 memory=280249434840448 CPUtime=0 cores=0-7
/proc/28794/task/28805/stat : 28805 (java) S 28791 28791 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656834311456 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28806] ppid=28791 vsize=27314120 memory=280249434845056 CPUtime=0 cores=0-7
/proc/28794/task/28806/stat : 28806 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451730 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656565876336 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28807] ppid=28791 vsize=27314120 memory=280249434849664 CPUtime=0 cores=0-7
/proc/28794/task/28807/stat : 28807 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656191367760 139658895157147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28808] ppid=28791 vsize=27314120 memory=280249434854272 CPUtime=0.02 cores=0-7
/proc/28794/task/28808/stat : 28808 (java) S 28791 28791 27734 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656945883248 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28809] ppid=28791 vsize=27314120 memory=280249434858880 CPUtime=0 cores=0-7
/proc/28794/task/28809/stat : 28809 (java) S 28791 28791 27734 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656944830448 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28810] ppid=28791 vsize=27314120 memory=280249434863488 CPUtime=0.01 cores=0-7
/proc/28794/task/28810/stat : 28810 (java) S 28791 28791 27734 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656943778160 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28811] ppid=28791 vsize=27314120 memory=280249434868096 CPUtime=0.07 cores=0-7
/proc/28794/task/28811/stat : 28811 (java) S 28791 28791 27734 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656942725360 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28812] ppid=28791 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28812/stat : 28812 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139655693462368 139658895148757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28813] ppid=28791 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28794/task/28813/stat : 28813 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451733 27969658880 32404 33554432000 4194304 4196468 140727368333744 139656941673264 139658895149698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131012 KiB

[startup+0.700879 s]
/proc/loadavg: 7.74 7.92 7.05 3/211 28813
/proc/meminfo: memFree=25365968/32770624 swapFree=66986356/67108860
[pid=28791] ppid=28788 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28791/stat : 28791 (scop.sh) S 28788 28791 27734 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500451725 115843072 349 33554432000 4194304 5098028 140737183420688 140737183417944 139779064484476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14098432 140737183429413 140737183429740 140737183429740 140737183432653 0
/proc/28791/statm: 28282 349 296 221 0 87 0
[pid=28794] ppid=28791 vsize=27322516 memory=165432 CPUtime=0.98 cores=0-7
/proc/28794/stat : 28794 (java) S 28791 28791 27734 0 -1 1077944320 20477 0 0 0 91 7 0 0 20 0 20 0 500451725 27978256384 41358 33554432000 4194304 4196468 140727368333744 140727368316288 139658895138551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
/proc/28794/statm: 6830629 41358 3212 1 0 6791959 0
[pid=28794/tid=28795] ppid=28791 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7
/proc/28794/task/28795/stat : 28795 (java) R 28791 28791 27734 0 -1 4202560 17547 0 0 0 62 6 0 0 20 0 20 0 500451726 27978256384 41358 33554432000 4194304 4196468 140727368333744 139658866970320 139658895160477 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28796] ppid=28791 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28796/stat : 28796 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500451728 27978256384 41358 33554432000 4194304 4196468 140727368333744 139658899381136 139658895148757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28797] ppid=28791 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/28794/task/28797/stat : 28797 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27978256384 41358 33554432000 4194304 4196468 140727368333744 139658317691664 139658895148757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0
[pid=28794/tid=28798] ppid=28791 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/28794/task/28798/stat : 28798 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500451728 27978256384 41358 33554432000 4194304 4196468 140727368333744 139658316639376 139658895148757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29388800 140727368340203 140727368340630 140727368340630 140727368343503 0

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

/proc/28814/task/28824/stat : 28824 (java) S 28791 28791 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500452096 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249208809584 140249779812994 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28825] ppid=28791 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28791 28791 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500452097 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248197620512 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28826] ppid=28791 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28791 28791 27734 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500452097 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248063399024 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28827] ppid=28791 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140247688894544 140249779820443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28828] ppid=28791 vsize=8414124 memory=1416 CPUtime=0.05 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28791 28791 27734 0 -1 1077944384 580 0 0 0 5 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249207757424 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28829] ppid=28791 vsize=8414124 memory=140124717752065 CPUtime=0.05 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) S 28791 28791 27734 0 -1 1077944384 254 0 0 0 5 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249206704624 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28830] ppid=28791 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28791 28791 27734 0 -1 1077944384 322 0 0 0 6 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249205652336 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28831] ppid=28791 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) S 28791 28791 27734 0 -1 1077944384 496 0 0 0 20 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248868711152 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28832] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140247190989152 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28833] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452100 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248867658032 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28835] ppid=28791 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/28814/task/28835/stat : 28835 (java) S 28791 28791 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500452166 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249204598080 140249779826457 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28837] ppid=28791 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/28814/task/28837/stat : 28837 (java) S 28791 28791 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500452166 8616062976 29898 33554432000 4194304 4196468 140725059833280 140246519889808 140249779823773 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28838] ppid=28791 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/28814/task/28838/stat : 28838 (java) S 28791 28791 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500452166 8616062976 29898 33554432000 4194304 4196468 140725059833280 140246788325136 140249779823773 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28839] ppid=28791 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/28814/task/28839/stat : 28839 (java) S 28791 28791 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500452168 8616062976 29898 33554432000 4194304 4196468 140725059833280 140246251462448 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
Current children cumulated CPU time: 22.68 s
Current children cumulated vsize: 9365208 KiB
Current children cumulated memory: 347856 KiB

[startup+6.62161 s]
# the end of solver process 28791 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=22.8905 s, system=0.626421 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40165 s]
/proc/loadavg: 7.28 7.82 7.02 9/224 28847
/proc/meminfo: memFree=25212608/32770624 swapFree=66986356/67108860
[pid=28791] ppid=28788 vsize=113128 memory=1476 CPUtime=10.29 cores=0-7
/proc/28791/stat : 28791 (scop.sh) S 28788 28791 27734 0 -1 4202496 581 30759 0 0 0 0 997 32 20 0 1 0 500451725 115843072 369 33554432000 4194304 5098028 140737183420688 140737183417432 139779064484476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14098432 140737183429413 140737183429740 140737183429740 140737183432653 0
/proc/28791/statm: 28282 369 311 221 0 87 0
[pid=28814] ppid=28791 vsize=8414124 memory=119592 CPUtime=1.15 cores=0-7
/proc/28814/stat : 28814 (java) S 28791 28791 27734 0 -1 1077944320 20464 0 0 0 108 7 0 0 20 0 24 0 500452093 8616062976 29898 33554432000 4194304 4196468 140725059833280 140725059815824 140249779801847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
/proc/28814/statm: 2103531 29898 3199 1 0 2064875 0
[pid=28834] ppid=28814 vsize=837956 memory=226904 CPUtime=11.58 cores=0-7
/proc/28834/stat : 28834 (manyglucose-4.1) S 28814 28791 27734 0 -1 1077944320 53992 0 0 0 1139 19 0 0 20 0 3 0 500452165 858066944 56726 33554432000 4194304 4454172 140735088758256 140735088756640 139713185431287 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 16244736 140735088763753 140735088763952 140735088763952 140735088766906 0
/proc/28834/statm: 209489 56726 420 64 0 205157 0
[pid=28834/tid=28841] ppid=28814 vsize=837956 memory=2480 CPUtime=1.47 cores=0-7
/proc/28834/task/28841/stat : 28841 (manyglucose-4.1) R 28814 28791 27734 0 -1 4202560 3747 0 0 0 144 3 0 0 20 0 3 0 500452215 858066944 56726 33554432000 4194304 4454172 140735088758256 139713148963448 4322087 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 16244736 140735088763753 140735088763952 140735088763952 140735088766906 0
[pid=28834/tid=28845] ppid=28814 vsize=837956 memory=1164 CPUtime=1.46 cores=0-7
/proc/28834/task/28845/stat : 28845 (manyglucose-4.1) R 28814 28791 27734 0 -1 4202560 4274 0 0 0 143 3 0 0 20 0 3 0 500452215 858066944 56726 33554432000 4194304 4454172 140735088758256 139713115393128 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 16244736 140735088763753 140735088763952 140735088763952 140735088766906 0
[pid=28814/tid=28815] ppid=28791 vsize=8414124 memory=1056 CPUtime=0.75 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) S 28791 28791 27734 0 -1 1077944384 17395 0 0 0 70 5 0 0 20 0 24 0 500452093 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249751642016 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28816] ppid=28791 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28791 28791 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249784043920 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28817] ppid=28791 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249608685840 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28818] ppid=28791 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249263667856 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28819] ppid=28791 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249262615056 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28820] ppid=28791 vsize=8414124 memory=6176 CPUtime=0 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249261562768 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28821] ppid=28791 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249260509968 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28822] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452094 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249259457680 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28823] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500452095 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249258404880 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28824] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28791 28791 27734 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500452096 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249208809584 140249779812994 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28825] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28791 28791 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500452097 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248197620512 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28826] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28791 28791 27734 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500452097 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248063399024 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28827] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28791 28791 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140247688894544 140249779820443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28828] ppid=28791 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28791 28791 27734 0 -1 1077944384 580 0 0 0 5 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249207757424 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28829] ppid=28791 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) S 28791 28791 27734 0 -1 1077944384 254 0 0 0 5 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249206704624 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28830] ppid=28791 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28791 28791 27734 0 -1 1077944384 322 0 0 0 6 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249205652336 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28831] ppid=28791 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) S 28791 28791 27734 0 -1 1077944384 496 0 0 0 20 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248868711152 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28832] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500452099 8616062976 29898 33554432000 4194304 4196468 140725059833280 140247190989152 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28833] ppid=28791 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28791 28791 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500452100 8616062976 29898 33554432000 4194304 4196468 140725059833280 140248867658032 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28835] ppid=28791 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/28814/task/28835/stat : 28835 (java) S 28791 28791 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500452166 8616062976 29898 33554432000 4194304 4196468 140725059833280 140249204598080 140249779826457 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28837] ppid=28791 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/28814/task/28837/stat : 28837 (java) S 28791 28791 27734 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500452166 8616062976 29898 33554432000 4194304 4196468 140725059833280 140246519889808 140249779823773 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28838] ppid=28791 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/28814/task/28838/stat : 28838 (java) S 28791 28791 27734 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500452166 8616062976 29898 33554432000 4194304 4196468 140725059833280 140246788325136 140249779823773 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28839] ppid=28791 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/28814/task/28839/stat : 28839 (java) S 28791 28791 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500452168 8616062976 29898 33554432000 4194304 4196468 140725059833280 140246251462448 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
Current children cumulated CPU time: 23.02 s
Current children cumulated vsize: 9365208 KiB
Current children cumulated memory: 347972 KiB

[startup+6.601 s]
/proc/loadavg: 7.28 7.82 7.02 9/224 28847
/proc/meminfo: memFree=25212608/32770624 swapFree=66986356/67108860
[pid=28791] ppid=28788 vsize=113128 memory=1476 CPUtime=10.29 cores=0-7
/proc/28791/stat : 28791 (scop.sh) S 28788 28791 27734 0 -1 4202496 581 30759 0 0 0 0 997 32 20 0 1 0 500451725 115843072 369 33554432000 4194304 5098028 140737183420688 140737183417432 139779064484476 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14098432 140737183429413 140737183429740 140737183429740 140737183432653 0
/proc/28791/statm: 28282 369 311 221 0 87 0
[pid=28814] ppid=28791 vsize=8283048 memory=128732 CPUtime=13.17 cores=0-7
/proc/28814/stat : 28814 (java) S 28791 28791 27734 0 -1 1077944320 21646 54009 0 0 144 8 1145 20 20 0 22 0 500452093 8481841152 32183 33554432000 4194304 4196468 140725059833280 140725059815824 140249779801847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
/proc/28814/statm: 2070762 32183 3222 1 0 2032106 0
[pid=28814/tid=28815] ppid=28791 vsize=8283048 memory=6791534058613427641 CPUtime=12.51 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) R 28791 28791 27734 0 -1 4202560 17722 54009 0 0 81 5 1145 20 20 0 22 0 500452093 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249751639200 140249779813782 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28816] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28791 28791 27734 0 -1 1077944384 2 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249784043920 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28817] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249608685840 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28818] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249263667856 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28819] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249262615056 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28820] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249261562768 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28821] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249260509968 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28822] ppid=28791 vsize=8283048 memory=0 CPUtime=11.65 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452094 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249259457680 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28823] ppid=28791 vsize=8283048 memory=6076576721800418112 CPUtime=11.65 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28791 28791 27734 0 -1 1077944384 3 54009 0 0 0 0 1145 20 20 0 22 0 500452095 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249258404880 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28824] ppid=28791 vsize=8283048 memory=1056 CPUtime=11.65 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28791 28791 27734 0 -1 1077944384 5 54009 0 0 0 0 1145 20 20 0 22 0 500452096 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249208809584 140249779812994 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28825] ppid=28791 vsize=8283048 memory=1556 CPUtime=11.65 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28791 28791 27734 0 -1 1077944384 13 54009 0 0 0 0 1145 20 20 0 22 0 500452097 8481841152 32183 33554432000 4194304 4196468 140725059833280 140248197620512 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28826] ppid=28791 vsize=8283048 memory=780 CPUtime=11.65 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28791 28791 27734 0 -1 1077944384 21 54009 0 0 0 0 1145 20 20 0 22 0 500452097 8481841152 32183 33554432000 4194304 4196468 140725059833280 140248063399024 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28827] ppid=28791 vsize=8283048 memory=3616 CPUtime=11.65 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28791 28791 27734 0 -1 1077944384 1 54009 0 0 0 0 1145 20 20 0 22 0 500452099 8481841152 32183 33554432000 4194304 4196468 140725059833280 140247688894544 140249779820443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28828] ppid=28791 vsize=8283048 memory=1112 CPUtime=11.73 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) R 28791 28791 27734 0 -1 4202560 607 54009 0 0 8 0 1145 20 20 0 22 0 500452099 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249207757424 140249772786889 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28829] ppid=28791 vsize=8283048 memory=6176 CPUtime=11.74 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) R 28791 28791 27734 0 -1 4202560 273 54009 0 0 9 0 1145 20 20 0 22 0 500452099 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249206691936 140249757397284 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28830] ppid=28791 vsize=8283048 memory=7552 CPUtime=11.75 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28791 28791 27734 0 -1 1077944384 346 54009 0 0 10 0 1145 20 20 0 22 0 500452099 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249205652336 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28831] ppid=28791 vsize=8283048 memory=2832 CPUtime=11.93 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) R 28791 28791 27734 0 -1 4202560 713 54009 0 0 28 0 1145 20 20 0 22 0 500452099 8481841152 32183 33554432000 4194304 4196468 140725059833280 140248868711152 140249779813782 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28832] ppid=28791 vsize=8283048 memory=1084 CPUtime=11.65 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28791 28791 27734 0 -1 1077944384 3 54009 0 0 0 0 1145 20 20 0 22 0 500452099 8481841152 32183 33554432000 4194304 4196468 140725059833280 140247190989152 140249779812053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28833] ppid=28791 vsize=8283048 memory=5070 CPUtime=11.65 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28791 28791 27734 0 -1 1077944384 3 54009 0 0 0 0 1145 20 20 0 22 0 500452100 8481841152 32183 33554432000 4194304 4196468 140725059833280 140248867658032 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28835] ppid=28791 vsize=8283048 memory=723 CPUtime=11.65 cores=0-7
/proc/28814/task/28835/stat : 28835 (java) S 28791 28791 27734 0 -1 1077944384 37 54009 0 0 0 0 1145 20 20 0 22 0 500452166 8481841152 32183 33554432000 4194304 4196468 140725059833280 140249204597264 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
[pid=28814/tid=28839] ppid=28791 vsize=8283048 memory=18057 CPUtime=11.65 cores=0-7
/proc/28814/task/28839/stat : 28839 (java) S 28791 28791 27734 0 -1 1077944384 12 54009 0 0 0 0 1145 20 20 0 22 0 500452168 8481841152 32183 33554432000 4194304 4196468 140725059833280 140246251464240 140249779812994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24129536 140725059838967 140725059839126 140725059839126 140725059841999 0
Current children cumulated CPU time: 23.46 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 130208 KiB

Child status: 0
Real time (s): 6.62165
CPU time (s): 23.5169
CPU user time (s): 22.8905
CPU system time (s): 0.626421
CPU usage (%): 355.152
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1170340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8905
system time used= 0.626421
maximum resident set size= 1174476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11203
involuntary context switches= 123


# summary of solver processes directly reported to runsolver:
#   pid: 28791
#   total CPU time (s): 23.5169
#   total CPU user time (s): 22.8905
#   total CPU system time (s): 0.626421

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085536 second user time and 0.106347 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-23 13:22:08
IDJOB=4405336
IDBENCH=124114
IDSOLVER=2867
FILE ID=node104/4405336-1569241950
RUNJOBID= node104-1569234408-27761
PBS_JOBID= 21704916
Free space on /tmp= 9832 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-040.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-4405336-1569241950/watcher-4405336-1569241950 -o /tmp/evaluation-result-4405336-1569241950/solver-4405336-1569241950 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --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-4405336-1569241950.xml

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

MD5SUM BENCH= b74d7d5d03f7c84e1bb19748e6149180
RANDOM SEED=740963004

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25504548 kB
MemAvailable:   31817188 kB
Buffers:           87352 kB
Cached:          6290372 kB
SwapCached:        22652 kB
Active:          3174592 kB
Inactive:        3230112 kB
Active(anon):       4812 kB
Inactive(anon):    80080 kB
Active(file):    3169780 kB
Inactive(file):  3150032 kB
Unevictable:      109544 kB
Mlocked:          109544 kB
SwapTotal:      67108860 kB
SwapFree:       66986356 kB
Dirty:             20692 kB
Writeback:             0 kB
AnonPages:        125324 kB
Mapped:            54828 kB
Shmem:             49004 kB
Slab:             451064 kB
SReclaimable:     421288 kB
SUnreclaim:        29776 kB
KernelStack:        3712 kB
PageTables:         5632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-23 13:22:14