Trace number 4392276

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 93.2755 14.3894

General information on the benchmark

NameRandom/Random-D-t020/
rand-2-40-11-414-020-79.xml
MD5SUMc0f256b6b5f799b1206df7220afe38a7
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 benchmark31.3194
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints414
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":40}]
Minimum variable degree14
Maximum variable degree26
Distribution of variable degrees[{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":5},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":414}]
Number of extensional constraints414
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":414}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21270-serial-file.bin HOME/instance-4392276-1568417442.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 01:30:03 CEST 2019
0.66/0.56	c PID: 21273
0.66/0.56	c IP: 172.20.3.127
0.66/0.56	c HOST: node127.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.17/1.06	c (0,0) Parsing End
2.17/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 414 ctr, max domain size 11
2.17/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.17/1.07	c (0,0) Constraint Name Generate Begin
2.17/1.08	c (0,0) Ctr:HOME/instance-4392276-1568417442.xml,ExtensionConflict:Var
2.17/1.08	c (0,0) Constraint Name Generate End
2.17/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.17/1.08	c (0,0) CSP to CSPinCNF Begin
3.83/1.56	c (1,1) translated 42 (10%) constraints
4.24/1.66	c (1,1) translated 83 (20%) constraints
4.65/1.75	c (1,1) translated 125 (30%) constraints
5.06/1.82	c (1,1) translated 166 (40%) constraints
5.47/1.91	c (1,1) translated 207 (50%) constraints
5.47/1.97	c (1,1) translated 249 (60%) constraints
5.92/2.04	c (1,1) translated 290 (70%) constraints
5.92/2.10	c (1,1) translated 332 (80%) constraints
7.71/2.52	c (1,1) translated 373 (90%) constraints
7.71/2.52	c (1,1) translated 414 (100%) constraints
7.71/2.52	c (1,1) ===========================================
7.71/2.52	c (1,1) Order
7.71/2.52	c (1,1) ===========================================
7.71/2.52	c (1,1) translated 818 (10%) constraints
7.71/2.52	c (1,1) translated 1635 (20%) constraints
7.71/2.52	c (1,1) translated 2453 (30%) constraints
7.71/2.52	c (1,1) translated 3270 (40%) constraints
7.71/2.52	c (1,1) translated 4087 (50%) constraints
7.71/2.52	c (1,1) translated 4905 (60%) constraints
7.71/2.52	c (1,1) translated 5722 (70%) constraints
7.71/2.52	c (1,1) translated 6540 (80%) constraints
7.71/2.52	c (1,1) translated 7357 (90%) constraints
7.71/2.52	c (1,1) translated 8174 (100%) constraints
7.71/2.52	c (1,1) CSP to CSPinCNF End
7.71/2.52	c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.71/2.52	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.71/2.52	c (1,1) CSPinCNF Propagation Begin
7.71/2.57	c (2,2) 0 values, 1682 unsatisfiable literals, and 0 valid clauses are removed
7.71/2.57	c (2,2) CSPinCNF Propagation End
7.71/2.57	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.71/2.57	c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.71/2.57	c (2,2) Simplify CSPinCNF Begin
8.10/2.61	c (2,2) Simplify CSPinCNF End
8.10/2.61	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.10/2.61	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.10/2.61	c (2,2) Calculate Precise Domain Begin
8.10/2.61	c (2,2) 0 values are removed by re-calculation
8.10/2.61	c (2,2) Calculate Precise Domain End
8.10/2.61	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.10/2.61	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.10/2.61	c (2,2) CSPinCNF to SatSolver Begin
8.39/2.71	c (2,2) 818 (10 %) CSP clauses are encoded (0 SAT variables, 1177 SAT clauses)
8.39/2.75	c (2,2) 1635 (20 %) CSP clauses are encoded (0 SAT variables, 1994 SAT clauses)
8.39/2.78	c (2,2) 2453 (30 %) CSP clauses are encoded (0 SAT variables, 2812 SAT clauses)
8.78/2.80	c (2,2) 3270 (40 %) CSP clauses are encoded (0 SAT variables, 3629 SAT clauses)
8.78/2.82	c (2,2) 4087 (50 %) CSP clauses are encoded (0 SAT variables, 4446 SAT clauses)
8.78/2.85	c (2,2) 4905 (60 %) CSP clauses are encoded (0 SAT variables, 5264 SAT clauses)
8.78/2.87	c (2,2) 5722 (70 %) CSP clauses are encoded (0 SAT variables, 6081 SAT clauses)
8.78/2.88	c (2,2) 6540 (80 %) CSP clauses are encoded (0 SAT variables, 6899 SAT clauses)
9.19/2.90	c (2,2) 7357 (90 %) CSP clauses are encoded (0 SAT variables, 7716 SAT clauses)
9.19/2.91	c (2,2) 8174 (100 %) CSP clauses are encoded (0 SAT variables, 8533 SAT clauses)
9.19/2.91	c (2,2) CSPinCNF to SatSolver End
9.19/2.91	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.19/2.91	c (2,2) 400 bool, 8534 clause
9.19/2.91	c (2,2) Export Begin
9.19/3.00	c (2,2) Export to HOME/scop-21270-serial-file.bin
9.19/3.00	c (2,2) Export End
9.19/3.00	c (2,2) Export File Size: 0.01 MB
9.19/3.00	c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
9.19/3.00	c END-Prog: Sat Sep 14 01:30:05 CEST 2019
0.00/3.01	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21270-serial-file.bin
9.53/3.47	c (0,0) Read Serial File Begin
9.53/3.47	c (0,0) HOME/scop-21270-serial-file.bin
9.53/3.68	c (0,0) Read Serial File End
9.53/3.70	
9.53/3.70	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
9.53/3.70	(Solving Process)
9.53/3.70	
9.53/3.72	c BEGIN-Prog: Sat Sep 14 01:30:06 CEST 2019
9.53/3.72	c PID: 21293
9.53/3.72	c IP: 172.20.3.127
9.53/3.72	c HOST: node127.alineos.net
9.53/3.72	c (0,0) SatSolver.solve Begin
9.53/3.72	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392276-1568417442.xml-scop-21273.cnf
9.53/3.75	c (0,0) c
9.53/3.75	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)
9.53/3.75	c (0,0) c
9.53/3.75	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.53/3.75	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.53/3.75	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.53/3.75	c (0,0) c |                                                                                                       |
9.53/3.75	c (0,0) c |  Number of variables:           400                                                                   |
9.53/3.75	c (0,0) c |  Number of clauses:            8534                                                                   |
9.53/3.75	c (0,0) c |  Parse time:                   0.00 s                                                                 |
9.53/3.75	c (0,0) c |                                                                                                       |
9.53/3.75	c (0,0) c |  Simplification time:          0.01 s                                                                 |
9.53/3.75	c (0,0) c |                                                                                                       |
9.53/3.75	c (0,0) c |  Generating clones                                                                                    |
9.53/3.75	c (0,0) c |  all clones generated. Memory =    27.29Mb.                                                           |
9.53/3.75	c (0,0) c ========================================================================================================|
9.53/3.75	c (0,0) c
9.53/3.76	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.53/3.76	c (0,0) c
9.53/3.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.53/3.76	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.53/3.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.53/3.76	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.53/3.76	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.53/3.76	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.53/3.76	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.53/3.76	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.53/3.76	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.53/3.76	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.53/3.76	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.53/3.76	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.53/3.76	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.53/3.76	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.53/3.76	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.53/3.76	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.53/3.76	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.53/3.76	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.53/3.76	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.35	c (10,0) c
93.10/14.35	c (10,0) c real time : 10.6102 s
93.10/14.35	c (10,0) c cpu time  : 82.2643 s
93.10/14.35	c (10,0) c
93.10/14.35	c (10,0) c
93.10/14.35	c (10,0) c
93.10/14.35	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
93.10/14.35	c (10,0) c
93.10/14.35	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.35	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.10/14.35	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.35	c (10,0) c | Conflicts     |         1475375 |     187165 |     181791 |     184326 |     191916 |     177876 |     180973 |     183847 |     187481 |
93.10/14.35	c (10,0) c | Decisions     |         1798003 |     228849 |     220714 |     224895 |     234088 |     216507 |     218902 |     224482 |     229566 |
93.10/14.35	c (10,0) c | Propagations  |       102465509 |   13033747 |   12683701 |   12726197 |   13336255 |   12316752 |   12552012 |   12805086 |   13011759 |
93.10/14.35	c (10,0) c | ReduceDBs     |              88 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
93.10/14.35	c (10,0) c | SimpDBs       |              40 |          5 |          5 |          4 |          6 |          5 |          5 |          4 |          6 |
93.10/14.35	c (10,0) c | Restarts      |            1010 |        134 |         96 |        149 |        132 |         58 |        120 |        170 |        151 |
93.10/14.35	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.10/14.35	c (10,0) c | PropBinClauses|       102123920 |   12956640 |   12595062 |   12788562 |   13295096 |   12269998 |   12442994 |   12814338 |   12961230 |
93.10/14.35	c (10,0) c | PropPreBlocker|      5140672904 |  641539174 |  634832898 |  636651102 |  640378262 |  648962911 |  661053493 |  638240316 |  639014748 |
93.10/14.35	c (10,0) c | PropNotBlocker|       980636394 |  122168795 |  123968907 |  122237874 |  124582769 |  122737691 |  121975624 |  120631212 |  122333522 |
93.10/14.35	c (10,0) c | LitFullScans  |      7718824665 |  960057337 |  960066929 |  960062651 |  963247234 |  970971576 |  984164052 |  960192311 |  960062575 |
93.10/14.35	c (10,0) c | LitScanFracts |          662841 |      45950 |      60569 |      57766 |      48740 |      57773 |     148817 |     187411 |      55815 |
93.10/14.35	c (10,0) c | DecisionLevel0|            1049 |        137 |         98 |        150 |        146 |         65 |        128 |        170 |        155 |
93.10/14.35	c (10,0) c | Periods       |            1285 |        160 |        160 |        160 |        160 |        161 |        164 |        160 |        160 |
93.10/14.35	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
93.10/14.35	c (10,0) c | Avg_Trail     |                 |        239 |        239 |        240 |        240 |        239 |        236 |        239 |        239 |
93.10/14.35	c (10,0) c | Avg_DL        |                 |         11 |         11 |         12 |         11 |         12 |         11 |         11 |         11 |
93.10/14.35	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.10/14.35	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.10/14.35	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.36	c (10,0) c | Exported      |          175815 |      21710 |      22337 |      22366 |      22254 |      21908 |      22646 |      20115 |      22479 |
93.10/14.36	c (10,0) c | Imported      |         1128031 |     140826 |     139336 |     137928 |     141647 |     142981 |     144039 |     143388 |     137886 |
93.10/14.36	c (10,0) c | Good          |            1323 |        166 |        163 |        139 |        146 |        185 |        188 |        189 |        147 |
93.10/14.36	c (10,0) c | Purge         |         1126708 |     140660 |     139173 |     137789 |     141501 |     142796 |     143851 |     143199 |     137739 |
93.10/14.36	c (10,0) c | Promoted      |           95976 |      11956 |      12294 |      12008 |      11727 |      11905 |      11780 |      11830 |      12476 |
93.10/14.36	c (10,0) c | Remove_Imp    |          638443 |      82978 |      81479 |      82983 |      84379 |      78537 |      75940 |      74126 |      78021 |
93.10/14.36	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.10/14.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.36	c (10,0) c | Unaries       |                 |          3 |          2 |          1 |         14 |          7 |          8 |          0 |          4 |
93.10/14.36	c (10,0) c | Binaries      |                 |         37 |         42 |         36 |        103 |         53 |         79 |         13 |         48 |
93.10/14.36	c (10,0) c | Glues         |                 |        394 |        434 |        366 |        450 |        429 |        434 |        377 |        368 |
93.10/14.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.36	c (10,0) c | Orig_Seen     |           106 % |       8530 |       8526 |       8528 |       8526 |       8529 |       8528 |       8528 |       8530 |
93.10/14.36	c (10,0) c | Diff Orig seen|                 |          4 | -        0 |          2 |      X     |          3 |          2 |          2 |          4 |
93.10/14.36	c (10,0) c | Hamming       |            28 % |         92 |        117 |        124 |      X     |         99 |        128 |        115 |        110 |
93.10/14.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.36	c (10,0) c | RunningTime   |                 |   10.5 100%|   10.3 100%|   10.3 100%|   10.2 100%|   10.1 100%|   10.2 100%|   10.2 100%|   10.5 100%|
93.10/14.36	c (10,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%|
93.10/14.36	c (10,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%|
93.10/14.36	c (10,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%|
93.10/14.36	c (10,0) c | SolvingTime   |                 |   10.5     |   10.3     |   10.3     |   10.3     |   10.2     |   10.2     |   10.3     |   10.6     |
93.10/14.36	c (10,0) c | PropagationTim|                 |    9.1  87%|    9.0  87%|    8.9  87%|    8.9  87%|    8.8  87%|    8.9  87%|    9.0  87%|    9.2  87%|
93.10/14.36	c (10,0) c | AnalysisTime  |                 |    1.0   9%|    0.9   9%|    1.0  10%|    0.9   9%|    0.9   9%|    0.9   9%|    0.9   9%|    1.0   9%|
93.10/14.36	c (10,0) c | ReductionTime |                 |    0.2   1%|    0.2   2%|    0.1   1%|    0.1   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|
93.10/14.36	c (10,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
93.10/14.36	c (10,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%|
93.10/14.36	c (10,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%|
93.10/14.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.36	c (10,0) c
93.10/14.36	c (10,0) c
93.10/14.36	c (10,0) c Threads : 8
93.10/14.36	c (10,0) c Winner : 3
93.10/14.36	c (10,0) c Conflicts_0 : 187165
93.10/14.36	c (10,0) c Conflicts_1 : 181791
93.10/14.36	c (10,0) c Conflicts_2 : 184326
93.10/14.36	c (10,0) c Conflicts_3 : 191916
93.10/14.36	c (10,0) c Conflicts_4 : 177876
93.10/14.36	c (10,0) c Conflicts_5 : 180973
93.10/14.36	c (10,0) c Conflicts_6 : 183847
93.10/14.36	c (10,0) c Conflicts_7 : 187481
93.10/14.36	c (10,0) c Conflicts_total : 1475375
93.10/14.36	c (10,0) c Conflicts_winner : 191916
93.10/14.36	c (10,0) c Decisions_0 : 228849
93.10/14.36	c (10,0) c Decisions_1 : 220714
93.10/14.36	c (10,0) c Decisions_2 : 224895
93.10/14.36	c (10,0) c Decisions_3 : 234088
93.10/14.36	c (10,0) c Decisions_4 : 216507
93.10/14.36	c (10,0) c Decisions_5 : 218902
93.10/14.36	c (10,0) c Decisions_6 : 224482
93.10/14.36	c (10,0) c Decisions_7 : 229566
93.10/14.36	c (10,0) c Decisions_total : 1798003
93.10/14.36	c (10,0) c Decisions_winner : 234088
93.10/14.36	c (10,0) c Propagations_0 : 13033747
93.10/14.36	c (10,0) c Propagations_1 : 12683701
93.10/14.36	c (10,0) c Propagations_2 : 12726197
93.10/14.36	c (10,0) c Propagations_3 : 13336255
93.10/14.36	c (10,0) c Propagations_4 : 12316752
93.10/14.36	c (10,0) c Propagations_5 : 12552012
93.10/14.36	c (10,0) c Propagations_6 : 12805086
93.10/14.36	c (10,0) c Propagations_7 : 13011759
93.10/14.36	c (10,0) c Propagations_total : 102465509
93.10/14.36	c (10,0) c Propagations_winner : 13336255
93.10/14.36	c (10,0) c ReduceDBs_0 : 11
93.10/14.36	c (10,0) c ReduceDBs_1 : 11
93.10/14.36	c (10,0) c ReduceDBs_2 : 11
93.10/14.36	c (10,0) c ReduceDBs_3 : 11
93.10/14.36	c (10,0) c ReduceDBs_4 : 11
93.10/14.36	c (10,0) c ReduceDBs_5 : 11
93.10/14.36	c (10,0) c ReduceDBs_6 : 11
93.10/14.36	c (10,0) c ReduceDBs_7 : 11
93.10/14.36	c (10,0) c ReduceDBs_total : 88
93.10/14.36	c (10,0) c ReduceDBs_winner : 11
93.10/14.36	c (10,0) c SimpDBs_0 : 5
93.10/14.36	c (10,0) c SimpDBs_1 : 5
93.10/14.36	c (10,0) c SimpDBs_2 : 4
93.10/14.36	c (10,0) c SimpDBs_3 : 6
93.10/14.36	c (10,0) c SimpDBs_4 : 5
93.10/14.36	c (10,0) c SimpDBs_5 : 5
93.10/14.36	c (10,0) c SimpDBs_6 : 4
93.10/14.36	c (10,0) c SimpDBs_7 : 6
93.10/14.36	c (10,0) c SimpDBs_total : 40
93.10/14.36	c (10,0) c SimpDBs_winner : 6
93.10/14.36	c (10,0) c Restarts_0 : 134
93.10/14.36	c (10,0) c Restarts_1 : 96
93.10/14.36	c (10,0) c Restarts_2 : 149
93.10/14.36	c (10,0) c Restarts_3 : 132
93.10/14.36	c (10,0) c Restarts_4 : 58
93.10/14.36	c (10,0) c Restarts_5 : 120
93.10/14.36	c (10,0) c Restarts_6 : 170
93.10/14.36	c (10,0) c Restarts_7 : 151
93.10/14.36	c (10,0) c Restarts_total : 1010
93.10/14.36	c (10,0) c Restarts_winner : 132
93.10/14.36	c (10,0) c ForcedImports_0 : 0
93.10/14.36	c (10,0) c ForcedImports_1 : 0
93.10/14.36	c (10,0) c ForcedImports_2 : 0
93.10/14.36	c (10,0) c ForcedImports_3 : 0
93.10/14.36	c (10,0) c ForcedImports_4 : 0
93.10/14.36	c (10,0) c ForcedImports_5 : 0
93.10/14.36	c (10,0) c ForcedImports_6 : 0
93.10/14.36	c (10,0) c ForcedImports_7 : 0
93.10/14.36	c (10,0) c ForcedImports_total : 0
93.10/14.36	c (10,0) c ForcedImports_winner : 0
93.10/14.36	c (10,0) c PropsBinClauses_0 : 12956640
93.10/14.36	c (10,0) c PropsBinClauses_1 : 12595062
93.10/14.36	c (10,0) c PropsBinClauses_2 : 12788562
93.10/14.36	c (10,0) c PropsBinClauses_3 : 13295096
93.10/14.36	c (10,0) c PropsBinClauses_4 : 12269998
93.10/14.36	c (10,0) c PropsBinClauses_5 : 12442994
93.10/14.36	c (10,0) c PropsBinClauses_6 : 12814338
93.10/14.36	c (10,0) c PropsBinClauses_7 : 12961230
93.10/14.36	c (10,0) c PropsBinClauses_total : 102123920
93.10/14.36	c (10,0) c PropsBinClauses_winner : 13295096
93.10/14.36	c (10,0) c PropsPreBlocker_0 : 641539174
93.10/14.36	c (10,0) c PropsPreBlocker_1 : 634832898
93.10/14.36	c (10,0) c PropsPreBlocker_2 : 636651102
93.10/14.36	c (10,0) c PropsPreBlocker_3 : 640378262
93.10/14.36	c (10,0) c PropsPreBlocker_4 : 648962911
93.10/14.36	c (10,0) c PropsPreBlocker_5 : 661053493
93.10/14.36	c (10,0) c PropsPreBlocker_6 : 638240316
93.10/14.36	c (10,0) c PropsPreBlocker_7 : 639014748
93.10/14.36	c (10,0) c PropsPreBlocker_total : 5140672904
93.10/14.36	c (10,0) c PropsPreBlocker_winner : 640378262
93.10/14.36	c (10,0) c PropsNotBlocker_0 : 122168795
93.10/14.36	c (10,0) c PropsNotBlocker_1 : 123968907
93.10/14.36	c (10,0) c PropsNotBlocker_2 : 122237874
93.10/14.36	c (10,0) c PropsNotBlocker_3 : 124582769
93.10/14.36	c (10,0) c PropsNotBlocker_4 : 122737691
93.10/14.36	c (10,0) c PropsNotBlocker_5 : 121975624
93.10/14.36	c (10,0) c PropsNotBlocker_6 : 120631212
93.10/14.36	c (10,0) c PropsNotBlocker_7 : 122333522
93.10/14.36	c (10,0) c PropsNotBlocker_total : 980636394
93.10/14.36	c (10,0) c PropsNotBlocker_winner : 124582769
93.10/14.36	c (10,0) c PropsLitFullScans_0 : 960057337
93.10/14.36	c (10,0) c PropsLitFullScans_1 : 960066929
93.10/14.36	c (10,0) c PropsLitFullScans_2 : 960062651
93.10/14.36	c (10,0) c PropsLitFullScans_3 : 963247234
93.10/14.36	c (10,0) c PropsLitFullScans_4 : 970971576
93.10/14.36	c (10,0) c PropsLitFullScans_5 : 984164052
93.10/14.36	c (10,0) c PropsLitFullScans_6 : 960192311
93.10/14.36	c (10,0) c PropsLitFullScans_7 : 960062575
93.10/14.36	c (10,0) c PropsLitFullScans_total : 7718824665
93.10/14.36	c (10,0) c PropsLitFullScans_winner : 963247234
93.10/14.36	c (10,0) c LitScanFractions_0 : 45950
93.10/14.36	c (10,0) c LitScanFractions_1 : 60569
93.10/14.36	c (10,0) c LitScanFractions_2 : 57766
93.10/14.36	c (10,0) c LitScanFractions_3 : 48740
93.10/14.36	c (10,0) c LitScanFractions_4 : 57773
93.10/14.36	c (10,0) c LitScanFractions_5 : 148817
93.10/14.36	c (10,0) c LitScanFractions_6 : 187411
93.10/14.36	c (10,0) c LitScanFractions_7 : 55815
93.10/14.36	c (10,0) c LitScanFractions_total : 662841
93.10/14.36	c (10,0) c LitScanFractions_winner : 48740
93.10/14.36	c (10,0) c DecisionLevel0_0 : 137
93.10/14.36	c (10,0) c DecisionLevel0_1 : 98
93.10/14.36	c (10,0) c DecisionLevel0_2 : 150
93.10/14.36	c (10,0) c DecisionLevel0_3 : 146
93.10/14.36	c (10,0) c DecisionLevel0_4 : 65
93.10/14.36	c (10,0) c DecisionLevel0_5 : 128
93.10/14.36	c (10,0) c DecisionLevel0_6 : 170
93.10/14.36	c (10,0) c DecisionLevel0_7 : 155
93.10/14.36	c (10,0) c DecisionLevel0_total : 1049
93.10/14.36	c (10,0) c DecisionLevel0_winner : 146
93.10/14.36	c (10,0) c Periods_0 : 160
93.10/14.36	c (10,0) c Periods_1 : 160
93.10/14.36	c (10,0) c Periods_2 : 160
93.10/14.36	c (10,0) c Periods_3 : 160
93.10/14.36	c (10,0) c Periods_4 : 161
93.10/14.36	c (10,0) c Periods_5 : 164
93.10/14.36	c (10,0) c Periods_6 : 160
93.10/14.36	c (10,0) c Periods_7 : 160
93.10/14.36	c (10,0) c Periods_total : 1285
93.10/14.36	c (10,0) c Periods_winner : 160
93.10/14.36	c (10,0) c Margin_0 : 20
93.10/14.36	c (10,0) c Margin_1 : 20
93.10/14.36	c (10,0) c Margin_2 : 20
93.10/14.36	c (10,0) c Margin_3 : 20
93.10/14.36	c (10,0) c Margin_4 : 20
93.10/14.36	c (10,0) c Margin_5 : 20
93.10/14.36	c (10,0) c Margin_6 : 20
93.10/14.36	c (10,0) c Margin_7 : 20
93.10/14.36	c (10,0) c Margin_total : 160
93.10/14.36	c (10,0) c Margin_winner : 20
93.10/14.36	c (10,0) c Exported_0 : 21710
93.10/14.36	c (10,0) c Exported_1 : 22337
93.10/14.36	c (10,0) c Exported_2 : 22366
93.10/14.36	c (10,0) c Exported_3 : 22254
93.10/14.36	c (10,0) c Exported_4 : 21908
93.10/14.36	c (10,0) c Exported_5 : 22646
93.10/14.36	c (10,0) c Exported_6 : 20115
93.10/14.36	c (10,0) c Exported_7 : 22479
93.10/14.36	c (10,0) c Exported_total : 175815
93.10/14.36	c (10,0) c Exported_winner : 22254
93.10/14.36	c (10,0) c Imported_0 : 140826
93.10/14.36	c (10,0) c Imported_1 : 139336
93.10/14.36	c (10,0) c Imported_2 : 137928
93.10/14.36	c (10,0) c Imported_3 : 141647
93.10/14.36	c (10,0) c Imported_4 : 142981
93.10/14.36	c (10,0) c Imported_5 : 144039
93.10/14.36	c (10,0) c Imported_6 : 143388
93.10/14.36	c (10,0) c Imported_7 : 137886
93.10/14.36	c (10,0) c Imported_total : 1128031
93.10/14.36	c (10,0) c Imported_winner : 141647
93.10/14.36	c (10,0) c Good_0 : 166
93.10/14.36	c (10,0) c Good_1 : 163
93.10/14.36	c (10,0) c Good_2 : 139
93.10/14.36	c (10,0) c Good_3 : 146
93.10/14.36	c (10,0) c Good_4 : 185
93.10/14.36	c (10,0) c Good_5 : 188
93.10/14.36	c (10,0) c Good_6 : 189
93.10/14.36	c (10,0) c Good_7 : 147
93.10/14.36	c (10,0) c Good_total : 1323
93.10/14.36	c (10,0) c Good_winner : 146
93.10/14.36	c (10,0) c Purge_0 : 140660
93.10/14.36	c (10,0) c Purge_1 : 139173
93.10/14.36	c (10,0) c Purge_2 : 137789
93.10/14.36	c (10,0) c Purge_3 : 141501
93.10/14.36	c (10,0) c Purge_4 : 142796
93.10/14.36	c (10,0) c Purge_5 : 143851
93.10/14.36	c (10,0) c Purge_6 : 143199
93.10/14.36	c (10,0) c Purge_7 : 137739
93.10/14.36	c (10,0) c Purge_total : 1126708
93.10/14.36	c (10,0) c Purge_winner : 141501
93.10/14.36	c (10,0) c Promoted_0 : 11956
93.10/14.36	c (10,0) c Promoted_1 : 12294
93.10/14.36	c (10,0) c Promoted_2 : 12008
93.10/14.36	c (10,0) c Promoted_3 : 11727
93.10/14.36	c (10,0) c Promoted_4 : 11905
93.10/14.36	c (10,0) c Promoted_5 : 11780
93.10/14.36	c (10,0) c Promoted_6 : 11830
93.10/14.36	c (10,0) c Promoted_7 : 12476
93.10/14.36	c (10,0) c Promoted_total : 95976
93.10/14.36	c (10,0) c Promoted_winner : 11727
93.10/14.36	c (10,0) c Remove_Imp_0 : 82978
93.10/14.36	c (10,0) c Remove_Imp_1 : 81479
93.10/14.36	c (10,0) c Remove_Imp_2 : 82983
93.10/14.36	c (10,0) c Remove_Imp_3 : 84379
93.10/14.37	c (10,0) c Remove_Imp_4 : 78537
93.10/14.37	c (10,0) c Remove_Imp_5 : 75940
93.10/14.37	c (10,0) c Remove_Imp_6 : 74126
93.10/14.37	c (10,0) c Remove_Imp_7 : 78021
93.10/14.37	c (10,0) c Remove_Imp_total : 638443
93.10/14.37	c (10,0) c Remove_Imp_winner : 84379
93.10/14.37	c (10,0) c Blocked_Reuse_0 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_1 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_2 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_3 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_4 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_5 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_6 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_7 : 0
93.10/14.37	c (10,0) c Blocked_Reuse_total : 0
93.10/14.37	c (10,0) c Blocked_Reuse_winner : 0
93.10/14.37	c (10,0) c Unaries_0 : 3
93.10/14.37	c (10,0) c Unaries_1 : 2
93.10/14.37	c (10,0) c Unaries_2 : 1
93.10/14.37	c (10,0) c Unaries_3 : 14
93.10/14.37	c (10,0) c Unaries_4 : 7
93.10/14.37	c (10,0) c Unaries_5 : 8
93.10/14.37	c (10,0) c Unaries_6 : 0
93.10/14.37	c (10,0) c Unaries_7 : 4
93.10/14.37	c (10,0) c Unaries_total : 39
93.10/14.37	c (10,0) c Unaries_winner : 14
93.10/14.37	c (10,0) c Binaries_0 : 37
93.10/14.37	c (10,0) c Binaries_1 : 42
93.10/14.37	c (10,0) c Binaries_2 : 36
93.10/14.37	c (10,0) c Binaries_3 : 103
93.10/14.37	c (10,0) c Binaries_4 : 53
93.10/14.37	c (10,0) c Binaries_5 : 79
93.10/14.37	c (10,0) c Binaries_6 : 13
93.10/14.37	c (10,0) c Binaries_7 : 48
93.10/14.37	c (10,0) c Binaries_total : 411
93.10/14.37	c (10,0) c Binaries_winner : 103
93.10/14.37	c (10,0) c Glues_0 : 394
93.10/14.37	c (10,0) c Glues_1 : 434
93.10/14.37	c (10,0) c Glues_2 : 366
93.10/14.37	c (10,0) c Glues_3 : 450
93.10/14.37	c (10,0) c Glues_4 : 429
93.10/14.37	c (10,0) c Glues_5 : 434
93.10/14.37	c (10,0) c Glues_6 : 377
93.10/14.37	c (10,0) c Glues_7 : 368
93.10/14.37	c (10,0) c Glues_total : 3252
93.10/14.37	c (10,0) c Glues_winner : 450
93.10/14.37	c (10,0) c RunningTime_0 : 10.459027
93.10/14.37	c (10,0) c RunningTime_1 : 10.263786
93.10/14.37	c (10,0) c RunningTime_2 : 10.285764
93.10/14.37	c (10,0) c RunningTime_3 : 10.237011
93.10/14.37	c (10,0) c RunningTime_4 : 10.131667
93.10/14.37	c (10,0) c RunningTime_5 : 10.192706
93.10/14.37	c (10,0) c RunningTime_6 : 10.234849
93.10/14.37	c (10,0) c RunningTime_7 : 10.538010
93.10/14.37	c (10,0) c RunningTime_total : 82.342821
93.10/14.37	c (10,0) c RunningTime_winner : 10.237011
93.10/14.37	c (10,0) c WaitingTime_0 : 0.000207
93.10/14.37	c (10,0) c WaitingTime_1 : 0.000194
93.10/14.37	c (10,0) c WaitingTime_2 : 0.000180
93.10/14.37	c (10,0) c WaitingTime_3 : 0.000195
93.10/14.37	c (10,0) c WaitingTime_4 : 0.000199
93.10/14.37	c (10,0) c WaitingTime_5 : 0.000212
93.10/14.37	c (10,0) c WaitingTime_6 : 0.000175
93.10/14.37	c (10,0) c WaitingTime_7 : 0.000146
93.10/14.37	c (10,0) c WaitingTime_total : 0.001507
93.10/14.37	c (10,0) c WaitingTime_winner : 0.000195
93.10/14.37	c (10,0) c ExchangingTime_0 : 0.042127
93.10/14.37	c (10,0) c ExchangingTime_1 : 0.038768
93.10/14.37	c (10,0) c ExchangingTime_2 : 0.042381
93.10/14.37	c (10,0) c ExchangingTime_3 : 0.040330
93.10/14.37	c (10,0) c ExchangingTime_4 : 0.037275
93.10/14.37	c (10,0) c ExchangingTime_5 : 0.043095
93.10/14.37	c (10,0) c ExchangingTime_6 : 0.043015
93.10/14.37	c (10,0) c ExchangingTime_7 : 0.040031
93.10/14.37	c (10,0) c ExchangingTime_total : 0.327022
93.10/14.37	c (10,0) c ExchangingTime_winner : 0.040330
93.10/14.37	c (10,0) c PeriodProcTime_0 : 0.001029
93.10/14.37	c (10,0) c PeriodProcTime_1 : 0.001129
93.10/14.37	c (10,0) c PeriodProcTime_2 : 0.001138
93.10/14.37	c (10,0) c PeriodProcTime_3 : 0.001119
93.10/14.37	c (10,0) c PeriodProcTime_4 : 0.001046
93.10/14.37	c (10,0) c PeriodProcTime_5 : 0.001098
93.10/14.37	c (10,0) c PeriodProcTime_6 : 0.001032
93.10/14.37	c (10,0) c PeriodProcTime_7 : 0.001182
93.10/14.37	c (10,0) c PeriodProcTime_total : 0.008773
93.10/14.37	c (10,0) c PeriodProcTime_winner : 0.001119
93.10/14.37	c (10,0) c SolvingTime_0 : 10.502391
93.10/14.37	c (10,0) c SolvingTime_1 : 10.303878
93.10/14.37	c (10,0) c SolvingTime_2 : 10.329463
93.10/14.37	c (10,0) c SolvingTime_3 : 10.278655
93.10/14.37	c (10,0) c SolvingTime_4 : 10.170187
93.10/14.37	c (10,0) c SolvingTime_5 : 10.237111
93.10/14.37	c (10,0) c SolvingTime_6 : 10.279071
93.10/14.37	c (10,0) c SolvingTime_7 : 10.579370
93.10/14.37	c (10,0) c SolvingTime_total : 82.680124
93.10/14.37	c (10,0) c SolvingTime_winner : 10.278655
93.10/14.37	c (10,0) c PropagationTime_0 : 9.087041
93.10/14.37	c (10,0) c PropagationTime_1 : 8.975943
93.10/14.37	c (10,0) c PropagationTime_2 : 8.941732
93.10/14.37	c (10,0) c PropagationTime_3 : 8.913388
93.10/14.37	c (10,0) c PropagationTime_4 : 8.819405
93.10/14.37	c (10,0) c PropagationTime_5 : 8.933270
93.10/14.37	c (10,0) c PropagationTime_6 : 8.960677
93.10/14.37	c (10,0) c PropagationTime_7 : 9.204576
93.10/14.37	c (10,0) c PropagationTime_total : 71.836033
93.10/14.37	c (10,0) c PropagationTime_winner : 8.913388
93.10/14.37	c (10,0) c AnalysisTime_0 : 0.967098
93.10/14.37	c (10,0) c AnalysisTime_1 : 0.916828
93.10/14.37	c (10,0) c AnalysisTime_2 : 1.000506
93.10/14.37	c (10,0) c AnalysisTime_3 : 0.939799
93.10/14.37	c (10,0) c AnalysisTime_4 : 0.942681
93.10/14.37	c (10,0) c AnalysisTime_5 : 0.879411
93.10/14.37	c (10,0) c AnalysisTime_6 : 0.902471
93.10/14.37	c (10,0) c AnalysisTime_7 : 0.954110
93.10/14.37	c (10,0) c AnalysisTime_total : 7.502903
93.10/14.37	c (10,0) c AnalysisTime_winner : 0.939799
93.10/14.37	c (10,0) c ReductionTime_0 : 0.153976
93.10/14.37	c (10,0) c ReductionTime_1 : 0.155919
93.10/14.37	c (10,0) c ReductionTime_2 : 0.146228
93.10/14.37	c (10,0) c ReductionTime_3 : 0.146750
93.10/14.37	c (10,0) c ReductionTime_4 : 0.168381
93.10/14.37	c (10,0) c ReductionTime_5 : 0.174632
93.10/14.37	c (10,0) c ReductionTime_6 : 0.174174
93.10/14.37	c (10,0) c ReductionTime_7 : 0.162243
93.10/14.37	c (10,0) c ReductionTime_total : 1.282303
93.10/14.37	c (10,0) c ReductionTime_winner : 0.146750
93.10/14.37	c (10,0) c SimplifyTime_0 : 0.038411
93.10/14.37	c (10,0) c SimplifyTime_1 : 0.036504
93.10/14.37	c (10,0) c SimplifyTime_2 : 0.021499
93.10/14.37	c (10,0) c SimplifyTime_3 : 0.045373
93.10/14.37	c (10,0) c SimplifyTime_4 : 0.025824
93.10/14.37	c (10,0) c SimplifyTime_5 : 0.025028
93.10/14.37	c (10,0) c SimplifyTime_6 : 0.015686
93.10/14.37	c (10,0) c SimplifyTime_7 : 0.030307
93.10/14.37	c (10,0) c SimplifyTime_total : 0.238632
93.10/14.37	c (10,0) c SimplifyTime_winner : 0.045373
93.10/14.37	c (10,0) c UsedRateTime_0 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_1 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_2 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_3 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_4 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_5 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_6 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_7 : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_total : 0.000000
93.10/14.37	c (10,0) c UsedRateTime_winner : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_0 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_1 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_2 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_3 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_4 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_5 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_6 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_7 : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_total : 0.000000
93.10/14.37	c (10,0) c OverlapRateTime_winner : 0.000000
93.10/14.37	c (10,0) c
93.10/14.37	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
93.10/14.37	c (10,0) c
93.10/14.37	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.37	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.10/14.37	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.37	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
93.10/14.37	c (10,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
93.10/14.37	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
93.10/14.37	c (10,0) c | Initial random_seed   | 1779802622 | 2030873478 | 1184119267 |   82175062 |  713279280 | 1798920842 | 1525002993 | 1914710285 |
93.10/14.37	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
93.10/14.37	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
93.10/14.37	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
93.10/14.37	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
93.10/14.37	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
93.10/14.37	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
93.10/14.37	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
93.10/14.37	c (10,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.10/14.37	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.10/14.37	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
93.10/14.37	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
93.10/14.37	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.10/14.37	c (10,0) 
93.10/14.37	c (10,0) s UNSATISFIABLE
93.10/14.37	c (10,0) SatSolver.solve End
93.10/14.37	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.10/14.37	c (10,0) Show results Begin
93.10/14.37	s UNSATISFIABLE
93.10/14.37	c (10,0) Show results End
93.10/14.37	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.10/14.38	c (10,0) 10,10,STOP-AFTER(ALL)
93.10/14.38	c END-Prog: Sat Sep 14 01:30: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 (14066 MiB free)
  memory of node 1: 16384 MiB (14114 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=21270, runsolver pid=21267

[startup+0.100059 s]*
/proc/loadavg: 1.17 1.09 1.42 3/212 21292
/proc/meminfo: memFree=28760040/32770624 swapFree=66998528/67108860
[pid=21270] ppid=21267 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21270/stat : 21270 (scop.sh) S 21267 21270 21089 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418013061 115843072 349 33554432000 4194304 5098028 140720924536624 140720924533880 139686512644732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33951744 140720924541733 140720924542060 140720924542060 140720924544973 0
/proc/21270/statm: 28282 349 296 221 0 87 0
[pid=21273] ppid=21270 vsize=27314120 memory=107340 CPUtime=0.11 cores=0-7
/proc/21273/stat : 21273 (java) S 21270 21270 21089 0 -1 1077944320 6914 0 0 0 8 3 0 0 20 0 20 0 418013062 27969658880 26835 33554432000 4194304 4196468 140729596697872 140729596680416 139660507774711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
/proc/21273/statm: 6828530 26835 2803 1 0 6790935 0
[pid=21273/tid=21274] ppid=21270 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/21273/task/21274/stat : 21274 (java) R 21270 21270 21089 0 -1 4202560 5017 0 0 0 6 2 0 0 20 0 20 0 418013062 27969658880 26835 33554432000 4194304 4196468 140729596697872 139660479611552 139660491855198 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21275] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21275/stat : 21275 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139660512017424 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21276] ppid=21270 vsize=27314120 memory=288370983708792448 CPUtime=0 cores=0-7
/proc/21273/task/21276/stat : 21276 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139660326173840 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21277] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21277/stat : 21277 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139660325120784 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21278] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21278/stat : 21278 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659928304528 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21279] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21279/stat : 21279 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659927251472 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21280] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21280/stat : 21280 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659926198928 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21281] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21281/stat : 21281 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659925145872 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21282] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21282/stat : 21282 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659924093328 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21283] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21283/stat : 21283 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659431934704 139660507785858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21284] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21284/stat : 21284 (java) S 21270 21270 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 26835 33554432000 4194304 4196468 140729596697872 139658444924576 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21285] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21285/stat : 21285 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 26835 33554432000 4194304 4196468 140729596697872 139658176488688 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21286] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21286/stat : 21286 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139657801980368 139660507793307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21287] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21287/stat : 21287 (java) S 21270 21270 21089 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659430881520 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21288] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21288/stat : 21288 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659429828976 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21289] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21289/stat : 21289 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659428775920 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21290] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21290/stat : 21290 (java) S 21270 21270 21089 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659427723376 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21291] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21291/stat : 21291 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139657304075232 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21292] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21292/stat : 21292 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 26835 33554432000 4194304 4196468 140729596697872 139659426671792 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108736 KiB

