Trace number 4405285

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 125.304 20.6524

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesN/
StripPacking-N1c.xml
MD5SUM19f4dcf35e46defaa68e633424c84ce1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark122.854
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	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-1255-serial-file.bin HOME/instance-4405285-1569238628.xml
0.69/1.31	
0.69/1.31	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.69/1.31	
0.73/1.99	c BEGIN-Prog: Mon Sep 23 13:36:27 CEST 2019
0.73/1.99	c PID: 1258
0.73/1.99	c IP: 172.20.3.136
0.73/1.99	c HOST: node136.alineos.net
0.74/2.05	c (0,0) Parsing Begin
1.39/2.45	c (0,0) Parsing End
1.62/2.68	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.62/2.68	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/2.68	c (0,0) Constraint Name Generate Begin
1.62/2.68	c (0,0) Ctr:HOME/instance-4405285-1569238628.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.62/2.68	c (0,0) Constraint Name Generate End
1.62/2.68	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/2.68	c (0,0) CSP to CSPinCNF Begin
1.62/2.68	c (1,0) translated 6 (10%) constraints
1.62/2.68	c (1,0) translated 11 (20%) constraints
1.62/2.68	c (1,0) translated 16 (30%) constraints
1.62/2.68	c (1,0) translated 21 (40%) constraints
1.62/2.68	c (1,0) translated 26 (50%) constraints
1.62/2.68	c (1,0) translated 32 (60%) constraints
1.79/2.75	c (1,0) translated 37 (70%) constraints
2.00/2.81	c (1,0) translated 42 (80%) constraints
2.00/2.85	c (1,0) translated 47 (90%) constraints
2.00/2.88	c (1,0) translated 52 (100%) constraints
2.29/2.98	c (1,0) ===========================================
2.29/2.98	c (1,0) Order
2.29/2.98	c (1,0) ===========================================
2.29/2.99	c (1,0) translated 43 (10%) constraints
2.29/3.00	c (1,0) translated 85 (20%) constraints
2.29/3.00	c (1,0) translated 128 (30%) constraints
2.29/3.00	c (1,0) translated 170 (40%) constraints
2.64/3.01	c (1,0) translated 213 (50%) constraints
2.64/3.01	c (1,0) translated 255 (60%) constraints
2.64/3.02	c (1,0) translated 298 (70%) constraints
2.64/3.02	c (1,0) translated 340 (80%) constraints
2.64/3.03	c (1,0) translated 383 (90%) constraints
2.64/3.03	c (1,0) translated 425 (100%) constraints
2.64/3.03	c (1,0) CSP to CSPinCNF End
2.64/3.04	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.64/3.04	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.64/3.04	c (1,0) CSPinCNF Propagation Begin
2.64/3.06	c (1,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.64/3.06	c (1,0) CSPinCNF Propagation End
2.64/3.06	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.64/3.06	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.64/3.06	c (1,0) Simplify CSPinCNF Begin
3.03/3.13	c (1,1) Simplify CSPinCNF End
3.03/3.13	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.03/3.13	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.03/3.13	c (1,1) Calculate Precise Domain Begin
3.03/3.13	c (1,1) 0 values are removed by re-calculation
3.03/3.13	c (1,1) Calculate Precise Domain End
3.03/3.13	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.03/3.13	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.03/3.13	c (1,1) CSPinCNF to SatSolver Begin
3.29/3.24	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5854 SAT clauses)
3.29/3.25	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 5951 SAT clauses)
3.29/3.26	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6048 SAT clauses)
4.13/3.45	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 24313 SAT clauses)
4.56/3.56	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 45110 SAT clauses)
4.90/3.63	c (2,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60101 SAT clauses)
5.10/3.71	c (2,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 80074 SAT clauses)
5.21/3.80	c (2,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 102531 SAT clauses)
5.21/3.89	c (2,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 124013 SAT clauses)
5.32/3.96	c (2,1) 969 (100 %) CSP clauses are encoded (0 SAT variables, 141024 SAT clauses)
5.32/3.96	c (2,1) CSPinCNF to SatSolver End
5.32/3.96	c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.32/3.96	c (2,1) 6455 bool, 141255 clause
5.32/3.96	c (2,1) Export Begin
5.60/4.11	c (2,1) Export to HOME/scop-1255-serial-file.bin
5.60/4.11	c (2,1) Export End
5.60/4.11	c (2,1) Export File Size: 0.03 MB
5.60/4.11	c (2,1) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
5.60/4.11	c END-Prog: Mon Sep 23 13:36:30 CEST 2019
5.60/4.13	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1255-serial-file.bin
5.62/4.59	c (0,0) Read Serial File Begin
5.62/4.59	c (0,0) HOME/scop-1255-serial-file.bin
5.62/4.82	c (0,0) Read Serial File End
5.62/4.84	
5.62/4.84	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.62/4.84	(Solving Process)
5.62/4.84	
5.62/4.86	c BEGIN-Prog: Mon Sep 23 13:36:30 CEST 2019
5.62/4.86	c PID: 1278
5.62/4.86	c IP: 172.20.3.136
5.62/4.86	c HOST: node136.alineos.net
5.62/4.86	c (0,0) SatSolver.solve Begin
5.62/4.86	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405285-1569238628.xml-scop-1258.cnf
5.62/4.89	c (0,0) c
5.62/4.89	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
5.62/4.89	c (0,0) c
5.62/4.89	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.62/4.89	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.62/4.89	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.62/4.89	c (0,0) c |                                                                                                       |
5.62/4.94	c (0,0) c |  Number of variables:          6455                                                                   |
5.62/4.94	c (0,0) c |  Number of clauses:          141255                                                                   |
5.62/4.94	c (0,0) c |  Parse time:                   0.05 s                                                                 |
5.62/4.94	c (0,0) c |                                                                                                       |
7.05/5.19	c (0,0) c |  Simplification time:          0.25 s                                                                 |
7.05/5.19	c (0,0) c |                                                                                                       |
7.05/5.19	c (0,0) c |  Generating clones                                                                                    |
7.14/5.24	c (0,0) c |  all clones generated. Memory =   104.66Mb.                                                           |
7.14/5.24	c (0,0) c ========================================================================================================|
7.14/5.24	c (0,0) c
7.14/5.24	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.14/5.24	c (0,0) c
7.14/5.24	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.14/5.24	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.14/5.24	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.14/5.24	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.14/5.24	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.14/5.24	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.14/5.24	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.14/5.24	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.14/5.24	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.14/5.24	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.14/5.24	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.14/5.24	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.14/5.24	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.14/5.24	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.14/5.24	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.14/5.24	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.14/5.24	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.14/5.24	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.14/5.24	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c real time : 15.5997 s
124.73/20.49	c (15,0) c cpu time  : 117.664 s
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c | Conflicts     |          609396 |      76338 |      74344 |      77044 |      76681 |      74484 |      77111 |      76964 |      76430 |
124.73/20.49	c (15,0) c | Decisions     |         1151450 |     143726 |     138476 |     143584 |     146711 |     139181 |     149009 |     145915 |     144848 |
124.73/20.49	c (15,0) c | Propagations  |       185919507 |   22959914 |   22862306 |   23479694 |   23027049 |   23493568 |   23494784 |   23183685 |   23418507 |
124.73/20.49	c (15,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
124.73/20.49	c (15,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
124.73/20.49	c (15,0) c | Restarts      |            1592 |        181 |        180 |        203 |        234 |        150 |        233 |        209 |        202 |
124.73/20.49	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.73/20.49	c (15,0) c | PropBinClauses|       234098457 |   28668903 |   28761249 |   30063643 |   28975645 |   29492754 |   29348108 |   29428235 |   29359920 |
124.73/20.49	c (15,0) c | PropPreBlocker|      3924131941 |  483212842 |  483466178 |  495517644 |  486461959 |  496292046 |  496255314 |  487961068 |  494964890 |
124.73/20.49	c (15,0) c | PropNotBlocker|      1174062656 |  146353025 |  146131079 |  149015277 |  145158760 |  147400110 |  147534356 |  146739484 |  145730565 |
124.73/20.49	c (15,0) c | LitFullScans  |      6932633887 |  858056759 |  858048758 |  876059359 |  858050253 |  876038689 |  874738820 |  861604156 |  870037093 |
124.73/20.49	c (15,0) c | LitScanFracts |          363689 |      49827 |      40512 |      42992 |      46168 |      33941 |      79893 |      38535 |      31821 |
124.73/20.49	c (15,0) c | DecisionLevel0|            1592 |        181 |        180 |        203 |        234 |        150 |        233 |        209 |        202 |
124.73/20.49	c (15,0) c | Periods       |            1154 |        143 |        143 |        146 |        143 |        146 |        145 |        143 |        145 |
124.73/20.49	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
124.73/20.49	c (15,0) c | Avg_Trail     |                 |       2789 |       2779 |       2738 |       2810 |       2875 |       2826 |       2762 |       2841 |
124.73/20.49	c (15,0) c | Avg_DL        |                 |         27 |         27 |         27 |         27 |         27 |         27 |         27 |         28 |
124.73/20.49	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.73/20.49	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c | Exported      |           97875 |      11986 |      12022 |      12687 |      12161 |      12251 |      11752 |      13109 |      11907 |
124.73/20.49	c (15,0) c | Imported      |          614415 |      76754 |      76869 |      74816 |      76755 |      77035 |      78152 |      76159 |      77875 |
124.73/20.49	c (15,0) c | Good          |              95 |          9 |         12 |          8 |         13 |         13 |         13 |         13 |         14 |
124.73/20.49	c (15,0) c | Purge         |          614320 |      76745 |      76857 |      74808 |      76742 |      77022 |      78139 |      76146 |      77861 |
124.73/20.49	c (15,0) c | Promoted      |           45757 |       5999 |       5559 |       5575 |       5599 |       5614 |       5883 |       5552 |       5976 |
124.73/20.49	c (15,0) c | Remove_Imp    |          311774 |      33774 |      41320 |      40060 |      39183 |      40486 |      39948 |      39024 |      37979 |
124.73/20.49	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
124.73/20.49	c (15,0) c | Binaries      |                 |          5 |          2 |          4 |          2 |          1 |          1 |          2 |          0 |
124.73/20.49	c (15,0) c | Glues         |                 |         52 |         43 |         36 |         39 |         30 |         36 |         37 |         33 |
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c | Orig_Seen     |            39 % |      53125 |      53366 |      52737 |      53560 |      56772 |      55971 |      54540 |      59461 |
124.73/20.49	c (15,0) c | Diff Orig seen|                 | -     1415 | -     1174 | -     1803 | -      980 |       2232 |       1431 |      X     |       4921 |
124.73/20.49	c (15,0) c | Hamming       |            34 % |       1979 |       2335 |       2066 |       2454 |       2218 |       1967 |      X     |       2367 |
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c | RunningTime   |                 |   15.2 100%|   15.2 100%|   14.6 100%|   14.7 100%|   14.6 100%|   14.5 100%|   14.5 100%|   14.6 100%|
124.73/20.49	c (15,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%|
124.73/20.49	c (15,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%|
124.73/20.49	c (15,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%|
124.73/20.49	c (15,0) c | SolvingTime   |                 |   15.2     |   15.2     |   14.6     |   14.7     |   14.6     |   14.6     |   14.6     |   14.6     |
124.73/20.49	c (15,0) c | PropagationTim|                 |   13.0  85%|   13.2  87%|   12.5  86%|   12.6  85%|   12.5  86%|   12.5  86%|   12.5  86%|   12.5  86%|
124.73/20.49	c (15,0) c | AnalysisTime  |                 |    1.6  11%|    1.4   9%|    1.5  10%|    1.5  10%|    1.5  10%|    1.5  10%|    1.4  10%|    1.5  10%|
124.73/20.49	c (15,0) c | ReductionTime |                 |    0.1   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
124.73/20.49	c (15,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%|
124.73/20.49	c (15,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%|
124.73/20.49	c (15,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%|
124.73/20.49	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c
124.73/20.49	c (15,0) c Threads : 8
124.73/20.49	c (15,0) c Winner : 6
124.73/20.49	c (15,0) c Conflicts_0 : 76338
124.73/20.49	c (15,0) c Conflicts_1 : 74344
124.73/20.49	c (15,0) c Conflicts_2 : 77044
124.73/20.49	c (15,0) c Conflicts_3 : 76681
124.73/20.49	c (15,0) c Conflicts_4 : 74484
124.73/20.49	c (15,0) c Conflicts_5 : 77111
124.73/20.49	c (15,0) c Conflicts_6 : 76964
124.73/20.49	c (15,0) c Conflicts_7 : 76430
124.73/20.49	c (15,0) c Conflicts_total : 609396
124.73/20.49	c (15,0) c Conflicts_winner : 76964
124.73/20.49	c (15,0) c Decisions_0 : 143726
124.73/20.49	c (15,0) c Decisions_1 : 138476
124.73/20.49	c (15,0) c Decisions_2 : 143584
124.73/20.49	c (15,0) c Decisions_3 : 146711
124.73/20.49	c (15,0) c Decisions_4 : 139181
124.73/20.49	c (15,0) c Decisions_5 : 149009
124.73/20.49	c (15,0) c Decisions_6 : 145915
124.73/20.49	c (15,0) c Decisions_7 : 144848
124.73/20.49	c (15,0) c Decisions_total : 1151450
124.73/20.49	c (15,0) c Decisions_winner : 145915
124.73/20.49	c (15,0) c Propagations_0 : 22959914
124.73/20.49	c (15,0) c Propagations_1 : 22862306
124.73/20.49	c (15,0) c Propagations_2 : 23479694
124.73/20.49	c (15,0) c Propagations_3 : 23027049
124.73/20.49	c (15,0) c Propagations_4 : 23493568
124.73/20.49	c (15,0) c Propagations_5 : 23494784
124.73/20.49	c (15,0) c Propagations_6 : 23183685
124.73/20.49	c (15,0) c Propagations_7 : 23418507
124.73/20.49	c (15,0) c Propagations_total : 185919507
124.73/20.49	c (15,0) c Propagations_winner : 23183685
124.73/20.49	c (15,0) c ReduceDBs_0 : 7
124.73/20.49	c (15,0) c ReduceDBs_1 : 7
124.73/20.49	c (15,0) c ReduceDBs_2 : 7
124.73/20.49	c (15,0) c ReduceDBs_3 : 7
124.73/20.49	c (15,0) c ReduceDBs_4 : 7
124.73/20.49	c (15,0) c ReduceDBs_5 : 7
124.73/20.49	c (15,0) c ReduceDBs_6 : 7
124.73/20.49	c (15,0) c ReduceDBs_7 : 7
124.73/20.49	c (15,0) c ReduceDBs_total : 56
124.73/20.49	c (15,0) c ReduceDBs_winner : 7
124.73/20.49	c (15,0) c SimpDBs_0 : 1
124.73/20.49	c (15,0) c SimpDBs_1 : 1
124.73/20.49	c (15,0) c SimpDBs_2 : 1
124.73/20.49	c (15,0) c SimpDBs_3 : 1
124.73/20.49	c (15,0) c SimpDBs_4 : 1
124.73/20.49	c (15,0) c SimpDBs_5 : 1
124.73/20.49	c (15,0) c SimpDBs_6 : 1
124.73/20.49	c (15,0) c SimpDBs_7 : 1
124.73/20.49	c (15,0) c SimpDBs_total : 8
124.73/20.49	c (15,0) c SimpDBs_winner : 1
124.73/20.49	c (15,0) c Restarts_0 : 181
124.73/20.49	c (15,0) c Restarts_1 : 180
124.73/20.49	c (15,0) c Restarts_2 : 203
124.73/20.49	c (15,0) c Restarts_3 : 234
124.73/20.49	c (15,0) c Restarts_4 : 150
124.73/20.49	c (15,0) c Restarts_5 : 233
124.73/20.49	c (15,0) c Restarts_6 : 209
124.73/20.49	c (15,0) c Restarts_7 : 202
124.73/20.49	c (15,0) c Restarts_total : 1592
124.73/20.49	c (15,0) c Restarts_winner : 209
124.73/20.49	c (15,0) c ForcedImports_0 : 0
124.73/20.49	c (15,0) c ForcedImports_1 : 0
124.73/20.49	c (15,0) c ForcedImports_2 : 0
124.73/20.49	c (15,0) c ForcedImports_3 : 0
124.73/20.49	c (15,0) c ForcedImports_4 : 0
124.73/20.49	c (15,0) c ForcedImports_5 : 0
124.73/20.49	c (15,0) c ForcedImports_6 : 0
124.73/20.49	c (15,0) c ForcedImports_7 : 0
124.73/20.49	c (15,0) c ForcedImports_total : 0
124.73/20.49	c (15,0) c ForcedImports_winner : 0
124.73/20.49	c (15,0) c PropsBinClauses_0 : 28668903
124.73/20.49	c (15,0) c PropsBinClauses_1 : 28761249
124.73/20.49	c (15,0) c PropsBinClauses_2 : 30063643
124.73/20.49	c (15,0) c PropsBinClauses_3 : 28975645
124.73/20.49	c (15,0) c PropsBinClauses_4 : 29492754
124.73/20.49	c (15,0) c PropsBinClauses_5 : 29348108
124.73/20.49	c (15,0) c PropsBinClauses_6 : 29428235
124.73/20.49	c (15,0) c PropsBinClauses_7 : 29359920
124.73/20.49	c (15,0) c PropsBinClauses_total : 234098457
124.73/20.49	c (15,0) c PropsBinClauses_winner : 29428235
124.73/20.49	c (15,0) c PropsPreBlocker_0 : 483212842
124.73/20.49	c (15,0) c PropsPreBlocker_1 : 483466178
124.73/20.49	c (15,0) c PropsPreBlocker_2 : 495517644
124.73/20.50	c (15,0) c PropsPreBlocker_3 : 486461959
124.73/20.50	c (15,0) c PropsPreBlocker_4 : 496292046
124.73/20.50	c (15,0) c PropsPreBlocker_5 : 496255314
124.73/20.50	c (15,0) c PropsPreBlocker_6 : 487961068
124.73/20.50	c (15,0) c PropsPreBlocker_7 : 494964890
124.73/20.50	c (15,0) c PropsPreBlocker_total : 3924131941
124.73/20.50	c (15,0) c PropsPreBlocker_winner : 487961068
124.73/20.50	c (15,0) c PropsNotBlocker_0 : 146353025
124.73/20.50	c (15,0) c PropsNotBlocker_1 : 146131079
124.73/20.50	c (15,0) c PropsNotBlocker_2 : 149015277
124.73/20.50	c (15,0) c PropsNotBlocker_3 : 145158760
124.73/20.50	c (15,0) c PropsNotBlocker_4 : 147400110
124.73/20.50	c (15,0) c PropsNotBlocker_5 : 147534356
124.73/20.50	c (15,0) c PropsNotBlocker_6 : 146739484
124.73/20.50	c (15,0) c PropsNotBlocker_7 : 145730565
124.73/20.50	c (15,0) c PropsNotBlocker_total : 1174062656
124.73/20.50	c (15,0) c PropsNotBlocker_winner : 146739484
124.73/20.50	c (15,0) c PropsLitFullScans_0 : 858056759
124.73/20.50	c (15,0) c PropsLitFullScans_1 : 858048758
124.73/20.50	c (15,0) c PropsLitFullScans_2 : 876059359
124.73/20.50	c (15,0) c PropsLitFullScans_3 : 858050253
124.73/20.50	c (15,0) c PropsLitFullScans_4 : 876038689
124.73/20.50	c (15,0) c PropsLitFullScans_5 : 874738820
124.73/20.50	c (15,0) c PropsLitFullScans_6 : 861604156
124.73/20.50	c (15,0) c PropsLitFullScans_7 : 870037093
124.73/20.50	c (15,0) c PropsLitFullScans_total : 6932633887
124.73/20.50	c (15,0) c PropsLitFullScans_winner : 861604156
124.73/20.50	c (15,0) c LitScanFractions_0 : 49827
124.73/20.50	c (15,0) c LitScanFractions_1 : 40512
124.73/20.50	c (15,0) c LitScanFractions_2 : 42992
124.73/20.50	c (15,0) c LitScanFractions_3 : 46168
124.73/20.50	c (15,0) c LitScanFractions_4 : 33941
124.73/20.50	c (15,0) c LitScanFractions_5 : 79893
124.73/20.50	c (15,0) c LitScanFractions_6 : 38535
124.73/20.50	c (15,0) c LitScanFractions_7 : 31821
124.73/20.50	c (15,0) c LitScanFractions_total : 363689
124.73/20.50	c (15,0) c LitScanFractions_winner : 38535
124.73/20.50	c (15,0) c DecisionLevel0_0 : 181
124.73/20.50	c (15,0) c DecisionLevel0_1 : 180
124.73/20.50	c (15,0) c DecisionLevel0_2 : 203
124.73/20.50	c (15,0) c DecisionLevel0_3 : 234
124.73/20.50	c (15,0) c DecisionLevel0_4 : 150
124.73/20.50	c (15,0) c DecisionLevel0_5 : 233
124.73/20.50	c (15,0) c DecisionLevel0_6 : 209
124.73/20.50	c (15,0) c DecisionLevel0_7 : 202
124.73/20.50	c (15,0) c DecisionLevel0_total : 1592
124.73/20.50	c (15,0) c DecisionLevel0_winner : 209
124.73/20.50	c (15,0) c Periods_0 : 143
124.73/20.50	c (15,0) c Periods_1 : 143
124.73/20.50	c (15,0) c Periods_2 : 146
124.73/20.50	c (15,0) c Periods_3 : 143
6.87/20.50	c (15,0) c Periods_4 : 146
6.87/20.50	c (15,0) c Periods_5 : 145
6.87/20.50	c (15,0) c Periods_6 : 143
6.87/20.50	c (15,0) c Periods_7 : 145
6.87/20.50	c (15,0) c Periods_total : 1154
6.87/20.50	c (15,0) c Periods_winner : 143
6.87/20.50	c (15,0) c Margin_0 : 20
6.87/20.50	c (15,0) c Margin_1 : 20
6.87/20.50	c (15,0) c Margin_2 : 20
6.87/20.50	c (15,0) c Margin_3 : 20
6.87/20.50	c (15,0) c Margin_4 : 20
6.87/20.50	c (15,0) c Margin_5 : 20
6.87/20.50	c (15,0) c Margin_6 : 20
6.87/20.50	c (15,0) c Margin_7 : 20
6.87/20.50	c (15,0) c Margin_total : 160
6.87/20.50	c (15,0) c Margin_winner : 20
6.87/20.50	c (15,0) c Exported_0 : 11986
6.87/20.50	c (15,0) c Exported_1 : 12022
6.87/20.50	c (15,0) c Exported_2 : 12687
6.87/20.50	c (15,0) c Exported_3 : 12161
6.87/20.50	c (15,0) c Exported_4 : 12251
6.87/20.50	c (15,0) c Exported_5 : 11752
6.87/20.50	c (15,0) c Exported_6 : 13109
6.87/20.50	c (15,0) c Exported_7 : 11907
6.87/20.50	c (15,0) c Exported_total : 97875
6.87/20.50	c (15,0) c Exported_winner : 13109
6.87/20.50	c (15,0) c Imported_0 : 76754
6.87/20.50	c (15,0) c Imported_1 : 76869
6.87/20.50	c (15,0) c Imported_2 : 74816
6.87/20.50	c (15,0) c Imported_3 : 76755
6.87/20.50	c (15,0) c Imported_4 : 77035
6.87/20.50	c (15,0) c Imported_5 : 78152
6.87/20.50	c (15,0) c Imported_6 : 76159
6.87/20.50	c (15,0) c Imported_7 : 77875
6.87/20.50	c (15,0) c Imported_total : 614415
6.87/20.50	c (15,0) c Imported_winner : 76159
6.87/20.50	c (15,0) c Good_0 : 9
6.87/20.50	c (15,0) c Good_1 : 12
6.87/20.50	c (15,0) c Good_2 : 8
6.87/20.50	c (15,0) c Good_3 : 13
6.87/20.50	c (15,0) c Good_4 : 13
6.87/20.50	c (15,0) c Good_5 : 13
6.87/20.50	c (15,0) c Good_6 : 13
6.87/20.50	c (15,0) c Good_7 : 14
6.87/20.50	c (15,0) c Good_total : 95
6.87/20.50	c (15,0) c Good_winner : 13
6.87/20.50	c (15,0) c Purge_0 : 76745
6.87/20.50	c (15,0) c Purge_1 : 76857
6.87/20.50	c (15,0) c Purge_2 : 74808
6.87/20.50	c (15,0) c Purge_3 : 76742
6.87/20.50	c (15,0) c Purge_4 : 77022
6.87/20.50	c (15,0) c Purge_5 : 78139
6.87/20.50	c (15,0) c Purge_6 : 76146
6.87/20.50	c (15,0) c Purge_7 : 77861
6.87/20.50	c (15,0) c Purge_total : 614320
6.87/20.50	c (15,0) c Purge_winner : 76146
6.87/20.50	c (15,0) c Promoted_0 : 5999
6.87/20.50	c (15,0) c Promoted_1 : 5559
6.87/20.50	c (15,0) c Promoted_2 : 5575
6.87/20.50	c (15,0) c Promoted_3 : 5599
6.87/20.50	c (15,0) c Promoted_4 : 5614
6.87/20.50	c (15,0) c Promoted_5 : 5883
6.87/20.50	c (15,0) c Promoted_6 : 5552
6.87/20.50	c (15,0) c Promoted_7 : 5976
6.87/20.50	c (15,0) c Promoted_total : 45757
6.87/20.50	c (15,0) c Promoted_winner : 5552
6.87/20.50	c (15,0) c Remove_Imp_0 : 33774
6.87/20.50	c (15,0) c Remove_Imp_1 : 41320
6.87/20.50	c (15,0) c Remove_Imp_2 : 40060
6.87/20.50	c (15,0) c Remove_Imp_3 : 39183
6.87/20.50	c (15,0) c Remove_Imp_4 : 40486
6.87/20.50	c (15,0) c Remove_Imp_5 : 39948
6.87/20.50	c (15,0) c Remove_Imp_6 : 39024
6.87/20.50	c (15,0) c Remove_Imp_7 : 37979
6.87/20.50	c (15,0) c Remove_Imp_total : 311774
6.87/20.50	c (15,0) c Remove_Imp_winner : 39024
6.87/20.50	c (15,0) c Blocked_Reuse_0 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_1 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_2 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_3 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_4 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_5 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_6 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_7 : 0
6.87/20.50	c (15,0) c Blocked_Reuse_total : 0
6.87/20.50	c (15,0) c Blocked_Reuse_winner : 0
6.87/20.50	c (15,0) c Unaries_0 : 0
6.87/20.50	c (15,0) c Unaries_1 : 0
6.87/20.50	c (15,0) c Unaries_2 : 0
6.87/20.50	c (15,0) c Unaries_3 : 0
6.87/20.50	c (15,0) c Unaries_4 : 0
6.87/20.50	c (15,0) c Unaries_5 : 0
6.87/20.50	c (15,0) c Unaries_6 : 0
6.87/20.50	c (15,0) c Unaries_7 : 0
6.87/20.50	c (15,0) c Unaries_total : 0
6.87/20.50	c (15,0) c Unaries_winner : 0
6.87/20.50	c (15,0) c Binaries_0 : 5
6.87/20.50	c (15,0) c Binaries_1 : 2
6.87/20.50	c (15,0) c Binaries_2 : 4
6.87/20.50	c (15,0) c Binaries_3 : 2
6.87/20.50	c (15,0) c Binaries_4 : 1
6.87/20.50	c (15,0) c Binaries_5 : 1
6.87/20.50	c (15,0) c Binaries_6 : 2
6.87/20.50	c (15,0) c Binaries_7 : 0
6.87/20.50	c (15,0) c Binaries_total : 17
6.87/20.50	c (15,0) c Binaries_winner : 2
6.87/20.50	c (15,0) c Glues_0 : 52
6.87/20.50	c (15,0) c Glues_1 : 43
6.87/20.50	c (15,0) c Glues_2 : 36
6.87/20.50	c (15,0) c Glues_3 : 39
6.87/20.50	c (15,0) c Glues_4 : 30
6.87/20.50	c (15,0) c Glues_5 : 36
6.87/20.50	c (15,0) c Glues_6 : 37
6.87/20.50	c (15,0) c Glues_7 : 33
6.87/20.50	c (15,0) c Glues_total : 306
6.87/20.50	c (15,0) c Glues_winner : 37
6.87/20.50	c (15,0) c RunningTime_0 : 15.207394
6.87/20.50	c (15,0) c RunningTime_1 : 15.195701
6.87/20.50	c (15,0) c RunningTime_2 : 14.570244
6.87/20.50	c (15,0) c RunningTime_3 : 14.661561
6.87/20.50	c (15,0) c RunningTime_4 : 14.559376
6.87/20.50	c (15,0) c RunningTime_5 : 14.549783
6.87/20.50	c (15,0) c RunningTime_6 : 14.537847
6.87/20.50	c (15,0) c RunningTime_7 : 14.593081
6.87/20.50	c (15,0) c RunningTime_total : 117.874988
6.87/20.50	c (15,0) c RunningTime_winner : 14.537847
6.87/20.50	c (15,0) c WaitingTime_0 : 0.000140
6.87/20.50	c (15,0) c WaitingTime_1 : 0.000125
6.87/20.50	c (15,0) c WaitingTime_2 : 0.000215
6.87/20.50	c (15,0) c WaitingTime_3 : 0.000196
6.87/20.50	c (15,0) c WaitingTime_4 : 0.000195
6.87/20.50	c (15,0) c WaitingTime_5 : 0.000212
6.87/20.50	c (15,0) c WaitingTime_6 : 0.000177
6.87/20.50	c (15,0) c WaitingTime_7 : 0.000169
6.87/20.50	c (15,0) c WaitingTime_total : 0.001428
6.87/20.50	c (15,0) c WaitingTime_winner : 0.000177
6.87/20.50	c (15,0) c ExchangingTime_0 : 0.033253
6.87/20.50	c (15,0) c ExchangingTime_1 : 0.032063
6.87/20.50	c (15,0) c ExchangingTime_2 : 0.026615
6.87/20.50	c (15,0) c ExchangingTime_3 : 0.030523
6.87/20.50	c (15,0) c ExchangingTime_4 : 0.031446
6.87/20.50	c (15,0) c ExchangingTime_5 : 0.026672
6.87/20.50	c (15,0) c ExchangingTime_6 : 0.029300
6.87/20.50	c (15,0) c ExchangingTime_7 : 0.031824
6.87/20.50	c (15,0) c ExchangingTime_total : 0.241695
6.87/20.50	c (15,0) c ExchangingTime_winner : 0.029300
6.87/20.50	c (15,0) c PeriodProcTime_0 : 0.001153
6.87/20.50	c (15,0) c PeriodProcTime_1 : 0.001360
6.87/20.50	c (15,0) c PeriodProcTime_2 : 0.001150
6.87/20.50	c (15,0) c PeriodProcTime_3 : 0.001381
6.87/20.50	c (15,0) c PeriodProcTime_4 : 0.001253
6.87/20.50	c (15,0) c PeriodProcTime_5 : 0.001146
6.87/20.50	c (15,0) c PeriodProcTime_6 : 0.001222
6.87/20.50	c (15,0) c PeriodProcTime_7 : 0.001384
6.87/20.50	c (15,0) c PeriodProcTime_total : 0.010048
6.87/20.50	c (15,0) c PeriodProcTime_winner : 0.001222
6.87/20.50	c (15,0) c SolvingTime_0 : 15.241940
6.87/20.50	c (15,0) c SolvingTime_1 : 15.229248
6.87/20.50	c (15,0) c SolvingTime_2 : 14.598224
6.87/20.50	c (15,0) c SolvingTime_3 : 14.693661
6.87/20.50	c (15,0) c SolvingTime_4 : 14.592269
6.87/20.50	c (15,0) c SolvingTime_5 : 14.577813
6.87/20.50	c (15,0) c SolvingTime_6 : 14.568546
6.87/20.50	c (15,0) c SolvingTime_7 : 14.626458
6.87/20.50	c (15,0) c SolvingTime_total : 118.128158
6.87/20.50	c (15,0) c SolvingTime_winner : 14.568546
6.87/20.50	c (15,0) c PropagationTime_0 : 12.980953
6.87/20.50	c (15,0) c PropagationTime_1 : 13.187167
6.87/20.50	c (15,0) c PropagationTime_2 : 12.482635
6.87/20.50	c (15,0) c PropagationTime_3 : 12.556191
6.87/20.50	c (15,0) c PropagationTime_4 : 12.531276
6.87/20.50	c (15,0) c PropagationTime_5 : 12.465218
6.87/20.50	c (15,0) c PropagationTime_6 : 12.490086
6.87/20.50	c (15,0) c PropagationTime_7 : 12.527873
6.87/20.50	c (15,0) c PropagationTime_total : 101.221399
6.87/20.50	c (15,0) c PropagationTime_winner : 12.490086
6.87/20.50	c (15,0) c AnalysisTime_0 : 1.641267
6.87/20.50	c (15,0) c AnalysisTime_1 : 1.421941
6.87/20.50	c (15,0) c AnalysisTime_2 : 1.492979
6.87/20.50	c (15,0) c AnalysisTime_3 : 1.494989
6.87/20.50	c (15,0) c AnalysisTime_4 : 1.450333
6.87/20.50	c (15,0) c AnalysisTime_5 : 1.472207
6.87/20.50	c (15,0) c AnalysisTime_6 : 1.444724
6.87/20.50	c (15,0) c AnalysisTime_7 : 1.474602
6.87/20.50	c (15,0) c AnalysisTime_total : 11.893042
6.87/20.50	c (15,0) c AnalysisTime_winner : 1.444724
6.87/20.50	c (15,0) c ReductionTime_0 : 0.140627
6.87/20.50	c (15,0) c ReductionTime_1 : 0.156792
6.87/20.50	c (15,0) c ReductionTime_2 : 0.166077
6.87/20.50	c (15,0) c ReductionTime_3 : 0.157183
6.87/20.50	c (15,0) c ReductionTime_4 : 0.151332
6.87/20.50	c (15,0) c ReductionTime_5 : 0.154763
6.87/20.50	c (15,0) c ReductionTime_6 : 0.154160
6.87/20.50	c (15,0) c ReductionTime_7 : 0.153469
6.87/20.50	c (15,0) c ReductionTime_total : 1.234402
6.87/20.50	c (15,0) c ReductionTime_winner : 0.154160
6.87/20.50	c (15,0) c SimplifyTime_0 : 0.000020
6.87/20.50	c (15,0) c SimplifyTime_1 : 0.000014
6.87/20.50	c (15,0) c SimplifyTime_2 : 0.000020
6.87/20.50	c (15,0) c SimplifyTime_3 : 0.000026
6.87/20.50	c (15,0) c SimplifyTime_4 : 0.000022
6.87/20.50	c (15,0) c SimplifyTime_5 : 0.000025
6.87/20.50	c (15,0) c SimplifyTime_6 : 0.000018
6.87/20.50	c (15,0) c SimplifyTime_7 : 0.000016
6.87/20.50	c (15,0) c SimplifyTime_total : 0.000161
6.87/20.50	c (15,0) c SimplifyTime_winner : 0.000018
6.87/20.50	c (15,0) c UsedRateTime_0 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_1 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_2 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_3 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_4 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_5 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_6 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_7 : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_total : 0.000000
6.87/20.50	c (15,0) c UsedRateTime_winner : 0.000000
6.87/20.50	c (15,0) c OverlapRateTime_0 : 0.000000
6.87/20.50	c (15,0) c OverlapRateTime_1 : 0.000000
6.87/20.50	c (15,0) c OverlapRateTime_2 : 0.000000
6.87/20.50	c (15,0) c OverlapRateTime_3 : 0.000000
6.87/20.50	c (15,0) c OverlapRateTime_4 : 0.000000
6.87/20.50	c (15,0) c OverlapRateTime_5 : 0.000000
6.87/20.51	c (15,0) c OverlapRateTime_6 : 0.000000
6.87/20.51	c (15,0) c OverlapRateTime_7 : 0.000000
6.87/20.51	c (15,0) c OverlapRateTime_total : 0.000000
6.87/20.51	c (15,0) c OverlapRateTime_winner : 0.000000
6.87/20.51	c (15,0) c
6.87/20.51	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.87/20.51	c (15,0) c
6.87/20.51	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.87/20.51	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.87/20.51	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.87/20.51	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.87/20.51	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.87/20.51	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.87/20.51	c (15,0) c | Initial random_seed   | 1448888057 | 1885706614 | 1110055305 |  534357814 | 1283124477 |  126202835 | 1374942022 |  537455327 |
6.87/20.51	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.87/20.51	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.87/20.51	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.87/20.51	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.87/20.51	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.87/20.51	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.87/20.51	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.87/20.51	c (15,0) c | var_decay             |     0.9500 |     0.9400 |     0.9500 |     0.9500 |     0.9400 |     0.9500 |     0.9500 |     0.9500 |
6.87/20.51	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.87/20.51	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.87/20.51	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.87/20.51	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.87/20.51	c (15,0) 
6.87/20.51	c (15,0) s SATISFIABLE
6.87/20.53	c (16,0) SatSolver.solve End
6.87/20.53	c (16,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.87/20.53	c (16,0) Show results Begin
125.18/20.62	c (16,0) h[0] = 86
125.18/20.62	c (16,0) h[1] = 54
125.18/20.62	c (16,0) h[2] = 81
125.18/20.62	c (16,0) h[3] = 88
125.18/20.62	c (16,0) h[4] = 117
125.18/20.62	c (16,0) h[5] = 32
125.18/20.62	c (16,0) h[6] = 42
125.18/20.62	c (16,0) h[7] = 15
125.18/20.62	c (16,0) h[8] = 55
125.18/20.62	c (16,0) h[9] = 10
125.18/20.62	c (16,0) h[10] = 78
125.18/20.62	c (16,0) h[11] = 29
125.18/20.62	c (16,0) h[12] = 40
125.18/20.62	c (16,0) h[13] = 49
125.18/20.62	c (16,0) h[14] = 64
125.18/20.62	c (16,0) h[15] = 30
125.18/20.62	c (16,0) h[16] = 34
125.18/20.62	c (16,0) r[0] = 0
125.18/20.62	c (16,0) r[1] = 0
125.18/20.62	c (16,0) r[2] = 0
125.18/20.62	c (16,0) r[3] = 0
125.18/20.62	c (16,0) r[4] = 0
125.18/20.62	c (16,0) r[5] = 0
125.18/20.62	c (16,0) r[6] = 0
125.18/20.62	c (16,0) r[7] = 0
125.18/20.62	c (16,0) r[8] = 0
125.18/20.62	c (16,0) r[9] = 0
125.18/20.62	c (16,0) r[10] = 0
125.18/20.62	c (16,0) r[11] = 0
125.18/20.62	c (16,0) r[12] = 0
125.18/20.62	c (16,0) r[13] = 0
125.18/20.62	c (16,0) r[14] = 0
125.18/20.62	c (16,0) r[15] = 0
125.18/20.62	c (16,0) r[16] = 0
125.18/20.62	c (16,0) w[0] = 35
125.18/20.62	c (16,0) w[1] = 17
125.18/20.62	c (16,0) w[2] = 36
125.18/20.62	c (16,0) w[3] = 70
125.18/20.62	c (16,0) w[4] = 42
125.18/20.62	c (16,0) w[5] = 5
125.18/20.62	c (16,0) w[6] = 12
125.18/20.62	c (16,0) w[7] = 25
125.18/20.62	c (16,0) w[8] = 11
125.18/20.62	c (16,0) w[9] = 40
125.18/20.62	c (16,0) w[10] = 26
125.18/20.62	c (16,0) w[11] = 44
125.18/20.62	c (16,0) w[12] = 77
125.18/20.62	c (16,0) w[13] = 86
125.18/20.62	c (16,0) w[14] = 79
125.18/20.62	c (16,0) w[15] = 9
125.18/20.62	c (16,0) w[16] = 121
125.18/20.62	c (16,0) x[0] = 17
125.18/20.62	c (16,0) x[1] = 0
125.18/20.62	c (16,0) x[2] = 52
125.18/20.62	c (16,0) x[3] = 130
125.18/20.62	c (16,0) x[4] = 88
125.18/20.62	c (16,0) x[5] = 12
125.18/20.62	c (16,0) x[6] = 0
125.18/20.62	c (16,0) x[7] = 52
125.18/20.62	c (16,0) x[8] = 77
125.18/20.62	c (16,0) x[9] = 12
125.18/20.62	c (16,0) x[10] = 174
125.18/20.62	c (16,0) x[11] = 130
125.18/20.62	c (16,0) x[12] = 0
125.18/20.62	c (16,0) x[13] = 88
125.18/20.62	c (16,0) x[14] = 0
125.18/20.62	c (16,0) x[15] = 79
125.18/20.62	c (16,0) x[16] = 79
125.18/20.62	c (16,0) y[0] = 0
125.18/20.62	c (16,0) y[1] = 0
125.18/20.62	c (16,0) y[2] = 0
125.18/20.62	c (16,0) y[3] = 78
125.18/20.62	c (16,0) y[4] = 49
125.18/20.62	c (16,0) y[5] = 54
125.18/20.62	c (16,0) y[6] = 54
125.18/20.62	c (16,0) y[7] = 81
125.18/20.62	c (16,0) y[8] = 81
125.18/20.62	c (16,0) y[9] = 86
125.18/20.62	c (16,0) y[10] = 0
125.18/20.62	c (16,0) y[11] = 49
125.18/20.62	c (16,0) y[12] = 96
125.18/20.62	c (16,0) y[13] = 0
125.18/20.62	c (16,0) y[14] = 136
125.18/20.62	c (16,0) y[15] = 136
125.18/20.62	c (16,0) y[16] = 166
125.18/20.62	s SATISFIABLE
125.18/20.63	v <instantiation>
125.18/20.63	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
125.18/20.63	v     <values>17 0 52 130 88 12 0 52 77 12 174 130 0 88 0 79 79 0 0 0 78 49 54 54 81 81 86 0 49 96 0 136 136 166 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
125.18/20.63	v </instantiation>
125.18/20.63	c (16,0) Show results End
125.18/20.64	c (16,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
125.18/20.64	c (16,0) 16,16,STOP-AFTER(ALL)
125.18/20.64	c END-Prog: Mon Sep 23 13:36:46 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405285-1569238628/watcher-4405285-1569238628 -o /var/tmp/evaluation-result-4405285-1569238628/solver-4405285-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --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-4405285-1569238628.xml 

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

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

solver pid=1255, runsolver pid=1252

[startup+0.100151 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 1258
/proc/meminfo: memFree=26107952/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500111626 115843072 350 33554432000 4194304 5098028 140721205500512 140721205497768 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 350 297 221 0 87 0
[pid=1258] ppid=1255 vsize=113128 memory=420 CPUtime=0 cores=0-7
/proc/1258/stat : 1258 (scop.sh) D 1255 1255 1211 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 1 0 500111636 115843072 105 33554432000 4194304 5098028 140721205500512 140721205498728 140253063865717 0 0 4100 81923 18446744072101568036 0 0 17 3 0 0 0 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1258/statm: 28282 105 47 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226256 KiB
Current children cumulated memory: 1820 KiB

[startup+0.209216 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 1258
/proc/meminfo: memFree=26107952/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500111626 115843072 350 33554432000 4194304 5098028 140721205500512 140721205497768 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 350 297 221 0 87 0
[pid=1258] ppid=1255 vsize=113128 memory=420 CPUtime=0 cores=0-7
/proc/1258/stat : 1258 (scop.sh) D 1255 1255 1211 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 1 0 500111636 115843072 105 33554432000 4194304 5098028 140721205500512 140721205498728 140253063865717 0 0 4100 81923 18446744072101568036 0 0 17 3 0 0 0 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1258/statm: 28282 105 47 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226256 KiB
Current children cumulated memory: 1820 KiB

[startup+0.30863 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 1258
/proc/meminfo: memFree=26107952/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500111626 115843072 350 33554432000 4194304 5098028 140721205500512 140721205497768 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 350 297 221 0 87 0
[pid=1258] ppid=1255 vsize=113128 memory=420 CPUtime=0 cores=0-7
/proc/1258/stat : 1258 (scop.sh) D 1255 1255 1211 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 1 0 500111636 115843072 105 33554432000 4194304 5098028 140721205500512 140721205499016 140253063694839 0 0 4102 0 18446744072101568036 0 0 17 3 0 0 0 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1258/statm: 28282 105 47 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226256 KiB
Current children cumulated memory: 1820 KiB

[startup+0.700454 s]
/proc/loadavg: 0.08 0.03 0.05 1/193 1259
/proc/meminfo: memFree=26106572/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500111626 115843072 350 33554432000 4194304 5098028 140721205500512 140721205497768 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 350 297 221 0 87 0
[pid=1258] ppid=1255 vsize=26587532 memory=97708 CPUtime=0.05 cores=0-7
/proc/1258/stat : 1258 (java) S 1255 1255 1211 0 -1 1077944320 5433 0 0 0 4 1 0 0 20 0 13 0 500111636 27225632768 24427 33554432000 4194304 4196468 140737014241296 140737014223840 140622754029303 0 0 6 16800969 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
/proc/1258/statm: 6646883 24427 2146 1 0 6609424 0
[pid=1258/tid=1259] ppid=1255 vsize=26587532 memory=0 CPUtime=0.05 cores=0-7
/proc/1258/task/1259/stat : 1259 (java) R 1255 1255 1211 0 -1 4202560 4101 0 0 0 4 1 0 0 20 0 13 0 500111671 27225632768 24427 33554432000 4194304 4196468 140737014241296 140622725865040 140622754051229 0 4 6 16800969 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 26700660 KiB
Current children cumulated memory: 99108 KiB

[startup+1.50089 s]
/proc/loadavg: 0.08 0.03 0.05 4/211 1277
/proc/meminfo: memFree=25992432/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500111626 115843072 350 33554432000 4194304 5098028 140721205500512 140721205497768 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 350 297 221 0 87 0
[pid=1258] ppid=1255 vsize=27316204 memory=152396 CPUtime=0.7 cores=0-7
/proc/1258/stat : 1258 (java) S 1255 1255 1211 0 -1 1077944320 18085 0 0 0 65 5 0 0 20 0 20 0 500111636 27971792896 38099 33554432000 4194304 4196468 140737014241296 140737014223840 140622754029303 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
/proc/1258/statm: 6829051 38099 3045 1 0 6790935 0
[pid=1258/tid=1259] ppid=1255 vsize=27316204 memory=0 CPUtime=0.53 cores=0-7
/proc/1258/task/1259/stat : 1259 (java) D 1255 1255 1211 0 -1 4202560 15554 0 0 0 49 4 0 0 20 0 20 0 500111671 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622725862736 140622754051229 0 4 2 25189581 18446744071580419588 0 0 -1 0 0 0 16 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1260] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1260/stat : 1260 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622758271888 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1261] ppid=1255 vsize=27316204 memory=152160 CPUtime=0 cores=0-7
/proc/1258/task/1261/stat : 1261 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622541667088 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1262] ppid=1255 vsize=27316204 memory=13851 CPUtime=0 cores=0-7
/proc/1258/task/1262/stat : 1262 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622540614800 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1263] ppid=1255 vsize=27316204 memory=3703267 CPUtime=0 cores=0-7
/proc/1258/task/1263/stat : 1263 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622539562000 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1264] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1264/stat : 1264 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622538508688 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1265] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1265/stat : 1265 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622537455888 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1266] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1266/stat : 1266 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622536403600 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1267] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1267/stat : 1267 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500111688 27971792896 38099 33554432000 4194304 4196468 140737014241296 140622535350800 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1268] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1268/stat : 1268 (java) S 1255 1255 1211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500111690 27971792896 38099 33554432000 4194304 4196468 140737014241296 140621744425584 140622754040450 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1269] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1269/stat : 1269 (java) S 1255 1255 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500111691 27971792896 38099 33554432000 4194304 4196468 140737014241296 140620651816224 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1270] ppid=1255 vsize=27316204 memory=55 CPUtime=0 cores=0-7
/proc/1258/task/1270/stat : 1270 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111691 27971792896 38099 33554432000 4194304 4196468 140737014241296 140620383381104 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1271] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1271/stat : 1271 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111703 27971792896 38099 33554432000 4194304 4196468 140737014241296 140620008872528 140622754047899 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1272] ppid=1255 vsize=27316204 memory=0 CPUtime=0.02 cores=0-7
/proc/1258/task/1272/stat : 1272 (java) S 1255 1255 1211 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 500111703 27971792896 38099 33554432000 4194304 4196468 140737014241296 140621743372400 140622754040450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1273] ppid=1255 vsize=27316204 memory=0 CPUtime=0.01 cores=0-7
/proc/1258/task/1273/stat : 1273 (java) S 1255 1255 1211 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 20 0 500111703 27971792896 38099 33554432000 4194304 4196468 140737014241296 140621742319600 140622754040450 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1274] ppid=1255 vsize=27316204 memory=0 CPUtime=0.01 cores=0-7
/proc/1258/task/1274/stat : 1274 (java) S 1255 1255 1211 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 500111703 27971792896 38099 33554432000 4194304 4196468 140737014241296 140621741267312 140622754040450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1275] ppid=1255 vsize=27316204 memory=0 CPUtime=0.1 cores=0-7
/proc/1258/task/1275/stat : 1275 (java) S 1255 1255 1211 0 -1 1077944384 557 0 0 0 10 0 0 0 20 0 20 0 500111703 27971792896 38099 33554432000 4194304 4196468 140737014241296 140621740214512 140622754040450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1276] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1276/stat : 1276 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500111703 27971792896 38099 33554432000 4194304 4196468 140737014241296 140619510967136 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1277] ppid=1255 vsize=27316204 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1277/stat : 1277 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111706 27971792896 38099 33554432000 4194304 4196468 140737014241296 140621739162416 140622754040450 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 27429332 KiB
Current children cumulated memory: 153796 KiB

