Trace number 4392576

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-27291-serial-file.bin HOME/instance-4392576-1568417450.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 01:30:08 CEST 2019
0.66/0.57	c PID: 27294
0.66/0.57	c IP: 172.20.3.137
0.66/0.57	c HOST: node137.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.19/1.07	c (0,0) Parsing End
2.19/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 414 ctr, max domain size 11
2.19/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.19/1.07	c (0,0) Constraint Name Generate Begin
2.19/1.08	c (0,0) Ctr:HOME/instance-4392576-1568417450.xml,ExtensionConflict:Var
2.19/1.08	c (0,0) Constraint Name Generate End
2.19/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.19/1.08	c (0,0) CSP to CSPinCNF Begin
3.63/1.55	c (1,1) translated 42 (10%) constraints
4.04/1.66	c (1,1) translated 83 (20%) constraints
4.46/1.75	c (1,1) translated 125 (30%) constraints
4.87/1.83	c (1,1) translated 166 (40%) constraints
5.27/1.91	c (1,1) translated 207 (50%) constraints
5.27/1.98	c (1,1) translated 249 (60%) constraints
5.72/2.05	c (1,1) translated 290 (70%) constraints
6.12/2.12	c (1,1) translated 332 (80%) constraints
6.12/2.18	c (1,1) translated 373 (90%) constraints
6.49/2.24	c (1,1) translated 414 (100%) constraints
6.49/2.24	c (1,1) ===========================================
6.49/2.26	c (1,1) Hybrid: #OE=40, #LE=0
6.49/2.26	c (1,1) Hybrid
6.49/2.26	c (1,1) ===========================================
6.93/2.30	c (1,1) translated 818 (10%) constraints
6.93/2.33	c (1,1) translated 1635 (20%) constraints
6.93/2.36	c (1,1) translated 2453 (30%) constraints
6.93/2.39	c (1,1) translated 3270 (40%) constraints
7.30/2.41	c (1,1) translated 4087 (50%) constraints
7.30/2.43	c (1,1) translated 4905 (60%) constraints
7.30/2.45	c (1,1) translated 5722 (70%) constraints
7.30/2.48	c (1,1) translated 6540 (80%) constraints
7.62/2.50	c (1,1) translated 7357 (90%) constraints
7.62/2.52	c (1,1) translated 8174 (100%) constraints
7.62/2.52	c (1,1) CSP to CSPinCNF End
7.62/2.52	c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.62/2.52	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.62/2.52	c (1,1) CSPinCNF Propagation Begin
7.95/2.63	c (2,2) 0 values, 1682 unsatisfiable literals, and 0 valid clauses are removed
7.95/2.63	c (2,2) CSPinCNF Propagation End
7.95/2.63	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.95/2.63	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.95/2.64	c (2,2) Hybrid: #OE=40, #LE=0
7.95/2.64	c (2,2) Simplify CSPinCNF Begin
7.95/2.68	c (2,2) Simplify CSPinCNF End
7.95/2.68	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.95/2.68	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.95/2.68	c (2,2) Calculate Precise Domain Begin
7.95/2.68	c (2,2) 0 values are removed by re-calculation
7.95/2.68	c (2,2) Calculate Precise Domain End
7.95/2.68	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.95/2.68	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.95/2.68	c (2,2) CSPinCNF to SatSolver Begin
8.32/2.79	c (2,2) 818 (10 %) CSP clauses are encoded (0 SAT variables, 1177 SAT clauses)
8.63/2.82	c (2,2) 1635 (20 %) CSP clauses are encoded (0 SAT variables, 1994 SAT clauses)
8.63/2.85	c (2,2) 2453 (30 %) CSP clauses are encoded (0 SAT variables, 2812 SAT clauses)
8.63/2.88	c (2,2) 3270 (40 %) CSP clauses are encoded (0 SAT variables, 3629 SAT clauses)
9.04/2.90	c (2,2) 4087 (50 %) CSP clauses are encoded (0 SAT variables, 4446 SAT clauses)
9.04/2.93	c (2,2) 4905 (60 %) CSP clauses are encoded (0 SAT variables, 5264 SAT clauses)
9.04/2.95	c (2,2) 5722 (70 %) CSP clauses are encoded (0 SAT variables, 6081 SAT clauses)
9.04/2.97	c (2,2) 6540 (80 %) CSP clauses are encoded (0 SAT variables, 6899 SAT clauses)
9.04/2.99	c (2,2) 7357 (90 %) CSP clauses are encoded (0 SAT variables, 7716 SAT clauses)
9.04/3.00	c (2,2) 8174 (100 %) CSP clauses are encoded (0 SAT variables, 8533 SAT clauses)
9.04/3.00	c (2,2) CSPinCNF to SatSolver End
9.04/3.00	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.04/3.00	c (2,2) 400 bool, 8534 clause
9.04/3.00	c (2,2) Export Begin
9.47/3.09	c (2,2) Export to HOME/scop-27291-serial-file.bin
9.47/3.09	c (2,2) Export End
9.47/3.09	c (2,2) Export File Size: 0.01 MB
9.47/3.09	c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
9.47/3.09	c END-Prog: Sat Sep 14 01:30:11 CEST 2019
9.47/3.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27291-serial-file.bin
9.74/3.56	c (0,0) Read Serial File Begin
9.74/3.56	c (0,0) HOME/scop-27291-serial-file.bin
9.74/3.77	c (0,0) Read Serial File End
9.74/3.78	
9.74/3.78	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
9.74/3.78	(Solving Process)
9.74/3.78	
9.74/3.80	c BEGIN-Prog: Sat Sep 14 01:30:11 CEST 2019
9.74/3.80	c PID: 27314
9.74/3.80	c IP: 172.20.3.137
9.74/3.80	c HOST: node137.alineos.net
9.74/3.81	c (0,0) SatSolver.solve Begin
9.74/3.81	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392576-1568417450.xml-scop-27294.cnf
9.74/3.83	c (0,0) c
9.74/3.83	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.74/3.83	c (0,0) c
9.74/3.83	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.74/3.83	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.74/3.83	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.74/3.83	c (0,0) c |                                                                                                       |
9.74/3.83	c (0,0) c |  Number of variables:           400                                                                   |
9.74/3.83	c (0,0) c |  Number of clauses:            8534                                                                   |
9.74/3.83	c (0,0) c |  Parse time:                   0.00 s                                                                 |
9.74/3.83	c (0,0) c |                                                                                                       |
9.74/3.84	c (0,0) c |  Simplification time:          0.01 s                                                                 |
9.74/3.84	c (0,0) c |                                                                                                       |
9.74/3.84	c (0,0) c |  Generating clones                                                                                    |
9.74/3.84	c (0,0) c |  all clones generated. Memory =    27.29Mb.                                                           |
9.74/3.84	c (0,0) c ========================================================================================================|
9.74/3.84	c (0,0) c
9.74/3.84	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.74/3.84	c (0,0) c
9.74/3.84	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.74/3.84	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.74/3.84	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.74/3.84	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.74/3.84	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.74/3.84	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.74/3.84	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.74/3.84	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.74/3.84	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.74/3.84	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.74/3.84	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.74/3.84	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.74/3.84	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.74/3.84	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.74/3.84	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.74/3.84	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.74/3.84	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.74/3.84	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.74/3.84	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c
92.79/14.60	c (11,0) c real time : 10.7724 s
92.79/14.60	c (11,0) c cpu time  : 81.6676 s
92.79/14.60	c (11,0) c
92.79/14.60	c (11,0) c
92.79/14.60	c (11,0) c
92.79/14.60	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
92.79/14.60	c (11,0) c
92.79/14.60	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
92.79/14.60	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c | Conflicts     |         1475471 |     187165 |     181791 |     184326 |     191916 |     177876 |     180242 |     184674 |     187481 |
92.79/14.60	c (11,0) c | Decisions     |         1798180 |     228849 |     220714 |     224895 |     234088 |     216507 |     218087 |     225474 |     229566 |
92.79/14.60	c (11,0) c | Propagations  |       102471591 |   13033747 |   12683701 |   12726197 |   13336255 |   12316752 |   12499427 |   12863753 |   13011759 |
92.79/14.60	c (11,0) c | ReduceDBs     |              88 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
92.79/14.60	c (11,0) c | SimpDBs       |              40 |          5 |          5 |          4 |          6 |          5 |          5 |          4 |          6 |
92.79/14.60	c (11,0) c | Restarts      |            1010 |        134 |         96 |        149 |        132 |         58 |        120 |        170 |        151 |
92.79/14.60	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.79/14.60	c (11,0) c | PropBinClauses|       102130504 |   12956640 |   12595062 |   12788562 |   13295096 |   12269998 |   12389119 |   12874797 |   12961230 |
92.79/14.60	c (11,0) c | PropPreBlocker|      5141253730 |  641539174 |  634832898 |  636651102 |  640378262 |  648962911 |  657363765 |  642510870 |  639014748 |
92.79/14.60	c (11,0) c | PropNotBlocker|       980321340 |  122168795 |  123968907 |  122237874 |  124582769 |  122737691 |  121009063 |  121282719 |  122333522 |
92.79/14.60	c (11,0) c | LitFullScans  |      7718819098 |  960057337 |  960066929 |  960062651 |  963247234 |  970971576 |  978154237 |  966196559 |  960062575 |
92.79/14.60	c (11,0) c | LitScanFracts |          661592 |      45950 |      60569 |      57766 |      48740 |      57773 |     147379 |     187600 |      55815 |
92.79/14.60	c (11,0) c | DecisionLevel0|            1047 |        137 |         98 |        150 |        146 |         65 |        126 |        170 |        155 |
92.79/14.60	c (11,0) c | Periods       |            1285 |        160 |        160 |        160 |        160 |        161 |        163 |        161 |        160 |
92.79/14.60	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
92.79/14.60	c (11,0) c | Avg_Trail     |                 |        239 |        239 |        240 |        240 |        239 |        236 |        239 |        239 |
92.79/14.60	c (11,0) c | Avg_DL        |                 |         11 |         11 |         12 |         11 |         12 |         11 |         11 |         11 |
92.79/14.60	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.79/14.60	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.79/14.60	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c | Exported      |          175764 |      21710 |      22337 |      22366 |      22254 |      21908 |      22504 |      20206 |      22479 |
92.79/14.60	c (11,0) c | Imported      |         1127494 |     140826 |     139336 |     137928 |     141647 |     142981 |     143502 |     143388 |     137886 |
92.79/14.60	c (11,0) c | Good          |            1321 |        166 |        163 |        139 |        146 |        185 |        186 |        189 |        147 |
92.79/14.60	c (11,0) c | Purge         |         1126173 |     140660 |     139173 |     137789 |     141501 |     142796 |     143316 |     143199 |     137739 |
92.79/14.60	c (11,0) c | Promoted      |           95977 |      11956 |      12294 |      12008 |      11727 |      11905 |      11716 |      11895 |      12476 |
92.79/14.60	c (11,0) c | Remove_Imp    |          638443 |      82978 |      81479 |      82983 |      84379 |      78537 |      75940 |      74126 |      78021 |
92.79/14.60	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
92.79/14.60	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c | Unaries       |                 |          3 |          2 |          1 |         14 |          7 |          6 |          0 |          4 |
92.79/14.60	c (11,0) c | Binaries      |                 |         37 |         42 |         36 |        103 |         53 |         70 |         13 |         48 |
92.79/14.60	c (11,0) c | Glues         |                 |        394 |        434 |        366 |        450 |        429 |        419 |        378 |        368 |
92.79/14.60	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c | Orig_Seen     |           106 % |       8530 |       8526 |       8528 |       8526 |       8529 |       8528 |       8528 |       8530 |
92.79/14.60	c (11,0) c | Diff Orig seen|                 |          4 | -        0 |          2 |      X     |          3 |          2 |          2 |          4 |
92.79/14.60	c (11,0) c | Hamming       |            26 % |         92 |        117 |        124 |      X     |         99 |        103 |        105 |        110 |
92.79/14.60	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.60	c (11,0) c | RunningTime   |                 |   10.5 100%|   10.1 100%|   10.1 100%|   10.1 100%|   10.1 100%|   10.1 100%|   10.1 100%|   10.7 100%|
92.79/14.60	c (11,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%|
92.79/14.60	c (11,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%|
92.79/14.60	c (11,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%|
92.79/14.60	c (11,0) c | SolvingTime   |                 |   10.6     |   10.1     |   10.2     |   10.1     |   10.1     |   10.1     |   10.1     |   10.7     |
92.79/14.60	c (11,0) c | PropagationTim|                 |    9.1  87%|    8.8  87%|    8.8  86%|    8.8  87%|    8.8  87%|    8.9  87%|    8.8  87%|    9.3  87%|
92.79/14.60	c (11,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%|
92.79/14.60	c (11,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   1%|
92.79/14.60	c (11,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%|
92.79/14.60	c (11,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%|
92.79/14.61	c (11,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%|
92.79/14.61	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.61	c (11,0) c
92.79/14.61	c (11,0) c
92.79/14.61	c (11,0) c Threads : 8
92.79/14.61	c (11,0) c Winner : 3
92.79/14.61	c (11,0) c Conflicts_0 : 187165
92.79/14.61	c (11,0) c Conflicts_1 : 181791
92.79/14.61	c (11,0) c Conflicts_2 : 184326
92.79/14.61	c (11,0) c Conflicts_3 : 191916
92.79/14.61	c (11,0) c Conflicts_4 : 177876
92.79/14.61	c (11,0) c Conflicts_5 : 180242
92.79/14.61	c (11,0) c Conflicts_6 : 184674
92.79/14.61	c (11,0) c Conflicts_7 : 187481
92.79/14.61	c (11,0) c Conflicts_total : 1475471
92.79/14.61	c (11,0) c Conflicts_winner : 191916
92.79/14.61	c (11,0) c Decisions_0 : 228849
92.79/14.61	c (11,0) c Decisions_1 : 220714
92.79/14.61	c (11,0) c Decisions_2 : 224895
92.79/14.61	c (11,0) c Decisions_3 : 234088
92.79/14.61	c (11,0) c Decisions_4 : 216507
92.79/14.61	c (11,0) c Decisions_5 : 218087
92.79/14.61	c (11,0) c Decisions_6 : 225474
92.79/14.61	c (11,0) c Decisions_7 : 229566
92.79/14.61	c (11,0) c Decisions_total : 1798180
92.79/14.61	c (11,0) c Decisions_winner : 234088
92.79/14.61	c (11,0) c Propagations_0 : 13033747
92.79/14.61	c (11,0) c Propagations_1 : 12683701
92.79/14.61	c (11,0) c Propagations_2 : 12726197
92.79/14.61	c (11,0) c Propagations_3 : 13336255
92.79/14.61	c (11,0) c Propagations_4 : 12316752
92.79/14.61	c (11,0) c Propagations_5 : 12499427
92.79/14.61	c (11,0) c Propagations_6 : 12863753
92.79/14.61	c (11,0) c Propagations_7 : 13011759
92.79/14.61	c (11,0) c Propagations_total : 102471591
92.79/14.61	c (11,0) c Propagations_winner : 13336255
92.79/14.61	c (11,0) c ReduceDBs_0 : 11
92.79/14.61	c (11,0) c ReduceDBs_1 : 11
92.79/14.61	c (11,0) c ReduceDBs_2 : 11
92.79/14.61	c (11,0) c ReduceDBs_3 : 11
92.79/14.61	c (11,0) c ReduceDBs_4 : 11
92.79/14.61	c (11,0) c ReduceDBs_5 : 11
92.79/14.61	c (11,0) c ReduceDBs_6 : 11
92.79/14.61	c (11,0) c ReduceDBs_7 : 11
92.79/14.61	c (11,0) c ReduceDBs_total : 88
92.79/14.61	c (11,0) c ReduceDBs_winner : 11
92.79/14.61	c (11,0) c SimpDBs_0 : 5
92.79/14.61	c (11,0) c SimpDBs_1 : 5
92.79/14.61	c (11,0) c SimpDBs_2 : 4
92.79/14.61	c (11,0) c SimpDBs_3 : 6
92.79/14.61	c (11,0) c SimpDBs_4 : 5
92.79/14.61	c (11,0) c SimpDBs_5 : 5
92.79/14.61	c (11,0) c SimpDBs_6 : 4
92.79/14.61	c (11,0) c SimpDBs_7 : 6
92.79/14.61	c (11,0) c SimpDBs_total : 40
92.79/14.61	c (11,0) c SimpDBs_winner : 6
92.79/14.61	c (11,0) c Restarts_0 : 134
92.79/14.61	c (11,0) c Restarts_1 : 96
92.79/14.61	c (11,0) c Restarts_2 : 149
92.79/14.61	c (11,0) c Restarts_3 : 132
92.79/14.61	c (11,0) c Restarts_4 : 58
92.79/14.61	c (11,0) c Restarts_5 : 120
92.79/14.61	c (11,0) c Restarts_6 : 170
92.79/14.61	c (11,0) c Restarts_7 : 151
92.79/14.61	c (11,0) c Restarts_total : 1010
92.79/14.61	c (11,0) c Restarts_winner : 132
92.79/14.61	c (11,0) c ForcedImports_0 : 0
92.79/14.61	c (11,0) c ForcedImports_1 : 0
92.79/14.61	c (11,0) c ForcedImports_2 : 0
92.79/14.61	c (11,0) c ForcedImports_3 : 0
92.79/14.61	c (11,0) c ForcedImports_4 : 0
92.79/14.61	c (11,0) c ForcedImports_5 : 0
92.79/14.61	c (11,0) c ForcedImports_6 : 0
92.79/14.61	c (11,0) c ForcedImports_7 : 0
92.79/14.61	c (11,0) c ForcedImports_total : 0
92.79/14.61	c (11,0) c ForcedImports_winner : 0
92.79/14.61	c (11,0) c PropsBinClauses_0 : 12956640
92.79/14.61	c (11,0) c PropsBinClauses_1 : 12595062
92.79/14.61	c (11,0) c PropsBinClauses_2 : 12788562
92.79/14.61	c (11,0) c PropsBinClauses_3 : 13295096
92.79/14.61	c (11,0) c PropsBinClauses_4 : 12269998
92.79/14.61	c (11,0) c PropsBinClauses_5 : 12389119
92.79/14.61	c (11,0) c PropsBinClauses_6 : 12874797
92.79/14.61	c (11,0) c PropsBinClauses_7 : 12961230
92.79/14.61	c (11,0) c PropsBinClauses_total : 102130504
92.79/14.61	c (11,0) c PropsBinClauses_winner : 13295096
92.79/14.61	c (11,0) c PropsPreBlocker_0 : 641539174
92.79/14.61	c (11,0) c PropsPreBlocker_1 : 634832898
92.79/14.61	c (11,0) c PropsPreBlocker_2 : 636651102
92.79/14.61	c (11,0) c PropsPreBlocker_3 : 640378262
92.79/14.61	c (11,0) c PropsPreBlocker_4 : 648962911
92.79/14.61	c (11,0) c PropsPreBlocker_5 : 657363765
92.79/14.61	c (11,0) c PropsPreBlocker_6 : 642510870
92.79/14.61	c (11,0) c PropsPreBlocker_7 : 639014748
92.79/14.61	c (11,0) c PropsPreBlocker_total : 5141253730
92.79/14.61	c (11,0) c PropsPreBlocker_winner : 640378262
92.79/14.61	c (11,0) c PropsNotBlocker_0 : 122168795
92.79/14.61	c (11,0) c PropsNotBlocker_1 : 123968907
92.79/14.61	c (11,0) c PropsNotBlocker_2 : 122237874
92.79/14.61	c (11,0) c PropsNotBlocker_3 : 124582769
92.79/14.61	c (11,0) c PropsNotBlocker_4 : 122737691
92.79/14.61	c (11,0) c PropsNotBlocker_5 : 121009063
92.79/14.61	c (11,0) c PropsNotBlocker_6 : 121282719
92.79/14.61	c (11,0) c PropsNotBlocker_7 : 122333522
92.79/14.61	c (11,0) c PropsNotBlocker_total : 980321340
92.79/14.61	c (11,0) c PropsNotBlocker_winner : 124582769
92.79/14.61	c (11,0) c PropsLitFullScans_0 : 960057337
92.79/14.61	c (11,0) c PropsLitFullScans_1 : 960066929
92.79/14.61	c (11,0) c PropsLitFullScans_2 : 960062651
92.79/14.61	c (11,0) c PropsLitFullScans_3 : 963247234
92.79/14.61	c (11,0) c PropsLitFullScans_4 : 970971576
92.79/14.61	c (11,0) c PropsLitFullScans_5 : 978154237
92.79/14.61	c (11,0) c PropsLitFullScans_6 : 966196559
92.79/14.61	c (11,0) c PropsLitFullScans_7 : 960062575
92.79/14.61	c (11,0) c PropsLitFullScans_total : 7718819098
92.79/14.61	c (11,0) c PropsLitFullScans_winner : 963247234
92.79/14.61	c (11,0) c LitScanFractions_0 : 45950
92.79/14.61	c (11,0) c LitScanFractions_1 : 60569
92.79/14.61	c (11,0) c LitScanFractions_2 : 57766
92.79/14.61	c (11,0) c LitScanFractions_3 : 48740
92.79/14.61	c (11,0) c LitScanFractions_4 : 57773
92.79/14.61	c (11,0) c LitScanFractions_5 : 147379
92.79/14.61	c (11,0) c LitScanFractions_6 : 187600
92.79/14.61	c (11,0) c LitScanFractions_7 : 55815
92.79/14.61	c (11,0) c LitScanFractions_total : 661592
92.79/14.61	c (11,0) c LitScanFractions_winner : 48740
92.79/14.61	c (11,0) c DecisionLevel0_0 : 137
92.79/14.61	c (11,0) c DecisionLevel0_1 : 98
92.79/14.61	c (11,0) c DecisionLevel0_2 : 150
92.79/14.61	c (11,0) c DecisionLevel0_3 : 146
92.79/14.61	c (11,0) c DecisionLevel0_4 : 65
92.79/14.61	c (11,0) c DecisionLevel0_5 : 126
92.79/14.61	c (11,0) c DecisionLevel0_6 : 170
92.79/14.61	c (11,0) c DecisionLevel0_7 : 155
92.79/14.61	c (11,0) c DecisionLevel0_total : 1047
92.79/14.61	c (11,0) c DecisionLevel0_winner : 146
92.79/14.61	c (11,0) c Periods_0 : 160
92.79/14.61	c (11,0) c Periods_1 : 160
92.79/14.61	c (11,0) c Periods_2 : 160
92.79/14.61	c (11,0) c Periods_3 : 160
92.79/14.61	c (11,0) c Periods_4 : 161
92.79/14.61	c (11,0) c Periods_5 : 163
92.79/14.61	c (11,0) c Periods_6 : 161
92.79/14.61	c (11,0) c Periods_7 : 160
92.79/14.61	c (11,0) c Periods_total : 1285
92.79/14.61	c (11,0) c Periods_winner : 160
92.79/14.61	c (11,0) c Margin_0 : 20
92.79/14.61	c (11,0) c Margin_1 : 20
92.79/14.61	c (11,0) c Margin_2 : 20
92.79/14.61	c (11,0) c Margin_3 : 20
92.79/14.61	c (11,0) c Margin_4 : 20
92.79/14.61	c (11,0) c Margin_5 : 20
92.79/14.61	c (11,0) c Margin_6 : 20
92.79/14.61	c (11,0) c Margin_7 : 20
92.79/14.61	c (11,0) c Margin_total : 160
92.79/14.61	c (11,0) c Margin_winner : 20
92.79/14.61	c (11,0) c Exported_0 : 21710
92.79/14.61	c (11,0) c Exported_1 : 22337
92.79/14.61	c (11,0) c Exported_2 : 22366
92.79/14.61	c (11,0) c Exported_3 : 22254
92.79/14.61	c (11,0) c Exported_4 : 21908
92.79/14.61	c (11,0) c Exported_5 : 22504
92.79/14.61	c (11,0) c Exported_6 : 20206
92.79/14.61	c (11,0) c Exported_7 : 22479
92.79/14.61	c (11,0) c Exported_total : 175764
92.79/14.61	c (11,0) c Exported_winner : 22254
92.79/14.61	c (11,0) c Imported_0 : 140826
92.79/14.61	c (11,0) c Imported_1 : 139336
92.79/14.61	c (11,0) c Imported_2 : 137928
92.79/14.61	c (11,0) c Imported_3 : 141647
92.79/14.61	c (11,0) c Imported_4 : 142981
92.79/14.61	c (11,0) c Imported_5 : 143502
92.79/14.61	c (11,0) c Imported_6 : 143388
92.79/14.61	c (11,0) c Imported_7 : 137886
92.79/14.61	c (11,0) c Imported_total : 1127494
92.79/14.61	c (11,0) c Imported_winner : 141647
92.79/14.61	c (11,0) c Good_0 : 166
92.79/14.61	c (11,0) c Good_1 : 163
92.79/14.61	c (11,0) c Good_2 : 139
92.79/14.61	c (11,0) c Good_3 : 146
92.79/14.61	c (11,0) c Good_4 : 185
92.79/14.61	c (11,0) c Good_5 : 186
92.79/14.61	c (11,0) c Good_6 : 189
92.79/14.61	c (11,0) c Good_7 : 147
92.79/14.61	c (11,0) c Good_total : 1321
92.79/14.61	c (11,0) c Good_winner : 146
92.79/14.61	c (11,0) c Purge_0 : 140660
92.79/14.61	c (11,0) c Purge_1 : 139173
92.79/14.61	c (11,0) c Purge_2 : 137789
92.79/14.61	c (11,0) c Purge_3 : 141501
92.79/14.61	c (11,0) c Purge_4 : 142796
92.79/14.61	c (11,0) c Purge_5 : 143316
92.79/14.61	c (11,0) c Purge_6 : 143199
92.79/14.61	c (11,0) c Purge_7 : 137739
92.79/14.61	c (11,0) c Purge_total : 1126173
92.79/14.61	c (11,0) c Purge_winner : 141501
92.79/14.61	c (11,0) c Promoted_0 : 11956
92.79/14.61	c (11,0) c Promoted_1 : 12294
92.79/14.61	c (11,0) c Promoted_2 : 12008
92.79/14.61	c (11,0) c Promoted_3 : 11727
92.79/14.61	c (11,0) c Promoted_4 : 11905
92.79/14.61	c (11,0) c Promoted_5 : 11716
92.79/14.61	c (11,0) c Promoted_6 : 11895
92.79/14.61	c (11,0) c Promoted_7 : 12476
92.79/14.61	c (11,0) c Promoted_total : 95977
92.79/14.61	c (11,0) c Promoted_winner : 11727
92.79/14.61	c (11,0) c Remove_Imp_0 : 82978
92.79/14.61	c (11,0) c Remove_Imp_1 : 81479
92.79/14.61	c (11,0) c Remove_Imp_2 : 82983
92.79/14.61	c (11,0) c Remove_Imp_3 : 84379
92.79/14.61	c (11,0) c Remove_Imp_4 : 78537
92.79/14.61	c (11,0) c Remove_Imp_5 : 75940
92.79/14.61	c (11,0) c Remove_Imp_6 : 74126
92.79/14.61	c (11,0) c Remove_Imp_7 : 78021
92.79/14.61	c (11,0) c Remove_Imp_total : 638443
92.79/14.61	c (11,0) c Remove_Imp_winner : 84379
92.79/14.61	c (11,0) c Blocked_Reuse_0 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_1 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_2 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_3 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_4 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_5 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_6 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_7 : 0
92.79/14.61	c (11,0) c Blocked_Reuse_total : 0
92.79/14.61	c (11,0) c Blocked_Reuse_winner : 0
92.79/14.61	c (11,0) c Unaries_0 : 3
92.79/14.61	c (11,0) c Unaries_1 : 2
92.79/14.61	c (11,0) c Unaries_2 : 1
92.79/14.61	c (11,0) c Unaries_3 : 14
92.79/14.61	c (11,0) c Unaries_4 : 7
92.79/14.61	c (11,0) c Unaries_5 : 6
92.79/14.61	c (11,0) c Unaries_6 : 0
92.79/14.61	c (11,0) c Unaries_7 : 4
92.79/14.61	c (11,0) c Unaries_total : 37
92.79/14.61	c (11,0) c Unaries_winner : 14
92.79/14.61	c (11,0) c Binaries_0 : 37
92.79/14.61	c (11,0) c Binaries_1 : 42
92.79/14.61	c (11,0) c Binaries_2 : 36
92.79/14.61	c (11,0) c Binaries_3 : 103
92.79/14.61	c (11,0) c Binaries_4 : 53
92.79/14.62	c (11,0) c Binaries_5 : 70
92.79/14.62	c (11,0) c Binaries_6 : 13
92.79/14.62	c (11,0) c Binaries_7 : 48
92.79/14.62	c (11,0) c Binaries_total : 402
92.79/14.62	c (11,0) c Binaries_winner : 103
92.79/14.62	c (11,0) c Glues_0 : 394
92.79/14.62	c (11,0) c Glues_1 : 434
92.79/14.62	c (11,0) c Glues_2 : 366
92.79/14.62	c (11,0) c Glues_3 : 450
92.79/14.62	c (11,0) c Glues_4 : 429
92.79/14.62	c (11,0) c Glues_5 : 419
92.79/14.62	c (11,0) c Glues_6 : 378
92.79/14.62	c (11,0) c Glues_7 : 368
92.79/14.62	c (11,0) c Glues_total : 3238
92.79/14.62	c (11,0) c Glues_winner : 450
92.79/14.62	c (11,0) c RunningTime_0 : 10.511993
92.79/14.62	c (11,0) c RunningTime_1 : 10.109425
92.79/14.62	c (11,0) c RunningTime_2 : 10.143630
92.79/14.62	c (11,0) c RunningTime_3 : 10.057554
92.79/14.62	c (11,0) c RunningTime_4 : 10.058216
92.79/14.62	c (11,0) c RunningTime_5 : 10.096631
92.79/14.62	c (11,0) c RunningTime_6 : 10.102466
92.79/14.62	c (11,0) c RunningTime_7 : 10.698438
92.79/14.62	c (11,0) c RunningTime_total : 81.778352
92.79/14.62	c (11,0) c RunningTime_winner : 10.057554
92.79/14.62	c (11,0) c WaitingTime_0 : 0.000173
92.79/14.62	c (11,0) c WaitingTime_1 : 0.000182
92.79/14.62	c (11,0) c WaitingTime_2 : 0.000224
92.79/14.62	c (11,0) c WaitingTime_3 : 0.000199
92.79/14.62	c (11,0) c WaitingTime_4 : 0.000185
92.79/14.62	c (11,0) c WaitingTime_5 : 0.000193
92.79/14.62	c (11,0) c WaitingTime_6 : 0.000187
92.79/14.62	c (11,0) c WaitingTime_7 : 0.000162
92.79/14.62	c (11,0) c WaitingTime_total : 0.001505
92.79/14.62	c (11,0) c WaitingTime_winner : 0.000199
92.79/14.62	c (11,0) c ExchangingTime_0 : 0.044385
92.79/14.62	c (11,0) c ExchangingTime_1 : 0.038941
92.79/14.62	c (11,0) c ExchangingTime_2 : 0.042842
92.79/14.62	c (11,0) c ExchangingTime_3 : 0.041004
92.79/14.62	c (11,0) c ExchangingTime_4 : 0.038343
92.79/14.62	c (11,0) c ExchangingTime_5 : 0.041755
92.79/14.62	c (11,0) c ExchangingTime_6 : 0.040900
92.79/14.62	c (11,0) c ExchangingTime_7 : 0.039796
92.79/14.62	c (11,0) c ExchangingTime_total : 0.327966
92.79/14.62	c (11,0) c ExchangingTime_winner : 0.041004
92.79/14.62	c (11,0) c PeriodProcTime_0 : 0.001047
92.79/14.62	c (11,0) c PeriodProcTime_1 : 0.001217
92.79/14.62	c (11,0) c PeriodProcTime_2 : 0.001106
92.79/14.62	c (11,0) c PeriodProcTime_3 : 0.001064
92.79/14.62	c (11,0) c PeriodProcTime_4 : 0.000954
92.79/14.62	c (11,0) c PeriodProcTime_5 : 0.000965
92.79/14.62	c (11,0) c PeriodProcTime_6 : 0.000873
92.79/14.62	c (11,0) c PeriodProcTime_7 : 0.001310
92.79/14.62	c (11,0) c PeriodProcTime_total : 0.008536
92.79/14.62	c (11,0) c PeriodProcTime_winner : 0.001064
92.79/14.62	c (11,0) c SolvingTime_0 : 10.557598
92.79/14.62	c (11,0) c SolvingTime_1 : 10.149765
92.79/14.62	c (11,0) c SolvingTime_2 : 10.187802
92.79/14.62	c (11,0) c SolvingTime_3 : 10.099821
92.79/14.62	c (11,0) c SolvingTime_4 : 10.097698
92.79/14.62	c (11,0) c SolvingTime_5 : 10.139544
92.79/14.62	c (11,0) c SolvingTime_6 : 10.144426
92.79/14.62	c (11,0) c SolvingTime_7 : 10.739706
92.79/14.62	c (11,0) c SolvingTime_total : 82.116359
92.79/14.62	c (11,0) c SolvingTime_winner : 10.099821
92.79/14.62	c (11,0) c PropagationTime_0 : 9.146958
92.79/14.62	c (11,0) c PropagationTime_1 : 8.833430
92.79/14.62	c (11,0) c PropagationTime_2 : 8.794810
92.79/14.62	c (11,0) c PropagationTime_3 : 8.754207
92.79/14.62	c (11,0) c PropagationTime_4 : 8.759541
92.79/14.62	c (11,0) c PropagationTime_5 : 8.856094
92.79/14.62	c (11,0) c PropagationTime_6 : 8.841761
92.79/14.62	c (11,0) c PropagationTime_7 : 9.349552
92.79/14.62	c (11,0) c PropagationTime_total : 71.336353
92.79/14.62	c (11,0) c PropagationTime_winner : 8.754207
92.79/14.62	c (11,0) c AnalysisTime_0 : 0.967138
92.79/14.62	c (11,0) c AnalysisTime_1 : 0.901592
92.79/14.62	c (11,0) c AnalysisTime_2 : 1.008924
92.79/14.62	c (11,0) c AnalysisTime_3 : 0.923097
92.79/14.62	c (11,0) c AnalysisTime_4 : 0.937958
92.79/14.62	c (11,0) c AnalysisTime_5 : 0.865194
92.79/14.62	c (11,0) c AnalysisTime_6 : 0.898221
92.79/14.62	c (11,0) c AnalysisTime_7 : 0.968829
92.79/14.62	c (11,0) c AnalysisTime_total : 7.470954
92.79/14.62	c (11,0) c AnalysisTime_winner : 0.923097
92.79/14.62	c (11,0) c ReductionTime_0 : 0.150697
92.79/14.62	c (11,0) c ReductionTime_1 : 0.159579
92.79/14.62	c (11,0) c ReductionTime_2 : 0.147010
92.79/14.62	c (11,0) c ReductionTime_3 : 0.146897
92.79/14.62	c (11,0) c ReductionTime_4 : 0.161064
92.79/14.62	c (11,0) c ReductionTime_5 : 0.172020
92.79/14.62	c (11,0) c ReductionTime_6 : 0.168100
92.79/14.62	c (11,0) c ReductionTime_7 : 0.154858
92.79/14.62	c (11,0) c ReductionTime_total : 1.260225
92.79/14.62	c (11,0) c ReductionTime_winner : 0.146897
92.79/14.62	c (11,0) c SimplifyTime_0 : 0.035367
92.79/14.62	c (11,0) c SimplifyTime_1 : 0.037036
92.79/14.62	c (11,0) c SimplifyTime_2 : 0.021351
92.79/14.62	c (11,0) c SimplifyTime_3 : 0.045033
92.79/14.62	c (11,0) c SimplifyTime_4 : 0.025428
92.79/14.62	c (11,0) c SimplifyTime_5 : 0.024958
92.79/14.62	c (11,0) c SimplifyTime_6 : 0.014990
92.79/14.62	c (11,0) c SimplifyTime_7 : 0.031599
92.79/14.62	c (11,0) c SimplifyTime_total : 0.235764
92.79/14.62	c (11,0) c SimplifyTime_winner : 0.045033
92.79/14.62	c (11,0) c UsedRateTime_0 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_1 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_2 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_3 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_4 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_5 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_6 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_7 : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_total : 0.000000
92.79/14.62	c (11,0) c UsedRateTime_winner : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_0 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_1 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_2 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_3 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_4 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_5 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_6 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_7 : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_total : 0.000000
92.79/14.62	c (11,0) c OverlapRateTime_winner : 0.000000
92.79/14.62	c (11,0) c
92.79/14.62	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
92.79/14.62	c (11,0) c
92.79/14.62	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.62	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
92.79/14.62	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.62	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
92.79/14.62	c (11,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
92.79/14.62	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
92.79/14.62	c (11,0) c | Initial random_seed   | 1779802622 | 2030873478 | 1184119267 |   82175062 |  713279280 | 1906575234 | 1562881357 | 1914710285 |
92.79/14.62	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
92.79/14.62	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
92.79/14.62	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
92.79/14.62	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
92.79/14.62	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
92.79/14.62	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
92.79/14.62	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
92.79/14.62	c (11,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
92.79/14.62	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
92.79/14.62	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
92.79/14.62	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
92.79/14.62	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
92.79/14.62	c (11,0) 
92.79/14.62	c (11,0) s UNSATISFIABLE
92.79/14.62	c (11,0) SatSolver.solve End
92.79/14.62	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
92.79/14.62	c (11,0) Show results Begin
92.79/14.62	s UNSATISFIABLE
92.79/14.62	c (11,0) Show results End
92.79/14.62	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
92.79/14.63	c (11,0) 11,11,STOP-AFTER(ALL)
92.79/14.63	c END-Prog: Sat Sep 14 01:30:22 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 (12778 MiB free)
  memory of node 1: 16384 MiB (13252 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392576-1568417450/watcher-4392576-1568417450 -o /tmp/evaluation-result-4392576-1568417450/solver-4392576-1568417450 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392576-1568417450.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=27291, runsolver pid=27288

[startup+0.100114 s]*
/proc/loadavg: 1.26 0.87 1.35 3/212 27313
/proc/meminfo: memFree=26561800/32770624 swapFree=66927260/67108860
[pid=27291] ppid=27288 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27291/stat : 27291 (scop.sh) S 27288 27291 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417992314 115843072 349 33554432000 4194304 5098028 140737194309712 140737194306968 140454966542972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27779072 140737194316580 140737194316908 140737194316908 140737194319821 0
/proc/27291/statm: 28282 349 296 221 0 87 0
[pid=27294] ppid=27291 vsize=27314120 memory=105992 CPUtime=0.1 cores=0-7
/proc/27294/stat : 27294 (java) S 27291 27291 27111 0 -1 1077944320 6536 0 0 0 8 2 0 0 20 0 20 0 417992314 27969658880 26498 33554432000 4194304 4196468 140732238107552 140732238090096 139681299107575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
/proc/27294/statm: 6828530 26498 2815 1 0 6790935 0
[pid=27294/tid=27295] ppid=27291 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27294/task/27295/stat : 27295 (java) R 27291 27291 27111 0 -1 4202560 4617 0 0 0 7 2 0 0 20 0 20 0 417992315 27969658880 26498 33554432000 4194304 4196468 140732238107552 139681270911776 139681283188062 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27296] ppid=27291 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27294/task/27296/stat : 27296 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139681303349648 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27297] ppid=27291 vsize=27314120 memory=139848472819328 CPUtime=0 cores=0-7
/proc/27294/task/27297/stat : 27297 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680721565968 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27298] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27298/stat : 27298 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680720513680 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27299] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27299/stat : 27299 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680719460880 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27300] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27300/stat : 27300 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680718408592 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27301] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27301/stat : 27301 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680717355792 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27302] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27302/stat : 27302 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680716303504 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27303] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27303/stat : 27303 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680715250704 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27304] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27304/stat : 27304 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680424679536 139681299118722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27305] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27305/stat : 27305 (java) S 27291 27291 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 26498 33554432000 4194304 4196468 140732238107552 139679047344928 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27306] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27306/stat : 27306 (java) S 27291 27291 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 26498 33554432000 4194304 4196468 140732238107552 139678913123440 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27307] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27307/stat : 27307 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139678538618960 139681299126171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27308] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27308/stat : 27308 (java) S 27291 27291 27111 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680423627376 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27309] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27309/stat : 27309 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680422574576 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27310] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27310/stat : 27310 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680421522288 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27311] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27311/stat : 27311 (java) S 27291 27291 27111 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680420469488 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27312] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27312/stat : 27312 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139678040713568 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27313] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27313/stat : 27313 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 26498 33554432000 4194304 4196468 140732238107552 139680419416368 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107388 KiB