[startup+0.210554 s]*
/proc/loadavg: 1.17 1.09 1.42 2/212 21292
/proc/meminfo: memFree=28741448/32770624 swapFree=66998528/67108860
[pid=21270] ppid=21267 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21270/stat : 21270 (scop.sh) S 21267 21270 21089 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418013061 115843072 349 33554432000 4194304 5098028 140720924536624 140720924533880 139686512644732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33951744 140720924541733 140720924542060 140720924542060 140720924544973 0
/proc/21270/statm: 28282 349 296 221 0 87 0
[pid=21273] ppid=21270 vsize=27314120 memory=124344 CPUtime=0.25 cores=0-7
/proc/21273/stat : 21273 (java) S 21270 21270 21089 0 -1 1077944320 11783 0 0 0 20 5 0 0 20 0 20 0 418013062 27969658880 31086 33554432000 4194304 4196468 140729596697872 140729596680416 139660507774711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
/proc/21273/statm: 6828530 31086 2920 1 0 6790935 0
[pid=21273/tid=21274] ppid=21270 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21273/task/21274/stat : 21274 (java) R 21270 21270 21089 0 -1 4202560 9501 0 0 0 16 4 0 0 20 0 20 0 418013062 27969658880 31086 33554432000 4194304 4196468 140729596697872 139660479595632 139660489338271 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21275] ppid=21270 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/21273/task/21275/stat : 21275 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139660512017424 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21276] ppid=21270 vsize=27314120 memory=140607557101027 CPUtime=0 cores=0-7
/proc/21273/task/21276/stat : 21276 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139660326173840 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21277] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21277/stat : 21277 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139660325120784 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21278] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21278/stat : 21278 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659928304528 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21279] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21279/stat : 21279 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659927251472 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21280] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21280/stat : 21280 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659926198928 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21281] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21281/stat : 21281 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659925145872 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21282] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21282/stat : 21282 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659924093328 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21283] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21283/stat : 21283 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659431934704 139660507785858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21284] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21284/stat : 21284 (java) S 21270 21270 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 31086 33554432000 4194304 4196468 140729596697872 139658444924576 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21285] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21285/stat : 21285 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 31086 33554432000 4194304 4196468 140729596697872 139658176488688 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21286] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21286/stat : 21286 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139657801980368 139660507793307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21287] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21287/stat : 21287 (java) S 21270 21270 21089 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659430881520 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21288] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21288/stat : 21288 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659429828976 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21289] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21289/stat : 21289 (java) S 21270 21270 21089 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659428775920 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21290] ppid=21270 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21273/task/21290/stat : 21290 (java) S 21270 21270 21089 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659427723376 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21291] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21291/stat : 21291 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139657304075232 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21292] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21292/stat : 21292 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31086 33554432000 4194304 4196468 140729596697872 139659426671792 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125740 KiB