[startup+3.10996 s]
/proc/loadavg: 0.08 0.03 0.05 5/211 1277
/proc/meminfo: memFree=25911536/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500111626 115843072 350 33554432000 4194304 5098028 140721205500512 140721205497768 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 350 297 221 0 87 0
[pid=1258] ppid=1255 vsize=27326612 memory=217992 CPUtime=3.03 cores=0-7
/proc/1258/stat : 1258 (java) S 1255 1255 1211 0 -1 1077944320 24435 0 0 0 293 10 0 0 20 0 20 0 500111636 27982450688 54498 33554432000 4194304 4196468 140737014241296 140737014223840 140622754029303 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
/proc/1258/statm: 6831653 54498 3248 1 0 6792983 0
[pid=1258/tid=1259] ppid=1255 vsize=27326612 memory=0 CPUtime=1.51 cores=0-7
/proc/1258/task/1259/stat : 1259 (java) R 1255 1255 1211 0 -1 4202560 19092 0 0 0 144 7 0 0 20 0 20 0 500111671 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622725863952 140622217704263 0 4 2 25189581 0 0 0 -1 4 0 0 71 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1260] ppid=1255 vsize=27326612 memory=196708 CPUtime=0 cores=0-7
/proc/1258/task/1260/stat : 1260 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622758271888 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1261] ppid=1255 vsize=27326612 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/1258/task/1261/stat : 1261 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622541667088 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1262] ppid=1255 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1262/stat : 1262 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622540614800 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1263] ppid=1255 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1263/stat : 1263 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622539562000 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1264] ppid=1255 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1264/stat : 1264 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622538508688 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1265] ppid=1255 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1265/stat : 1265 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622537455888 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1266] ppid=1255 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1266/stat : 1266 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622536403600 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1267] ppid=1255 vsize=27326612 memory=279328030466768 CPUtime=0 cores=0-7
/proc/1258/task/1267/stat : 1267 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500111688 27982450688 54498 33554432000 4194304 4196468 140737014241296 140622535350800 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1268] ppid=1255 vsize=27326612 memory=279328030148360 CPUtime=0 cores=0-7
/proc/1258/task/1268/stat : 1268 (java) S 1255 1255 1211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500111690 27982450688 54498 33554432000 4194304 4196468 140737014241296 140621744425584 140622754040450 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1269] ppid=1255 vsize=27326612 memory=7576590748393 CPUtime=0 cores=0-7
/proc/1258/task/1269/stat : 1269 (java) S 1255 1255 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500111691 27982450688 54498 33554432000 4194304 4196468 140737014241296 140620651816224 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1270] ppid=1255 vsize=27326612 memory=7576590748393 CPUtime=0 cores=0-7
/proc/1258/task/1270/stat : 1270 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111691 27982450688 54498 33554432000 4194304 4196468 140737014241296 140620383381104 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1271] ppid=1255 vsize=27326612 memory=7576590748393 CPUtime=0 cores=0-7
/proc/1258/task/1271/stat : 1271 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111703 27982450688 54498 33554432000 4194304 4196468 140737014241296 140620008872528 140622754047899 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1272] ppid=1255 vsize=27326612 memory=0 CPUtime=0.28 cores=0-7
/proc/1258/task/1272/stat : 1272 (java) R 1255 1255 1211 0 -1 4202560 827 0 0 0 28 0 0 0 20 0 20 0 500111703 27982450688 54498 33554432000 4194304 4196468 140737014241296 140621743354240 140622737515674 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1273] ppid=1255 vsize=27326612 memory=0 CPUtime=0.21 cores=0-7
/proc/1258/task/1273/stat : 1273 (java) R 1255 1255 1211 0 -1 4202560 455 0 0 0 21 0 0 0 20 0 20 0 500111703 27982450688 54498 33554432000 4194304 4196468 140737014241296 140621742306032 140622754050650 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1274] ppid=1255 vsize=27326612 memory=0 CPUtime=0.31 cores=0-7
/proc/1258/task/1274/stat : 1274 (java) R 1255 1255 1211 0 -1 4202560 595 0 0 0 31 0 0 0 20 0 20 0 500111703 27982450688 54498 33554432000 4194304 4196468 140737014241296 140621741267312 140622754050650 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1275] ppid=1255 vsize=27326612 memory=0 CPUtime=0.67 cores=0-7
/proc/1258/task/1275/stat : 1275 (java) R 1255 1255 1211 0 -1 4202560 2126 0 0 0 66 1 0 0 20 0 20 0 500111703 27982450688 54498 33554432000 4194304 4196468 140737014241296 140621740214512 140622754050650 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1276] ppid=1255 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/1258/task/1276/stat : 1276 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500111703 27982450688 54498 33554432000 4194304 4196468 140737014241296 140619510967136 140622754039509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
[pid=1258/tid=1277] ppid=1255 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/1258/task/1277/stat : 1277 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500111706 27982450688 54498 33554432000 4194304 4196468 140737014241296 140621739162416 140622754040450 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8462336 140737014244040 140737014244486 140737014244486 140737014247375 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 219392 KiB

