Trace number 4392650

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 23.1629 5.08351

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-05-int.xml
MD5SUM5aa02d8e33e0310131c8602cbce67fff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.033151
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints27
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":25}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":23},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity25
Distribution of constraint arities[{"arity":2,"count":26},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10949-serial-file.bin HOME/instance-4392650-1568437072.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 06:57:11 CEST 2019
0.65/0.56	c PID: 10952
0.65/0.56	c IP: 172.20.3.143
0.65/0.56	c HOST: node143.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.98	c (0,0) Parsing End
1.40/0.98	c (0,0) CSP: 24 int (0 aux), 1 bool (0 aux), 27 ctr, max domain size 25
1.40/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.98	c (0,0) Constraint Name Generate Begin
1.40/0.99	c (0,0) Ctr:HOME/instance-4392650-1568437072.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.40/0.99	c (0,0) Constraint Name Generate End
1.40/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.99	c (0,0) CSP to CSPinCNF Begin
2.06/1.28	c (0,0) translated 3 (10%) constraints
2.33/1.30	c (0,0) translated 6 (20%) constraints
2.33/1.31	c (0,0) translated 9 (30%) constraints
2.33/1.32	c (0,0) translated 11 (40%) constraints
2.33/1.34	c (0,0) translated 14 (50%) constraints
2.33/1.35	c (0,0) translated 17 (60%) constraints
2.33/1.36	c (0,0) translated 19 (70%) constraints
2.33/1.37	c (0,0) translated 22 (80%) constraints
2.33/1.38	c (0,0) translated 25 (90%) constraints
2.33/1.39	c (0,0) translated 27 (100%) constraints
2.33/1.39	c (0,0) ===========================================
2.61/1.40	c (0,0) Hybrid: #OE=165, #LE=10
2.61/1.40	c (0,0) Hybrid
2.61/1.40	c (0,0) ===========================================
2.61/1.42	c (0,0) translated 81 (10%) constraints
2.61/1.43	c (0,0) translated 161 (20%) constraints
2.61/1.44	c (0,0) translated 242 (30%) constraints
2.89/1.52	c (0,0) translated 322 (40%) constraints
2.89/1.55	c (1,1) translated 402 (50%) constraints
2.89/1.55	c (1,1) translated 483 (60%) constraints
2.89/1.56	c (1,1) translated 563 (70%) constraints
2.89/1.57	c (1,1) translated 644 (80%) constraints
2.89/1.57	c (1,1) translated 724 (90%) constraints
2.89/1.58	c (1,1) translated 804 (100%) constraints
2.89/1.58	c (1,1) CSP to CSPinCNF End
2.89/1.58	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 2106 ctr, max domain size 24
2.89/1.58	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.89/1.58	c (1,1) CSPinCNF Propagation Begin
3.22/1.64	c (1,1) 74 values, 212 unsatisfiable literals, and 351 valid clauses are removed
3.22/1.64	c (1,1) CSPinCNF Propagation End
3.22/1.64	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 1755 ctr, max domain size 24
3.22/1.64	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.22/1.65	c (1,1) Hybrid: #OE=790, #LE=10
3.22/1.65	c (1,1) Simplify CSPinCNF Begin
3.22/1.69	c (1,1) Simplify CSPinCNF End
3.22/1.69	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.22/1.69	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.22/1.69	c (1,1) Calculate Precise Domain Begin
3.22/1.69	c (1,1) 0 values are removed by re-calculation
3.22/1.69	c (1,1) Calculate Precise Domain End
3.22/1.69	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.22/1.69	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.22/1.69	c (1,1) CSPinCNF to SatSolver Begin
3.79/1.87	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 3767 SAT clauses)
4.19/1.94	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 7834 SAT clauses)
4.19/1.99	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 11901 SAT clauses)
4.66/2.01	c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 13415 SAT clauses)
4.66/2.01	c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 13664 SAT clauses)
4.66/2.02	c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 13913 SAT clauses)
4.66/2.02	c (1,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 14162 SAT clauses)
4.66/2.04	c (1,1) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 14781 SAT clauses)
4.66/2.06	c (1,1) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 16327 SAT clauses)
4.66/2.08	c (1,1) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 17858 SAT clauses)
4.66/2.08	c (1,1) CSPinCNF to SatSolver End
4.66/2.08	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.66/2.08	c (1,1) 2232 bool, 17859 clause
4.66/2.08	c (1,1) Export Begin
5.08/2.17	c (1,1) Export to HOME/scop-10949-serial-file.bin
5.08/2.17	c (1,1) Export End
5.08/2.17	c (1,1) Export File Size: 0.01 MB
5.08/2.17	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.08/2.17	c END-Prog: Sat Sep 14 06:57:13 CEST 2019
5.08/2.19	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10949-serial-file.bin
5.38/2.65	c (0,0) Read Serial File Begin
5.38/2.65	c (0,0) HOME/scop-10949-serial-file.bin
5.38/2.84	c (0,0) Read Serial File End
5.38/2.85	
5.38/2.85	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.38/2.85	(Solving Process)
5.38/2.85	
5.38/2.87	c BEGIN-Prog: Sat Sep 14 06:57:13 CEST 2019
5.38/2.87	c PID: 10972
5.38/2.87	c IP: 172.20.3.143
5.38/2.87	c HOST: node143.alineos.net
5.38/2.88	c (0,0) SatSolver.solve Begin
5.38/2.88	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392650-1568437072.xml-scop-10952.cnf
5.38/2.91	c (0,0) c
5.38/2.91	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)
5.38/2.91	c (0,0) c
5.38/2.91	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.38/2.91	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.38/2.91	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.38/2.91	c (0,0) c |                                                                                                       |
5.38/2.91	c (0,0) c |  Number of variables:          2232                                                                   |
5.38/2.91	c (0,0) c |  Number of clauses:           17859                                                                   |
5.38/2.91	c (0,0) c |  Parse time:                   0.00 s                                                                 |
5.38/2.91	c (0,0) c |                                                                                                       |
5.38/2.92	c (0,0) c |  Simplification time:          0.01 s                                                                 |
5.38/2.92	c (0,0) c |                                                                                                       |
5.38/2.92	c (0,0) c |  Generating clones                                                                                    |
5.38/2.93	c (0,0) c |  all clones generated. Memory =    34.36Mb.                                                           |
5.38/2.93	c (0,0) c ========================================================================================================|
5.38/2.93	c (0,0) c
5.38/2.93	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.38/2.93	c (0,0) c
5.38/2.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.38/2.93	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.38/2.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.38/2.93	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.38/2.93	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.38/2.93	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.38/2.93	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.38/2.93	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.38/2.93	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.38/2.93	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.38/2.93	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.38/2.93	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.38/2.93	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.38/2.93	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.38/2.93	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.38/2.93	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.38/2.93	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.38/2.93	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.38/2.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c real time : 2.14612 s
22.97/5.05	c (2,0) c cpu time  : 16.4773 s
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c | Conflicts     |          322344 |      40463 |      42361 |      39280 |      41645 |      39021 |      41291 |      38836 |      39447 |
22.97/5.05	c (2,0) c | Decisions     |          430297 |      52923 |      57244 |      52975 |      56333 |      52036 |      54916 |      52510 |      51360 |
22.97/5.05	c (2,0) c | Propagations  |        53995675 |    6935326 |    6564116 |    6916402 |    6734428 |    6678103 |    6796156 |    6557756 |    6813388 |
22.97/5.05	c (2,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.97/5.05	c (2,0) c | SimpDBs       |              76 |          5 |         16 |         13 |         14 |          3 |          9 |         12 |          4 |
22.97/5.05	c (2,0) c | Restarts      |             437 |         31 |         80 |         44 |         73 |         76 |         38 |         50 |         45 |
22.97/5.05	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.97/5.05	c (2,0) c | PropBinClauses|        86292589 |   11114905 |   10478237 |   11074676 |   10772217 |   10618410 |   10925052 |   10588253 |   10720839 |
22.97/5.05	c (2,0) c | PropPreBlocker|       676948132 |   84367806 |   83056668 |   88323039 |   84156367 |   83836032 |   84147446 |   83879722 |   85181052 |
22.97/5.05	c (2,0) c | PropNotBlocker|       216201662 |   27541693 |   27913224 |   26872524 |   27422611 |   26540632 |   26339323 |   26397943 |   27173712 |
22.97/5.05	c (2,0) c | LitFullScans  |      1201434667 |  149638166 |  150093963 |  156032676 |  150048253 |  146231511 |  150035715 |  149289688 |  150064695 |
22.97/5.05	c (2,0) c | LitScanFracts |          102342 |       2488 |      53515 |       2809 |      10562 |       2911 |       2331 |       3070 |      24656 |
22.97/5.05	c (2,0) c | DecisionLevel0|             569 |         33 |        107 |         69 |         98 |         78 |         56 |         80 |         48 |
22.97/5.05	c (2,0) c | Periods       |             198 |         24 |         25 |         26 |         25 |         24 |         25 |         24 |         25 |
22.97/5.05	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
22.97/5.05	c (2,0) c | Avg_Trail     |                 |        938 |        962 |       1049 |        969 |       1026 |       1002 |       1032 |        978 |
22.97/5.05	c (2,0) c | Avg_DL        |                 |         13 |         14 |         14 |         14 |         14 |         13 |         13 |         14 |
22.97/5.05	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.97/5.05	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c | Exported      |           69618 |       8360 |       9011 |       8701 |       9195 |       8013 |       9010 |       8672 |       8656 |
22.97/5.05	c (2,0) c | Imported      |          106904 |       9259 |       9269 |      18690 |      14006 |      13901 |      13967 |      13757 |      14055 |
22.97/5.05	c (2,0) c | Good          |            2288 |        219 |        227 |        342 |        292 |        308 |        295 |        297 |        308 |
22.97/5.05	c (2,0) c | Purge         |          104616 |       9040 |       9042 |      18348 |      13714 |      13593 |      13672 |      13460 |      13747 |
22.97/5.05	c (2,0) c | Promoted      |            2057 |        319 |        206 |        328 |        224 |         29 |        472 |        223 |        256 |
22.97/5.05	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.97/5.05	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c | Unaries       |                 |          2 |         27 |         25 |         25 |          2 |         18 |         30 |          3 |
22.97/5.05	c (2,0) c | Binaries      |                 |        102 |        123 |        150 |        153 |         93 |        137 |        195 |         80 |
22.97/5.05	c (2,0) c | Glues         |                 |        739 |        917 |        900 |        979 |        812 |        808 |        925 |        669 |
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c | Orig_Seen     |            73 % |      11884 |      12144 |      12218 |      12113 |      12064 |      12152 |      12263 |      11661 |
22.97/5.05	c (2,0) c | Diff Orig seen|                 | -      379 | -      119 | -       45 | -      150 | -      199 | -      111 |      X     | -      602 |
22.97/5.05	c (2,0) c | Hamming       |            24 % |        544 |        548 |        609 |        542 |        591 |        529 |      X     |        485 |
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c | RunningTime   |                 |    2.1 100%|    2.1 100%|    2.1 100%|    2.1 100%|    2.1 100%|    2.1 100%|    2.1 100%|    2.1 100%|
22.97/5.05	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%|
22.97/5.05	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%|
22.97/5.05	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%|
22.97/5.05	c (2,0) c | SolvingTime   |                 |    2.1     |    2.1     |    2.1     |    2.1     |    2.1     |    2.1     |    2.1     |    2.1     |
22.97/5.05	c (2,0) c | PropagationTim|                 |    1.7  82%|    1.7  81%|    1.7  81%|    1.7  81%|    1.7  80%|    1.7  81%|    1.7  81%|    1.7  82%|
22.97/5.05	c (2,0) c | AnalysisTime  |                 |    0.3  12%|    0.3  12%|    0.3  13%|    0.3  13%|    0.3  13%|    0.3  13%|    0.3  13%|    0.3  12%|
22.97/5.05	c (2,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
22.97/5.05	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|
22.97/5.05	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%|
22.97/5.05	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%|
22.97/5.05	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c
22.97/5.05	c (2,0) c Threads : 8
22.97/5.05	c (2,0) c Winner : 6
22.97/5.05	c (2,0) c Conflicts_0 : 40463
22.97/5.05	c (2,0) c Conflicts_1 : 42361
22.97/5.05	c (2,0) c Conflicts_2 : 39280
22.97/5.05	c (2,0) c Conflicts_3 : 41645
22.97/5.05	c (2,0) c Conflicts_4 : 39021
22.97/5.05	c (2,0) c Conflicts_5 : 41291
22.97/5.05	c (2,0) c Conflicts_6 : 38836
22.97/5.05	c (2,0) c Conflicts_7 : 39447
22.97/5.05	c (2,0) c Conflicts_total : 322344
22.97/5.05	c (2,0) c Conflicts_winner : 38836
22.97/5.05	c (2,0) c Decisions_0 : 52923
22.97/5.05	c (2,0) c Decisions_1 : 57244
22.97/5.05	c (2,0) c Decisions_2 : 52975
22.97/5.05	c (2,0) c Decisions_3 : 56333
22.97/5.05	c (2,0) c Decisions_4 : 52036
22.97/5.05	c (2,0) c Decisions_5 : 54916
22.97/5.05	c (2,0) c Decisions_6 : 52510
22.97/5.05	c (2,0) c Decisions_7 : 51360
22.97/5.05	c (2,0) c Decisions_total : 430297
22.97/5.05	c (2,0) c Decisions_winner : 52510
22.97/5.05	c (2,0) c Propagations_0 : 6935326
22.97/5.05	c (2,0) c Propagations_1 : 6564116
22.97/5.05	c (2,0) c Propagations_2 : 6916402
22.97/5.05	c (2,0) c Propagations_3 : 6734428
22.97/5.05	c (2,0) c Propagations_4 : 6678103
22.97/5.05	c (2,0) c Propagations_5 : 6796156
22.97/5.05	c (2,0) c Propagations_6 : 6557756
22.97/5.05	c (2,0) c Propagations_7 : 6813388
22.97/5.05	c (2,0) c Propagations_total : 53995675
22.97/5.05	c (2,0) c Propagations_winner : 6557756
22.97/5.05	c (2,0) c ReduceDBs_0 : 5
22.97/5.05	c (2,0) c ReduceDBs_1 : 5
22.97/5.05	c (2,0) c ReduceDBs_2 : 5
22.97/5.05	c (2,0) c ReduceDBs_3 : 5
22.97/5.05	c (2,0) c ReduceDBs_4 : 5
22.97/5.05	c (2,0) c ReduceDBs_5 : 5
22.97/5.05	c (2,0) c ReduceDBs_6 : 5
22.97/5.05	c (2,0) c ReduceDBs_7 : 5
22.97/5.05	c (2,0) c ReduceDBs_total : 40
22.97/5.05	c (2,0) c ReduceDBs_winner : 5
22.97/5.05	c (2,0) c SimpDBs_0 : 5
22.97/5.05	c (2,0) c SimpDBs_1 : 16
22.97/5.05	c (2,0) c SimpDBs_2 : 13
22.97/5.05	c (2,0) c SimpDBs_3 : 14
22.97/5.05	c (2,0) c SimpDBs_4 : 3
22.97/5.05	c (2,0) c SimpDBs_5 : 9
22.97/5.05	c (2,0) c SimpDBs_6 : 12
22.97/5.05	c (2,0) c SimpDBs_7 : 4
22.97/5.05	c (2,0) c SimpDBs_total : 76
22.97/5.05	c (2,0) c SimpDBs_winner : 12
22.97/5.05	c (2,0) c Restarts_0 : 31
22.97/5.05	c (2,0) c Restarts_1 : 80
22.97/5.05	c (2,0) c Restarts_2 : 44
22.97/5.05	c (2,0) c Restarts_3 : 73
22.97/5.05	c (2,0) c Restarts_4 : 76
22.97/5.05	c (2,0) c Restarts_5 : 38
22.97/5.05	c (2,0) c Restarts_6 : 50
22.97/5.05	c (2,0) c Restarts_7 : 45
22.97/5.05	c (2,0) c Restarts_total : 437
22.97/5.05	c (2,0) c Restarts_winner : 50
22.97/5.05	c (2,0) c ForcedImports_0 : 0
22.97/5.05	c (2,0) c ForcedImports_1 : 0
22.97/5.05	c (2,0) c ForcedImports_2 : 0
22.97/5.05	c (2,0) c ForcedImports_3 : 0
22.97/5.05	c (2,0) c ForcedImports_4 : 0
22.97/5.05	c (2,0) c ForcedImports_5 : 0
22.97/5.05	c (2,0) c ForcedImports_6 : 0
22.97/5.05	c (2,0) c ForcedImports_7 : 0
22.97/5.05	c (2,0) c ForcedImports_total : 0
22.97/5.06	c (2,0) c ForcedImports_winner : 0
22.97/5.06	c (2,0) c PropsBinClauses_0 : 11114905
22.97/5.06	c (2,0) c PropsBinClauses_1 : 10478237
22.97/5.06	c (2,0) c PropsBinClauses_2 : 11074676
22.97/5.06	c (2,0) c PropsBinClauses_3 : 10772217
22.97/5.06	c (2,0) c PropsBinClauses_4 : 10618410
22.97/5.06	c (2,0) c PropsBinClauses_5 : 10925052
22.97/5.06	c (2,0) c PropsBinClauses_6 : 10588253
22.97/5.06	c (2,0) c PropsBinClauses_7 : 10720839
22.97/5.06	c (2,0) c PropsBinClauses_total : 86292589
22.97/5.06	c (2,0) c PropsBinClauses_winner : 10588253
22.97/5.06	c (2,0) c PropsPreBlocker_0 : 84367806
22.97/5.06	c (2,0) c PropsPreBlocker_1 : 83056668
22.97/5.06	c (2,0) c PropsPreBlocker_2 : 88323039
22.97/5.06	c (2,0) c PropsPreBlocker_3 : 84156367
22.97/5.06	c (2,0) c PropsPreBlocker_4 : 83836032
22.97/5.06	c (2,0) c PropsPreBlocker_5 : 84147446
22.97/5.06	c (2,0) c PropsPreBlocker_6 : 83879722
22.97/5.06	c (2,0) c PropsPreBlocker_7 : 85181052
22.97/5.06	c (2,0) c PropsPreBlocker_total : 676948132
22.97/5.06	c (2,0) c PropsPreBlocker_winner : 83879722
22.97/5.06	c (2,0) c PropsNotBlocker_0 : 27541693
22.97/5.06	c (2,0) c PropsNotBlocker_1 : 27913224
22.97/5.06	c (2,0) c PropsNotBlocker_2 : 26872524
22.97/5.06	c (2,0) c PropsNotBlocker_3 : 27422611
22.97/5.06	c (2,0) c PropsNotBlocker_4 : 26540632
22.97/5.06	c (2,0) c PropsNotBlocker_5 : 26339323
22.97/5.06	c (2,0) c PropsNotBlocker_6 : 26397943
22.97/5.06	c (2,0) c PropsNotBlocker_7 : 27173712
22.97/5.06	c (2,0) c PropsNotBlocker_total : 216201662
22.97/5.06	c (2,0) c PropsNotBlocker_winner : 26397943
22.97/5.06	c (2,0) c PropsLitFullScans_0 : 149638166
22.97/5.06	c (2,0) c PropsLitFullScans_1 : 150093963
22.97/5.06	c (2,0) c PropsLitFullScans_2 : 156032676
22.97/5.06	c (2,0) c PropsLitFullScans_3 : 150048253
22.97/5.06	c (2,0) c PropsLitFullScans_4 : 146231511
22.97/5.06	c (2,0) c PropsLitFullScans_5 : 150035715
22.97/5.06	c (2,0) c PropsLitFullScans_6 : 149289688
22.97/5.06	c (2,0) c PropsLitFullScans_7 : 150064695
22.97/5.06	c (2,0) c PropsLitFullScans_total : 1201434667
22.97/5.06	c (2,0) c PropsLitFullScans_winner : 149289688
22.97/5.06	c (2,0) c LitScanFractions_0 : 2488
22.97/5.06	c (2,0) c LitScanFractions_1 : 53515
22.97/5.06	c (2,0) c LitScanFractions_2 : 2809
22.97/5.06	c (2,0) c LitScanFractions_3 : 10562
22.97/5.06	c (2,0) c LitScanFractions_4 : 2911
22.97/5.06	c (2,0) c LitScanFractions_5 : 2331
22.97/5.06	c (2,0) c LitScanFractions_6 : 3070
22.97/5.06	c (2,0) c LitScanFractions_7 : 24656
22.97/5.06	c (2,0) c LitScanFractions_total : 102342
22.97/5.06	c (2,0) c LitScanFractions_winner : 3070
22.97/5.06	c (2,0) c DecisionLevel0_0 : 33
22.97/5.06	c (2,0) c DecisionLevel0_1 : 107
22.97/5.06	c (2,0) c DecisionLevel0_2 : 69
22.97/5.06	c (2,0) c DecisionLevel0_3 : 98
22.97/5.06	c (2,0) c DecisionLevel0_4 : 78
22.97/5.06	c (2,0) c DecisionLevel0_5 : 56
22.97/5.06	c (2,0) c DecisionLevel0_6 : 80
22.97/5.06	c (2,0) c DecisionLevel0_7 : 48
22.97/5.06	c (2,0) c DecisionLevel0_total : 569
22.97/5.06	c (2,0) c DecisionLevel0_winner : 80
22.97/5.06	c (2,0) c Periods_0 : 24
22.97/5.06	c (2,0) c Periods_1 : 25
22.97/5.06	c (2,0) c Periods_2 : 26
22.97/5.06	c (2,0) c Periods_3 : 25
22.97/5.06	c (2,0) c Periods_4 : 24
22.97/5.06	c (2,0) c Periods_5 : 25
22.97/5.06	c (2,0) c Periods_6 : 24
22.97/5.06	c (2,0) c Periods_7 : 25
22.97/5.06	c (2,0) c Periods_total : 198
22.97/5.06	c (2,0) c Periods_winner : 24
22.97/5.06	c (2,0) c Margin_0 : 20
22.97/5.06	c (2,0) c Margin_1 : 20
22.97/5.06	c (2,0) c Margin_2 : 20
22.97/5.06	c (2,0) c Margin_3 : 20
22.97/5.06	c (2,0) c Margin_4 : 20
22.97/5.06	c (2,0) c Margin_5 : 20
22.97/5.06	c (2,0) c Margin_6 : 20
22.97/5.06	c (2,0) c Margin_7 : 20
22.97/5.06	c (2,0) c Margin_total : 160
22.97/5.06	c (2,0) c Margin_winner : 20
22.97/5.06	c (2,0) c Exported_0 : 8360
22.97/5.06	c (2,0) c Exported_1 : 9011
22.97/5.06	c (2,0) c Exported_2 : 8701
22.97/5.06	c (2,0) c Exported_3 : 9195
22.97/5.06	c (2,0) c Exported_4 : 8013
22.97/5.06	c (2,0) c Exported_5 : 9010
22.97/5.06	c (2,0) c Exported_6 : 8672
22.97/5.06	c (2,0) c Exported_7 : 8656
22.97/5.06	c (2,0) c Exported_total : 69618
22.97/5.06	c (2,0) c Exported_winner : 8672
22.97/5.06	c (2,0) c Imported_0 : 9259
22.97/5.06	c (2,0) c Imported_1 : 9269
22.97/5.06	c (2,0) c Imported_2 : 18690
22.97/5.06	c (2,0) c Imported_3 : 14006
22.97/5.06	c (2,0) c Imported_4 : 13901
22.97/5.06	c (2,0) c Imported_5 : 13967
22.97/5.06	c (2,0) c Imported_6 : 13757
22.97/5.06	c (2,0) c Imported_7 : 14055
22.97/5.06	c (2,0) c Imported_total : 106904
22.97/5.06	c (2,0) c Imported_winner : 13757
22.97/5.06	c (2,0) c Good_0 : 219
22.97/5.06	c (2,0) c Good_1 : 227
22.97/5.06	c (2,0) c Good_2 : 342
22.97/5.06	c (2,0) c Good_3 : 292
22.97/5.06	c (2,0) c Good_4 : 308
22.97/5.06	c (2,0) c Good_5 : 295
22.97/5.06	c (2,0) c Good_6 : 297
22.97/5.06	c (2,0) c Good_7 : 308
22.97/5.06	c (2,0) c Good_total : 2288
22.97/5.06	c (2,0) c Good_winner : 297
22.97/5.06	c (2,0) c Purge_0 : 9040
22.97/5.06	c (2,0) c Purge_1 : 9042
22.97/5.06	c (2,0) c Purge_2 : 18348
22.97/5.06	c (2,0) c Purge_3 : 13714
22.97/5.06	c (2,0) c Purge_4 : 13593
22.97/5.06	c (2,0) c Purge_5 : 13672
22.97/5.06	c (2,0) c Purge_6 : 13460
22.97/5.06	c (2,0) c Purge_7 : 13747
22.97/5.06	c (2,0) c Purge_total : 104616
22.97/5.06	c (2,0) c Purge_winner : 13460
22.97/5.06	c (2,0) c Promoted_0 : 319
22.97/5.06	c (2,0) c Promoted_1 : 206
22.97/5.06	c (2,0) c Promoted_2 : 328
22.97/5.06	c (2,0) c Promoted_3 : 224
22.97/5.06	c (2,0) c Promoted_4 : 29
22.97/5.06	c (2,0) c Promoted_5 : 472
22.97/5.06	c (2,0) c Promoted_6 : 223
22.97/5.06	c (2,0) c Promoted_7 : 256
22.97/5.06	c (2,0) c Promoted_total : 2057
22.97/5.06	c (2,0) c Promoted_winner : 223
22.97/5.06	c (2,0) c Remove_Imp_0 : 0
22.97/5.06	c (2,0) c Remove_Imp_1 : 0
22.97/5.06	c (2,0) c Remove_Imp_2 : 0
22.97/5.06	c (2,0) c Remove_Imp_3 : 0
22.97/5.06	c (2,0) c Remove_Imp_4 : 0
22.97/5.06	c (2,0) c Remove_Imp_5 : 0
22.97/5.06	c (2,0) c Remove_Imp_6 : 0
22.97/5.06	c (2,0) c Remove_Imp_7 : 0
22.97/5.06	c (2,0) c Remove_Imp_total : 0
22.97/5.06	c (2,0) c Remove_Imp_winner : 0
22.97/5.06	c (2,0) c Blocked_Reuse_0 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_1 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_2 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_3 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_4 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_5 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_6 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_7 : 0
22.97/5.06	c (2,0) c Blocked_Reuse_total : 0
22.97/5.06	c (2,0) c Blocked_Reuse_winner : 0
22.97/5.06	c (2,0) c Unaries_0 : 2
22.97/5.06	c (2,0) c Unaries_1 : 27
22.97/5.06	c (2,0) c Unaries_2 : 25
22.97/5.06	c (2,0) c Unaries_3 : 25
22.97/5.06	c (2,0) c Unaries_4 : 2
22.97/5.06	c (2,0) c Unaries_5 : 18
22.97/5.06	c (2,0) c Unaries_6 : 30
22.97/5.06	c (2,0) c Unaries_7 : 3
22.97/5.06	c (2,0) c Unaries_total : 132
22.97/5.06	c (2,0) c Unaries_winner : 30
22.97/5.06	c (2,0) c Binaries_0 : 102
22.97/5.06	c (2,0) c Binaries_1 : 123
22.97/5.06	c (2,0) c Binaries_2 : 150
22.97/5.06	c (2,0) c Binaries_3 : 153
22.97/5.06	c (2,0) c Binaries_4 : 93
22.97/5.06	c (2,0) c Binaries_5 : 137
22.97/5.06	c (2,0) c Binaries_6 : 195
22.97/5.06	c (2,0) c Binaries_7 : 80
22.97/5.06	c (2,0) c Binaries_total : 1033
22.97/5.06	c (2,0) c Binaries_winner : 195
22.97/5.06	c (2,0) c Glues_0 : 739
22.97/5.06	c (2,0) c Glues_1 : 917
22.97/5.06	c (2,0) c Glues_2 : 900
22.97/5.06	c (2,0) c Glues_3 : 979
22.97/5.06	c (2,0) c Glues_4 : 812
22.97/5.06	c (2,0) c Glues_5 : 808
22.97/5.06	c (2,0) c Glues_6 : 925
22.97/5.06	c (2,0) c Glues_7 : 669
22.97/5.06	c (2,0) c Glues_total : 6749
22.97/5.06	c (2,0) c Glues_winner : 925
22.97/5.06	c (2,0) c RunningTime_0 : 2.078430
22.97/5.06	c (2,0) c RunningTime_1 : 2.110840
22.97/5.06	c (2,0) c RunningTime_2 : 2.108377
22.97/5.06	c (2,0) c RunningTime_3 : 2.062064
22.97/5.06	c (2,0) c RunningTime_4 : 2.055860
22.97/5.06	c (2,0) c RunningTime_5 : 2.060587
22.97/5.06	c (2,0) c RunningTime_6 : 2.050861
22.97/5.06	c (2,0) c RunningTime_7 : 2.050065
22.97/5.06	c (2,0) c RunningTime_total : 16.577083
22.97/5.06	c (2,0) c RunningTime_winner : 2.050861
22.97/5.06	c (2,0) c WaitingTime_0 : 0.000004
22.97/5.06	c (2,0) c WaitingTime_1 : 0.000005
22.97/5.06	c (2,0) c WaitingTime_2 : 0.000011
22.97/5.06	c (2,0) c WaitingTime_3 : 0.000004
22.97/5.06	c (2,0) c WaitingTime_4 : 0.000007
22.97/5.06	c (2,0) c WaitingTime_5 : 0.000004
22.97/5.06	c (2,0) c WaitingTime_6 : 0.000007
22.97/5.06	c (2,0) c WaitingTime_7 : 0.000005
22.97/5.06	c (2,0) c WaitingTime_total : 0.000046
22.97/5.06	c (2,0) c WaitingTime_winner : 0.000007
22.97/5.06	c (2,0) c ExchangingTime_0 : 0.004334
22.97/5.06	c (2,0) c ExchangingTime_1 : 0.004870
22.97/5.06	c (2,0) c ExchangingTime_2 : 0.007698
22.97/5.06	c (2,0) c ExchangingTime_3 : 0.005260
22.97/5.06	c (2,0) c ExchangingTime_4 : 0.006241
22.97/5.06	c (2,0) c ExchangingTime_5 : 0.005593
22.97/5.06	c (2,0) c ExchangingTime_6 : 0.004946
22.97/5.06	c (2,0) c ExchangingTime_7 : 0.006107
22.97/5.06	c (2,0) c ExchangingTime_total : 0.045049
22.97/5.06	c (2,0) c ExchangingTime_winner : 0.004946
22.97/5.06	c (2,0) c PeriodProcTime_0 : 0.000130
22.97/5.06	c (2,0) c PeriodProcTime_1 : 0.000155
22.97/5.06	c (2,0) c PeriodProcTime_2 : 0.000147
22.97/5.06	c (2,0) c PeriodProcTime_3 : 0.000147
22.97/5.06	c (2,0) c PeriodProcTime_4 : 0.000158
22.97/5.06	c (2,0) c PeriodProcTime_5 : 0.000151
22.97/5.06	c (2,0) c PeriodProcTime_6 : 0.000148
22.97/5.06	c (2,0) c PeriodProcTime_7 : 0.000149
22.97/5.06	c (2,0) c PeriodProcTime_total : 0.001184
22.97/5.06	c (2,0) c PeriodProcTime_winner : 0.000148
22.97/5.06	c (2,0) c SolvingTime_0 : 2.082898
22.97/5.06	c (2,0) c SolvingTime_1 : 2.115869
22.97/5.06	c (2,0) c SolvingTime_2 : 2.116232
22.97/5.06	c (2,0) c SolvingTime_3 : 2.067475
22.97/5.06	c (2,0) c SolvingTime_4 : 2.062266
22.97/5.06	c (2,0) c SolvingTime_5 : 2.066334
22.97/5.06	c (2,0) c SolvingTime_6 : 2.055962
22.97/5.06	c (2,0) c SolvingTime_7 : 2.056326
22.97/5.06	c (2,0) c SolvingTime_total : 16.623363
22.97/5.06	c (2,0) c SolvingTime_winner : 2.055962
22.97/5.06	c (2,0) c PropagationTime_0 : 1.715869
22.97/5.06	c (2,0) c PropagationTime_1 : 1.723340
22.97/5.06	c (2,0) c PropagationTime_2 : 1.709354
22.97/5.06	c (2,0) c PropagationTime_3 : 1.683734
22.97/5.06	c (2,0) c PropagationTime_4 : 1.659034
22.97/5.06	c (2,0) c PropagationTime_5 : 1.671302
22.97/5.06	c (2,0) c PropagationTime_6 : 1.663748
22.97/5.06	c (2,0) c PropagationTime_7 : 1.683448
22.97/5.06	c (2,0) c PropagationTime_total : 13.509828
22.97/5.06	c (2,0) c PropagationTime_winner : 1.663748
22.97/5.06	c (2,0) c AnalysisTime_0 : 0.252951
22.97/5.06	c (2,0) c AnalysisTime_1 : 0.260273
22.97/5.06	c (2,0) c AnalysisTime_2 : 0.280062
22.97/5.06	c (2,0) c AnalysisTime_3 : 0.259289
22.97/5.06	c (2,0) c AnalysisTime_4 : 0.276942
22.97/5.06	c (2,0) c AnalysisTime_5 : 0.272160
22.97/5.06	c (2,0) c AnalysisTime_6 : 0.268946
22.97/5.06	c (2,0) c AnalysisTime_7 : 0.255927
22.97/5.06	c (2,0) c AnalysisTime_total : 2.126550
22.97/5.06	c (2,0) c AnalysisTime_winner : 0.268946
22.97/5.06	c (2,0) c ReductionTime_0 : 0.018654
22.97/5.06	c (2,0) c ReductionTime_1 : 0.023794
22.97/5.06	c (2,0) c ReductionTime_2 : 0.019139
22.97/5.06	c (2,0) c ReductionTime_3 : 0.019007
22.97/5.06	c (2,0) c ReductionTime_4 : 0.019199
22.97/5.06	c (2,0) c ReductionTime_5 : 0.020567
22.97/5.06	c (2,0) c ReductionTime_6 : 0.018287
22.97/5.06	c (2,0) c ReductionTime_7 : 0.019555
22.97/5.06	c (2,0) c ReductionTime_total : 0.158202
22.97/5.06	c (2,0) c ReductionTime_winner : 0.018287
22.97/5.06	c (2,0) c SimplifyTime_0 : 0.003486
22.97/5.06	c (2,0) c SimplifyTime_1 : 0.011116
22.97/5.06	c (2,0) c SimplifyTime_2 : 0.008558
22.97/5.06	c (2,0) c SimplifyTime_3 : 0.009444
22.97/5.06	c (2,0) c SimplifyTime_4 : 0.001740
22.97/5.06	c (2,0) c SimplifyTime_5 : 0.006825
22.97/5.06	c (2,0) c SimplifyTime_6 : 0.012763
22.97/5.06	c (2,0) c SimplifyTime_7 : 0.003184
22.97/5.06	c (2,0) c SimplifyTime_total : 0.057115
22.97/5.06	c (2,0) c SimplifyTime_winner : 0.012763
22.97/5.06	c (2,0) c UsedRateTime_0 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_1 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_2 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_3 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_4 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_5 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_6 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_7 : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_total : 0.000000
22.97/5.06	c (2,0) c UsedRateTime_winner : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_0 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_1 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_2 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_3 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_4 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_5 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_6 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_7 : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_total : 0.000000
22.97/5.06	c (2,0) c OverlapRateTime_winner : 0.000000
22.97/5.06	c (2,0) c
22.97/5.06	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
22.97/5.06	c (2,0) c
22.97/5.06	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.06	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
22.97/5.06	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.06	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
22.97/5.06	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
22.97/5.06	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
22.97/5.06	c (2,0) c | Initial random_seed   |  400308233 | 2065252151 |  222951419 |  425678140 | 1244869373 |  201835128 |  922384536 |  456972400 |
22.97/5.06	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
22.97/5.06	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
22.97/5.06	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
22.97/5.06	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
22.97/5.06	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
22.97/5.06	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
22.97/5.06	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
22.97/5.06	c (2,0) c | var_decay             |     0.8800 |     0.8800 |     0.8700 |     0.8800 |     0.8700 |     0.8800 |     0.8700 |     0.8700 |
22.97/5.06	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
22.97/5.06	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
22.97/5.06	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
22.97/5.06	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
22.97/5.06	c (2,0) 
22.97/5.07	c (2,0) s UNSATISFIABLE
22.97/5.07	c (2,0) SatSolver.solve End
22.97/5.07	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
22.97/5.07	c (2,0) Show results Begin
22.97/5.07	s UNSATISFIABLE
22.97/5.07	c (2,0) Show results End
22.97/5.07	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
22.97/5.07	c (2,0) 2,2,STOP-AFTER(ALL)
22.97/5.07	c END-Prog: Sat Sep 14 06:57:16 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392650-1568437072/watcher-4392650-1568437072 -o /tmp/evaluation-result-4392650-1568437072/solver-4392650-1568437072 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392650-1568437072.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
solver pid=10949, runsolver pid=10946
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 2.61 5.50 6.70 2/211 10971
/proc/meminfo: memFree=24603276/32770624 swapFree=67108848/67108860
[pid=10949] ppid=10946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10949/stat : 10949 (scop.sh) S 10946 10949 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419644528 115843072 349 33554432000 4194304 5098028 140727533269424 140727533266680 140325807608444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34070528 140727533273892 140727533274220 140727533274220 140727533277133 0
/proc/10949/statm: 28282 349 296 221 0 87 0
[pid=10952] ppid=10949 vsize=27314120 memory=107372 CPUtime=0.1 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10949 10407 0 -1 1077944320 6894 0 0 0 8 2 0 0 20 0 20 0 419644529 27969658880 26843 33554432000 4194304 4196468 140722292200032 140722292182576 140711634493175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
/proc/10952/statm: 6828530 26843 2802 1 0 6790935 0
[pid=10952/tid=10953] ppid=10949 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/10952/task/10953/stat : 10953 (java) R 10949 10949 10407 0 -1 4202560 5015 0 0 0 7 2 0 0 20 0 20 0 419644529 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711606319504 140711626730302 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10954] ppid=10949 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711638736016 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10955] ppid=10949 vsize=27314120 memory=140044869342848 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711452892176 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10956] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711451839376 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10957] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711054441232 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10958] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711053388432 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10959] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711052335632 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10960] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711051282832 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10961] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 26843 33554432000 4194304 4196468 140722292200032 140711050230032 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10962] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644533 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709686213488 140711634504322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10963] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10949 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419644533 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709571061280 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10964] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644534 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709302625648 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10965] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 26843 33554432000 4194304 4196468 140722292200032 140708928117072 140711634511771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10966] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10949 10407 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709685160304 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10967] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709684107504 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10968] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709683054704 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10969] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10949 10407 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709682001904 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10970] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 26843 33554432000 4194304 4196468 140722292200032 140708430212192 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10971] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644537 27969658880 26843 33554432000 4194304 4196468 140722292200032 140709680950320 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108768 KiB