[startup+0.310393 s]*
/proc/loadavg: 1.24 1.10 1.42 2/212 21292
/proc/meminfo: memFree=28738408/32770624 swapFree=66998528/67108860
[pid=21270] ppid=21267 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21270/stat : 21270 (scop.sh) S 21267 21270 21089 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418013061 115843072 349 33554432000 4194304 5098028 140720924536624 140720924533880 139686512644732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33951744 140720924541733 140720924542060 140720924542060 140720924544973 0
/proc/21270/statm: 28282 349 296 221 0 87 0
[pid=21273] ppid=21270 vsize=27314120 memory=127888 CPUtime=0.42 cores=0-7
/proc/21273/stat : 21273 (java) S 21270 21270 21089 0 -1 1077944320 12844 0 0 0 37 5 0 0 20 0 20 0 418013062 27969658880 31972 33554432000 4194304 4196468 140729596697872 140729596680416 139660507774711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
/proc/21273/statm: 6828530 31972 3021 1 0 6790935 0
[pid=21273/tid=21274] ppid=21270 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21273/task/21274/stat : 21274 (java) R 21270 21270 21089 0 -1 4202560 10393 0 0 0 25 4 0 0 20 0 20 0 418013062 27969658880 31972 33554432000 4194304 4196468 140729596697872 139660479557728 139660491855198 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21275] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21275/stat : 21275 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139660512017424 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21276] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21276/stat : 21276 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139660326173840 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21277] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21277/stat : 21277 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139660325120784 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21278] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21278/stat : 21278 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659928304528 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21279] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21279/stat : 21279 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659927251472 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21280] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21280/stat : 21280 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659926198928 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21281] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21281/stat : 21281 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659925145872 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21282] ppid=21270 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/21273/task/21282/stat : 21282 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013064 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659924093328 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21283] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21283/stat : 21283 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659431934704 139660507785858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21284] ppid=21270 vsize=27314120 memory=281214862957952 CPUtime=0 cores=0-7
/proc/21273/task/21284/stat : 21284 (java) S 21270 21270 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 31972 33554432000 4194304 4196468 140729596697872 139658444924576 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21285] ppid=21270 vsize=27314120 memory=281214862962560 CPUtime=0 cores=0-7
/proc/21273/task/21285/stat : 21285 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013066 27969658880 31972 33554432000 4194304 4196468 140729596697872 139658176488688 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21286] ppid=21270 vsize=27314120 memory=281214862967168 CPUtime=0 cores=0-7
/proc/21273/task/21286/stat : 21286 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139657801980368 139660507793307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21287] ppid=21270 vsize=27314120 memory=281214862971776 CPUtime=0.01 cores=0-7
/proc/21273/task/21287/stat : 21287 (java) S 21270 21270 21089 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659430881520 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21288] ppid=21270 vsize=27314120 memory=281214862976384 CPUtime=0 cores=0-7
/proc/21273/task/21288/stat : 21288 (java) S 21270 21270 21089 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659429828976 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21289] ppid=21270 vsize=27314120 memory=281214862980992 CPUtime=0.01 cores=0-7
/proc/21273/task/21289/stat : 21289 (java) R 21270 21270 21089 0 -1 4202560 107 0 0 0 1 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659428775920 139660487610657 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21290] ppid=21270 vsize=27314120 memory=281214862985600 CPUtime=0.07 cores=0-7
/proc/21273/task/21290/stat : 21290 (java) S 21270 21270 21089 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659427723376 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21291] ppid=21270 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21291/stat : 21291 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139657304075232 139660507784917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21292] ppid=21270 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21273/task/21292/stat : 21292 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013069 27969658880 31972 33554432000 4194304 4196468 140729596697872 139659426671792 139660507785858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129284 KiB