[startup+6.30172 s]
/proc/loadavg: 0.16 0.05 0.06 8/224 1313
/proc/meminfo: memFree=25877220/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1476 CPUtime=5.62 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 583 27570 0 0 0 0 540 22 20 0 1 0 500111626 115843072 369 33554432000 4194304 5098028 140721205500512 140721205497256 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 369 311 221 0 87 0
[pid=1278] ppid=1255 vsize=8414124 memory=120788 CPUtime=1.22 cores=0-7
/proc/1278/stat : 1278 (java) S 1255 1255 1211 0 -1 1077944320 20136 0 0 0 114 8 0 0 20 0 24 0 500112039 8616062976 30197 33554432000 4194304 4196468 140729078338928 140729078321472 140691787431671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
/proc/1278/statm: 2103531 30197 3209 1 0 2064875 0
[pid=1298] ppid=1278 vsize=756688 memory=151912 CPUtime=8.67 cores=0-7
/proc/1298/stat : 1298 (manyglucose-4.1) S 1278 1255 1211 0 -1 1077944320 41985 0 0 0 854 13 0 0 20 0 9 0 500112115 774848512 37978 33554432000 4194304 4454172 140727010562608 140727010561008 140524752657026 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 33013760 140727010566990 140727010567196 140727010567196 140727010570166 0
/proc/1298/statm: 189172 37978 402 64 0 184840 0
[pid=1298/tid=1304] ppid=1278 vsize=756688 memory=0 CPUtime=1 cores=0-7
/proc/1298/task/1304/stat : 1304 (manyglucose-4.1) R 1278 1255 1211 0 -1 4202560 3642 0 0 0 100 0 0 0 20 0 9 0 500112150 774848512 37978 33554432000 4194304 4454172 140727010562608 140524731296680 4351205 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 33013760 140727010566990 140727010567196 140727010567196 140727010570166 0

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