[startup+0.210194 s]*
/proc/loadavg: 2.61 5.50 6.70 2/211 10971
/proc/meminfo: memFree=24581592/32770624 swapFree=67108848/67108860
[pid=10949] ppid=10946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10949/stat : 10949 (scop.sh) S 10946 10949 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419644528 115843072 349 33554432000 4194304 5098028 140727533269424 140727533266680 140325807608444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34070528 140727533273892 140727533274220 140727533274220 140727533277133 0
/proc/10949/statm: 28282 349 296 221 0 87 0
[pid=10952] ppid=10949 vsize=27314120 memory=126556 CPUtime=0.25 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10949 10407 0 -1 1077944320 12524 0 0 0 21 4 0 0 20 0 20 0 419644529 27969658880 31639 33554432000 4194304 4196468 140722292200032 140722292182576 140711634493175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
/proc/10952/statm: 6828530 31639 2943 1 0 6790935 0
[pid=10952/tid=10953] ppid=10949 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10952/task/10953/stat : 10953 (java) R 10949 10949 10407 0 -1 4202560 10270 0 0 0 16 3 0 0 20 0 20 0 419644529 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711606292560 140711619658823 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10954] ppid=10949 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711638736016 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10955] ppid=10949 vsize=27314120 memory=288370421021054592 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711452892176 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10956] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711451839376 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10957] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711054441232 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10958] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711053388432 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10959] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711052335632 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10960] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711051282832 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10961] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 31639 33554432000 4194304 4196468 140722292200032 140711050230032 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10962] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644533 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709686213488 140711634504322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10963] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10949 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419644533 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709571061280 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10964] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644534 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709302625648 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10965] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 31639 33554432000 4194304 4196468 140722292200032 140708928117072 140711634511771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10966] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10949 10407 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709685160304 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10967] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) S 10949 10949 10407 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709684107504 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10968] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10949 10407 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709683054704 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10969] ppid=10949 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10949 10407 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 419644536 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709682001904 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10970] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 31639 33554432000 4194304 4196468 140722292200032 140708430212192 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10971] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644537 27969658880 31639 33554432000 4194304 4196468 140722292200032 140709680950320 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127952 KiB