[startup+0.703763 s]
/proc/loadavg: 1.24 1.10 1.42 2/212 21292
/proc/meminfo: memFree=28715452/32770624 swapFree=66998528/67108860
[pid=21270] ppid=21267 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21270/stat : 21270 (scop.sh) S 21267 21270 21089 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418013061 115843072 349 33554432000 4194304 5098028 140720924536624 140720924533880 139686512644732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33951744 140720924541733 140720924542060 140720924542060 140720924544973 0
/proc/21270/statm: 28282 349 296 221 0 87 0
[pid=21273] ppid=21270 vsize=27320392 memory=167484 CPUtime=1.03 cores=0-7
/proc/21273/stat : 21273 (java) S 21270 21270 21089 0 -1 1077944320 20443 0 0 0 96 7 0 0 20 0 20 0 418013062 27976081408 41871 33554432000 4194304 4196468 140729596697872 140729596680416 139660507774711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
/proc/21273/statm: 6830098 41871 3193 1 0 6791447 0
[pid=21273/tid=21274] ppid=21270 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/21273/task/21274/stat : 21274 (java) R 21270 21270 21089 0 -1 4202560 17340 0 0 0 62 6 0 0 20 0 20 0 418013062 27976081408 41871 33554432000 4194304 4196468 140729596697872 139660479611696 139660005363009 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21275] ppid=21270 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21275/stat : 21275 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27976081408 41871 33554432000 4194304 4196468 140729596697872 139660512017424 139660507784917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21276] ppid=21270 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21273/task/21276/stat : 21276 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27976081408 41871 33554432000 4194304 4196468 140729596697872 139660326173840 139660507784917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0
[pid=21273/tid=21277] ppid=21270 vsize=27320392 memory=1204 CPUtime=0 cores=0-7
/proc/21273/task/21277/stat : 21277 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418013064 27976081408 41871 33554432000 4194304 4196468 140729596697872 139660325120784 139660507784917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8953856 140729596699371 140729596699798 140729596699798 140729596702671 0

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