[startup+0.21032 s]*
/proc/loadavg: 1.26 0.87 1.35 2/212 27313
/proc/meminfo: memFree=26543664/32770624 swapFree=66927260/67108860
[pid=27291] ppid=27288 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27291/stat : 27291 (scop.sh) S 27288 27291 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417992314 115843072 349 33554432000 4194304 5098028 140737194309712 140737194306968 140454966542972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27779072 140737194316580 140737194316908 140737194316908 140737194319821 0
/proc/27291/statm: 28282 349 296 221 0 87 0
[pid=27294] ppid=27291 vsize=27314120 memory=122324 CPUtime=0.24 cores=0-7
/proc/27294/stat : 27294 (java) S 27291 27291 27111 0 -1 1077944320 11533 0 0 0 20 4 0 0 20 0 20 0 417992314 27969658880 30581 33554432000 4194304 4196468 140732238107552 140732238090096 139681299107575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
/proc/27294/statm: 6828530 30581 2893 1 0 6790935 0
[pid=27294/tid=27295] ppid=27291 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27294/task/27295/stat : 27295 (java) R 27291 27291 27111 0 -1 4202560 9224 0 0 0 16 3 0 0 20 0 20 0 417992315 27969658880 30581 33554432000 4194304 4196468 140732238107552 139681270906960 139681279383362 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27296] ppid=27291 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/27294/task/27296/stat : 27296 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139681303349648 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27297] ppid=27291 vsize=27314120 memory=288370224624531072 CPUtime=0 cores=0-7
/proc/27294/task/27297/stat : 27297 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680721565968 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27298] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27298/stat : 27298 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680720513680 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27299] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27299/stat : 27299 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680719460880 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27300] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27300/stat : 27300 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680718408592 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27301] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27301/stat : 27301 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680717355792 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27302] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27302/stat : 27302 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680716303504 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27303] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27303/stat : 27303 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680715250704 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27304] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27304/stat : 27304 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680424679536 139681299118722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27305] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27305/stat : 27305 (java) S 27291 27291 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 30581 33554432000 4194304 4196468 140732238107552 139679047344928 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27306] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27306/stat : 27306 (java) S 27291 27291 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 30581 33554432000 4194304 4196468 140732238107552 139678913123440 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27307] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27307/stat : 27307 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139678538618960 139681299126171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27308] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27308/stat : 27308 (java) S 27291 27291 27111 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680423627376 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27309] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27309/stat : 27309 (java) S 27291 27291 27111 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680422574576 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27310] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27310/stat : 27310 (java) S 27291 27291 27111 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680421522288 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27311] ppid=27291 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/27294/task/27311/stat : 27311 (java) S 27291 27291 27111 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680420469488 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27312] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27312/stat : 27312 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139678040713568 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27313] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27313/stat : 27313 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 30581 33554432000 4194304 4196468 140732238107552 139680419416368 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123720 KiB