/proc/1278/task/1284/stat : 1284 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691588684688 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1285] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1285/stat : 1285 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691587631888 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1286] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1286/stat : 1286 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691267120272 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1287] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1287/stat : 1287 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691266067472 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1288] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1288/stat : 1288 (java) S 1255 1255 1211 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500112042 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690545330288 140691787442818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1289] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1289/stat : 1289 (java) S 1255 1255 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500112043 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690445034272 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1290] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1290/stat : 1290 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112043 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690176599152 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1291] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1291/stat : 1291 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140689802090576 140691787450267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1292] ppid=1255 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/1278/task/1292/stat : 1292 (java) S 1255 1255 1211 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690544278128 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1293] ppid=1255 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/1278/task/1293/stat : 1293 (java) S 1255 1255 1211 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690543225328 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1294] ppid=1255 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/1278/task/1294/stat : 1294 (java) S 1255 1255 1211 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690542173040 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1295] ppid=1255 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/1278/task/1295/stat : 1295 (java) S 1255 1255 1211 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690541120240 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1296] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1296/stat : 1296 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500112046 8616062976 30197 33554432000 4194304 4196468 140729078338928 140689304185184 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1297] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1297/stat : 1297 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500112046 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690540067120 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1299] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1299/stat : 1299 (java) S 1255 1255 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500112115 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690532033856 140691787456281 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1301] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1301/stat : 1301 (java) S 1255 1255 1211 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 500112116 8616062976 30197 33554432000 4194304 4196468 140729078338928 140688633085840 140691787453597 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1302] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1302/stat : 1302 (java) S 1255 1255 1211 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500112116 8616062976 30197 33554432000 4194304 4196468 140729078338928 140688901521168 140691787453597 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1303] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1303/stat : 1303 (java) S 1255 1255 1211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 500112118 8616062976 30197 33554432000 4194304 4196468 140729078338928 140688364658480 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
Current children cumulated CPU time: 123.95 s
Current children cumulated vsize: 9227356 KiB
Current children cumulated memory: 453708 KiB