[pid=21293/tid=21304] ppid=21270 vsize=8414124 memory=4131 CPUtime=0 cores=0-7
/proc/21293/task/21304/stat : 21304 (java) S 21270 21270 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418013367 8616062976 29539 33554432000 4194304 4196468 140737141704112 139691462485152 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21305] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21305/stat : 21305 (java) S 21270 21270 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418013367 8616062976 29539 33554432000 4194304 4196468 140737141704112 139691328262896 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21306] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21306/stat : 21306 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690953758672 139693141596059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21307] ppid=21270 vsize=8414124 memory=953 CPUtime=0.07 cores=0-7
/proc/21293/task/21307/stat : 21307 (java) S 21270 21270 21089 0 -1 1077944384 644 0 0 0 7 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692502440688 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21308] ppid=21270 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/21293/task/21308/stat : 21308 (java) S 21270 21270 21089 0 -1 1077944384 179 0 0 0 4 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692501388144 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21309] ppid=21270 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/21293/task/21309/stat : 21309 (java) S 21270 21270 21089 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692500335088 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21310] ppid=21270 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/21293/task/21310/stat : 21310 (java) S 21270 21270 21089 0 -1 1077944384 505 0 0 0 19 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692499282544 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21311] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21311/stat : 21311 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013370 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690455853536 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21312] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21312/stat : 21312 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013370 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692498229936 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21314] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21314/stat : 21314 (java) S 21270 21270 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692490195904 139693141602073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21316] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21316/stat : 21316 (java) S 21270 21270 21089 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690053189648 139693141599389 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21317] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21317/stat : 21317 (java) S 21270 21270 21089 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139689784754320 139693141599389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21326] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21326/stat : 21326 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013438 8616062976 29539 33554432000 4194304 4196468 140737141704112 139689516326320 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
Current children cumulated CPU time: 92.29 s
Current children cumulated vsize: 9164756 KiB
Current children cumulated memory: 284164 KiB