[startup+0.309525 s]*
/proc/loadavg: 1.26 0.87 1.35 2/212 27313
/proc/meminfo: memFree=26541396/32770624 swapFree=66927260/67108860
[pid=27291] ppid=27288 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27291/stat : 27291 (scop.sh) S 27288 27291 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417992314 115843072 349 33554432000 4194304 5098028 140737194309712 140737194306968 140454966542972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27779072 140737194316580 140737194316908 140737194316908 140737194319821 0
/proc/27291/statm: 28282 349 296 221 0 87 0
[pid=27294] ppid=27291 vsize=27314120 memory=126264 CPUtime=0.43 cores=0-7
/proc/27294/stat : 27294 (java) S 27291 27291 27111 0 -1 1077944320 11969 0 0 0 38 5 0 0 20 0 20 0 417992314 27969658880 31566 33554432000 4194304 4196468 140732238107552 140732238090096 139681299107575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
/proc/27294/statm: 6828530 31566 3045 1 0 6790935 0
[pid=27294/tid=27295] ppid=27291 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/27294/task/27295/stat : 27295 (java) R 27291 27291 27111 0 -1 4202560 9495 0 0 0 26 4 0 0 20 0 20 0 417992315 27969658880 31566 33554432000 4194304 4196468 140732238107552 139681270934112 139681283188062 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27296] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27296/stat : 27296 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139681303349648 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27297] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27297/stat : 27297 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680721565968 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27298] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27298/stat : 27298 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680720513680 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27299] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27299/stat : 27299 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680719460880 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27300] ppid=27291 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/27294/task/27300/stat : 27300 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680718408592 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27301] ppid=27291 vsize=27314120 memory=139848363111343 CPUtime=0 cores=0-7
/proc/27294/task/27301/stat : 27301 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680717355792 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27302] ppid=27291 vsize=27314120 memory=139848363113648 CPUtime=0 cores=0-7
/proc/27294/task/27302/stat : 27302 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680716303504 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27303] ppid=27291 vsize=27314120 memory=139848363115952 CPUtime=0 cores=0-7
/proc/27294/task/27303/stat : 27303 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680715250704 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27304] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27304/stat : 27304 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680424679536 139681299118722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27305] ppid=27291 vsize=27314120 memory=279696726238864 CPUtime=0 cores=0-7
/proc/27294/task/27305/stat : 27305 (java) S 27291 27291 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 31566 33554432000 4194304 4196468 140732238107552 139679047344928 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27306] ppid=27291 vsize=27314120 memory=279696726245776 CPUtime=0 cores=0-7
/proc/27294/task/27306/stat : 27306 (java) S 27291 27291 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417992319 27969658880 31566 33554432000 4194304 4196468 140732238107552 139678913123440 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27307] ppid=27291 vsize=27314120 memory=279696726187056 CPUtime=0 cores=0-7
/proc/27294/task/27307/stat : 27307 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139678538618960 139681299126171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27308] ppid=27291 vsize=27314120 memory=279696726259600 CPUtime=0 cores=0-7
/proc/27294/task/27308/stat : 27308 (java) S 27291 27291 27111 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680423627376 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27309] ppid=27291 vsize=27314120 memory=279696726266512 CPUtime=0.01 cores=0-7
/proc/27294/task/27309/stat : 27309 (java) R 27291 27291 27111 0 -1 4202560 91 0 0 0 1 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680422574576 139681276742224 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27310] ppid=27291 vsize=27314120 memory=279696726264208 CPUtime=0.01 cores=0-7
/proc/27294/task/27310/stat : 27310 (java) S 27291 27291 27111 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680421522288 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27311] ppid=27291 vsize=27314120 memory=279696726280368 CPUtime=0.07 cores=0-7
/proc/27294/task/27311/stat : 27311 (java) S 27291 27291 27111 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680420469488 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27312] ppid=27291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27312/stat : 27312 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139678040713568 139681299117781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27313] ppid=27291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/27294/task/27313/stat : 27313 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992322 27969658880 31566 33554432000 4194304 4196468 140732238107552 139680419416368 139681299118722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127660 KiB