[startup+20.4012 s]
/proc/loadavg: 1.89 0.44 0.18 3/218 1314
/proc/meminfo: memFree=25653164/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1476 CPUtime=5.62 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 583 27570 0 0 0 0 540 22 20 0 1 0 500111626 115843072 369 33554432000 4194304 5098028 140721205500512 140721205497256 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 369 311 221 0 87 0
[pid=1278] ppid=1255 vsize=8414124 memory=120788 CPUtime=1.23 cores=0-7
/proc/1278/stat : 1278 (java) S 1255 1255 1211 0 -1 1077944320 20141 0 0 0 115 8 0 0 20 0 24 0 500112039 8616062976 30197 33554432000 4194304 4196468 140729078338928 140729078321472 140691787431671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
/proc/1278/statm: 2103531 30197 3209 1 0 2064875 0
[pid=1298] ppid=1278 vsize=700104 memory=333756 CPUtime=117.88 cores=0-7
/proc/1298/stat : 1298 (manyglucose-4.1) S 1278 1255 1211 0 -1 1077944320 157152 0 0 0 11749 39 0 0 20 0 3 0 500112115 716906496 83439 33554432000 4194304 4454172 140727010562608 140727010560992 140524752645879 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 33013760 140727010566990 140727010567196 140727010567196 140727010570166 0
/proc/1298/statm: 175026 83439 416 64 0 170694 0
[pid=1298/tid=1304] ppid=1278 vsize=700104 memory=4638778428397538640 CPUtime=15.1 cores=0-7
/proc/1298/task/1304/stat : 1304 (manyglucose-4.1) R 1278 1255 1211 0 -1 4202560 15199 0 0 0 1506 4 0 0 20 0 3 0 500112150 716906496 83439 33554432000 4194304 4454172 140727010562608 140524731296872 4351099 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 33013760 140727010566990 140727010567196 140727010567196 140727010570166 0
[pid=1298/tid=1305] ppid=1278 vsize=700104 memory=7589240748751479616 CPUtime=15.13 cores=0-7
/proc/1298/task/1305/stat : 1305 (manyglucose-4.1) R 1278 1255 1211 0 -1 4202560 17996 0 0 0 1509 4 0 0 20 0 3 0 500112150 716906496 83439 33554432000 4194304 4454172 140727010562608 140524722903912 4351720 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 33013760 140727010566990 140727010567196 140727010567196 140727010570166 0
[pid=1278/tid=1279] ppid=1255 vsize=8414124 memory=7589240748751479104 CPUtime=0.78 cores=0-7
/proc/1278/task/1279/stat : 1279 (java) S 1255 1255 1211 0 -1 1077944384 17005 0 0 0 73 5 0 0 20 0 24 0 500112040 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691759271840 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1280] ppid=1255 vsize=8414124 memory=7373352817559363648 CPUtime=0 cores=0-7
/proc/1278/task/1280/stat : 1280 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691791673744 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1281] ppid=1255 vsize=8414124 memory=5937524870553682016 CPUtime=0 cores=0-7
/proc/1278/task/1281/stat : 1281 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691591842064 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1282] ppid=1255 vsize=8414124 memory=7373352817559363648 CPUtime=0 cores=0-7
/proc/1278/task/1282/stat : 1282 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691590789776 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1283] ppid=1255 vsize=8414124 memory=7589240748751479616 CPUtime=0 cores=0-7
/proc/1278/task/1283/stat : 1283 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691589736976 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1284] ppid=1255 vsize=8414124 memory=7306360771739542380 CPUtime=0 cores=0-7
/proc/1278/task/1284/stat : 1284 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691588684688 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1285] ppid=1255 vsize=8414124 memory=7306360771739542380 CPUtime=0 cores=0-7
/proc/1278/task/1285/stat : 1285 (java) S 1255 1255 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691587631888 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1286] ppid=1255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1278/task/1286/stat : 1286 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691267120272 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1287] ppid=1255 vsize=8414124 memory=7004622046266692478 CPUtime=0 cores=0-7
/proc/1278/task/1287/stat : 1287 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112041 8616062976 30197 33554432000 4194304 4196468 140729078338928 140691266067472 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1288] ppid=1255 vsize=8414124 memory=-5628408999910123566 CPUtime=0 cores=0-7
/proc/1278/task/1288/stat : 1288 (java) S 1255 1255 1211 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500112042 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690545330288 140691787442818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1289] ppid=1255 vsize=8414124 memory=-2023959437020729679 CPUtime=0 cores=0-7
/proc/1278/task/1289/stat : 1289 (java) S 1255 1255 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500112043 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690445034272 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1290] ppid=1255 vsize=8414124 memory=-2023959437020729679 CPUtime=0 cores=0-7
/proc/1278/task/1290/stat : 1290 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112043 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690176599152 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1291] ppid=1255 vsize=8414124 memory=-7091624348563251104 CPUtime=0 cores=0-7
/proc/1278/task/1291/stat : 1291 (java) S 1255 1255 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140689802090576 140691787450267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1292] ppid=1255 vsize=8414124 memory=-7674914008656224160 CPUtime=0.08 cores=0-7
/proc/1278/task/1292/stat : 1292 (java) S 1255 1255 1211 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690544278128 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1293] ppid=1255 vsize=8414124 memory=4206186544037388384 CPUtime=0.07 cores=0-7
/proc/1278/task/1293/stat : 1293 (java) S 1255 1255 1211 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690543225328 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1294] ppid=1255 vsize=8414124 memory=-8096454439705354400 CPUtime=0.04 cores=0-7
/proc/1278/task/1294/stat : 1294 (java) S 1255 1255 1211 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690542173040 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1295] ppid=1255 vsize=8414124 memory=9023629670928638048 CPUtime=0.21 cores=0-7
/proc/1278/task/1295/stat : 1295 (java) S 1255 1255 1211 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 24 0 500112045 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690541120240 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1296] ppid=1255 vsize=8414124 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/1278/task/1296/stat : 1296 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500112046 8616062976 30197 33554432000 4194304 4196468 140729078338928 140689304185184 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1297] ppid=1255 vsize=8414124 memory=9023629670928638048 CPUtime=0 cores=0-7
/proc/1278/task/1297/stat : 1297 (java) S 1255 1255 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500112046 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690540067120 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1299] ppid=1255 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/1278/task/1299/stat : 1299 (java) S 1255 1255 1211 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500112115 8616062976 30197 33554432000 4194304 4196468 140729078338928 140690532033856 140691787456281 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1301] ppid=1255 vsize=8414124 memory=-6800859132029471843 CPUtime=0 cores=0-7
/proc/1278/task/1301/stat : 1301 (java) S 1255 1255 1211 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 500112116 8616062976 30197 33554432000 4194304 4196468 140729078338928 140688633085840 140691787453597 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1302] ppid=1255 vsize=8414124 memory=-2317720213663851332 CPUtime=0 cores=0-7
/proc/1278/task/1302/stat : 1302 (java) S 1255 1255 1211 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500112116 8616062976 30197 33554432000 4194304 4196468 140729078338928 140688901521168 140691787453597 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1303] ppid=1255 vsize=8414124 memory=-1189914978686163229 CPUtime=0 cores=0-7
/proc/1278/task/1303/stat : 1303 (java) S 1255 1255 1211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 500112118 8616062976 30197 33554432000 4194304 4196468 140729078338928 140688364658480 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
Current children cumulated CPU time: 124.73 s
Current children cumulated vsize: 9227356 KiB
Current children cumulated memory: 456020 KiB

