Trace number 4392352

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-23.xml
MD5SUMea1f89da39181e5263a1c81884ecc603
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 benchmark40.8874
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains67
Minimum domain size476
Maximum domain size574
Distribution of domain sizes[{"size":476,"count":4},{"size":478,"count":2},{"size":482,"count":2},{"size":483,"count":2},{"size":484,"count":6},{"size":485,"count":2},{"size":488,"count":2},{"size":489,"count":4},{"size":490,"count":2},{"size":492,"count":2},{"size":493,"count":2},{"size":494,"count":2},{"size":495,"count":4},{"size":496,"count":2},{"size":498,"count":4},{"size":499,"count":2},{"size":500,"count":4},{"size":501,"count":4},{"size":502,"count":4},{"size":503,"count":4},{"size":504,"count":4},{"size":505,"count":2},{"size":506,"count":2},{"size":507,"count":4},{"size":509,"count":2},"...",{"size":536,"count":6}, {"size":537,"count":2}, {"size":538,"count":2}, {"size":539,"count":4}, {"size":540,"count":2}, {"size":542,"count":2}, {"size":543,"count":4}, {"size":547,"count":2}, {"size":550,"count":8}, {"size":551,"count":2}, {"size":552,"count":4}, {"size":553,"count":2}, {"size":554,"count":2}, {"size":555,"count":2}, {"size":557,"count":2}, {"size":559,"count":6}, {"size":560,"count":4}, {"size":562,"count":2}, {"size":565,"count":2}, {"size":566,"count":2}, {"size":567,"count":2}, {"size":569,"count":2}, {"size":571,"count":6}, {"size":573,"count":2}, {"size":574,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16245-serial-file.bin HOME/instance-4392352-1568441968.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:18:45 CEST 2019
0.66/0.57	c PID: 16248
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
4.37/1.58	c (1,1) Parsing End
4.37/1.59	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
4.37/1.59	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.37/1.59	c (1,1) Constraint Name Generate Begin
4.79/1.62	c (1,1) Ctr:HOME/instance-4392352-1568441968.xml,Add:Le:Ne:Num:Or:Var
4.79/1.62	c (1,1) Constraint Name Generate End
4.79/1.62	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.79/1.62	c (1,1) CSP to CSPinCNF Begin
5.52/1.84	c (1,1) translated 280 (10%) constraints
5.52/1.89	c (1,1) translated 560 (20%) constraints
5.80/1.93	c (1,1) translated 840 (30%) constraints
5.80/1.96	c (1,1) translated 1120 (40%) constraints
5.80/1.98	c (1,1) translated 1400 (50%) constraints
5.80/2.01	c (1,1) translated 1680 (60%) constraints
6.20/2.03	c (1,1) translated 1960 (70%) constraints
6.20/2.05	c (1,1) translated 2240 (80%) constraints
6.20/2.07	c (1,1) translated 2520 (90%) constraints
6.20/2.09	c (1,1) translated 2800 (100%) constraints
6.20/2.09	c (1,1) ===========================================
6.20/2.09	c (1,1) Order
6.20/2.09	c (1,1) ===========================================
6.61/2.11	c (1,1) translated 280 (10%) constraints
6.61/2.13	c (1,1) translated 560 (20%) constraints
6.61/2.15	c (1,1) translated 840 (30%) constraints
6.61/2.16	c (1,1) translated 1120 (40%) constraints
6.61/2.18	c (1,1) translated 1400 (50%) constraints
6.61/2.19	c (1,1) translated 1680 (60%) constraints
6.98/2.20	c (1,1) translated 1960 (70%) constraints
6.98/2.22	c (1,1) translated 2240 (80%) constraints
6.98/2.23	c (1,1) translated 2520 (90%) constraints
6.98/2.25	c (1,1) translated 2800 (100%) constraints
6.98/2.25	c (1,1) CSP to CSPinCNF End
6.98/2.25	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
6.98/2.25	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.98/2.25	c (1,1) CSPinCNF Propagation Begin
7.41/2.32	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.41/2.32	c (1,1) CSPinCNF Propagation End
7.41/2.32	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
7.41/2.32	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.41/2.32	c (1,1) Simplify CSPinCNF Begin
8.17/2.51	c (1,1) Simplify CSPinCNF End
8.17/2.51	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 574
8.17/2.51	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.17/2.51	c (1,1) Calculate Precise Domain Begin
8.17/2.52	c (1,1) 0 values are removed by re-calculation
8.17/2.52	c (1,1) Calculate Precise Domain End
8.17/2.52	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 574
8.17/2.52	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.17/2.52	c (1,1) CSPinCNF to SatSolver Begin
11.44/4.12	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 375502 SAT clauses)
12.56/5.21	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 641236 SAT clauses)
13.63/6.28	c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 903034 SAT clauses)
14.73/7.35	c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1167665 SAT clauses)
15.84/8.44	c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1434400 SAT clauses)
17.00/9.48	c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1693743 SAT clauses)
18.03/10.42	c (9,9) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1956726 SAT clauses)
18.99/11.38	c (10,10) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2227366 SAT clauses)
19.99/12.35	c (11,11) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2498642 SAT clauses)
21.11/13.33	c (12,12) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2772894 SAT clauses)
21.11/13.33	c (12,12) CSPinCNF to SatSolver End
21.11/13.33	c (12,12) Heap : 4452 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.11/13.33	c (12,12) 110232 bool, 2773392 clause
21.11/13.33	c (12,12) Export Begin
21.28/13.43	c (12,12) Export to HOME/scop-16245-serial-file.bin
21.28/13.43	c (12,12) Export End
21.28/13.43	c (12,12) Export File Size: 0.03 MB
21.28/13.43	c (12,12) 1,1,1,1,1,1,12,STOP-AFTER(DIMACS)
21.28/13.43	c END-Prog: Sat Sep 14 08:18:58 CEST 2019
21.28/13.47	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16245-serial-file.bin
21.42/13.92	c (0,0) Read Serial File Begin
21.42/13.92	c (0,0) HOME/scop-16245-serial-file.bin
22.30/14.15	c (0,0) Read Serial File End
22.51/14.21	
22.51/14.21	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
22.51/14.21	(Solving Process)
22.51/14.21	
22.51/14.21	c BEGIN-Prog: Sat Sep 14 08:18:59 CEST 2019
22.51/14.21	c PID: 16268
22.51/14.21	c IP: 172.20.3.136
22.51/14.21	c HOST: node136.alineos.net
22.51/14.21	c (0,0) SatSolver.solve Begin
22.51/14.21	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392352-1568441968.xml-scop-16248.cnf
22.51/14.21	c (0,0) c
22.51/14.21	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)
22.51/14.21	c (0,0) c
22.51/14.21	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
22.51/14.21	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
22.51/14.21	c (0,0) c ========================================[ Problem Statistics ]===========================================
22.51/14.21	c (0,0) c |                                                                                                       |
23.54/15.18	c (1,0) c |  Number of variables:        110232                                                                   |
23.54/15.18	c (1,0) c |  Number of clauses:         2773392                                                                   |
23.54/15.18	c (1,0) c |  Parse time:                   0.89 s                                                                 |
23.54/15.18	c (1,0) c |                                                                                                       |
29.24/20.89	c (7,0) c |  Simplification time:          5.63 s                                                                 |
29.24/20.89	c (7,0) c |                                                                                                       |
29.24/20.89	c (7,0) c |  Generating clones                                                                                    |
30.04/21.60	c (7,0) c |  all clones generated. Memory =  1640.08Mb.                                                           |
30.04/21.60	c (7,0) c ========================================================================================================|
30.04/21.60	c (7,0) c
30.04/21.60	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
30.04/21.60	c (7,0) c
30.04/21.60	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.04/21.60	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
30.04/21.60	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
30.04/21.60	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
30.04/21.60	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
30.04/21.60	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
30.04/21.60	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
30.04/21.60	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
30.04/21.60	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
30.04/21.60	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
30.04/21.60	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
30.04/21.60	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
30.04/21.60	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
30.04/21.60	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
30.04/21.60	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
30.04/21.60	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
30.04/21.60	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
30.04/21.60	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
30.04/21.60	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.71	c (11,0) c
60.21/25.71	c (11,0) c real time : 11.5066 s
60.21/25.71	c (11,0) c cpu time  : 35.94 s
60.21/25.71	c (11,0) c
60.21/25.71	c (11,0) c
60.21/25.71	c (11,0) c
60.21/25.71	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
60.21/25.71	c (11,0) c
60.21/25.71	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.71	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
60.21/25.71	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.71	c (11,0) c | Conflicts     |           48933 |       4812 |       7226 |       7412 |       4759 |       6451 |       7666 |       5080 |       5527 |
60.21/25.71	c (11,0) c | Decisions     |           66462 |       7226 |       9500 |       9481 |       6640 |       8854 |       9990 |       6907 |       7864 |
60.21/25.71	c (11,0) c | Propagations  |        51007297 |    5256557 |    5859146 |    6655016 |    6355878 |    7007239 |    6697728 |    6557325 |    6618408 |
60.21/25.71	c (11,0) c | ReduceDBs     |              11 |          1 |          2 |          2 |          1 |          1 |          2 |          1 |          1 |
60.21/25.71	c (11,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
60.21/25.71	c (11,0) c | Restarts      |              29 |          4 |          2 |          3 |          3 |          4 |          2 |          4 |          7 |
60.21/25.71	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.71	c (11,0) c | PropBinClauses|        58899732 |    6296585 |    6787728 |    7621165 |    7248741 |    7916172 |    7804665 |    7618321 |    7606355 |
60.21/25.71	c (11,0) c | PropPreBlocker|       694509552 |   76625985 |   71051105 |   83392924 |   93643280 |   91392638 |   83041673 |  100217126 |   95144821 |
60.21/25.71	c (11,0) c | PropNotBlocker|       233570274 |   24663183 |   27772365 |   32049129 |   29692865 |   30655431 |   32933435 |   28269084 |   27534782 |
60.21/25.71	c (11,0) c | LitFullScans  |      1048998864 |  114006556 |  112823598 |  132021830 |  138023144 |  138017507 |  132030935 |  144029111 |  138046183 |
60.21/25.72	c (11,0) c | LitScanFracts |           71955 |       5626 |       7313 |      14997 |      10817 |       7650 |      11877 |       5021 |       8654 |
60.21/25.72	c (11,0) c | DecisionLevel0|              45 |          4 |         12 |          4 |          3 |          4 |          7 |          4 |          7 |
60.21/25.72	c (11,0) c | Periods       |             174 |         19 |         18 |         22 |         23 |         23 |         22 |         24 |         23 |
60.21/25.72	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
60.21/25.72	c (11,0) c | Avg_Trail     |                 |       7705 |       5220 |       6952 |       7718 |       7523 |       4981 |      11740 |       8297 |
60.21/25.72	c (11,0) c | Avg_DL        |                 |         34 |         11 |         15 |         17 |         16 |          9 |         22 |         16 |
60.21/25.72	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.72	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.72	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.72	c (11,0) c | Exported      |            5012 |        142 |       1205 |       1168 |        104 |        616 |       1293 |        187 |        297 |
60.21/25.72	c (11,0) c | Imported      |              70 |          0 |          0 |          0 |          0 |          0 |         30 |          0 |         40 |
60.21/25.72	c (11,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.72	c (11,0) c | Purge         |              70 |          0 |          0 |          0 |          0 |          0 |         30 |          0 |         40 |
60.21/25.72	c (11,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.72	c (11,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.72	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
60.21/25.72	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.72	c (11,0) c | Unaries       |                 |          0 |         10 |          1 |          0 |          0 |          5 |          0 |          0 |
60.21/25.72	c (11,0) c | Binaries      |                 |          0 |         52 |         14 |          0 |          0 |         41 |          0 |          0 |
60.21/25.72	c (11,0) c | Glues         |                 |        142 |        332 |        205 |        104 |        132 |        338 |        153 |        118 |
60.21/25.72	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.72	c (11,0) c | Orig_Seen     |             0 % |      28127 |      18650 |      18997 |      23082 |      21369 |      18075 |      25067 |      25855 |
60.21/25.72	c (11,0) c | Diff Orig seen|                 |       9477 |      X     |        347 |       4432 |       2719 | -      575 |       6417 |       7205 |
60.21/25.72	c (11,0) c | Hamming       |            21 % |      25477 |      X     |      22133 |      25122 |      21982 |      19865 |      23922 |      25121 |
60.21/25.72	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.72	c (11,0) c | RunningTime   |                 |    4.1 100%|    4.0 100%|    4.0 100%|    4.1 100%|    4.1 100%|    4.1 100%|    4.1 100%|    4.0 100%|
60.21/25.72	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%|
60.21/25.72	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%|
60.21/25.72	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%|
60.21/25.72	c (11,0) c | SolvingTime   |                 |    4.1     |    4.0     |    4.0     |    4.1     |    4.1     |    4.1     |    4.1     |    4.0     |
60.21/25.72	c (11,0) c | PropagationTim|                 |    3.9  95%|    3.9  96%|    3.9  95%|    3.9  96%|    3.9  96%|    3.9  96%|    3.9  96%|    3.9  96%|
60.21/25.72	c (11,0) c | AnalysisTime  |                 |    0.1   3%|    0.1   2%|    0.1   3%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|
60.21/25.72	c (11,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
60.21/25.72	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%|
60.21/25.72	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%|
60.21/25.72	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%|
60.21/25.72	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.72	c (11,0) c
60.21/25.72	c (11,0) c
60.21/25.72	c (11,0) c Threads : 8
60.21/25.72	c (11,0) c Winner : 1
60.21/25.72	c (11,0) c Conflicts_0 : 4812
60.21/25.72	c (11,0) c Conflicts_1 : 7226
60.21/25.72	c (11,0) c Conflicts_2 : 7412
60.21/25.72	c (11,0) c Conflicts_3 : 4759
60.21/25.72	c (11,0) c Conflicts_4 : 6451
60.21/25.72	c (11,0) c Conflicts_5 : 7666
60.21/25.72	c (11,0) c Conflicts_6 : 5080
60.21/25.72	c (11,0) c Conflicts_7 : 5527
60.21/25.72	c (11,0) c Conflicts_total : 48933
60.21/25.72	c (11,0) c Conflicts_winner : 7226
60.21/25.72	c (11,0) c Decisions_0 : 7226
60.21/25.72	c (11,0) c Decisions_1 : 9500
60.21/25.72	c (11,0) c Decisions_2 : 9481
60.21/25.72	c (11,0) c Decisions_3 : 6640
60.21/25.72	c (11,0) c Decisions_4 : 8854
60.21/25.72	c (11,0) c Decisions_5 : 9990
60.21/25.72	c (11,0) c Decisions_6 : 6907
60.21/25.72	c (11,0) c Decisions_7 : 7864
60.21/25.72	c (11,0) c Decisions_total : 66462
60.21/25.72	c (11,0) c Decisions_winner : 9500
60.21/25.72	c (11,0) c Propagations_0 : 5256557
60.21/25.72	c (11,0) c Propagations_1 : 5859146
60.21/25.72	c (11,0) c Propagations_2 : 6655016
60.21/25.72	c (11,0) c Propagations_3 : 6355878
60.21/25.72	c (11,0) c Propagations_4 : 7007239
60.21/25.72	c (11,0) c Propagations_5 : 6697728
60.21/25.72	c (11,0) c Propagations_6 : 6557325
60.21/25.72	c (11,0) c Propagations_7 : 6618408
60.21/25.72	c (11,0) c Propagations_total : 51007297
60.21/25.72	c (11,0) c Propagations_winner : 5859146
60.21/25.72	c (11,0) c ReduceDBs_0 : 1
60.21/25.72	c (11,0) c ReduceDBs_1 : 2
60.21/25.72	c (11,0) c ReduceDBs_2 : 2
60.21/25.72	c (11,0) c ReduceDBs_3 : 1
60.21/25.72	c (11,0) c ReduceDBs_4 : 1
60.21/25.72	c (11,0) c ReduceDBs_5 : 2
60.21/25.72	c (11,0) c ReduceDBs_6 : 1
60.21/25.72	c (11,0) c ReduceDBs_7 : 1
60.21/25.72	c (11,0) c ReduceDBs_total : 11
60.21/25.72	c (11,0) c ReduceDBs_winner : 2
60.21/25.72	c (11,0) c SimpDBs_0 : 1
60.21/25.72	c (11,0) c SimpDBs_1 : 1
60.21/25.72	c (11,0) c SimpDBs_2 : 1
60.21/25.72	c (11,0) c SimpDBs_3 : 1
60.21/25.72	c (11,0) c SimpDBs_4 : 1
60.21/25.72	c (11,0) c SimpDBs_5 : 1
60.21/25.72	c (11,0) c SimpDBs_6 : 1
60.21/25.72	c (11,0) c SimpDBs_7 : 1
60.21/25.72	c (11,0) c SimpDBs_total : 8
60.21/25.72	c (11,0) c SimpDBs_winner : 1
60.21/25.72	c (11,0) c Restarts_0 : 4
60.21/25.72	c (11,0) c Restarts_1 : 2
60.21/25.72	c (11,0) c Restarts_2 : 3
60.21/25.72	c (11,0) c Restarts_3 : 3
60.21/25.72	c (11,0) c Restarts_4 : 4
60.21/25.72	c (11,0) c Restarts_5 : 2
60.21/25.72	c (11,0) c Restarts_6 : 4
60.21/25.72	c (11,0) c Restarts_7 : 7
60.21/25.72	c (11,0) c Restarts_total : 29
60.21/25.72	c (11,0) c Restarts_winner : 2
60.21/25.72	c (11,0) c ForcedImports_0 : 0
60.21/25.72	c (11,0) c ForcedImports_1 : 0
60.21/25.72	c (11,0) c ForcedImports_2 : 0
60.21/25.72	c (11,0) c ForcedImports_3 : 0
60.21/25.72	c (11,0) c ForcedImports_4 : 0
60.21/25.72	c (11,0) c ForcedImports_5 : 0
60.21/25.72	c (11,0) c ForcedImports_6 : 0
60.21/25.72	c (11,0) c ForcedImports_7 : 0
60.21/25.72	c (11,0) c ForcedImports_total : 0
60.21/25.72	c (11,0) c ForcedImports_winner : 0
60.21/25.72	c (11,0) c PropsBinClauses_0 : 6296585
60.21/25.72	c (11,0) c PropsBinClauses_1 : 6787728
60.21/25.72	c (11,0) c PropsBinClauses_2 : 7621165
60.21/25.72	c (11,0) c PropsBinClauses_3 : 7248741
60.21/25.72	c (11,0) c PropsBinClauses_4 : 7916172
60.21/25.72	c (11,0) c PropsBinClauses_5 : 7804665
60.21/25.72	c (11,0) c PropsBinClauses_6 : 7618321
60.21/25.72	c (11,0) c PropsBinClauses_7 : 7606355
60.21/25.72	c (11,0) c PropsBinClauses_total : 58899732
60.21/25.72	c (11,0) c PropsBinClauses_winner : 6787728
60.21/25.72	c (11,0) c PropsPreBlocker_0 : 76625985
60.21/25.72	c (11,0) c PropsPreBlocker_1 : 71051105
60.21/25.72	c (11,0) c PropsPreBlocker_2 : 83392924
60.21/25.72	c (11,0) c PropsPreBlocker_3 : 93643280
60.21/25.72	c (11,0) c PropsPreBlocker_4 : 91392638
60.21/25.72	c (11,0) c PropsPreBlocker_5 : 83041673
60.21/25.72	c (11,0) c PropsPreBlocker_6 : 100217126
60.21/25.72	c (11,0) c PropsPreBlocker_7 : 95144821
60.21/25.72	c (11,0) c PropsPreBlocker_total : 694509552
60.21/25.72	c (11,0) c PropsPreBlocker_winner : 71051105
60.21/25.72	c (11,0) c PropsNotBlocker_0 : 24663183
60.21/25.72	c (11,0) c PropsNotBlocker_1 : 27772365
60.21/25.72	c (11,0) c PropsNotBlocker_2 : 32049129
60.21/25.72	c (11,0) c PropsNotBlocker_3 : 29692865
60.21/25.72	c (11,0) c PropsNotBlocker_4 : 30655431
60.21/25.72	c (11,0) c PropsNotBlocker_5 : 32933435
60.21/25.72	c (11,0) c PropsNotBlocker_6 : 28269084
60.21/25.72	c (11,0) c PropsNotBlocker_7 : 27534782
60.21/25.72	c (11,0) c PropsNotBlocker_total : 233570274
60.21/25.72	c (11,0) c PropsNotBlocker_winner : 27772365
60.21/25.72	c (11,0) c PropsLitFullScans_0 : 114006556
60.21/25.72	c (11,0) c PropsLitFullScans_1 : 112823598
60.21/25.72	c (11,0) c PropsLitFullScans_2 : 132021830
60.21/25.72	c (11,0) c PropsLitFullScans_3 : 138023144
60.21/25.72	c (11,0) c PropsLitFullScans_4 : 138017507
60.21/25.72	c (11,0) c PropsLitFullScans_5 : 132030935
60.21/25.72	c (11,0) c PropsLitFullScans_6 : 144029111
60.21/25.72	c (11,0) c PropsLitFullScans_7 : 138046183
60.21/25.72	c (11,0) c PropsLitFullScans_total : 1048998864
60.21/25.72	c (11,0) c PropsLitFullScans_winner : 112823598
60.21/25.72	c (11,0) c LitScanFractions_0 : 5626
60.21/25.72	c (11,0) c LitScanFractions_1 : 7313
60.21/25.72	c (11,0) c LitScanFractions_2 : 14997
60.21/25.72	c (11,0) c LitScanFractions_3 : 10817
60.21/25.72	c (11,0) c LitScanFractions_4 : 7650
60.21/25.72	c (11,0) c LitScanFractions_5 : 11877
60.21/25.72	c (11,0) c LitScanFractions_6 : 5021
60.21/25.72	c (11,0) c LitScanFractions_7 : 8654
60.21/25.72	c (11,0) c LitScanFractions_total : 71955
60.21/25.72	c (11,0) c LitScanFractions_winner : 7313
60.21/25.72	c (11,0) c DecisionLevel0_0 : 4
60.21/25.72	c (11,0) c DecisionLevel0_1 : 12
60.21/25.72	c (11,0) c DecisionLevel0_2 : 4
60.21/25.72	c (11,0) c DecisionLevel0_3 : 3
60.21/25.72	c (11,0) c DecisionLevel0_4 : 4
60.21/25.72	c (11,0) c DecisionLevel0_5 : 7
60.21/25.72	c (11,0) c DecisionLevel0_6 : 4
60.21/25.72	c (11,0) c DecisionLevel0_7 : 7
60.21/25.72	c (11,0) c DecisionLevel0_total : 45
60.21/25.72	c (11,0) c DecisionLevel0_winner : 12
60.21/25.72	c (11,0) c Periods_0 : 19
60.21/25.72	c (11,0) c Periods_1 : 18
60.21/25.72	c (11,0) c Periods_2 : 22
60.21/25.72	c (11,0) c Periods_3 : 23
60.21/25.72	c (11,0) c Periods_4 : 23
60.21/25.72	c (11,0) c Periods_5 : 22
60.21/25.72	c (11,0) c Periods_6 : 24
60.21/25.72	c (11,0) c Periods_7 : 23
60.21/25.72	c (11,0) c Periods_total : 174
60.21/25.72	c (11,0) c Periods_winner : 18
60.21/25.72	c (11,0) c Margin_0 : 20
60.21/25.72	c (11,0) c Margin_1 : 20
60.21/25.72	c (11,0) c Margin_2 : 20
60.21/25.72	c (11,0) c Margin_3 : 20
60.21/25.72	c (11,0) c Margin_4 : 20
60.21/25.72	c (11,0) c Margin_5 : 20
60.21/25.72	c (11,0) c Margin_6 : 20
60.21/25.72	c (11,0) c Margin_7 : 20
60.21/25.72	c (11,0) c Margin_total : 160
60.21/25.72	c (11,0) c Margin_winner : 20
60.21/25.72	c (11,0) c Exported_0 : 142
60.21/25.72	c (11,0) c Exported_1 : 1205
60.21/25.72	c (11,0) c Exported_2 : 1168
60.21/25.72	c (11,0) c Exported_3 : 104
60.21/25.72	c (11,0) c Exported_4 : 616
60.21/25.72	c (11,0) c Exported_5 : 1293
60.21/25.72	c (11,0) c Exported_6 : 187
60.21/25.72	c (11,0) c Exported_7 : 297
60.21/25.72	c (11,0) c Exported_total : 5012
60.21/25.72	c (11,0) c Exported_winner : 1205
60.21/25.72	c (11,0) c Imported_0 : 0
60.21/25.72	c (11,0) c Imported_1 : 0
60.21/25.72	c (11,0) c Imported_2 : 0
60.21/25.72	c (11,0) c Imported_3 : 0
60.21/25.72	c (11,0) c Imported_4 : 0
60.21/25.72	c (11,0) c Imported_5 : 30
60.21/25.72	c (11,0) c Imported_6 : 0
60.21/25.72	c (11,0) c Imported_7 : 40
60.21/25.72	c (11,0) c Imported_total : 70
60.21/25.72	c (11,0) c Imported_winner : 0
60.21/25.72	c (11,0) c Good_0 : 0
60.21/25.72	c (11,0) c Good_1 : 0
60.21/25.72	c (11,0) c Good_2 : 0
60.21/25.72	c (11,0) c Good_3 : 0
60.21/25.72	c (11,0) c Good_4 : 0
60.21/25.72	c (11,0) c Good_5 : 0
60.21/25.72	c (11,0) c Good_6 : 0
60.21/25.72	c (11,0) c Good_7 : 0
60.21/25.72	c (11,0) c Good_total : 0
60.21/25.72	c (11,0) c Good_winner : 0
60.21/25.72	c (11,0) c Purge_0 : 0
60.21/25.72	c (11,0) c Purge_1 : 0
60.21/25.72	c (11,0) c Purge_2 : 0
60.21/25.72	c (11,0) c Purge_3 : 0
60.21/25.72	c (11,0) c Purge_4 : 0
60.21/25.72	c (11,0) c Purge_5 : 30
60.21/25.72	c (11,0) c Purge_6 : 0
60.21/25.72	c (11,0) c Purge_7 : 40
60.21/25.72	c (11,0) c Purge_total : 70
60.21/25.72	c (11,0) c Purge_winner : 0
60.21/25.72	c (11,0) c Promoted_0 : 0
60.21/25.72	c (11,0) c Promoted_1 : 0
60.21/25.72	c (11,0) c Promoted_2 : 0
60.21/25.72	c (11,0) c Promoted_3 : 0
60.21/25.72	c (11,0) c Promoted_4 : 0
60.21/25.72	c (11,0) c Promoted_5 : 0
60.21/25.72	c (11,0) c Promoted_6 : 0
60.21/25.72	c (11,0) c Promoted_7 : 0
60.21/25.72	c (11,0) c Promoted_total : 0
60.21/25.72	c (11,0) c Promoted_winner : 0
60.21/25.73	c (11,0) c Remove_Imp_0 : 0
60.21/25.73	c (11,0) c Remove_Imp_1 : 0
60.21/25.73	c (11,0) c Remove_Imp_2 : 0
60.21/25.73	c (11,0) c Remove_Imp_3 : 0
60.21/25.73	c (11,0) c Remove_Imp_4 : 0
60.21/25.73	c (11,0) c Remove_Imp_5 : 0
60.21/25.73	c (11,0) c Remove_Imp_6 : 0
60.21/25.73	c (11,0) c Remove_Imp_7 : 0
60.21/25.73	c (11,0) c Remove_Imp_total : 0
60.21/25.73	c (11,0) c Remove_Imp_winner : 0
60.21/25.73	c (11,0) c Blocked_Reuse_0 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_1 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_2 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_3 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_4 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_5 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_6 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_7 : 0
60.21/25.73	c (11,0) c Blocked_Reuse_total : 0
60.21/25.73	c (11,0) c Blocked_Reuse_winner : 0
60.21/25.73	c (11,0) c Unaries_0 : 0
60.21/25.73	c (11,0) c Unaries_1 : 10
60.21/25.73	c (11,0) c Unaries_2 : 1
60.21/25.73	c (11,0) c Unaries_3 : 0
60.21/25.73	c (11,0) c Unaries_4 : 0
60.21/25.73	c (11,0) c Unaries_5 : 5
60.21/25.73	c (11,0) c Unaries_6 : 0
60.21/25.73	c (11,0) c Unaries_7 : 0
60.21/25.73	c (11,0) c Unaries_total : 16
60.21/25.73	c (11,0) c Unaries_winner : 10
60.21/25.73	c (11,0) c Binaries_0 : 0
60.21/25.73	c (11,0) c Binaries_1 : 52
60.21/25.73	c (11,0) c Binaries_2 : 14
60.21/25.73	c (11,0) c Binaries_3 : 0
60.21/25.73	c (11,0) c Binaries_4 : 0
60.21/25.73	c (11,0) c Binaries_5 : 41
60.21/25.73	c (11,0) c Binaries_6 : 0
60.21/25.73	c (11,0) c Binaries_7 : 0
60.21/25.73	c (11,0) c Binaries_total : 107
60.21/25.73	c (11,0) c Binaries_winner : 52
60.21/25.73	c (11,0) c Glues_0 : 142
60.21/25.73	c (11,0) c Glues_1 : 332
60.21/25.73	c (11,0) c Glues_2 : 205
60.21/25.73	c (11,0) c Glues_3 : 104
60.21/25.73	c (11,0) c Glues_4 : 132
60.21/25.73	c (11,0) c Glues_5 : 338
60.21/25.73	c (11,0) c Glues_6 : 153
60.21/25.73	c (11,0) c Glues_7 : 118
60.21/25.73	c (11,0) c Glues_total : 1524
60.21/25.73	c (11,0) c Glues_winner : 332
60.21/25.73	c (11,0) c RunningTime_0 : 4.061470
60.21/25.73	c (11,0) c RunningTime_1 : 4.026577
60.21/25.73	c (11,0) c RunningTime_2 : 4.034091
60.21/25.73	c (11,0) c RunningTime_3 : 4.069998
60.21/25.73	c (11,0) c RunningTime_4 : 4.108080
60.21/25.73	c (11,0) c RunningTime_5 : 4.059571
60.21/25.73	c (11,0) c RunningTime_6 : 4.071107
60.21/25.73	c (11,0) c RunningTime_7 : 4.037082
60.21/25.73	c (11,0) c RunningTime_total : 32.467975
60.21/25.73	c (11,0) c RunningTime_winner : 4.026577
60.21/25.73	c (11,0) c WaitingTime_0 : 0.000000
60.21/25.73	c (11,0) c WaitingTime_1 : 0.000000
60.21/25.73	c (11,0) c WaitingTime_2 : 0.000006
60.21/25.73	c (11,0) c WaitingTime_3 : 0.000005
60.21/25.73	c (11,0) c WaitingTime_4 : 0.000003
60.21/25.73	c (11,0) c WaitingTime_5 : 0.000002
60.21/25.73	c (11,0) c WaitingTime_6 : 0.000047
60.21/25.73	c (11,0) c WaitingTime_7 : 0.000009
60.21/25.73	c (11,0) c WaitingTime_total : 0.000072
60.21/25.73	c (11,0) c WaitingTime_winner : 0.000000
60.21/25.73	c (11,0) c ExchangingTime_0 : 0.000999
60.21/25.73	c (11,0) c ExchangingTime_1 : 0.001314
60.21/25.73	c (11,0) c ExchangingTime_2 : 0.001171
60.21/25.73	c (11,0) c ExchangingTime_3 : 0.001456
60.21/25.73	c (11,0) c ExchangingTime_4 : 0.001109
60.21/25.73	c (11,0) c ExchangingTime_5 : 0.001502
60.21/25.73	c (11,0) c ExchangingTime_6 : 0.001144
60.21/25.73	c (11,0) c ExchangingTime_7 : 0.001892
60.21/25.73	c (11,0) c ExchangingTime_total : 0.010588
60.21/25.73	c (11,0) c ExchangingTime_winner : 0.001314
60.21/25.73	c (11,0) c PeriodProcTime_0 : 0.000312
60.21/25.73	c (11,0) c PeriodProcTime_1 : 0.000924
60.21/25.73	c (11,0) c PeriodProcTime_2 : 0.000288
60.21/25.73	c (11,0) c PeriodProcTime_3 : 0.000375
60.21/25.73	c (11,0) c PeriodProcTime_4 : 0.001079
60.21/25.73	c (11,0) c PeriodProcTime_5 : 0.000314
60.21/25.73	c (11,0) c PeriodProcTime_6 : 0.000343
60.21/25.73	c (11,0) c PeriodProcTime_7 : 0.000510
60.21/25.73	c (11,0) c PeriodProcTime_total : 0.004145
60.21/25.73	c (11,0) c PeriodProcTime_winner : 0.000924
60.21/25.73	c (11,0) c SolvingTime_0 : 4.062781
60.21/25.73	c (11,0) c SolvingTime_1 : 4.028815
60.21/25.73	c (11,0) c SolvingTime_2 : 4.035557
60.21/25.73	c (11,0) c SolvingTime_3 : 4.071834
60.21/25.73	c (11,0) c SolvingTime_4 : 4.110271
60.21/25.73	c (11,0) c SolvingTime_5 : 4.061389
60.21/25.73	c (11,0) c SolvingTime_6 : 4.072641
60.21/25.73	c (11,0) c SolvingTime_7 : 4.039493
60.21/25.73	c (11,0) c SolvingTime_total : 32.482780
60.21/25.73	c (11,0) c SolvingTime_winner : 4.028815
60.21/25.73	c (11,0) c PropagationTime_0 : 3.877626
60.21/25.73	c (11,0) c PropagationTime_1 : 3.864558
60.21/25.73	c (11,0) c PropagationTime_2 : 3.852902
60.21/25.73	c (11,0) c PropagationTime_3 : 3.907017
60.21/25.73	c (11,0) c PropagationTime_4 : 3.942281
60.21/25.73	c (11,0) c PropagationTime_5 : 3.882138
60.21/25.73	c (11,0) c PropagationTime_6 : 3.898343
60.21/25.73	c (11,0) c PropagationTime_7 : 3.865371
60.21/25.73	c (11,0) c PropagationTime_total : 31.090236
60.21/25.73	c (11,0) c PropagationTime_winner : 3.864558
60.21/25.73	c (11,0) c AnalysisTime_0 : 0.102583
60.21/25.73	c (11,0) c AnalysisTime_1 : 0.088078
60.21/25.73	c (11,0) c AnalysisTime_2 : 0.105231
60.21/25.73	c (11,0) c AnalysisTime_3 : 0.089685
60.21/25.73	c (11,0) c AnalysisTime_4 : 0.089215
60.21/25.73	c (11,0) c AnalysisTime_5 : 0.097495
60.21/25.73	c (11,0) c AnalysisTime_6 : 0.096254
60.21/25.73	c (11,0) c AnalysisTime_7 : 0.094302
60.21/25.73	c (11,0) c AnalysisTime_total : 0.762842
60.21/25.73	c (11,0) c AnalysisTime_winner : 0.088078
60.21/25.73	c (11,0) c ReductionTime_0 : 0.000363
60.21/25.73	c (11,0) c ReductionTime_1 : 0.001706
60.21/25.73	c (11,0) c ReductionTime_2 : 0.001439
60.21/25.73	c (11,0) c ReductionTime_3 : 0.000560
60.21/25.73	c (11,0) c ReductionTime_4 : 0.000383
60.21/25.73	c (11,0) c ReductionTime_5 : 0.001542
60.21/25.73	c (11,0) c ReductionTime_6 : 0.000386
60.21/25.73	c (11,0) c ReductionTime_7 : 0.000377
60.21/25.73	c (11,0) c ReductionTime_total : 0.006756
60.21/25.73	c (11,0) c ReductionTime_winner : 0.001706
60.21/25.73	c (11,0) c SimplifyTime_0 : 0.000001
60.21/25.73	c (11,0) c SimplifyTime_1 : 0.000000
60.21/25.73	c (11,0) c SimplifyTime_2 : 0.000000
60.21/25.73	c (11,0) c SimplifyTime_3 : 0.000000
60.21/25.73	c (11,0) c SimplifyTime_4 : 0.000001
60.21/25.73	c (11,0) c SimplifyTime_5 : 0.000001
60.21/25.73	c (11,0) c SimplifyTime_6 : 0.000000
60.21/25.73	c (11,0) c SimplifyTime_7 : 0.000002
60.21/25.73	c (11,0) c SimplifyTime_total : 0.000005
60.21/25.73	c (11,0) c SimplifyTime_winner : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_0 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_1 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_2 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_3 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_4 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_5 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_6 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_7 : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_total : 0.000000
60.21/25.73	c (11,0) c UsedRateTime_winner : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_0 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_1 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_2 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_3 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_4 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_5 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_6 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_7 : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_total : 0.000000
60.21/25.73	c (11,0) c OverlapRateTime_winner : 0.000000
60.21/25.73	c (11,0) c
60.21/25.73	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
60.21/25.73	c (11,0) c
60.21/25.73	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.73	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
60.21/25.73	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.73	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
60.21/25.73	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
60.21/25.73	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
60.21/25.73	c (11,0) c | Initial random_seed   | 1427430009 | 1213598977 |  885195229 |  781980875 | 1863182901 | 1992719825 | 1884577829 | 1872610944 |
60.21/25.73	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
60.21/25.73	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
60.21/25.73	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
60.21/25.73	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
60.21/25.73	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
60.21/25.73	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
60.21/25.73	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
60.21/25.73	c (11,0) c | var_decay             |     0.8000 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
60.21/25.73	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
60.21/25.73	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
60.21/25.73	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
60.21/25.73	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
60.21/25.73	c (11,0) 
60.21/25.73	c (11,0) s UNSATISFIABLE
60.21/25.79	c (11,0) SatSolver.solve End
60.21/25.79	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
60.21/25.79	c (11,0) Show results Begin
60.21/25.79	s UNSATISFIABLE
60.21/25.79	c (11,0) Show results End
60.21/25.79	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
60.21/25.79	c (11,0) 11,11,STOP-AFTER(ALL)
60.21/25.79	c END-Prog: Sat Sep 14 08:19:10 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 (9611 MiB free)
  memory of node 1: 16384 MiB (15618 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100151 s]*
/proc/loadavg: 6.50 7.84 8.17 2/212 16267
/proc/meminfo: memFree=25741212/32770624 swapFree=67002168/67108860
[pid=16245] ppid=16242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16245/stat : 16245 (scop.sh) S 16242 16245 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420445507 115843072 349 33554432000 4194304 5098028 140720712464256 140720712461512 140132218319484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29904896 140720712471333 140720712471660 140720712471660 140720712474573 0
/proc/16245/statm: 28282 349 296 221 0 87 0
[pid=16248] ppid=16245 vsize=27314120 memory=105840 CPUtime=0.1 cores=0-7
/proc/16248/stat : 16248 (java) S 16245 16245 14480 0 -1 1077944320 6551 0 0 0 8 2 0 0 20 0 20 0 420445508 27969658880 26460 33554432000 4194304 4196468 140723095363296 140723095345840 140070323334903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
/proc/16248/statm: 6828530 26460 2793 1 0 6790935 0
[pid=16248/tid=16249] ppid=16245 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16248/task/16249/stat : 16249 (java) R 16245 16245 14480 0 -1 4202560 4628 0 0 0 7 2 0 0 20 0 20 0 420445508 27969658880 26460 33554432000 4194304 4196468 140723095363296 140070295161232 140070307415390 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16250] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16250/stat : 16250 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 26460 33554432000 4194304 4196468 140723095363296 140070327577744 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16251] ppid=16245 vsize=27314120 memory=139731847034496 CPUtime=0 cores=0-7
/proc/16248/task/16251/stat : 16251 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069745044496 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16252] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16252/stat : 16252 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069743991696 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16253] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16253/stat : 16253 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069742938896 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16254] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16254/stat : 16254 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069741886096 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16255] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16255/stat : 16255 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069740833296 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16256] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16256/stat : 16256 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445511 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069739780496 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16257] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16257/stat : 16257 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445511 27969658880 26460 33554432000 4194304 4196468 140723095363296 140069738727696 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16258] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16258/stat : 16258 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445512 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068576336752 140070323346050 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16259] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16259/stat : 16259 (java) S 16245 16245 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420445512 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068278756896 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16260] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16260/stat : 16260 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445513 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068010321264 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16261] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16261/stat : 16261 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 26460 33554432000 4194304 4196468 140723095363296 140067635812688 140070323353499 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16262] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16262/stat : 16262 (java) S 16245 16245 14480 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068575283568 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16263] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16263/stat : 16263 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068574230768 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16264] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16264/stat : 16264 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068573177968 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16265] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16265/stat : 16265 (java) S 16245 16245 14480 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068572125168 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16266] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16266/stat : 16266 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 26460 33554432000 4194304 4196468 140723095363296 140067137907808 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16267] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16267/stat : 16267 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445516 27969658880 26460 33554432000 4194304 4196468 140723095363296 140068571073584 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107236 KiB