[startup+0.700909 s]
/proc/loadavg: 1.26 0.87 1.35 2/212 27313
/proc/meminfo: memFree=26518064/32770624 swapFree=66927260/67108860
[pid=27291] ppid=27288 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/27291/stat : 27291 (scop.sh) S 27288 27291 27111 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417992314 115843072 349 33554432000 4194304 5098028 140737194309712 140737194306968 140454966542972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27779072 140737194316580 140737194316908 140737194316908 140737194319821 0
/proc/27291/statm: 28282 349 296 221 0 87 0
[pid=27294] ppid=27291 vsize=27320392 memory=163024 CPUtime=1.02 cores=0-7
/proc/27294/stat : 27294 (java) S 27291 27291 27111 0 -1 1077944320 19926 0 0 0 95 7 0 0 20 0 20 0 417992314 27976081408 40756 33554432000 4194304 4196468 140732238107552 140732238090096 139681299107575 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
/proc/27294/statm: 6830098 40756 3152 1 0 6791447 0
[pid=27294/tid=27295] ppid=27291 vsize=27320392 memory=279696726638256 CPUtime=0.68 cores=0-7
/proc/27294/task/27295/stat : 27295 (java) R 27291 27291 27111 0 -1 4202560 16935 0 0 0 62 6 0 0 20 0 20 0 417992315 27976081408 40756 33554432000 4194304 4196468 140732238107552 139681270946032 139681299119510 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27296] ppid=27291 vsize=27320392 memory=139848363320176 CPUtime=0 cores=0-7
/proc/27294/task/27296/stat : 27296 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27976081408 40756 33554432000 4194304 4196468 140732238107552 139681303349648 139681299117781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27297] ppid=27291 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/27294/task/27297/stat : 27297 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27976081408 40756 33554432000 4194304 4196468 140732238107552 139680721565968 139681299117781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0
[pid=27294/tid=27298] ppid=27291 vsize=27320392 memory=1124 CPUtime=0 cores=0-7
/proc/27294/task/27298/stat : 27298 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417992317 27976081408 40756 33554432000 4194304 4196468 140732238107552 139680720513680 139681299117781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17350656 140732238115562 140732238115990 140732238115990 140732238118863 0

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