[startup+0.309401 s]*
/proc/loadavg: 2.61 5.50 6.70 2/211 10971
/proc/meminfo: memFree=24579048/32770624 swapFree=67108848/67108860
[pid=10949] ppid=10946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10949/stat : 10949 (scop.sh) S 10946 10949 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419644528 115843072 349 33554432000 4194304 5098028 140727533269424 140727533266680 140325807608444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34070528 140727533273892 140727533274220 140727533274220 140727533277133 0
/proc/10949/statm: 28282 349 296 221 0 87 0
[pid=10952] ppid=10949 vsize=27314120 memory=129896 CPUtime=0.42 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10949 10407 0 -1 1077944320 12893 0 0 0 38 4 0 0 20 0 20 0 419644529 27969658880 32474 33554432000 4194304 4196468 140722292200032 140722292182576 140711634493175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
/proc/10952/statm: 6828530 32474 3036 1 0 6790935 0
[pid=10952/tid=10953] ppid=10949 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10952/task/10953/stat : 10953 (java) R 10949 10949 10407 0 -1 4202560 10457 0 0 0 26 3 0 0 20 0 20 0 419644529 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711606317928 140711617679984 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10954] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711638736016 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10955] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711452892176 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10956] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711451839376 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10957] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10957/stat : 10957 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711054441232 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10958] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10958/stat : 10958 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711053388432 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10959] ppid=10949 vsize=27314120 memory=140044723645103 CPUtime=0 cores=0-7
/proc/10952/task/10959/stat : 10959 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711052335632 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10960] ppid=10949 vsize=27314120 memory=140044723647408 CPUtime=0 cores=0-7
/proc/10952/task/10960/stat : 10960 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711051282832 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10961] ppid=10949 vsize=27314120 memory=140044723649712 CPUtime=0 cores=0-7
/proc/10952/task/10961/stat : 10961 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644531 27969658880 32474 33554432000 4194304 4196468 140722292200032 140711050230032 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10962] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10962/stat : 10962 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644533 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709686213488 140711634504322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10963] ppid=10949 vsize=27314120 memory=280089447313296 CPUtime=0 cores=0-7
/proc/10952/task/10963/stat : 10963 (java) S 10949 10949 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419644533 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709571061280 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10964] ppid=10949 vsize=27314120 memory=280089447310992 CPUtime=0 cores=0-7
/proc/10952/task/10964/stat : 10964 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644534 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709302625648 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10965] ppid=10949 vsize=27314120 memory=280089447317904 CPUtime=0 cores=0-7
/proc/10952/task/10965/stat : 10965 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 32474 33554432000 4194304 4196468 140722292200032 140708928117072 140711634511771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10966] ppid=10949 vsize=27314120 memory=280089447259184 CPUtime=0.01 cores=0-7
/proc/10952/task/10966/stat : 10966 (java) S 10949 10949 10407 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 419644536 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709685160304 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10967] ppid=10949 vsize=27314120 memory=280089447331728 CPUtime=0.02 cores=0-7
/proc/10952/task/10967/stat : 10967 (java) R 10949 10949 10407 0 -1 4202560 246 0 0 0 2 0 0 0 20 0 20 0 419644536 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709684107504 140711616016090 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10968] ppid=10949 vsize=27314120 memory=280089447338640 CPUtime=0.01 cores=0-7
/proc/10952/task/10968/stat : 10968 (java) S 10949 10949 10407 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 419644536 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709683054704 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10969] ppid=10949 vsize=27314120 memory=280089447336336 CPUtime=0.07 cores=0-7
/proc/10952/task/10969/stat : 10969 (java) S 10949 10949 10407 0 -1 1077944384 440 0 0 0 7 0 0 0 20 0 20 0 419644536 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709682001904 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10970] ppid=10949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10970/stat : 10970 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419644536 27969658880 32474 33554432000 4194304 4196468 140722292200032 140708430212192 140711634503381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10971] ppid=10949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10952/task/10971/stat : 10971 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644537 27969658880 32474 33554432000 4194304 4196468 140722292200032 140709680950320 140711634504322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131292 KiB