[startup+0.210492 s]*
/proc/loadavg: 6.50 7.84 8.17 2/212 16267
/proc/meminfo: memFree=25718292/32770624 swapFree=67002168/67108860
[pid=16245] ppid=16242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16245/stat : 16245 (scop.sh) S 16242 16245 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420445507 115843072 349 33554432000 4194304 5098028 140720712464256 140720712461512 140132218319484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29904896 140720712471333 140720712471660 140720712471660 140720712474573 0
/proc/16245/statm: 28282 349 296 221 0 87 0
[pid=16248] ppid=16245 vsize=27314120 memory=125220 CPUtime=0.24 cores=0-7
/proc/16248/stat : 16248 (java) S 16245 16245 14480 0 -1 1077944320 12219 0 0 0 20 4 0 0 20 0 20 0 420445508 27969658880 31305 33554432000 4194304 4196468 140723095363296 140723095345840 140070323334903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
/proc/16248/statm: 6828530 31305 2938 1 0 6790935 0
[pid=16248/tid=16249] ppid=16245 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16248/task/16249/stat : 16249 (java) R 16245 16245 14480 0 -1 4202560 9873 0 0 0 17 3 0 0 20 0 20 0 420445508 27969658880 31305 33554432000 4194304 4196468 140723095363296 140070295155808 140070304898432 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16250] ppid=16245 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/16248/task/16250/stat : 16250 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 31305 33554432000 4194304 4196468 140723095363296 140070327577744 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16251] ppid=16245 vsize=27314120 memory=139731850136585 CPUtime=0 cores=0-7
/proc/16248/task/16251/stat : 16251 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069745044496 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16252] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16252/stat : 16252 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069743991696 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16253] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16253/stat : 16253 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069742938896 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16254] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16254/stat : 16254 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069741886096 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16255] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16255/stat : 16255 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069740833296 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16256] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16256/stat : 16256 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445511 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069739780496 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16257] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16257/stat : 16257 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445511 27969658880 31305 33554432000 4194304 4196468 140723095363296 140069738727696 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16258] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16258/stat : 16258 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445512 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068576336752 140070323346050 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16259] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16259/stat : 16259 (java) S 16245 16245 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420445512 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068278756896 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16260] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16260/stat : 16260 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445513 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068010321264 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16261] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16261/stat : 16261 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 31305 33554432000 4194304 4196468 140723095363296 140067635812688 140070323353499 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16262] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16262/stat : 16262 (java) S 16245 16245 14480 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068575283568 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16263] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16263/stat : 16263 (java) S 16245 16245 14480 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068574230768 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16264] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16264/stat : 16264 (java) S 16245 16245 14480 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068573177968 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16265] ppid=16245 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16248/task/16265/stat : 16265 (java) S 16245 16245 14480 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 420445515 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068572125168 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16266] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16266/stat : 16266 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 31305 33554432000 4194304 4196468 140723095363296 140067137907808 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16267] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16267/stat : 16267 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445516 27969658880 31305 33554432000 4194304 4196468 140723095363296 140068571073584 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126616 KiB