[pid=27314/tid=27325] ppid=27291 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/27314/task/27325/stat : 27325 (java) S 27291 27291 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417992628 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514619811104 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27326] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27326/stat : 27326 (java) S 27291 27291 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417992629 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514485589616 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27327] ppid=27291 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/27314/task/27327/stat : 27327 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514111085136 140516165699483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27328] ppid=27291 vsize=8414124 memory=6628 CPUtime=0.06 cores=0-7
/proc/27314/task/27328/stat : 27328 (java) S 27291 27291 27111 0 -1 1077944384 558 0 0 0 6 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515392301168 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27329] ppid=27291 vsize=8414124 memory=8836 CPUtime=0.07 cores=0-7
/proc/27314/task/27329/stat : 27329 (java) S 27291 27291 27111 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515391248368 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27330] ppid=27291 vsize=8414124 memory=11044 CPUtime=0.04 cores=0-7
/proc/27314/task/27330/stat : 27330 (java) S 27291 27291 27111 0 -1 1077944384 149 0 0 0 4 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515390196080 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27331] ppid=27291 vsize=8414124 memory=13252 CPUtime=0.19 cores=0-7
/proc/27314/task/27331/stat : 27331 (java) S 27291 27291 27111 0 -1 1077944384 554 0 0 0 19 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515389143280 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27332] ppid=27291 vsize=8414124 memory=15460 CPUtime=0 cores=0-7
/proc/27314/task/27332/stat : 27332 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140513613179744 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27333] ppid=27291 vsize=8414124 memory=17668 CPUtime=0 cores=0-7
/proc/27314/task/27333/stat : 27333 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992632 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515388091184 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27335] ppid=27291 vsize=8414124 memory=19876 CPUtime=0 cores=0-7
/proc/27314/task/27335/stat : 27335 (java) S 27291 27291 27111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515380057920 140516165705497 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27337] ppid=27291 vsize=8414124 memory=22084 CPUtime=0 cores=0-7
/proc/27314/task/27337/stat : 27337 (java) S 27291 27291 27111 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140512942079376 140516165702813 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27338] ppid=27291 vsize=8414124 memory=24292 CPUtime=0 cores=0-7
/proc/27314/task/27338/stat : 27338 (java) S 27291 27291 27111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140513210514704 140516165702813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27347] ppid=27291 vsize=8414124 memory=26500 CPUtime=0 cores=0-7
/proc/27314/task/27347/stat : 27347 (java) S 27291 27291 27111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417992700 8616062976 29532 33554432000 4194304 4196468 140731169076656 140512673652016 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
Current children cumulated CPU time: 88.59 s
Current children cumulated vsize: 9164284 KiB
Current children cumulated memory: 288256 KiB