[startup+20.6012 s]
/proc/loadavg: 1.89 0.44 0.18 3/218 1314
/proc/meminfo: memFree=25653164/32770624 swapFree=67002072/67108860
[pid=1255] ppid=1252 vsize=113128 memory=1476 CPUtime=5.62 cores=0-7
/proc/1255/stat : 1255 (scop.sh) S 1252 1255 1211 0 -1 4202496 583 27570 0 0 0 0 540 22 20 0 1 0 500111626 115843072 369 33554432000 4194304 5098028 140721205500512 140721205497256 140253063692924 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 3 0 0 7196144 7232144 35442688 140721205506813 140721205507160 140721205507160 140721205510089 0
/proc/1255/statm: 28282 369 311 221 0 87 0
[pid=1278] ppid=1255 vsize=8283048 memory=127712 CPUtime=119.56 cores=0-7
/proc/1278/stat : 1278 (java) S 1255 1255 1211 0 -1 1077944320 20940 157166 0 0 141 9 11766 40 20 0 22 0 500112039 8481841152 31928 33554432000 4194304 4196468 140729078338928 140729078321472 140691787431671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
/proc/1278/statm: 2070762 31928 3225 1 0 2032106 0
[pid=1278/tid=1279] ppid=1255 vsize=8283048 memory=0 CPUtime=118.9 cores=0-7
/proc/1278/task/1279/stat : 1279 (java) R 1255 1255 1211 0 -1 4202560 17218 157166 0 0 79 5 11766 40 20 0 22 0 500112040 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691759267216 140691771512158 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1280] ppid=1255 vsize=8283048 memory=-7824251494390519401 CPUtime=118.06 cores=0-7
/proc/1278/task/1280/stat : 1280 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691791673744 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1281] ppid=1255 vsize=8283048 memory=0 CPUtime=118.06 cores=0-7
/proc/1278/task/1281/stat : 1281 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691591842064 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1282] ppid=1255 vsize=8283048 memory=7156325727428821092 CPUtime=118.06 cores=0-7
/proc/1278/task/1282/stat : 1282 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691590789776 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1283] ppid=1255 vsize=8283048 memory=5791722924532589650 CPUtime=118.06 cores=0-7
/proc/1278/task/1283/stat : 1283 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691589736976 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1284] ppid=1255 vsize=8283048 memory=6147521520061272144 CPUtime=118.06 cores=0-7
/proc/1278/task/1284/stat : 1284 (java) S 1255 1255 1211 0 -1 1077944384 2 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691588684688 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1285] ppid=1255 vsize=8283048 memory=-3415246347756354695 CPUtime=118.06 cores=0-7
/proc/1278/task/1285/stat : 1285 (java) S 1255 1255 1211 0 -1 1077944384 2 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691587631888 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1286] ppid=1255 vsize=8283048 memory=6147521520061272144 CPUtime=118.06 cores=0-7
/proc/1278/task/1286/stat : 1286 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691267120272 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1287] ppid=1255 vsize=8283048 memory=6147521520061272144 CPUtime=118.06 cores=0-7
/proc/1278/task/1287/stat : 1287 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112041 8481841152 31928 33554432000 4194304 4196468 140729078338928 140691266067472 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1288] ppid=1255 vsize=8283048 memory=6147521520061272144 CPUtime=118.06 cores=0-7
/proc/1278/task/1288/stat : 1288 (java) S 1255 1255 1211 0 -1 1077944384 9 157166 0 0 0 0 11766 40 20 0 22 0 500112042 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690545330288 140691787442818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1289] ppid=1255 vsize=8283048 memory=6147521520061272144 CPUtime=118.06 cores=0-7
/proc/1278/task/1289/stat : 1289 (java) S 1255 1255 1211 0 -1 1077944384 13 157166 0 0 0 0 11766 40 20 0 22 0 500112043 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690445034272 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1290] ppid=1255 vsize=8283048 memory=6147521520061272144 CPUtime=118.06 cores=0-7
/proc/1278/task/1290/stat : 1290 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112043 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690176599152 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1291] ppid=1255 vsize=8283048 memory=5792262870373781584 CPUtime=118.06 cores=0-7
/proc/1278/task/1291/stat : 1291 (java) S 1255 1255 1211 0 -1 1077944384 1 157166 0 0 0 0 11766 40 20 0 22 0 500112045 8481841152 31928 33554432000 4194304 4196468 140729078338928 140689802090576 140691787450267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1292] ppid=1255 vsize=8283048 memory=7451583164518395241 CPUtime=118.17 cores=0-7
/proc/1278/task/1292/stat : 1292 (java) S 1255 1255 1211 0 -1 1077944384 384 157166 0 0 11 0 11766 40 20 0 22 0 500112045 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690544278128 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1293] ppid=1255 vsize=8283048 memory=7309167735352552301 CPUtime=118.15 cores=0-7
/proc/1278/task/1293/stat : 1293 (java) S 1255 1255 1211 0 -1 1077944384 584 157166 0 0 9 0 11766 40 20 0 22 0 500112045 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690543225328 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1294] ppid=1255 vsize=8283048 memory=6296156955260250730 CPUtime=118.13 cores=0-7
/proc/1278/task/1294/stat : 1294 (java) R 1255 1255 1211 0 -1 4202560 372 157166 0 0 7 0 11766 40 20 0 22 0 500112045 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690542173040 140691768952756 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1295] ppid=1255 vsize=8283048 memory=6085047462659374440 CPUtime=118.33 cores=0-7
/proc/1278/task/1295/stat : 1295 (java) S 1255 1255 1211 0 -1 1077944384 923 157166 0 0 27 0 11766 40 20 0 22 0 500112045 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690541120240 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1296] ppid=1255 vsize=8283048 memory=7517468027280648032 CPUtime=118.06 cores=0-7
/proc/1278/task/1296/stat : 1296 (java) S 1255 1255 1211 0 -1 1077944384 3 157166 0 0 0 0 11766 40 20 0 22 0 500112046 8481841152 31928 33554432000 4194304 4196468 140729078338928 140689304185184 140691787441877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1297] ppid=1255 vsize=8283048 memory=7523360395875740520 CPUtime=118.06 cores=0-7
/proc/1278/task/1297/stat : 1297 (java) S 1255 1255 1211 0 -1 1077944384 3 157166 0 0 0 0 11766 40 20 0 22 0 500112046 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690540067120 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1299] ppid=1255 vsize=8283048 memory=7589240748751479104 CPUtime=118.06 cores=0-7
/proc/1278/task/1299/stat : 1299 (java) S 1255 1255 1211 0 -1 1077944384 33 157166 0 0 0 0 11766 40 20 0 22 0 500112115 8481841152 31928 33554432000 4194304 4196468 140729078338928 140690532033040 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
[pid=1278/tid=1303] ppid=1255 vsize=8283048 memory=7523071198212214892 CPUtime=118.06 cores=0-7
/proc/1278/task/1303/stat : 1303 (java) S 1255 1255 1211 0 -1 1077944384 12 157166 0 0 0 0 11766 40 20 0 22 0 500112118 8481841152 31928 33554432000 4194304 4196468 140729078338928 140688364660272 140691787442818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39649280 140729078342624 140729078342790 140729078342790 140729078345679 0
Current children cumulated CPU time: 125.18 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129188 KiB