[startup+0.310338 s]*
/proc/loadavg: 6.50 7.84 8.17 2/212 16267
/proc/meminfo: memFree=25715252/32770624 swapFree=67002168/67108860
[pid=16245] ppid=16242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16245/stat : 16245 (scop.sh) S 16242 16245 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420445507 115843072 349 33554432000 4194304 5098028 140720712464256 140720712461512 140132218319484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29904896 140720712471333 140720712471660 140720712471660 140720712474573 0
/proc/16245/statm: 28282 349 296 221 0 87 0
[pid=16248] ppid=16245 vsize=27314120 memory=129376 CPUtime=0.42 cores=0-7
/proc/16248/stat : 16248 (java) S 16245 16245 14480 0 -1 1077944320 12687 0 0 0 37 5 0 0 20 0 20 0 420445508 27969658880 32344 33554432000 4194304 4196468 140723095363296 140723095345840 140070323334903 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
/proc/16248/statm: 6828530 32344 3049 1 0 6790935 0
[pid=16248/tid=16249] ppid=16245 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16248/task/16249/stat : 16249 (java) R 16245 16245 14480 0 -1 4202560 10064 0 0 0 26 3 0 0 20 0 20 0 420445508 27969658880 32344 33554432000 4194304 4196468 140723095363296 140070295161168 140070306521712 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16250] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16250/stat : 16250 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 32344 33554432000 4194304 4196468 140723095363296 140070327577744 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16251] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16251/stat : 16251 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069745044496 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16252] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16252/stat : 16252 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069743991696 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16253] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16253/stat : 16253 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069742938896 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16254] ppid=16245 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16248/task/16254/stat : 16254 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069741886096 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16255] ppid=16245 vsize=27314120 memory=139731727905711 CPUtime=0 cores=0-7
/proc/16248/task/16255/stat : 16255 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069740833296 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16256] ppid=16245 vsize=27314120 memory=139731727908016 CPUtime=0 cores=0-7
/proc/16248/task/16256/stat : 16256 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445511 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069739780496 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16257] ppid=16245 vsize=27314120 memory=139731727910320 CPUtime=0 cores=0-7
/proc/16248/task/16257/stat : 16257 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445511 27969658880 32344 33554432000 4194304 4196468 140723095363296 140069738727696 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16258] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16258/stat : 16258 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445512 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068576336752 140070323346050 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16259] ppid=16245 vsize=27314120 memory=279463455827600 CPUtime=0 cores=0-7
/proc/16248/task/16259/stat : 16259 (java) S 16245 16245 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420445512 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068278756896 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16260] ppid=16245 vsize=27314120 memory=279463455834512 CPUtime=0 cores=0-7
/proc/16248/task/16260/stat : 16260 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445513 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068010321264 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16261] ppid=16245 vsize=27314120 memory=279463455775792 CPUtime=0 cores=0-7
/proc/16248/task/16261/stat : 16261 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 32344 33554432000 4194304 4196468 140723095363296 140067635812688 140070323353499 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16262] ppid=16245 vsize=27314120 memory=279463455848336 CPUtime=0.01 cores=0-7
/proc/16248/task/16262/stat : 16262 (java) S 16245 16245 14480 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 20 0 420445515 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068575283568 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16263] ppid=16245 vsize=27314120 memory=279463455855248 CPUtime=0.01 cores=0-7
/proc/16248/task/16263/stat : 16263 (java) S 16245 16245 14480 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 420445515 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068574230768 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16264] ppid=16245 vsize=27314120 memory=279463455852944 CPUtime=0.01 cores=0-7
/proc/16248/task/16264/stat : 16264 (java) S 16245 16245 14480 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 420445515 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068573177968 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16265] ppid=16245 vsize=27314120 memory=279463455869104 CPUtime=0.07 cores=0-7
/proc/16248/task/16265/stat : 16265 (java) S 16245 16245 14480 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 20 0 420445515 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068572125168 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16266] ppid=16245 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16266/stat : 16266 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445515 27969658880 32344 33554432000 4194304 4196468 140723095363296 140067137907808 140070323345109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16267] ppid=16245 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16248/task/16267/stat : 16267 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420445516 27969658880 32344 33554432000 4194304 4196468 140723095363296 140068571073584 140070323346050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130772 KiB