[startup+14.4011 s]
/proc/loadavg: 2.19 1.09 1.42 7/224 27349
/proc/meminfo: memFree=26383308/32770624 swapFree=66927260/67108860
[pid=27291] ppid=27288 vsize=113128 memory=1476 CPUtime=9.74 cores=0-7
/proc/27291/stat : 27291 (scop.sh) S 27288 27291 27111 0 -1 4202496 583 30045 0 0 0 0 952 22 20 0 1 0 417992314 115843072 369 33554432000 4194304 5098028 140737194309712 140737194306456 140454966542972 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27779072 140737194316580 140737194316908 140737194316908 140737194319821 0
/proc/27291/statm: 28282 369 311 221 0 87 0
[pid=27314] ppid=27291 vsize=8414124 memory=118128 CPUtime=1.15 cores=0-7
/proc/27314/stat : 27314 (java) S 27291 27291 27111 0 -1 1077944320 20048 0 0 0 109 6 0 0 20 0 24 0 417992625 8616062976 29532 33554432000 4194304 4196468 140731169076656 140731169059200 140516165680887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
/proc/27314/statm: 2103531 29532 3209 1 0 2064875 0
[pid=27334] ppid=27314 vsize=637568 memory=167272 CPUtime=81.68 cores=0-7
/proc/27334/stat : 27334 (manyglucose-4.1) S 27314 27291 27111 0 -1 1077944320 119735 0 0 0 8144 24 0 0 20 0 3 0 417992697 652869632 41818 33554432000 4194304 4454172 140724475173872 140724475172256 139739029860087 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 20238336 140724475175785 140724475175984 140724475175984 140724475178938 0
/proc/27334/statm: 159392 41818 416 64 0 155060 0
[pid=27334/tid=27339] ppid=27314 vsize=637568 memory=279696726542256 CPUtime=10.53 cores=0-7
/proc/27334/task/27339/stat : 27339 (manyglucose-4.1) R 27314 27291 27111 0 -1 4202560 14620 0 0 0 1049 4 0 0 20 0 3 0 417992699 652869632 41818 33554432000 4194304 4454172 140724475173872 139739014642552 4351331 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 20238336 140724475175785 140724475175984 140724475175984 140724475178938 0
[pid=27334/tid=27346] ppid=27314 vsize=637568 memory=119490218035690 CPUtime=10.29 cores=0-7
/proc/27334/task/27346/stat : 27346 (manyglucose-4.1) R 27314 27291 27111 0 -1 4202560 15680 0 0 0 1026 3 0 0 20 0 3 0 417992699 652869632 41818 33554432000 4194304 4454172 140724475173872 139738883275512 4351492 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 20238336 140724475175785 140724475175984 140724475175984 140724475178938 0
[pid=27314/tid=27315] ppid=27291 vsize=8414124 memory=119490218035434 CPUtime=0.75 cores=0-7
/proc/27314/task/27315/stat : 27315 (java) S 27291 27291 27111 0 -1 1077944384 16918 0 0 0 70 5 0 0 20 0 24 0 417992625 8616062976 29532 33554432000 4194304 4196468 140731169076656 140516137521056 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27316] ppid=27291 vsize=8414124 memory=279696727101744 CPUtime=0 cores=0-7
/proc/27314/task/27316/stat : 27316 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140516169923472 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27317] ppid=27291 vsize=8414124 memory=1778049353217 CPUtime=0 cores=0-7
/proc/27314/task/27317/stat : 27317 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515970091792 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27318] ppid=27291 vsize=8414124 memory=1932668175617 CPUtime=0 cores=0-7
/proc/27314/task/27318/stat : 27318 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515969039504 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27319] ppid=27291 vsize=8414124 memory=7686721470300657818 CPUtime=0 cores=0-7
/proc/27314/task/27319/stat : 27319 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515967986704 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27320] ppid=27291 vsize=8414124 memory=-7667512876866820973 CPUtime=0 cores=0-7
/proc/27314/task/27320/stat : 27320 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515966933392 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27321] ppid=27291 vsize=8414124 memory=8030883985213620294 CPUtime=0 cores=0-7
/proc/27314/task/27321/stat : 27321 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515965880592 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27322] ppid=27291 vsize=8414124 memory=14367 CPUtime=0 cores=0-7
/proc/27314/task/27322/stat : 27322 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992627 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515964828304 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27323] ppid=27291 vsize=8414124 memory=288230376154821531 CPUtime=0 cores=0-7
/proc/27314/task/27323/stat : 27323 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992627 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515963775504 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27324] ppid=27291 vsize=8414124 memory=7596562585779267159 CPUtime=0 cores=0-7
/proc/27314/task/27324/stat : 27324 (java) S 27291 27291 27111 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417992628 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515393354352 140516165692034 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27325] ppid=27291 vsize=8414124 memory=7667499755960029546 CPUtime=0 cores=0-7
/proc/27314/task/27325/stat : 27325 (java) S 27291 27291 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417992628 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514619811104 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27326] ppid=27291 vsize=8414124 memory=7954032494731941991 CPUtime=0 cores=0-7
/proc/27314/task/27326/stat : 27326 (java) S 27291 27291 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417992629 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514485589616 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27327] ppid=27291 vsize=8414124 memory=6224370966297142369 CPUtime=0 cores=0-7
/proc/27314/task/27327/stat : 27327 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514111085136 140516165699483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27328] ppid=27291 vsize=8414124 memory=7374195159399819108 CPUtime=0.06 cores=0-7
/proc/27314/task/27328/stat : 27328 (java) S 27291 27291 27111 0 -1 1077944384 558 0 0 0 6 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515392301168 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27329] ppid=27291 vsize=8414124 memory=6225494658540202337 CPUtime=0.07 cores=0-7
/proc/27314/task/27329/stat : 27329 (java) S 27291 27291 27111 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515391248368 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27330] ppid=27291 vsize=8414124 memory=7449348943921829740 CPUtime=0.04 cores=0-7
/proc/27314/task/27330/stat : 27330 (java) S 27291 27291 27111 0 -1 1077944384 149 0 0 0 4 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515390196080 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27331] ppid=27291 vsize=8414124 memory=6944656591801717405 CPUtime=0.19 cores=0-7
/proc/27314/task/27331/stat : 27331 (java) S 27291 27291 27111 0 -1 1077944384 554 0 0 0 19 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515389143280 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27332] ppid=27291 vsize=8414124 memory=7882820317728500586 CPUtime=0 cores=0-7
/proc/27314/task/27332/stat : 27332 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140513613179744 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27333] ppid=27291 vsize=8414124 memory=7956567899943955306 CPUtime=0 cores=0-7
/proc/27314/task/27333/stat : 27333 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992632 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515388091184 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27335] ppid=27291 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/27314/task/27335/stat : 27335 (java) S 27291 27291 27111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515380057920 140516165705497 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27337] ppid=27291 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/27314/task/27337/stat : 27337 (java) S 27291 27291 27111 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140512942079376 140516165702813 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27338] ppid=27291 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/27314/task/27338/stat : 27338 (java) S 27291 27291 27111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140513210514704 140516165702813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27347] ppid=27291 vsize=8414124 memory=15538522534712410 CPUtime=0 cores=0-7
/proc/27314/task/27347/stat : 27347 (java) S 27291 27291 27111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417992700 8616062976 29532 33554432000 4194304 4196468 140731169076656 140512673652016 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
Current children cumulated CPU time: 92.57 s
Current children cumulated vsize: 9164820 KiB
Current children cumulated memory: 286876 KiB