[startup+0.700882 s]
/proc/loadavg: 2.61 5.50 6.70 2/211 10971
/proc/meminfo: memFree=24559712/32770624 swapFree=67108848/67108860
[pid=10949] ppid=10946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10949/stat : 10949 (scop.sh) S 10946 10949 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419644528 115843072 349 33554432000 4194304 5098028 140727533269424 140727533266680 140325807608444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34070528 140727533273892 140727533274220 140727533274220 140727533277133 0
/proc/10949/statm: 28282 349 296 221 0 87 0
[pid=10952] ppid=10949 vsize=27322516 memory=167576 CPUtime=0.98 cores=0-7
/proc/10952/stat : 10952 (java) S 10949 10949 10407 0 -1 1077944320 20477 0 0 0 92 6 0 0 20 0 20 0 419644529 27978256384 41894 33554432000 4194304 4196468 140722292200032 140722292182576 140711634493175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
/proc/10952/statm: 6830629 41894 3201 1 0 6791959 0
[pid=10952/tid=10953] ppid=10949 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/10952/task/10953/stat : 10953 (java) R 10949 10949 10407 0 -1 4202560 17550 0 0 0 62 5 0 0 20 0 20 0 419644529 27978256384 41894 33554432000 4194304 4196468 140722292200032 140711606324912 140711634505110 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10954] ppid=10949 vsize=27322516 memory=140044723856240 CPUtime=0 cores=0-7
/proc/10952/task/10954/stat : 10954 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27978256384 41894 33554432000 4194304 4196468 140722292200032 140711638736016 140711634503381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10955] ppid=10949 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10952/task/10955/stat : 10955 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419644531 27978256384 41894 33554432000 4194304 4196468 140722292200032 140711452892176 140711634503381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0
[pid=10952/tid=10956] ppid=10949 vsize=27322516 memory=7180 CPUtime=0 cores=0-7
/proc/10952/task/10956/stat : 10956 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419644531 27978256384 41894 33554432000 4194304 4196468 140722292200032 140711451839376 140711634503381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15646720 140722292208362 140722292208790 140722292208790 140722292211663 0

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