[startup+0.700871 s]
/proc/loadavg: 6.50 7.84 8.17 2/212 16267
/proc/meminfo: memFree=25693424/32770624 swapFree=67002168/67108860
[pid=16245] ppid=16242 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16245/stat : 16245 (scop.sh) S 16242 16245 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420445507 115843072 349 33554432000 4194304 5098028 140720712464256 140720712461512 140132218319484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29904896 140720712471333 140720712471660 140720712471660 140720712474573 0
/proc/16245/statm: 28282 349 296 221 0 87 0
[pid=16248] ppid=16245 vsize=27320392 memory=164020 CPUtime=0.99 cores=0-7
/proc/16248/stat : 16248 (java) S 16245 16245 14480 0 -1 1077944320 20274 0 0 0 91 8 0 0 20 0 20 0 420445508 27976081408 41005 33554432000 4194304 4196468 140723095363296 140723095345840 140070323334903 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
/proc/16248/statm: 6830098 41005 3176 1 0 6791447 0
[pid=16248/tid=16249] ppid=16245 vsize=27320392 memory=279463456226992 CPUtime=0.67 cores=0-7
/proc/16248/task/16249/stat : 16249 (java) R 16245 16245 14480 0 -1 4202560 17110 0 0 0 61 6 0 0 20 0 20 0 420445508 27976081408 41005 33554432000 4194304 4196468 140723095363296 140070295172240 140069827224655 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16250] ppid=16245 vsize=27320392 memory=139731728114544 CPUtime=0 cores=0-7
/proc/16248/task/16250/stat : 16250 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27976081408 41005 33554432000 4194304 4196468 140723095363296 140070327577744 140070323345109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16251] ppid=16245 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16248/task/16251/stat : 16251 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420445510 27976081408 41005 33554432000 4194304 4196468 140723095363296 140069745044496 140070323345109 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0
[pid=16248/tid=16252] ppid=16245 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16248/task/16252/stat : 16252 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420445510 27976081408 41005 33554432000 4194304 4196468 140723095363296 140069743991696 140070323345109 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23420928 140723095368427 140723095368854 140723095368854 140723095371727 0

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