[startup+14.6011 s]
/proc/loadavg: 2.19 1.09 1.42 7/224 27349
/proc/meminfo: memFree=26383308/32770624 swapFree=66927260/67108860
[pid=27291] ppid=27288 vsize=113128 memory=1476 CPUtime=9.74 cores=0-7
/proc/27291/stat : 27291 (scop.sh) S 27288 27291 27111 0 -1 4202496 583 30045 0 0 0 0 952 22 20 0 1 0 417992314 115843072 369 33554432000 4194304 5098028 140737194309712 140737194306456 140454966542972 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27779072 140737194316580 140737194316908 140737194316908 140737194319821 0
/proc/27291/statm: 28282 369 311 221 0 87 0
[pid=27314] ppid=27291 vsize=8414124 memory=118128 CPUtime=1.15 cores=0-7
/proc/27314/stat : 27314 (java) S 27291 27291 27111 0 -1 1077944320 20048 0 0 0 109 6 0 0 20 0 24 0 417992625 8616062976 29532 33554432000 4194304 4196468 140731169076656 140731169059200 140516165680887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
/proc/27314/statm: 2103531 29532 3209 1 0 2064875 0
[pid=27334] ppid=27314 vsize=612980 memory=167320 CPUtime=81.9 cores=0-7
/proc/27334/stat : 27334 (manyglucose-4.1) S 27314 27291 27111 0 -1 1077944320 119764 0 0 0 8166 24 0 0 20 0 2 0 417992697 627691520 41830 33554432000 4194304 4454172 140724475173872 140724475172256 139739029860087 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 20238336 140724475175785 140724475175984 140724475175984 140724475178938 0
/proc/27334/statm: 153245 41830 419 64 0 148913 0
[pid=27334/tid=27346] ppid=27314 vsize=612980 memory=1700 CPUtime=10.49 cores=0-7
/proc/27334/task/27346/stat : 27346 (manyglucose-4.1) R 27314 27291 27111 0 -1 4202560 15697 0 0 0 1046 3 0 0 20 0 2 0 417992699 627691520 41830 33554432000 4194304 4454172 140724475173872 139738883275512 4350367 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 20238336 140724475175785 140724475175984 140724475175984 140724475178938 0
[pid=27314/tid=27315] ppid=27291 vsize=8414124 memory=828 CPUtime=0.75 cores=0-7
/proc/27314/task/27315/stat : 27315 (java) S 27291 27291 27111 0 -1 1077944384 16918 0 0 0 70 5 0 0 20 0 24 0 417992625 8616062976 29532 33554432000 4194304 4196468 140731169076656 140516137521056 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27316] ppid=27291 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/27314/task/27316/stat : 27316 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140516169923472 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27317] ppid=27291 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/27314/task/27317/stat : 27317 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515970091792 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27318] ppid=27291 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/27314/task/27318/stat : 27318 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515969039504 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27319] ppid=27291 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/27314/task/27319/stat : 27319 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515967986704 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27320] ppid=27291 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/27314/task/27320/stat : 27320 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515966933392 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27321] ppid=27291 vsize=8414124 memory=680 CPUtime=0 cores=0-7
/proc/27314/task/27321/stat : 27321 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417992626 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515965880592 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27322] ppid=27291 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/27314/task/27322/stat : 27322 (java) S 27291 27291 27111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417992627 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515964828304 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27323] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27323/stat : 27323 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992627 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515963775504 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27324] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27324/stat : 27324 (java) S 27291 27291 27111 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417992628 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515393354352 140516165692034 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27325] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27325/stat : 27325 (java) S 27291 27291 27111 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417992628 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514619811104 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27326] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27326/stat : 27326 (java) S 27291 27291 27111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417992629 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514485589616 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27327] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27327/stat : 27327 (java) S 27291 27291 27111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140514111085136 140516165699483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27328] ppid=27291 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/27314/task/27328/stat : 27328 (java) S 27291 27291 27111 0 -1 1077944384 558 0 0 0 6 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515392301168 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27329] ppid=27291 vsize=8414124 memory=14 CPUtime=0.07 cores=0-7
/proc/27314/task/27329/stat : 27329 (java) S 27291 27291 27111 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515391248368 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27330] ppid=27291 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/27314/task/27330/stat : 27330 (java) S 27291 27291 27111 0 -1 1077944384 149 0 0 0 4 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515390196080 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27331] ppid=27291 vsize=8414124 memory=1 CPUtime=0.19 cores=0-7
/proc/27314/task/27331/stat : 27331 (java) S 27291 27291 27111 0 -1 1077944384 554 0 0 0 19 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515389143280 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27332] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27332/stat : 27332 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992631 8616062976 29532 33554432000 4194304 4196468 140731169076656 140513613179744 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27333] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27333/stat : 27333 (java) S 27291 27291 27111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417992632 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515388091184 140516165692034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27335] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27335/stat : 27335 (java) S 27291 27291 27111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140515380057920 140516165705497 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27337] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27337/stat : 27337 (java) S 27291 27291 27111 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140512942079376 140516165702813 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27338] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27338/stat : 27338 (java) S 27291 27291 27111 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417992698 8616062976 29532 33554432000 4194304 4196468 140731169076656 140513210514704 140516165702813 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
[pid=27314/tid=27347] ppid=27291 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/27314/task/27347/stat : 27347 (java) S 27291 27291 27111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 417992700 8616062976 29532 33554432000 4194304 4196468 140731169076656 140512673652016 140516165691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18026496 140731169084407 140731169084566 140731169084566 140731169087439 0
Current children cumulated CPU time: 92.79 s
Current children cumulated vsize: 9140232 KiB
Current children cumulated memory: 286924 KiB