[pid=10972/tid=10991] ppid=10949 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10972/task/10991/stat : 10991 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017598933552 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10993] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10993/stat : 10993 (java) S 10949 10949 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017679119424 140018376924953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10995] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10995/stat : 10995 (java) S 10949 10949 10407 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140014994309264 140018376922269 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10996] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10996/stat : 10996 (java) S 10949 10949 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140015262744592 140018376922269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10997] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10997/stat : 10997 (java) S 10949 10949 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419644821 8616062976 29390 33554432000 4194304 4196468 140734180302224 140014725881392 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
Current children cumulated CPU time: 15.1 s
Current children cumulated vsize: 9155616 KiB
Current children cumulated memory: 168768 KiB

[startup+4.80226 s]
/proc/loadavg: 3.04 5.54 6.70 9/224 11005
/proc/meminfo: memFree=24545364/32770624 swapFree=67108848/67108860
[pid=10949] ppid=10946 vsize=113128 memory=1476 CPUtime=5.38 cores=0-7
/proc/10949/stat : 10949 (scop.sh) S 10946 10949 10407 0 -1 4202496 581 27636 0 0 0 0 524 14 20 0 1 0 419644528 115843072 369 33554432000 4194304 5098028 140727533269424 140727533266168 140325807608444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34070528 140727533273892 140727533274220 140727533274220 140727533277133 0
/proc/10949/statm: 28282 369 311 221 0 87 0
[pid=10972] ppid=10949 vsize=8414124 memory=117560 CPUtime=1.13 cores=0-7
/proc/10972/stat : 10972 (java) S 10949 10949 10407 0 -1 1077944320 19908 0 0 0 105 8 0 0 20 0 24 0 419644748 8616062976 29390 33554432000 4194304 4196468 140734180302224 140734180284768 140018376900343 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
/proc/10972/statm: 2103531 29390 3201 1 0 2064875 0
[pid=10992] ppid=10972 vsize=628364 memory=56436 CPUtime=14.85 cores=0-7
/proc/10992/stat : 10992 (manyglucose-4.1) S 10972 10949 10407 0 -1 1077944320 24202 0 0 0 1478 7 0 0 20 0 9 0 419644819 643444736 14109 33554432000 4194304 4454172 140724793547408 140724793545808 139864380127874 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
/proc/10992/statm: 157091 14109 402 64 0 152759 0
[pid=10992/tid=10998] ppid=10972 vsize=628364 memory=174064 CPUtime=1.84 cores=0-7
/proc/10992/task/10998/stat : 10998 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2514 0 0 0 184 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864364899432 139864365419084 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=10999] ppid=10972 vsize=628364 memory=1840 CPUtime=1.85 cores=0-7
/proc/10992/task/10999/stat : 10999 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2315 0 0 0 183 2 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864356506728 4351313 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11000] ppid=10972 vsize=628364 memory=1384 CPUtime=1.84 cores=0-7
/proc/10992/task/11000/stat : 11000 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2840 0 0 0 184 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864348114024 4353764 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11001] ppid=10972 vsize=628364 memory=7180 CPUtime=1.85 cores=0-7
/proc/10992/task/11001/stat : 11001 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2365 0 0 0 185 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864339721320 4351535 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11002] ppid=10972 vsize=628364 memory=1100 CPUtime=1.81 cores=0-7
/proc/10992/task/11002/stat : 11002 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2568 0 0 0 181 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864331328616 4332126 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11003] ppid=10972 vsize=628364 memory=0 CPUtime=1.85 cores=0-7
/proc/10992/task/11003/stat : 11003 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2731 0 0 0 185 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864322935736 4353764 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11004] ppid=10972 vsize=628364 memory=0 CPUtime=1.86 cores=0-7
/proc/10992/task/11004/stat : 11004 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2555 0 0 0 186 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864314543208 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11005] ppid=10972 vsize=628364 memory=1476 CPUtime=1.84 cores=0-7
/proc/10992/task/11005/stat : 11005 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2613 0 0 0 184 0 0 0 20 0 9 0 419644822 643444736 14109 33554432000 4194304 4454172 140724793547408 139864306150504 4351576 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10972/tid=10973] ppid=10949 vsize=8414124 memory=117560 CPUtime=0.74 cores=0-7
/proc/10972/task/10973/stat : 10973 (java) S 10949 10949 10407 0 -1 1077944384 16916 0 0 0 68 6 0 0 20 0 24 0 419644748 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018348740512 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10974] ppid=10949 vsize=8414124 memory=44820 CPUtime=0 cores=0-7
/proc/10972/task/10974/stat : 10974 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018381142672 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10975] ppid=10949 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10972/task/10975/stat : 10975 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018181310992 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10976] ppid=10949 vsize=8414124 memory=117560 CPUtime=0 cores=0-7
/proc/10972/task/10976/stat : 10976 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018180258192 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10977] ppid=10949 vsize=8414124 memory=37056 CPUtime=0 cores=0-7
/proc/10972/task/10977/stat : 10977 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018179205392 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10978] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10978/stat : 10978 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018178153616 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10979] ppid=10949 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/10972/task/10979/stat : 10979 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018177100816 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10980] ppid=10949 vsize=8414124 memory=15544015764327050 CPUtime=0 cores=0-7
/proc/10972/task/10980/stat : 10980 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018176048016 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10981] ppid=10949 vsize=8414124 memory=16 CPUtime=0 cores=0-7
/proc/10972/task/10981/stat : 10981 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018174995216 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10982] ppid=10949 vsize=8414124 memory=23 CPUtime=0 cores=0-7
/proc/10972/task/10982/stat : 10982 (java) S 10949 10949 10407 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419644751 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017604196720 140018376911490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10983] ppid=10949 vsize=8414124 memory=7686721470267498131 CPUtime=0 cores=0-7
/proc/10972/task/10983/stat : 10983 (java) S 10949 10949 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419644751 8616062976 29390 33554432000 4194304 4196468 140734180302224 140016672039968 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10984] ppid=10949 vsize=8414124 memory=59 CPUtime=0 cores=0-7
/proc/10972/task/10984/stat : 10984 (java) S 10949 10949 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419644752 8616062976 29390 33554432000 4194304 4196468 140734180302224 140016537817968 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10985] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10985/stat : 10985 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140016163313488 140018376918939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10986] ppid=10949 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/10972/task/10986/stat : 10986 (java) S 10949 10949 10407 0 -1 1077944384 551 0 0 0 8 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017603144560 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10987] ppid=10949 vsize=8414124 memory=8328451419030854556 CPUtime=0.05 cores=0-7
/proc/10972/task/10987/stat : 10987 (java) S 10949 10949 10407 0 -1 1077944384 430 0 0 0 5 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017602091760 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10988] ppid=10949 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/10972/task/10988/stat : 10988 (java) S 10949 10949 10407 0 -1 1077944384 105 0 0 0 4 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017601038960 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10989] ppid=10949 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/10972/task/10989/stat : 10989 (java) S 10949 10949 10407 0 -1 1077944384 485 0 0 0 18 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017599986160 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10990] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10990/stat : 10990 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140015665408608 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10991] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10991/stat : 10991 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017598933552 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10993] ppid=10949 vsize=8414124 memory=280086427252350 CPUtime=0 cores=0-7
/proc/10972/task/10993/stat : 10993 (java) S 10949 10949 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017679119424 140018376924953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10995] ppid=10949 vsize=8414124 memory=576587700018377745 CPUtime=0 cores=0-7
/proc/10972/task/10995/stat : 10995 (java) S 10949 10949 10407 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140014994309264 140018376922269 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10996] ppid=10949 vsize=8414124 memory=288289965434209192 CPUtime=0 cores=0-7
/proc/10972/task/10996/stat : 10996 (java) S 10949 10949 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140015262744592 140018376922269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10997] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10997/stat : 10997 (java) S 10949 10949 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419644821 8616062976 29390 33554432000 4194304 4196468 140734180302224 140014725881392 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
Current children cumulated CPU time: 21.36 s
Current children cumulated vsize: 9155616 KiB
Current children cumulated memory: 175472 KiB