/proc/16268/task/16284/stat : 16284 (java) S 16245 16245 14480 0 -1 1077944384 513 0 0 0 11 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206645656176 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16285] ppid=16245 vsize=8414124 memory=342312 CPUtime=0.21 cores=0-7
/proc/16268/task/16285/stat : 16285 (java) S 16245 16245 14480 0 -1 1077944384 624 0 0 0 21 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206644603376 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16286] ppid=16245 vsize=8414124 memory=118980 CPUtime=0 cores=0-7
/proc/16268/task/16286/stat : 16286 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140204711078496 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16287] ppid=16245 vsize=8414124 memory=291244 CPUtime=0 cores=0-7
/proc/16268/task/16287/stat : 16287 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206643550768 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16289] ppid=16245 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16268/task/16289/stat : 16289 (java) S 16245 16245 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420446929 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206636074048 140207287475993 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16291] ppid=16245 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16268/task/16291/stat : 16291 (java) S 16245 16245 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420446929 8616062976 29745 33554432000 4194304 4196468 140735620600368 140204039979152 140207287473309 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16292] ppid=16245 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16268/task/16292/stat : 16292 (java) S 16245 16245 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420446929 8616062976 29745 33554432000 4194304 4196468 140735620600368 140204308414480 140207287473309 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16293] ppid=16245 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16268/task/16293/stat : 16293 (java) S 16245 16245 14480 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420446931 8616062976 29745 33554432000 4194304 4196468 140735620600368 140203771551280 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
Current children cumulated CPU time: 58.91 s
Current children cumulated vsize: 10796548 KiB
Current children cumulated memory: 1918284 KiB