Child status: 0
Real time (s): 14.6373
CPU time (s): 92.9189
CPU user time (s): 92.3547
CPU system time (s): 0.564197
CPU usage (%): 634.81
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 624472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.3547
system time used= 0.564197
maximum resident set size= 631644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9333
involuntary context switches= 920


# summary of solver processes directly reported to runsolver:
#   pid: 27291
#   total CPU time (s): 92.9189
#   total CPU user time (s): 92.3547
#   total CPU system time (s): 0.564197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.150632 second user time and 0.224129 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 01:30:07
IDJOB=4392576
IDBENCH=121909
IDSOLVER=2839
FILE ID=node137/4392576-1568417450
RUNJOBID= node137-1568417397-27138
PBS_JOBID= 21702274
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392576-1568417450/watcher-4392576-1568417450 -o /tmp/evaluation-result-4392576-1568417450/solver-4392576-1568417450 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568417397-27138 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392576-1568417450.xml

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

MD5SUM BENCH= c0f256b6b5f799b1206df7220afe38a7
RANDOM SEED=627561240

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.00
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:        26657416 kB
MemAvailable:   31803240 kB
Buffers:          182740 kB
Cached:          5228520 kB
SwapCached:        77548 kB
Active:          1410860 kB
Inactive:        4081036 kB
Active(anon):       4336 kB
Inactive(anon):   117624 kB
Active(file):    1406524 kB
Inactive(file):  3963412 kB
Unevictable:      108688 kB
Mlocked:          108688 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             20776 kB
Writeback:             0 kB
AnonPages:        135388 kB
Mapped:            44584 kB
Shmem:             32772 kB
Slab:             213060 kB
SReclaimable:     183448 kB
SUnreclaim:        29612 kB
KernelStack:        3728 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61408 MiB
End job on node137 at 2019-09-14 01:30:22