[startup+14.2012 s]
/proc/loadavg: 2.13 1.30 1.48 8/224 21326
/proc/meminfo: memFree=28585992/32770624 swapFree=66998528/67108860
[pid=21270] ppid=21267 vsize=113128 memory=1476 CPUtime=9.53 cores=0-7
/proc/21270/stat : 21270 (scop.sh) S 21267 21270 21089 0 -1 4202496 582 31922 0 0 0 0 931 22 20 0 1 0 418013061 115843072 369 33554432000 4194304 5098028 140720924536624 140720924533368 139686512644732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33951744 140720924541733 140720924542060 140720924542060 140720924544973 0
/proc/21270/statm: 28282 369 311 221 0 87 0
[pid=21293] ppid=21270 vsize=8414124 memory=118156 CPUtime=1.16 cores=0-7
/proc/21293/stat : 21293 (java) S 21270 21270 21089 0 -1 1077944320 20032 0 0 0 109 7 0 0 20 0 24 0 418013363 8616062976 29539 33554432000 4194304 4196468 140737141704112 140737141686656 139693141577463 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
/proc/21293/statm: 2103531 29539 3201 1 0 2064875 0
[pid=21313] ppid=21293 vsize=637636 memory=164728 CPUtime=82.23 cores=0-7
/proc/21313/stat : 21313 (manyglucose-4.1) S 21293 21270 21089 0 -1 1077944320 124217 0 0 0 8202 21 0 0 20 0 3 0 418013436 652939264 41182 33554432000 4194304 4454172 140726446517536 140726446515920 140167543770871 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 38002688 140726446519145 140726446519344 140726446519344 140726446522298 0
/proc/21313/statm: 159409 41182 416 64 0 155077 0
[pid=21313/tid=21318] ppid=21293 vsize=637636 memory=16100368647981698 CPUtime=10.41 cores=0-7
/proc/21313/task/21318/stat : 21318 (manyglucose-4.1) R 21293 21270 21089 0 -1 4202560 15258 0 0 0 1039 2 0 0 20 0 3 0 418013437 652939264 41182 33554432000 4194304 4454172 140726446517536 140167528553336 4349922 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38002688 140726446519145 140726446519344 140726446519344 140726446522298 0
[pid=21313/tid=21325] ppid=21293 vsize=637636 memory=118156 CPUtime=10.42 cores=0-7
/proc/21313/task/21325/stat : 21325 (manyglucose-4.1) R 21293 21270 21089 0 -1 4202560 15598 0 0 0 1041 1 0 0 20 0 3 0 418013437 652939264 41182 33554432000 4194304 4454172 140726446517536 140167478196984 4350363 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 38002688 140726446519145 140726446519344 140726446519344 140726446522298 0
[pid=21293/tid=21294] ppid=21270 vsize=8414124 memory=137888 CPUtime=0.75 cores=0-7
/proc/21293/task/21294/stat : 21294 (java) S 21270 21270 21089 0 -1 1077944384 16944 0 0 0 70 5 0 0 20 0 24 0 418013363 8616062976 29539 33554432000 4194304 4196468 140737141704112 139693113417632 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21295] ppid=21270 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/21293/task/21295/stat : 21295 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139693145819664 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21296] ppid=21270 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/21293/task/21296/stat : 21296 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692945988240 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21297] ppid=21270 vsize=8414124 memory=1211 CPUtime=0 cores=0-7
/proc/21293/task/21297/stat : 21297 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692944935184 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21298] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21298/stat : 21298 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692943882640 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21299] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21299/stat : 21299 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692942830608 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21300] ppid=21270 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21293/task/21300/stat : 21300 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692941778064 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21301] ppid=21270 vsize=8414124 memory=118156 CPUtime=0 cores=0-7
/proc/21293/task/21301/stat : 21301 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692940725008 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21302] ppid=21270 vsize=8414124 memory=40840 CPUtime=0 cores=0-7
/proc/21293/task/21302/stat : 21302 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692620114832 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21303] ppid=21270 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/21293/task/21303/stat : 21303 (java) S 21270 21270 21089 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418013366 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692503492848 139693141588610 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21304] ppid=21270 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/21293/task/21304/stat : 21304 (java) S 21270 21270 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418013367 8616062976 29539 33554432000 4194304 4196468 140737141704112 139691462485152 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21305] ppid=21270 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/21293/task/21305/stat : 21305 (java) S 21270 21270 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418013367 8616062976 29539 33554432000 4194304 4196468 140737141704112 139691328262896 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21306] ppid=21270 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/21293/task/21306/stat : 21306 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690953758672 139693141596059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21307] ppid=21270 vsize=8414124 memory=2948 CPUtime=0.07 cores=0-7
/proc/21293/task/21307/stat : 21307 (java) S 21270 21270 21089 0 -1 1077944384 644 0 0 0 7 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692502440688 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21308] ppid=21270 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/21293/task/21308/stat : 21308 (java) S 21270 21270 21089 0 -1 1077944384 179 0 0 0 4 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692501388144 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21309] ppid=21270 vsize=8414124 memory=118156 CPUtime=0.06 cores=0-7
/proc/21293/task/21309/stat : 21309 (java) S 21270 21270 21089 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692500335088 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21310] ppid=21270 vsize=8414124 memory=159272 CPUtime=0.19 cores=0-7
/proc/21293/task/21310/stat : 21310 (java) S 21270 21270 21089 0 -1 1077944384 505 0 0 0 19 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692499282544 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21311] ppid=21270 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/21293/task/21311/stat : 21311 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013370 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690455853536 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21312] ppid=21270 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/21293/task/21312/stat : 21312 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013370 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692498229936 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21314] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21314/stat : 21314 (java) S 21270 21270 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692490195904 139693141602073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21316] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21316/stat : 21316 (java) S 21270 21270 21089 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690053189648 139693141599389 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21317] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21317/stat : 21317 (java) S 21270 21270 21089 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139689784754320 139693141599389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21326] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21326/stat : 21326 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013438 8616062976 29539 33554432000 4194304 4196468 140737141704112 139689516326320 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
Current children cumulated CPU time: 92.92 s
Current children cumulated vsize: 9164888 KiB
Current children cumulated memory: 284360 KiB