[startup+25.8154 s]
# the end of solver process 16245 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=57.4628 s, system=2.97055 s

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

[startup+25.6058 s]
/proc/loadavg: 4.62 7.29 7.98 9/225 16301
/proc/meminfo: memFree=23868264/32770624 swapFree=67002168/67108860
[pid=16245] ppid=16242 vsize=113128 memory=1476 CPUtime=21.42 cores=0-7
/proc/16245/stat : 16245 (scop.sh) S 16242 16245 14480 0 -1 4202496 583 32951 0 0 0 0 2027 115 20 0 1 0 420445507 115843072 369 33554432000 4194304 5098028 140720712464256 140720712461000 140132218319484 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29904896 140720712471333 140720712471660 140720712471660 140720712474573 0
/proc/16245/statm: 28282 369 311 221 0 87 0
[pid=16268] ppid=16245 vsize=8414124 memory=118980 CPUtime=1.24 cores=0-7
/proc/16268/stat : 16268 (java) S 16245 16245 14480 0 -1 1077944320 21110 0 0 0 117 7 0 0 20 0 24 0 420446855 8616062976 29745 33554432000 4194304 4196468 140735620600368 140735620582912 140207287451383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
/proc/16268/statm: 2103531 29745 3201 1 0 2064875 0
[pid=16288] ppid=16268 vsize=2269296 memory=1798036 CPUtime=37.07 cores=0-7
/proc/16288/stat : 16288 (manyglucose-4.1) S 16268 16245 14480 0 -1 1077944320 602237 0 0 0 3545 162 0 0 20 0 9 0 420446928 2323759104 449509 33554432000 4194304 4454172 140729241340096 140729241338496 140046132243074 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
/proc/16288/statm: 567324 449509 407 64 0 562992 0
[pid=16288/tid=16294] ppid=16268 vsize=2269296 memory=0 CPUtime=3.84 cores=0-7
/proc/16288/task/16294/stat : 16294 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 40282 0 0 0 365 19 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140046083550120 4351797 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16295] ppid=16268 vsize=2269296 memory=0 CPUtime=3.69 cores=0-7
/proc/16288/task/16295/stat : 16295 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 39895 0 0 0 346 23 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045264300664 4332642 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16296] ppid=16268 vsize=2269296 memory=0 CPUtime=3.67 cores=0-7
/proc/16288/task/16296/stat : 16296 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 32682 0 0 0 362 5 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045255908136 4351286 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16297] ppid=16268 vsize=2269296 memory=0 CPUtime=3.71 cores=0-7
/proc/16288/task/16297/stat : 16297 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 30989 0 0 0 348 23 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045247515432 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16298] ppid=16268 vsize=2269296 memory=0 CPUtime=3.63 cores=0-7
/proc/16288/task/16298/stat : 16298 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 28440 0 0 0 358 5 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045239122552 4351502 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16299] ppid=16268 vsize=2269296 memory=1396 CPUtime=3.71 cores=0-7
/proc/16288/task/16299/stat : 16299 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 27061 0 0 0 348 23 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045230730024 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16300] ppid=16268 vsize=2269296 memory=56 CPUtime=3.66 cores=0-7
/proc/16288/task/16300/stat : 16300 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 35811 0 0 0 360 6 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045222337320 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16288/tid=16301] ppid=16268 vsize=2269296 memory=0 CPUtime=3.69 cores=0-7
/proc/16288/task/16301/stat : 16301 (manyglucose-4.1) R 16268 16245 14480 0 -1 4202560 31622 0 0 0 363 6 0 0 20 0 9 0 420447668 2323759104 449509 33554432000 4194304 4454172 140729241340096 140045213944616 4350933 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 33001472 140729241342825 140729241343024 140729241343024 140729241345978 0
[pid=16268/tid=16269] ppid=16245 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/16268/task/16269/stat : 16269 (java) S 16245 16245 14480 0 -1 1077944384 17741 0 0 0 70 6 0 0 20 0 24 0 420446855 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207259291552 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16270] ppid=16245 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16268/task/16270/stat : 16270 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207291693712 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16271] ppid=16245 vsize=8414124 memory=279463455621360 CPUtime=0 cores=0-7
/proc/16268/task/16271/stat : 16271 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207091862032 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16272] ppid=16245 vsize=8414124 memory=279463455621360 CPUtime=0 cores=0-7
/proc/16268/task/16272/stat : 16272 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207090809232 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16273] ppid=16245 vsize=8414124 memory=279463455621360 CPUtime=0 cores=0-7
/proc/16268/task/16273/stat : 16273 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207089756432 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16274] ppid=16245 vsize=8414124 memory=279463455621360 CPUtime=0 cores=0-7
/proc/16268/task/16274/stat : 16274 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207088704656 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16275] ppid=16245 vsize=8414124 memory=1796360 CPUtime=0 cores=0-7
/proc/16268/task/16275/stat : 16275 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207087651856 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16276] ppid=16245 vsize=8414124 memory=118980 CPUtime=0 cores=0-7
/proc/16268/task/16276/stat : 16276 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207086599056 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16277] ppid=16245 vsize=8414124 memory=39868 CPUtime=0 cores=0-7
/proc/16268/task/16277/stat : 16277 (java) S 16245 16245 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420446856 8616062976 29745 33554432000 4194304 4196468 140735620600368 140207085546256 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16278] ppid=16245 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16268/task/16278/stat : 16278 (java) S 16245 16245 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420446858 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206648813936 140207287462530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16279] ppid=16245 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/16268/task/16279/stat : 16279 (java) S 16245 16245 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420446858 8616062976 29745 33554432000 4194304 4196468 140735620600368 140205717709856 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16280] ppid=16245 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/16268/task/16280/stat : 16280 (java) S 16245 16245 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420446858 8616062976 29745 33554432000 4194304 4196468 140735620600368 140205583487856 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16281] ppid=16245 vsize=8414124 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/16268/task/16281/stat : 16281 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140205208983376 140207287469979 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16282] ppid=16245 vsize=8414124 memory=13813 CPUtime=0.03 cores=0-7
/proc/16268/task/16282/stat : 16282 (java) S 16245 16245 14480 0 -1 1077944384 416 0 0 0 3 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206647761776 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16283] ppid=16245 vsize=8414124 memory=24004 CPUtime=0.08 cores=0-7
/proc/16268/task/16283/stat : 16283 (java) S 16245 16245 14480 0 -1 1077944384 397 0 0 0 8 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206646708976 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16284] ppid=16245 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7
/proc/16268/task/16284/stat : 16284 (java) S 16245 16245 14480 0 -1 1077944384 513 0 0 0 11 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206645656176 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16285] ppid=16245 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/16268/task/16285/stat : 16285 (java) S 16245 16245 14480 0 -1 1077944384 624 0 0 0 21 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206644603376 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16286] ppid=16245 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/16268/task/16286/stat : 16286 (java) S 16245 16245 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140204711078496 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16287] ppid=16245 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16268/task/16287/stat : 16287 (java) S 16245 16245 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420446861 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206643550768 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16289] ppid=16245 vsize=8414124 memory=2764 CPUtime=0 cores=0-7
/proc/16268/task/16289/stat : 16289 (java) S 16245 16245 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420446929 8616062976 29745 33554432000 4194304 4196468 140735620600368 140206636074048 140207287475993 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16291] ppid=16245 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/16268/task/16291/stat : 16291 (java) S 16245 16245 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420446929 8616062976 29745 33554432000 4194304 4196468 140735620600368 140204039979152 140207287473309 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16292] ppid=16245 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/16268/task/16292/stat : 16292 (java) S 16245 16245 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420446929 8616062976 29745 33554432000 4194304 4196468 140735620600368 140204308414480 140207287473309 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16293] ppid=16245 vsize=8414124 memory=21764 CPUtime=0 cores=0-7
/proc/16268/task/16293/stat : 16293 (java) S 16245 16245 14480 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420446931 8616062976 29745 33554432000 4194304 4196468 140735620600368 140203771551280 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
Current children cumulated CPU time: 59.73 s
Current children cumulated vsize: 10796548 KiB
Current children cumulated memory: 1918492 KiB