[startup+5.0013 s]*
/proc/loadavg: 3.04 5.54 6.70 6/221 11005
/proc/meminfo: memFree=24525972/32770624 swapFree=67108848/67108860
[pid=10949] ppid=10946 vsize=113128 memory=1476 CPUtime=5.38 cores=0-7
/proc/10949/stat : 10949 (scop.sh) S 10946 10949 10407 0 -1 4202496 581 27636 0 0 0 0 524 14 20 0 1 0 419644528 115843072 369 33554432000 4194304 5098028 140727533269424 140727533266168 140325807608444 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34070528 140727533273892 140727533274220 140727533274220 140727533277133 0
/proc/10949/statm: 28282 369 311 221 0 87 0
[pid=10972] ppid=10949 vsize=8414124 memory=117560 CPUtime=1.13 cores=0-7
/proc/10972/stat : 10972 (java) S 10949 10949 10407 0 -1 1077944320 19908 0 0 0 105 8 0 0 20 0 24 0 419644748 8616062976 29390 33554432000 4194304 4196468 140734180302224 140734180284768 140018376900343 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
/proc/10972/statm: 2103531 29390 3201 1 0 2064875 0
[pid=10992] ppid=10972 vsize=628364 memory=69136 CPUtime=16.46 cores=0-7
/proc/10992/stat : 10992 (manyglucose-4.1) S 10972 10949 10407 0 -1 1077944320 26812 0 0 0 1638 8 0 0 20 0 4 0 419644819 643444736 17284 33554432000 4194304 4454172 140724793547408 140724793545792 139864380116727 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
/proc/10992/statm: 157091 17284 415 64 0 152759 0
[pid=10992/tid=10998] ppid=10972 vsize=628364 memory=0 CPUtime=2.05 cores=0-7
/proc/10992/task/10998/stat : 10998 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2703 0 0 0 205 0 0 0 20 0 4 0 419644822 643444736 17284 33554432000 4194304 4454172 140724793547408 139864364899432 4349980 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=10999] ppid=10972 vsize=628364 memory=0 CPUtime=2.06 cores=0-7
/proc/10992/task/10999/stat : 10999 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 2347 0 0 0 204 2 0 0 20 0 4 0 419644822 643444736 17284 33554432000 4194304 4454172 140724793547408 139864356506728 4350007 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10992/tid=11000] ppid=10972 vsize=628364 memory=140044869342848 CPUtime=2.04 cores=0-7
/proc/10992/task/11000/stat : 11000 (manyglucose-4.1) R 10972 10949 10407 0 -1 4202560 3217 0 0 0 204 0 0 0 20 0 4 0 419644822 643444736 17284 33554432000 4194304 4454172 140724793547408 139864348113768 4351803 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 14012416 140724793549673 140724793549872 140724793549872 140724793552826 0
[pid=10972/tid=10973] ppid=10949 vsize=8414124 memory=8318255677412212789 CPUtime=0.74 cores=0-7
/proc/10972/task/10973/stat : 10973 (java) S 10949 10949 10407 0 -1 1077944384 16916 0 0 0 68 6 0 0 20 0 24 0 419644748 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018348740512 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10974] ppid=10949 vsize=8414124 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/10972/task/10974/stat : 10974 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018381142672 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10975] ppid=10949 vsize=8414124 memory=3089199 CPUtime=0 cores=0-7
/proc/10972/task/10975/stat : 10975 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018181310992 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10976] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10976/stat : 10976 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018180258192 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10977] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10977/stat : 10977 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018179205392 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10978] ppid=10949 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10972/task/10978/stat : 10978 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018178153616 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10979] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10979/stat : 10979 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018177100816 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10980] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10980/stat : 10980 (java) S 10949 10949 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018176048016 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10981] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10981/stat : 10981 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419644749 8616062976 29390 33554432000 4194304 4196468 140734180302224 140018174995216 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10982] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10982/stat : 10982 (java) S 10949 10949 10407 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419644751 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017604196720 140018376911490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10983] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10983/stat : 10983 (java) S 10949 10949 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419644751 8616062976 29390 33554432000 4194304 4196468 140734180302224 140016672039968 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10984] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10984/stat : 10984 (java) S 10949 10949 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419644752 8616062976 29390 33554432000 4194304 4196468 140734180302224 140016537817968 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10985] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10985/stat : 10985 (java) S 10949 10949 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140016163313488 140018376918939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10986] ppid=10949 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/10972/task/10986/stat : 10986 (java) S 10949 10949 10407 0 -1 1077944384 551 0 0 0 8 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017603144560 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10987] ppid=10949 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/10972/task/10987/stat : 10987 (java) S 10949 10949 10407 0 -1 1077944384 430 0 0 0 5 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017602091760 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10988] ppid=10949 vsize=8414124 memory=-1 CPUtime=0.04 cores=0-7
/proc/10972/task/10988/stat : 10988 (java) S 10949 10949 10407 0 -1 1077944384 105 0 0 0 4 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017601038960 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10989] ppid=10949 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/10972/task/10989/stat : 10989 (java) S 10949 10949 10407 0 -1 1077944384 485 0 0 0 18 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017599986160 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10990] ppid=10949 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10972/task/10990/stat : 10990 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140015665408608 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10991] ppid=10949 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/10972/task/10991/stat : 10991 (java) S 10949 10949 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419644754 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017598933552 140018376911490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10993] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10993/stat : 10993 (java) S 10949 10949 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140017679119424 140018376924953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10995] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10995/stat : 10995 (java) S 10949 10949 10407 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140014994309264 140018376922269 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10996] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10996/stat : 10996 (java) S 10949 10949 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419644819 8616062976 29390 33554432000 4194304 4196468 140734180302224 140015262744592 140018376922269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
[pid=10972/tid=10997] ppid=10949 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10972/task/10997/stat : 10997 (java) S 10949 10949 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419644821 8616062976 29390 33554432000 4194304 4196468 140734180302224 140014725881392 140018376910549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140734180303863 140734180304022 140734180304022 140734180306895 0
Current children cumulated CPU time: 22.97 s
Current children cumulated vsize: 9155616 KiB
Current children cumulated memory: 188172 KiB