[startup+14.3011 s]
/proc/loadavg: 2.13 1.30 1.48 8/224 21326
/proc/meminfo: memFree=28585992/32770624 swapFree=66998528/67108860
[pid=21270] ppid=21267 vsize=113128 memory=1476 CPUtime=9.53 cores=0-7
/proc/21270/stat : 21270 (scop.sh) S 21267 21270 21089 0 -1 4202496 582 31922 0 0 0 0 931 22 20 0 1 0 418013061 115843072 369 33554432000 4194304 5098028 140720924536624 140720924533368 139686512644732 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33951744 140720924541733 140720924542060 140720924542060 140720924544973 0
/proc/21270/statm: 28282 369 311 221 0 87 0
[pid=21293] ppid=21270 vsize=8414124 memory=118156 CPUtime=1.16 cores=0-7
/proc/21293/stat : 21293 (java) S 21270 21270 21089 0 -1 1077944320 20032 0 0 0 109 7 0 0 20 0 24 0 418013363 8616062976 29539 33554432000 4194304 4196468 140737141704112 140737141686656 139693141577463 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
/proc/21293/statm: 2103531 29539 3201 1 0 2064875 0
[pid=21313] ppid=21293 vsize=613048 memory=164780 CPUtime=82.41 cores=0-7
/proc/21313/stat : 21313 (manyglucose-4.1) S 21293 21270 21089 0 -1 1077944320 124237 0 0 0 8220 21 0 0 20 0 2 0 418013436 627761152 41195 33554432000 4194304 4454172 140726446517536 140726446515920 140167543770871 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 38002688 140726446519145 140726446519344 140726446519344 140726446522298 0
/proc/21313/statm: 153262 41195 418 64 0 148930 0
[pid=21313/tid=21325] ppid=21293 vsize=613048 memory=159360 CPUtime=10.52 cores=0-7
/proc/21313/task/21325/stat : 21325 (manyglucose-4.1) R 21293 21270 21089 0 -1 4202560 15612 0 0 0 1051 1 0 0 20 0 2 0 418013437 627761152 41195 33554432000 4194304 4454172 140726446517536 140167478196984 4349892 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 38002688 140726446519145 140726446519344 140726446519344 140726446522298 0
[pid=21293/tid=21294] ppid=21270 vsize=8414124 memory=281214862762816 CPUtime=0.75 cores=0-7
/proc/21293/task/21294/stat : 21294 (java) S 21270 21270 21089 0 -1 1077944384 16944 0 0 0 70 5 0 0 20 0 24 0 418013363 8616062976 29539 33554432000 4194304 4196468 140737141704112 139693113417632 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21295] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21295/stat : 21295 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139693145819664 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21296] ppid=21270 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/21293/task/21296/stat : 21296 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692945988240 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21297] ppid=21270 vsize=8414124 memory=-8458152057954561420 CPUtime=0 cores=0-7
/proc/21293/task/21297/stat : 21297 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692944935184 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21298] ppid=21270 vsize=8414124 memory=7686721470284404628 CPUtime=0 cores=0-7
/proc/21293/task/21298/stat : 21298 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692943882640 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21299] ppid=21270 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/21293/task/21299/stat : 21299 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692942830608 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21300] ppid=21270 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/21293/task/21300/stat : 21300 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692941778064 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21301] ppid=21270 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/21293/task/21301/stat : 21301 (java) S 21270 21270 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692940725008 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21302] ppid=21270 vsize=8414124 memory=281214863445536 CPUtime=0 cores=0-7
/proc/21293/task/21302/stat : 21302 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013365 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692620114832 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21303] ppid=21270 vsize=8414124 memory=739411682264472976 CPUtime=0 cores=0-7
/proc/21293/task/21303/stat : 21303 (java) S 21270 21270 21089 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418013366 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692503492848 139693141588610 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21304] ppid=21270 vsize=8414124 memory=140607431753158 CPUtime=0 cores=0-7
/proc/21293/task/21304/stat : 21304 (java) S 21270 21270 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418013367 8616062976 29539 33554432000 4194304 4196468 140737141704112 139691462485152 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21305] ppid=21270 vsize=8414124 memory=140607431753992 CPUtime=0 cores=0-7
/proc/21293/task/21305/stat : 21305 (java) S 21270 21270 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418013367 8616062976 29539 33554432000 4194304 4196468 140737141704112 139691328262896 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21306] ppid=21270 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/21293/task/21306/stat : 21306 (java) S 21270 21270 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690953758672 139693141596059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21307] ppid=21270 vsize=8414124 memory=4160 CPUtime=0.07 cores=0-7
/proc/21293/task/21307/stat : 21307 (java) S 21270 21270 21089 0 -1 1077944384 644 0 0 0 7 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692502440688 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21308] ppid=21270 vsize=8414124 memory=1056 CPUtime=0.04 cores=0-7
/proc/21293/task/21308/stat : 21308 (java) S 21270 21270 21089 0 -1 1077944384 179 0 0 0 4 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692501388144 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21309] ppid=21270 vsize=8414124 memory=1204 CPUtime=0.06 cores=0-7
/proc/21293/task/21309/stat : 21309 (java) S 21270 21270 21089 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692500335088 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21310] ppid=21270 vsize=8414124 memory=1536 CPUtime=0.19 cores=0-7
/proc/21293/task/21310/stat : 21310 (java) S 21270 21270 21089 0 -1 1077944384 505 0 0 0 19 0 0 0 20 0 24 0 418013369 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692499282544 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21311] ppid=21270 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/21293/task/21311/stat : 21311 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013370 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690455853536 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21312] ppid=21270 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/21293/task/21312/stat : 21312 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013370 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692498229936 139693141588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21314] ppid=21270 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21293/task/21314/stat : 21314 (java) S 21270 21270 21089 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139692490195904 139693141602073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21316] ppid=21270 vsize=8414124 memory=118156 CPUtime=0 cores=0-7
/proc/21293/task/21316/stat : 21316 (java) S 21270 21270 21089 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139690053189648 139693141599389 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21317] ppid=21270 vsize=8414124 memory=164248 CPUtime=0 cores=0-7
/proc/21293/task/21317/stat : 21317 (java) S 21270 21270 21089 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 418013436 8616062976 29539 33554432000 4194304 4196468 140737141704112 139689784754320 139693141599389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
[pid=21293/tid=21326] ppid=21270 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21293/task/21326/stat : 21326 (java) S 21270 21270 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418013438 8616062976 29539 33554432000 4194304 4196468 140737141704112 139689516326320 139693141587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16887808 140737141707767 140737141707926 140737141707926 140737141710799 0
Current children cumulated CPU time: 93.1 s
Current children cumulated vsize: 9140300 KiB
Current children cumulated memory: 284412 KiB