[startup+25.8012 s]
/proc/loadavg: 4.62 7.29 7.98 9/225 16301
/proc/meminfo: memFree=23868264/32770624 swapFree=67002168/67108860
[pid=16245] ppid=16242 vsize=113128 memory=1476 CPUtime=21.42 cores=0-7
/proc/16245/stat : 16245 (scop.sh) S 16242 16245 14480 0 -1 4202496 583 32951 0 0 0 0 2027 115 20 0 1 0 420445507 115843072 369 33554432000 4194304 5098028 140720712464256 140720712461000 140132218319484 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29904896 140720712471333 140720712471660 140720712471660 140720712474573 0
/proc/16245/statm: 28282 369 311 221 0 87 0
[pid=16268] ppid=16245 vsize=8283048 memory=122252 CPUtime=38.97 cores=0-7
/proc/16268/stat : 16268 (java) S 16245 16245 14480 0 -1 1077944320 21412 607342 0 0 124 9 3594 170 20 0 22 0 420446855 8481841152 30563 33554432000 4194304 4196468 140735620600368 140735620582912 140207287451383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
/proc/16268/statm: 2070762 30563 3204 1 0 2032106 0
[pid=16268/tid=16269] ppid=16245 vsize=8283048 memory=0 CPUtime=38.41 cores=0-7
/proc/16268/task/16269/stat : 16269 (java) R 16245 16245 14480 0 -1 4202560 17754 607342 0 0 71 6 3594 170 20 0 22 0 420446855 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207259291552 140207280137015 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16270] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16270/stat : 16270 (java) S 16245 16245 14480 0 -1 1077944384 1 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207291693712 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16271] ppid=16245 vsize=8283048 memory=62 CPUtime=37.64 cores=0-7
/proc/16268/task/16271/stat : 16271 (java) S 16245 16245 14480 0 -1 1077944384 2 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207091862032 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16272] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16272/stat : 16272 (java) S 16245 16245 14480 0 -1 1077944384 2 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207090809232 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16273] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16273/stat : 16273 (java) S 16245 16245 14480 0 -1 1077944384 3 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207089756432 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16274] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16274/stat : 16274 (java) S 16245 16245 14480 0 -1 1077944384 2 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207088704656 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16275] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16275/stat : 16275 (java) S 16245 16245 14480 0 -1 1077944384 1 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207087651856 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16276] ppid=16245 vsize=8283048 memory=13412 CPUtime=37.64 cores=0-7
/proc/16268/task/16276/stat : 16276 (java) S 16245 16245 14480 0 -1 1077944384 1 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207086599056 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16277] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16277/stat : 16277 (java) S 16245 16245 14480 0 -1 1077944384 2 607342 0 0 0 0 3594 170 20 0 22 0 420446856 8481841152 30563 33554432000 4194304 4196468 140735620600368 140207085546256 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16278] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16278/stat : 16278 (java) S 16245 16245 14480 0 -1 1077944384 5 607342 0 0 0 0 3594 170 20 0 22 0 420446858 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206648813936 140207287462530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16279] ppid=16245 vsize=8283048 memory=0 CPUtime=37.64 cores=0-7
/proc/16268/task/16279/stat : 16279 (java) S 16245 16245 14480 0 -1 1077944384 13 607342 0 0 0 0 3594 170 20 0 22 0 420446858 8481841152 30563 33554432000 4194304 4196468 140735620600368 140205717709856 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16280] ppid=16245 vsize=8283048 memory=48 CPUtime=37.64 cores=0-7
/proc/16268/task/16280/stat : 16280 (java) S 16245 16245 14480 0 -1 1077944384 21 607342 0 0 0 0 3594 170 20 0 22 0 420446858 8481841152 30563 33554432000 4194304 4196468 140735620600368 140205583487856 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16281] ppid=16245 vsize=8283048 memory=3616 CPUtime=37.64 cores=0-7
/proc/16268/task/16281/stat : 16281 (java) S 16245 16245 14480 0 -1 1077944384 1 607342 0 0 0 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140205208983376 140207287469979 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16282] ppid=16245 vsize=8283048 memory=39868 CPUtime=37.68 cores=0-7
/proc/16268/task/16282/stat : 16282 (java) S 16245 16245 14480 0 -1 1077944384 421 607342 0 0 4 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206647761776 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16283] ppid=16245 vsize=8283048 memory=988 CPUtime=37.74 cores=0-7
/proc/16268/task/16283/stat : 16283 (java) S 16245 16245 14480 0 -1 1077944384 400 607342 0 0 10 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206646708976 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16284] ppid=16245 vsize=8283048 memory=2024 CPUtime=37.76 cores=0-7
/proc/16268/task/16284/stat : 16284 (java) S 16245 16245 14480 0 -1 1077944384 519 607342 0 0 12 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206645656176 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16285] ppid=16245 vsize=8283048 memory=1428 CPUtime=37.87 cores=0-7
/proc/16268/task/16285/stat : 16285 (java) S 16245 16245 14480 0 -1 1077944384 879 607342 0 0 23 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206644603376 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16286] ppid=16245 vsize=8283048 memory=776 CPUtime=37.64 cores=0-7
/proc/16268/task/16286/stat : 16286 (java) S 16245 16245 14480 0 -1 1077944384 3 607342 0 0 0 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140204711078496 140207287461589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16287] ppid=16245 vsize=8283048 memory=4008 CPUtime=37.64 cores=0-7
/proc/16268/task/16287/stat : 16287 (java) S 16245 16245 14480 0 -1 1077944384 1 607342 0 0 0 0 3594 170 20 0 22 0 420446861 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206643550768 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16289] ppid=16245 vsize=8283048 memory=1292 CPUtime=37.64 cores=0-7
/proc/16268/task/16289/stat : 16289 (java) S 16245 16245 14480 0 -1 1077944384 25 607342 0 0 0 0 3594 170 20 0 22 0 420446929 8481841152 30563 33554432000 4194304 4196468 140735620600368 140206636073232 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
[pid=16268/tid=16293] ppid=16245 vsize=8283048 memory=5948 CPUtime=37.64 cores=0-7
/proc/16268/task/16293/stat : 16293 (java) S 16245 16245 14480 0 -1 1077944384 15 607342 0 0 0 0 3594 170 20 0 22 0 420446931 8481841152 30563 33554432000 4194304 4196468 140735620600368 140203771553072 140207287462530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37269504 140735620609015 140735620609174 140735620609174 140735620612047 0
Current children cumulated CPU time: 60.39 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 123728 KiB