Child status: 0
Real time (s): 5.08351
CPU time (s): 23.1629
CPU user time (s): 22.8363
CPU system time (s): 0.326622
CPU usage (%): 455.648
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 335096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8363
system time used= 0.326622
maximum resident set size= 340000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8049
involuntary context switches= 205


# summary of solver processes directly reported to runsolver:
#   pid: 10949
#   total CPU time (s): 23.1629
#   total CPU user time (s): 22.8363
#   total CPU system time (s): 0.326622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059068 second user time and 0.107953 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 06:57:11
IDJOB=4392650
IDBENCH=134597
IDSOLVER=2839
FILE ID=node143/4392650-1568437072
RUNJOBID= node143-1568436511-10434
PBS_JOBID= 21702317
Free space on /tmp= 59272 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-05-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392650-1568437072/watcher-4392650-1568437072 -o /tmp/evaluation-result-4392650-1568437072/solver-4392650-1568437072 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392650-1568437072.xml

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

MD5SUM BENCH= 5aa02d8e33e0310131c8602cbce67fff
RANDOM SEED=1971352758

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
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:        24699160 kB
MemAvailable:   31755804 kB
Buffers:          200296 kB
Cached:          7146588 kB
SwapCached:            8 kB
Active:          2143672 kB
Inactive:        5254228 kB
Active(anon):       5072 kB
Inactive(anon):   145344 kB
Active(file):    2138600 kB
Inactive(file):  5108884 kB
Unevictable:      107432 kB
Mlocked:          107432 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             20592 kB
Writeback:             0 kB
AnonPages:        157728 kB
Mapped:            48964 kB
Shmem:             90756 kB
Slab:             266284 kB
SReclaimable:     237620 kB
SUnreclaim:        28664 kB
KernelStack:        3408 kB
PageTables:         5356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59252 MiB
End job on node143 at 2019-09-14 06:57:16