Child status: 0
Real time (s): 14.3894
CPU time (s): 93.2755
CPU user time (s): 92.7329
CPU system time (s): 0.542557
CPU usage (%): 648.225
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 614488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.7329
system time used= 0.542557
maximum resident set size= 629864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9135
involuntary context switches= 1031


# summary of solver processes directly reported to runsolver:
#   pid: 21270
#   total CPU time (s): 93.2755
#   total CPU user time (s): 92.7329
#   total CPU system time (s): 0.542557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.1372 second user time and 0.234725 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 01:30:02
IDJOB=4392276
IDBENCH=121909
IDSOLVER=2838
FILE ID=node127/4392276-1568417442
RUNJOBID= node127-1568417392-21116
PBS_JOBID= 21702273
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-79.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392276-1568417442/watcher-4392276-1568417442 -o /tmp/evaluation-result-4392276-1568417442/solver-4392276-1568417442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568417392-21116 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392276-1568417442.xml

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

MD5SUM BENCH= c0f256b6b5f799b1206df7220afe38a7
RANDOM SEED=1932681875

node127.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.55
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.55
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.55
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.55
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:        28856572 kB
MemAvailable:   31870880 kB
Buffers:          177904 kB
Cached:          3101252 kB
SwapCached:         6772 kB
Active:          1894348 kB
Inactive:        1395628 kB
Active(anon):       3896 kB
Inactive(anon):    48308 kB
Active(file):    1890452 kB
Inactive(file):  1347320 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20828 kB
Writeback:             4 kB
AnonPages:        114260 kB
Mapped:            44524 kB
Shmem:             32700 kB
Slab:             215424 kB
SReclaimable:     184740 kB
SUnreclaim:        30684 kB
KernelStack:        3360 kB
PageTables:         5920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-14 01:30:16