Child status: 0
Real time (s): 20.6524
CPU time (s): 125.304
CPU user time (s): 124.555
CPU system time (s): 0.749148
CPU usage (%): 606.728
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 712652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.555
system time used= 0.749148
maximum resident set size= 713796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207413
page faults= 0
swaps= 0
block input operations= 20520
block output operations= 6000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14449
involuntary context switches= 1624


# summary of solver processes directly reported to runsolver:
#   pid: 1255
#   total CPU time (s): 125.304
#   total CPU user time (s): 124.555
#   total CPU system time (s): 0.749148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.204076 second user time and 0.295924 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-23 13:36:23
IDJOB=4405285
IDBENCH=120419
IDSOLVER=2867
FILE ID=node136/4405285-1569238628
RUNJOBID= node136-1569238583-1238
PBS_JOBID= 21704901
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N1c.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 /var/tmp/evaluation-result-4405285-1569238628/watcher-4405285-1569238628 -o /var/tmp/evaluation-result-4405285-1569238628/solver-4405285-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --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-4405285-1569238628.xml

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

MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=760864286

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:        26108652 kB
MemAvailable:   31843940 kB
Buffers:          125472 kB
Cached:          5729512 kB
SwapCached:         3572 kB
Active:          2677732 kB
Inactive:        3182880 kB
Active(anon):       4236 kB
Inactive(anon):    58232 kB
Active(file):    2673496 kB
Inactive(file):  3124648 kB
Unevictable:      108528 kB
Mlocked:          108528 kB
SwapTotal:      67108860 kB
SwapFree:       67002072 kB
Dirty:             20612 kB
Writeback:             0 kB
AnonPages:        112300 kB
Mapped:            55600 kB
Shmem:             48208 kB
Slab:             394856 kB
SReclaimable:     365604 kB
SUnreclaim:        29252 kB
KernelStack:        3344 kB
PageTables:         5316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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 /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-23 13:36:46