Child status: 0
Real time (s): 25.8155
CPU time (s): 60.4334
CPU user time (s): 57.4628
CPU system time (s): 2.97055
CPU usage (%): 234.098
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5923168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.4628
system time used= 2.97055
maximum resident set size= 5923140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662324
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48672
involuntary context switches= 309


# summary of solver processes directly reported to runsolver:
#   pid: 16245
#   total CPU time (s): 60.4334
#   total CPU user time (s): 57.4628
#   total CPU system time (s): 2.97055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.235403 second user time and 0.32612 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 08:18:44
IDJOB=4392352
IDBENCH=138447
IDSOLVER=2838
FILE ID=node136/4392352-1568441968
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-23.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392352-1568441968/watcher-4392352-1568441968 -o /tmp/evaluation-result-4392352-1568441968/solver-4392352-1568441968 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392352-1568441968.xml

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

MD5SUM BENCH= ea1f89da39181e5263a1c81884ecc603
RANDOM SEED=1886992771

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25835072 kB
MemAvailable:   31891056 kB
Buffers:           86284 kB
Cached:          6246500 kB
SwapCached:         3100 kB
Active:          2033192 kB
Inactive:        4305428 kB
Active(anon):       4788 kB
Inactive(anon):    42124 kB
Active(file):    2028404 kB
Inactive(file):  4263304 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002168 kB
Dirty:             20812 kB
Writeback:             0 kB
AnonPages:        122572 kB
Mapped:            43916 kB
Shmem:             31940 kB
Slab:             189740 kB
SReclaimable:     160220 kB
SUnreclaim:        29520 kB
KernelStack:        3728 kB
PageTables:         5652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 08:19:10