Trace number 4392343

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 173.821 25.2058

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-097.xml
MD5SUM8967691277ed469002b27945208c5243
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 benchmark53.043
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size336
Maximum domain size336
Distribution of domain sizes[{"size":336,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23560-serial-file.bin HOME/instance-4392343-1568429332.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 04:48:10 CEST 2019
0.66/0.57	c PID: 23563
0.66/0.57	c IP: 172.20.3.117
0.66/0.57	c HOST: node117.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 336
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4392343-1568429332.xml,Le:NoOverlap:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.01	c (0,0) translated 22 (40%) constraints
1.56/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.02	c (0,0) translated 43 (80%) constraints
1.56/1.02	c (0,0) translated 48 (90%) constraints
2.18/1.28	c (0,0) translated 53 (100%) constraints
2.18/1.28	c (0,0) ===========================================
2.18/1.28	c (0,0) Order
2.18/1.28	c (0,0) ===========================================
2.18/1.29	c (0,0) translated 36 (10%) constraints
2.18/1.29	c (0,0) translated 71 (20%) constraints
2.18/1.30	c (0,0) translated 106 (30%) constraints
2.52/1.31	c (0,0) translated 141 (40%) constraints
2.52/1.31	c (0,0) translated 176 (50%) constraints
2.52/1.31	c (0,0) translated 212 (60%) constraints
2.52/1.32	c (0,0) translated 247 (70%) constraints
2.52/1.32	c (0,0) translated 282 (80%) constraints
2.52/1.33	c (0,0) translated 317 (90%) constraints
2.52/1.33	c (0,0) translated 352 (100%) constraints
2.52/1.34	c (0,0) CSP to CSPinCNF End
2.52/1.34	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 335
2.52/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.52/1.34	c (0,0) CSPinCNF Propagation Begin
2.52/1.37	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.52/1.37	c (0,0) CSPinCNF Propagation End
2.52/1.37	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 335
2.52/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.52/1.37	c (0,0) Simplify CSPinCNF Begin
2.86/1.46	c (0,0) Simplify CSPinCNF End
2.86/1.47	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.86/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.86/1.47	c (0,0) Calculate Precise Domain Begin
2.86/1.47	c (0,0) 0 values are removed by re-calculation
2.86/1.47	c (0,0) Calculate Precise Domain End
2.86/1.47	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.86/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.47	c (0,0) CSPinCNF to SatSolver Begin
4.66/1.91	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 48680 SAT clauses)
4.96/2.05	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 82256 SAT clauses)
5.09/2.17	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 113495 SAT clauses)
5.30/2.30	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 146030 SAT clauses)
5.40/2.42	c (1,1) 747 (50 %) CSP clauses are encoded (0 SAT variables, 175578 SAT clauses)
5.51/2.53	c (1,1) 896 (60 %) CSP clauses are encoded (0 SAT variables, 205031 SAT clauses)
5.63/2.64	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 232037 SAT clauses)
5.75/2.74	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 258078 SAT clauses)
5.86/2.83	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 280743 SAT clauses)
5.86/2.89	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 296506 SAT clauses)
5.86/2.90	c (2,2) CSPinCNF to SatSolver End
5.86/2.90	c (2,2) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.86/2.90	c (2,2) 15376 bool, 296582 clause
5.86/2.90	c (2,2) Export Begin
5.97/2.98	c (2,2) Export to HOME/scop-23560-serial-file.bin
5.97/2.98	c (2,2) Export End
5.97/2.98	c (2,2) Export File Size: 0.01 MB
5.97/2.98	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.97/2.98	c END-Prog: Sat Sep 14 04:48:13 CEST 2019
5.97/3.00	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23560-serial-file.bin
6.15/3.46	c (0,0) Read Serial File Begin
6.15/3.46	c (0,0) HOME/scop-23560-serial-file.bin
6.15/3.65	c (0,0) Read Serial File End
6.15/3.66	
6.15/3.66	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.15/3.66	(Solving Process)
6.15/3.66	
6.15/3.69	c BEGIN-Prog: Sat Sep 14 04:48:13 CEST 2019
6.15/3.69	c PID: 23583
6.15/3.69	c IP: 172.20.3.117
6.15/3.69	c HOST: node117.alineos.net
6.15/3.69	c (0,0) SatSolver.solve Begin
6.15/3.69	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392343-1568429332.xml-scop-23563.cnf
6.15/3.72	c (0,0) c
6.15/3.72	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)
6.15/3.72	c (0,0) c
6.15/3.72	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.15/3.72	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.15/3.72	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.15/3.72	c (0,0) c |                                                                                                       |
6.15/3.82	c (0,0) c |  Number of variables:         15376                                                                   |
6.15/3.82	c (0,0) c |  Number of clauses:          296582                                                                   |
6.15/3.82	c (0,0) c |  Parse time:                   0.09 s                                                                 |
6.15/3.82	c (0,0) c |                                                                                                       |
7.67/4.14	c (0,0) c |  Simplification time:          0.32 s                                                                 |
7.67/4.14	c (0,0) c |                                                                                                       |
7.67/4.14	c (0,0) c |  Generating clones                                                                                    |
7.76/4.23	c (0,0) c |  all clones generated. Memory =   202.91Mb.                                                           |
7.76/4.23	c (0,0) c ========================================================================================================|
7.76/4.23	c (0,0) c
7.76/4.23	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.76/4.23	c (0,0) c
7.76/4.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.76/4.23	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.76/4.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.76/4.23	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.76/4.23	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.76/4.23	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.76/4.23	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.76/4.23	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.76/4.23	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.76/4.23	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.76/4.23	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.76/4.23	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.76/4.23	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.76/4.23	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.76/4.23	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.76/4.23	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.76/4.23	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.76/4.23	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.76/4.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.03	c (21,0) c
173.32/25.03	c (21,0) c real time : 21.3201 s
173.32/25.03	c (21,0) c cpu time  : 165.489 s
173.32/25.03	c (21,0) c
173.32/25.03	c (21,0) c
173.32/25.03	c (21,0) c
173.32/25.03	c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
173.32/25.03	c (21,0) c
173.32/25.03	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.03	c (21,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
173.32/25.03	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.03	c (21,0) c | Conflicts     |          554169 |      67799 |      69068 |      70843 |      69005 |      70218 |      70059 |      68655 |      68522 |
173.32/25.03	c (21,0) c | Decisions     |         1124015 |     137660 |     138443 |     140736 |     137907 |     143199 |     143778 |     138302 |     143990 |
173.32/25.03	c (21,0) c | Propagations  |       303992249 |   37623915 |   38238610 |   38481981 |   37945127 |   38063151 |   38168663 |   37499247 |   37971555 |
173.32/25.03	c (21,0) c | ReduceDBs     |              54 |          6 |          7 |          7 |          7 |          7 |          7 |          7 |          6 |
173.32/25.03	c (21,0) c | SimpDBs       |              80 |         10 |         11 |         11 |          9 |         11 |         10 |          8 |         10 |
173.32/25.03	c (21,0) c | Restarts      |            2149 |        264 |        276 |        280 |        232 |        265 |        295 |        267 |        270 |
173.32/25.03	c (21,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
173.32/25.03	c (21,0) c | PropBinClauses|       359996975 |   44589639 |   45500200 |   45423362 |   44790503 |   44745473 |   45339893 |   44392125 |   45215780 |
173.32/25.03	c (21,0) c | PropPreBlocker|      4104618596 |  509514706 |  511539789 |  521155668 |  506953375 |  516752290 |  517179280 |  506612709 |  514910779 |
173.32/25.03	c (21,0) c | PropNotBlocker|      1296614452 |  161251965 |  164872836 |  160556399 |  157340817 |  164786754 |  164805238 |  159180032 |  163820411 |
173.32/25.03	c (21,0) c | LitFullScans  |      7898290063 |  980368481 |  989283647 | 1000451198 |  972066869 | 1002130735 |  998765441 |  970982582 |  984241110 |
173.32/25.03	c (21,0) c | LitScanFracts |         1029046 |      89072 |     139874 |     141418 |      60780 |     121887 |      66003 |     204153 |     205859 |
173.32/25.03	c (21,0) c | DecisionLevel0|            2168 |        266 |        279 |        283 |        233 |        268 |        297 |        269 |        273 |
173.32/25.03	c (21,0) c | Periods       |            1313 |        163 |        164 |        166 |        162 |        167 |        166 |        161 |        164 |
173.32/25.03	c (21,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
173.32/25.03	c (21,0) c | Avg_Trail     |                 |       6103 |       5943 |       6129 |       6155 |       5985 |       6052 |       6098 |       6139 |
173.32/25.03	c (21,0) c | Avg_DL        |                 |         22 |         20 |         21 |         22 |         20 |         21 |         21 |         22 |
173.32/25.03	c (21,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
173.32/25.03	c (21,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
173.32/25.03	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.03	c (21,0) c | Exported      |           88367 |      10606 |      10807 |      11575 |      11017 |      11272 |      11389 |      10966 |      10735 |
173.32/25.03	c (21,0) c | Imported      |          563655 |      70810 |      70153 |      70866 |      69871 |      71658 |      71469 |      68861 |      69967 |
173.32/25.03	c (21,0) c | Good          |             960 |        119 |        117 |        119 |        128 |        118 |        116 |        121 |        122 |
173.32/25.03	c (21,0) c | Purge         |          562695 |      70691 |      70036 |      70747 |      69743 |      71540 |      71353 |      68740 |      69845 |
173.32/25.03	c (21,0) c | Promoted      |           63212 |       7779 |       7882 |       8375 |       7556 |       8297 |       8216 |       7852 |       7255 |
173.32/25.03	c (21,0) c | Remove_Imp    |          283037 |      27722 |      38829 |      37768 |      38138 |      38178 |      38699 |      36543 |      27160 |
173.32/25.03	c (21,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
173.32/25.03	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.03	c (21,0) c | Unaries       |                 |          2 |          3 |          3 |          1 |          3 |          2 |          2 |          3 |
173.32/25.03	c (21,0) c | Binaries      |                 |         18 |         22 |         19 |          9 |         22 |         25 |         16 |         17 |
173.32/25.04	c (21,0) c | Glues         |                 |        207 |        196 |        220 |        176 |        219 |        243 |        197 |        208 |
173.32/25.04	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.04	c (21,0) c | Orig_Seen     |            18 % |      53491 |      51947 |      52796 |      53353 |      53276 |      52265 |      55027 |      56499 |
173.32/25.04	c (21,0) c | Diff Orig seen|                 | -     1536 | -     3080 | -     2231 | -     1674 | -     1751 | -     2762 |      X     |       1472 |
173.32/25.04	c (21,0) c | Hamming       |            30 % |       5328 |       4686 |       3789 |       5599 |       4172 |       4577 |      X     |       4316 |
173.32/25.04	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.04	c (21,0) c | RunningTime   |                 |   20.7 100%|   20.7 100%|   20.7 100%|   20.7 100%|   20.8 100%|   20.7 100%|   20.7 100%|   20.8 100%|
173.32/25.04	c (21,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%|
173.32/25.04	c (21,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%|
173.32/25.04	c (21,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%|
173.32/25.04	c (21,0) c | SolvingTime   |                 |   20.8     |   20.8     |   20.8     |   20.8     |   20.8     |   20.8     |   20.7     |   20.8     |
173.32/25.04	c (21,0) c | PropagationTim|                 |   17.1  82%|   17.0  82%|   17.0  82%|   17.0  82%|   17.0  82%|   16.9  81%|   16.9  81%|   17.2  83%|
173.32/25.04	c (21,0) c | AnalysisTime  |                 |    2.8  13%|    2.8  14%|    2.9  14%|    2.9  14%|    2.8  14%|    2.9  14%|    3.0  14%|    2.7  13%|
173.32/25.04	c (21,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.1   1%|
173.32/25.04	c (21,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   1%|    0.1   1%|    0.1   0%|    0.1   1%|    0.1   0%|    0.1   0%|    0.1   0%|
173.32/25.04	c (21,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%|
173.32/25.04	c (21,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%|
173.32/25.04	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.04	c (21,0) c
173.32/25.04	c (21,0) c
173.32/25.04	c (21,0) c Threads : 8
173.32/25.04	c (21,0) c Winner : 6
173.32/25.04	c (21,0) c Conflicts_0 : 67799
173.32/25.04	c (21,0) c Conflicts_1 : 69068
173.32/25.04	c (21,0) c Conflicts_2 : 70843
173.32/25.04	c (21,0) c Conflicts_3 : 69005
173.32/25.04	c (21,0) c Conflicts_4 : 70218
173.32/25.04	c (21,0) c Conflicts_5 : 70059
173.32/25.04	c (21,0) c Conflicts_6 : 68655
173.32/25.04	c (21,0) c Conflicts_7 : 68522
173.32/25.04	c (21,0) c Conflicts_total : 554169
173.32/25.04	c (21,0) c Conflicts_winner : 68655
173.32/25.04	c (21,0) c Decisions_0 : 137660
173.32/25.04	c (21,0) c Decisions_1 : 138443
173.32/25.04	c (21,0) c Decisions_2 : 140736
173.32/25.04	c (21,0) c Decisions_3 : 137907
173.32/25.04	c (21,0) c Decisions_4 : 143199
173.32/25.04	c (21,0) c Decisions_5 : 143778
173.32/25.04	c (21,0) c Decisions_6 : 138302
173.32/25.04	c (21,0) c Decisions_7 : 143990
173.32/25.04	c (21,0) c Decisions_total : 1124015
173.32/25.04	c (21,0) c Decisions_winner : 138302
173.32/25.04	c (21,0) c Propagations_0 : 37623915
173.32/25.04	c (21,0) c Propagations_1 : 38238610
173.32/25.04	c (21,0) c Propagations_2 : 38481981
173.32/25.04	c (21,0) c Propagations_3 : 37945127
173.32/25.04	c (21,0) c Propagations_4 : 38063151
173.32/25.04	c (21,0) c Propagations_5 : 38168663
173.32/25.04	c (21,0) c Propagations_6 : 37499247
173.32/25.04	c (21,0) c Propagations_7 : 37971555
173.32/25.04	c (21,0) c Propagations_total : 303992249
173.32/25.04	c (21,0) c Propagations_winner : 37499247
173.32/25.04	c (21,0) c ReduceDBs_0 : 6
173.32/25.04	c (21,0) c ReduceDBs_1 : 7
173.32/25.04	c (21,0) c ReduceDBs_2 : 7
173.32/25.04	c (21,0) c ReduceDBs_3 : 7
173.32/25.04	c (21,0) c ReduceDBs_4 : 7
173.32/25.04	c (21,0) c ReduceDBs_5 : 7
173.32/25.04	c (21,0) c ReduceDBs_6 : 7
173.32/25.04	c (21,0) c ReduceDBs_7 : 6
173.32/25.04	c (21,0) c ReduceDBs_total : 54
173.32/25.04	c (21,0) c ReduceDBs_winner : 7
173.32/25.04	c (21,0) c SimpDBs_0 : 10
173.32/25.04	c (21,0) c SimpDBs_1 : 11
173.32/25.04	c (21,0) c SimpDBs_2 : 11
173.32/25.04	c (21,0) c SimpDBs_3 : 9
173.32/25.04	c (21,0) c SimpDBs_4 : 11
173.32/25.04	c (21,0) c SimpDBs_5 : 10
173.32/25.04	c (21,0) c SimpDBs_6 : 8
173.32/25.04	c (21,0) c SimpDBs_7 : 10
173.32/25.04	c (21,0) c SimpDBs_total : 80
173.32/25.04	c (21,0) c SimpDBs_winner : 8
173.32/25.04	c (21,0) c Restarts_0 : 264
173.32/25.04	c (21,0) c Restarts_1 : 276
173.32/25.04	c (21,0) c Restarts_2 : 280
173.32/25.04	c (21,0) c Restarts_3 : 232
173.32/25.04	c (21,0) c Restarts_4 : 265
173.32/25.04	c (21,0) c Restarts_5 : 295
173.32/25.04	c (21,0) c Restarts_6 : 267
173.32/25.04	c (21,0) c Restarts_7 : 270
173.32/25.04	c (21,0) c Restarts_total : 2149
173.32/25.04	c (21,0) c Restarts_winner : 267
173.32/25.04	c (21,0) c ForcedImports_0 : 0
173.32/25.04	c (21,0) c ForcedImports_1 : 0
173.32/25.04	c (21,0) c ForcedImports_2 : 0
173.32/25.04	c (21,0) c ForcedImports_3 : 0
173.32/25.04	c (21,0) c ForcedImports_4 : 0
173.32/25.04	c (21,0) c ForcedImports_5 : 0
173.32/25.04	c (21,0) c ForcedImports_6 : 0
173.32/25.04	c (21,0) c ForcedImports_7 : 0
173.32/25.04	c (21,0) c ForcedImports_total : 0
173.32/25.04	c (21,0) c ForcedImports_winner : 0
173.32/25.04	c (21,0) c PropsBinClauses_0 : 44589639
173.32/25.04	c (21,0) c PropsBinClauses_1 : 45500200
173.32/25.04	c (21,0) c PropsBinClauses_2 : 45423362
173.32/25.04	c (21,0) c PropsBinClauses_3 : 44790503
173.32/25.04	c (21,0) c PropsBinClauses_4 : 44745473
173.32/25.04	c (21,0) c PropsBinClauses_5 : 45339893
173.32/25.04	c (21,0) c PropsBinClauses_6 : 44392125
173.32/25.04	c (21,0) c PropsBinClauses_7 : 45215780
173.32/25.04	c (21,0) c PropsBinClauses_total : 359996975
173.32/25.04	c (21,0) c PropsBinClauses_winner : 44392125
173.32/25.04	c (21,0) c PropsPreBlocker_0 : 509514706
173.32/25.04	c (21,0) c PropsPreBlocker_1 : 511539789
173.32/25.04	c (21,0) c PropsPreBlocker_2 : 521155668
173.32/25.04	c (21,0) c PropsPreBlocker_3 : 506953375
173.32/25.04	c (21,0) c PropsPreBlocker_4 : 516752290
173.32/25.04	c (21,0) c PropsPreBlocker_5 : 517179280
173.32/25.04	c (21,0) c PropsPreBlocker_6 : 506612709
173.32/25.04	c (21,0) c PropsPreBlocker_7 : 514910779
173.32/25.04	c (21,0) c PropsPreBlocker_total : 4104618596
173.32/25.04	c (21,0) c PropsPreBlocker_winner : 506612709
173.32/25.04	c (21,0) c PropsNotBlocker_0 : 161251965
173.32/25.04	c (21,0) c PropsNotBlocker_1 : 164872836
173.32/25.04	c (21,0) c PropsNotBlocker_2 : 160556399
173.32/25.04	c (21,0) c PropsNotBlocker_3 : 157340817
173.32/25.04	c (21,0) c PropsNotBlocker_4 : 164786754
173.32/25.04	c (21,0) c PropsNotBlocker_5 : 164805238
173.32/25.04	c (21,0) c PropsNotBlocker_6 : 159180032
173.32/25.04	c (21,0) c PropsNotBlocker_7 : 163820411
173.32/25.04	c (21,0) c PropsNotBlocker_total : 1296614452
173.32/25.04	c (21,0) c PropsNotBlocker_winner : 159180032
173.32/25.04	c (21,0) c PropsLitFullScans_0 : 980368481
173.32/25.04	c (21,0) c PropsLitFullScans_1 : 989283647
173.32/25.04	c (21,0) c PropsLitFullScans_2 : 1000451198
173.32/25.04	c (21,0) c PropsLitFullScans_3 : 972066869
173.32/25.04	c (21,0) c PropsLitFullScans_4 : 1002130735
173.32/25.04	c (21,0) c PropsLitFullScans_5 : 998765441
173.32/25.04	c (21,0) c PropsLitFullScans_6 : 970982582
173.32/25.04	c (21,0) c PropsLitFullScans_7 : 984241110
173.32/25.04	c (21,0) c PropsLitFullScans_total : 7898290063
173.32/25.04	c (21,0) c PropsLitFullScans_winner : 970982582
173.32/25.04	c (21,0) c LitScanFractions_0 : 89072
173.32/25.04	c (21,0) c LitScanFractions_1 : 139874
173.32/25.04	c (21,0) c LitScanFractions_2 : 141418
173.32/25.04	c (21,0) c LitScanFractions_3 : 60780
173.32/25.04	c (21,0) c LitScanFractions_4 : 121887
173.32/25.04	c (21,0) c LitScanFractions_5 : 66003
173.32/25.04	c (21,0) c LitScanFractions_6 : 204153
173.32/25.04	c (21,0) c LitScanFractions_7 : 205859
173.32/25.04	c (21,0) c LitScanFractions_total : 1029046
173.32/25.04	c (21,0) c LitScanFractions_winner : 204153
173.32/25.04	c (21,0) c DecisionLevel0_0 : 266
173.32/25.04	c (21,0) c DecisionLevel0_1 : 279
173.32/25.04	c (21,0) c DecisionLevel0_2 : 283
173.32/25.04	c (21,0) c DecisionLevel0_3 : 233
173.32/25.04	c (21,0) c DecisionLevel0_4 : 268
173.32/25.04	c (21,0) c DecisionLevel0_5 : 297
173.32/25.04	c (21,0) c DecisionLevel0_6 : 269
173.32/25.04	c (21,0) c DecisionLevel0_7 : 273
173.32/25.04	c (21,0) c DecisionLevel0_total : 2168
173.32/25.04	c (21,0) c DecisionLevel0_winner : 269
173.32/25.04	c (21,0) c Periods_0 : 163
173.32/25.04	c (21,0) c Periods_1 : 164
173.32/25.04	c (21,0) c Periods_2 : 166
173.32/25.04	c (21,0) c Periods_3 : 162
173.32/25.04	c (21,0) c Periods_4 : 167
173.32/25.04	c (21,0) c Periods_5 : 166
173.32/25.04	c (21,0) c Periods_6 : 161
173.32/25.04	c (21,0) c Periods_7 : 164
173.32/25.04	c (21,0) c Periods_total : 1313
173.32/25.04	c (21,0) c Periods_winner : 161
173.32/25.04	c (21,0) c Margin_0 : 20
173.32/25.04	c (21,0) c Margin_1 : 20
173.32/25.04	c (21,0) c Margin_2 : 20
173.32/25.04	c (21,0) c Margin_3 : 20
173.32/25.04	c (21,0) c Margin_4 : 20
173.32/25.04	c (21,0) c Margin_5 : 20
173.32/25.04	c (21,0) c Margin_6 : 20
173.32/25.04	c (21,0) c Margin_7 : 20
173.32/25.04	c (21,0) c Margin_total : 160
173.32/25.04	c (21,0) c Margin_winner : 20
173.32/25.04	c (21,0) c Exported_0 : 10606
173.32/25.04	c (21,0) c Exported_1 : 10807
173.32/25.04	c (21,0) c Exported_2 : 11575
173.32/25.04	c (21,0) c Exported_3 : 11017
173.32/25.04	c (21,0) c Exported_4 : 11272
173.32/25.04	c (21,0) c Exported_5 : 11389
173.32/25.04	c (21,0) c Exported_6 : 10966
173.32/25.04	c (21,0) c Exported_7 : 10735
173.32/25.04	c (21,0) c Exported_total : 88367
173.32/25.04	c (21,0) c Exported_winner : 10966
173.32/25.04	c (21,0) c Imported_0 : 70810
173.32/25.04	c (21,0) c Imported_1 : 70153
173.32/25.04	c (21,0) c Imported_2 : 70866
173.32/25.04	c (21,0) c Imported_3 : 69871
173.32/25.04	c (21,0) c Imported_4 : 71658
173.32/25.04	c (21,0) c Imported_5 : 71469
173.32/25.04	c (21,0) c Imported_6 : 68861
173.32/25.04	c (21,0) c Imported_7 : 69967
173.32/25.04	c (21,0) c Imported_total : 563655
173.32/25.04	c (21,0) c Imported_winner : 68861
173.32/25.04	c (21,0) c Good_0 : 119
173.32/25.04	c (21,0) c Good_1 : 117
173.32/25.04	c (21,0) c Good_2 : 119
173.32/25.04	c (21,0) c Good_3 : 128
173.32/25.04	c (21,0) c Good_4 : 118
173.32/25.04	c (21,0) c Good_5 : 116
173.32/25.04	c (21,0) c Good_6 : 121
173.32/25.04	c (21,0) c Good_7 : 122
173.32/25.04	c (21,0) c Good_total : 960
173.32/25.04	c (21,0) c Good_winner : 121
173.32/25.04	c (21,0) c Purge_0 : 70691
173.32/25.04	c (21,0) c Purge_1 : 70036
173.32/25.04	c (21,0) c Purge_2 : 70747
173.32/25.04	c (21,0) c Purge_3 : 69743
173.32/25.04	c (21,0) c Purge_4 : 71540
173.32/25.04	c (21,0) c Purge_5 : 71353
173.32/25.04	c (21,0) c Purge_6 : 68740
173.32/25.04	c (21,0) c Purge_7 : 69845
173.32/25.04	c (21,0) c Purge_total : 562695
173.32/25.04	c (21,0) c Purge_winner : 68740
173.32/25.04	c (21,0) c Promoted_0 : 7779
173.32/25.04	c (21,0) c Promoted_1 : 7882
173.32/25.04	c (21,0) c Promoted_2 : 8375
173.32/25.04	c (21,0) c Promoted_3 : 7556
173.32/25.04	c (21,0) c Promoted_4 : 8297
173.32/25.04	c (21,0) c Promoted_5 : 8216
173.32/25.04	c (21,0) c Promoted_6 : 7852
173.32/25.04	c (21,0) c Promoted_7 : 7255
173.32/25.04	c (21,0) c Promoted_total : 63212
173.32/25.04	c (21,0) c Promoted_winner : 7852
173.32/25.04	c (21,0) c Remove_Imp_0 : 27722
173.32/25.04	c (21,0) c Remove_Imp_1 : 38829
173.32/25.04	c (21,0) c Remove_Imp_2 : 37768
173.32/25.04	c (21,0) c Remove_Imp_3 : 38138
173.32/25.04	c (21,0) c Remove_Imp_4 : 38178
173.32/25.04	c (21,0) c Remove_Imp_5 : 38699
173.32/25.04	c (21,0) c Remove_Imp_6 : 36543
173.32/25.04	c (21,0) c Remove_Imp_7 : 27160
173.32/25.04	c (21,0) c Remove_Imp_total : 283037
173.32/25.04	c (21,0) c Remove_Imp_winner : 36543
173.32/25.04	c (21,0) c Blocked_Reuse_0 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_1 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_2 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_3 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_4 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_5 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_6 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_7 : 0
173.32/25.04	c (21,0) c Blocked_Reuse_total : 0
173.32/25.04	c (21,0) c Blocked_Reuse_winner : 0
173.32/25.04	c (21,0) c Unaries_0 : 2
173.32/25.04	c (21,0) c Unaries_1 : 3
173.32/25.04	c (21,0) c Unaries_2 : 3
173.32/25.04	c (21,0) c Unaries_3 : 1
173.32/25.04	c (21,0) c Unaries_4 : 3
173.32/25.04	c (21,0) c Unaries_5 : 2
173.32/25.04	c (21,0) c Unaries_6 : 2
173.32/25.04	c (21,0) c Unaries_7 : 3
173.32/25.04	c (21,0) c Unaries_total : 19
173.32/25.04	c (21,0) c Unaries_winner : 2
173.32/25.04	c (21,0) c Binaries_0 : 18
173.32/25.04	c (21,0) c Binaries_1 : 22
173.32/25.04	c (21,0) c Binaries_2 : 19
173.32/25.04	c (21,0) c Binaries_3 : 9
173.32/25.04	c (21,0) c Binaries_4 : 22
173.32/25.04	c (21,0) c Binaries_5 : 25
173.32/25.04	c (21,0) c Binaries_6 : 16
173.32/25.04	c (21,0) c Binaries_7 : 17
173.32/25.04	c (21,0) c Binaries_total : 148
173.32/25.04	c (21,0) c Binaries_winner : 16
173.32/25.05	c (21,0) c Glues_0 : 207
173.32/25.05	c (21,0) c Glues_1 : 196
173.32/25.05	c (21,0) c Glues_2 : 220
173.32/25.05	c (21,0) c Glues_3 : 176
173.32/25.05	c (21,0) c Glues_4 : 219
173.32/25.05	c (21,0) c Glues_5 : 243
173.32/25.05	c (21,0) c Glues_6 : 197
173.32/25.05	c (21,0) c Glues_7 : 208
173.32/25.05	c (21,0) c Glues_total : 1666
173.32/25.05	c (21,0) c Glues_winner : 197
173.32/25.05	c (21,0) c RunningTime_0 : 20.730250
173.32/25.05	c (21,0) c RunningTime_1 : 20.741609
173.32/25.05	c (21,0) c RunningTime_2 : 20.728437
173.32/25.05	c (21,0) c RunningTime_3 : 20.724308
173.32/25.05	c (21,0) c RunningTime_4 : 20.756913
173.32/25.05	c (21,0) c RunningTime_5 : 20.726734
173.32/25.05	c (21,0) c RunningTime_6 : 20.716210
173.32/25.05	c (21,0) c RunningTime_7 : 20.750354
173.32/25.05	c (21,0) c RunningTime_total : 165.874815
173.32/25.05	c (21,0) c RunningTime_winner : 20.716210
173.32/25.05	c (21,0) c WaitingTime_0 : 0.000224
173.32/25.05	c (21,0) c WaitingTime_1 : 0.000203
173.32/25.05	c (21,0) c WaitingTime_2 : 0.000254
173.32/25.05	c (21,0) c WaitingTime_3 : 0.000174
173.32/25.05	c (21,0) c WaitingTime_4 : 0.000266
173.32/25.05	c (21,0) c WaitingTime_5 : 0.000250
173.32/25.05	c (21,0) c WaitingTime_6 : 0.000223
173.32/25.05	c (21,0) c WaitingTime_7 : 0.000249
173.32/25.05	c (21,0) c WaitingTime_total : 0.001844
173.32/25.05	c (21,0) c WaitingTime_winner : 0.000223
173.32/25.05	c (21,0) c ExchangingTime_0 : 0.033146
173.32/25.05	c (21,0) c ExchangingTime_1 : 0.034203
173.32/25.05	c (21,0) c ExchangingTime_2 : 0.029364
173.32/25.05	c (21,0) c ExchangingTime_3 : 0.034134
173.32/25.05	c (21,0) c ExchangingTime_4 : 0.037719
173.32/25.05	c (21,0) c ExchangingTime_5 : 0.037418
173.32/25.05	c (21,0) c ExchangingTime_6 : 0.028913
173.32/25.05	c (21,0) c ExchangingTime_7 : 0.029781
173.32/25.05	c (21,0) c ExchangingTime_total : 0.264678
173.32/25.05	c (21,0) c ExchangingTime_winner : 0.028913
173.32/25.05	c (21,0) c PeriodProcTime_0 : 0.001209
173.32/25.05	c (21,0) c PeriodProcTime_1 : 0.001383
173.32/25.05	c (21,0) c PeriodProcTime_2 : 0.001654
173.32/25.05	c (21,0) c PeriodProcTime_3 : 0.001416
173.32/25.05	c (21,0) c PeriodProcTime_4 : 0.001559
173.32/25.05	c (21,0) c PeriodProcTime_5 : 0.001526
173.32/25.05	c (21,0) c PeriodProcTime_6 : 0.001699
173.32/25.05	c (21,0) c PeriodProcTime_7 : 0.001234
173.32/25.05	c (21,0) c PeriodProcTime_total : 0.011678
173.32/25.05	c (21,0) c PeriodProcTime_winner : 0.001699
173.32/25.05	c (21,0) c SolvingTime_0 : 20.764829
173.32/25.05	c (21,0) c SolvingTime_1 : 20.777398
173.32/25.05	c (21,0) c SolvingTime_2 : 20.759709
173.32/25.05	c (21,0) c SolvingTime_3 : 20.760031
173.32/25.05	c (21,0) c SolvingTime_4 : 20.796457
173.32/25.05	c (21,0) c SolvingTime_5 : 20.765928
173.32/25.05	c (21,0) c SolvingTime_6 : 20.747045
173.32/25.05	c (21,0) c SolvingTime_7 : 20.781618
173.32/25.05	c (21,0) c SolvingTime_total : 166.153015
173.32/25.05	c (21,0) c SolvingTime_winner : 20.747045
173.32/25.05	c (21,0) c PropagationTime_0 : 17.082278
173.32/25.05	c (21,0) c PropagationTime_1 : 17.022039
173.32/25.05	c (21,0) c PropagationTime_2 : 16.951752
173.32/25.05	c (21,0) c PropagationTime_3 : 16.994174
173.32/25.05	c (21,0) c PropagationTime_4 : 17.006233
173.32/25.05	c (21,0) c PropagationTime_5 : 16.891257
173.32/25.05	c (21,0) c PropagationTime_6 : 16.873477
173.32/25.05	c (21,0) c PropagationTime_7 : 17.174022
173.32/25.05	c (21,0) c PropagationTime_total : 135.995233
173.32/25.05	c (21,0) c PropagationTime_winner : 16.873477
173.32/25.05	c (21,0) c AnalysisTime_0 : 2.781306
173.32/25.05	c (21,0) c AnalysisTime_1 : 2.821426
173.32/25.05	c (21,0) c AnalysisTime_2 : 2.868856
173.32/25.05	c (21,0) c AnalysisTime_3 : 2.863091
173.32/25.05	c (21,0) c AnalysisTime_4 : 2.849236
173.32/25.05	c (21,0) c AnalysisTime_5 : 2.922811
173.32/25.05	c (21,0) c AnalysisTime_6 : 2.969904
173.32/25.05	c (21,0) c AnalysisTime_7 : 2.723343
173.32/25.05	c (21,0) c AnalysisTime_total : 22.799973
173.32/25.05	c (21,0) c AnalysisTime_winner : 2.969904
173.32/25.05	c (21,0) c ReductionTime_0 : 0.144647
173.32/25.05	c (21,0) c ReductionTime_1 : 0.168569
173.32/25.05	c (21,0) c ReductionTime_2 : 0.177873
173.32/25.05	c (21,0) c ReductionTime_3 : 0.170910
173.32/25.05	c (21,0) c ReductionTime_4 : 0.176698
173.32/25.05	c (21,0) c ReductionTime_5 : 0.176352
173.32/25.05	c (21,0) c ReductionTime_6 : 0.173464
173.32/25.05	c (21,0) c ReductionTime_7 : 0.113491
173.32/25.05	c (21,0) c ReductionTime_total : 1.302005
173.32/25.05	c (21,0) c ReductionTime_winner : 0.173464
173.32/25.05	c (21,0) c SimplifyTime_0 : 0.098622
173.32/25.05	c (21,0) c SimplifyTime_1 : 0.111458
173.32/25.05	c (21,0) c SimplifyTime_2 : 0.110710
173.32/25.05	c (21,0) c SimplifyTime_3 : 0.093889
173.32/25.05	c (21,0) c SimplifyTime_4 : 0.110649
173.32/25.05	c (21,0) c SimplifyTime_5 : 0.099830
173.32/25.05	c (21,0) c SimplifyTime_6 : 0.080127
173.32/25.05	c (21,0) c SimplifyTime_7 : 0.102642
173.32/25.05	c (21,0) c SimplifyTime_total : 0.807927
173.32/25.05	c (21,0) c SimplifyTime_winner : 0.080127
173.32/25.05	c (21,0) c UsedRateTime_0 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_1 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_2 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_3 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_4 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_5 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_6 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_7 : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_total : 0.000000
173.32/25.05	c (21,0) c UsedRateTime_winner : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_0 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_1 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_2 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_3 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_4 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_5 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_6 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_7 : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_total : 0.000000
173.32/25.05	c (21,0) c OverlapRateTime_winner : 0.000000
173.32/25.05	c (21,0) c
173.32/25.05	c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
173.32/25.05	c (21,0) c
173.32/25.05	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.05	c (21,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
173.32/25.05	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.05	c (21,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
173.32/25.05	c (21,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
173.32/25.05	c (21,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
173.32/25.05	c (21,0) c | Initial random_seed   |  929726945 | 1605083542 |  317384550 |  499879509 | 1985100297 |  255061014 |  598358309 | 1614752274 |
173.32/25.05	c (21,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
173.32/25.05	c (21,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
173.32/25.05	c (21,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
173.32/25.05	c (21,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
173.32/25.05	c (21,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
173.32/25.05	c (21,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
173.32/25.05	c (21,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
173.32/25.05	c (21,0) c | var_decay             |     0.9300 |     0.9300 |     0.9400 |     0.9300 |     0.9400 |     0.9400 |     0.9300 |     0.9300 |
173.32/25.05	c (21,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
173.32/25.05	c (21,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
173.32/25.05	c (21,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
173.32/25.05	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
173.32/25.05	c (21,0) 
173.32/25.05	c (21,0) s SATISFIABLE
173.32/25.09	c (21,0) SatSolver.solve End
173.32/25.09	c (21,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
173.32/25.09	c (21,0) Show results Begin
173.61/25.19	c (21,0) x[0] = 224
173.61/25.19	c (21,0) x[1] = 105
173.61/25.19	c (21,0) x[2] = 101
173.61/25.19	c (21,0) x[3] = 101
173.61/25.19	c (21,0) x[4] = 176
173.61/25.19	c (21,0) x[5] = 108
173.61/25.19	c (21,0) x[6] = 118
173.61/25.19	c (21,0) x[7] = 101
173.61/25.19	c (21,0) x[8] = 79
173.61/25.19	c (21,0) x[9] = 105
173.61/25.19	c (21,0) x[10] = 73
173.61/25.19	c (21,0) x[11] = 226
173.61/25.19	c (21,0) x[12] = 224
173.61/25.19	c (21,0) x[13] = 184
173.61/25.19	c (21,0) x[14] = 73
173.61/25.19	c (21,0) x[15] = 176
173.61/25.19	c (21,0) x[16] = 79
173.61/25.19	c (21,0) x[17] = 118
173.61/25.19	c (21,0) x[18] = 0
173.61/25.19	c (21,0) x[19] = 262
173.61/25.19	c (21,0) x[20] = 0
173.61/25.19	c (21,0) x[21] = 132
173.61/25.19	c (21,0) x[22] = 226
173.61/25.19	c (21,0) x[23] = 184
173.61/25.19	c (21,0) x[24] = 0
173.61/25.19	c (21,0) y[0] = 190
173.61/25.19	c (21,0) y[1] = 253
173.61/25.19	c (21,0) y[2] = 253
173.61/25.19	c (21,0) y[3] = 246
173.61/25.19	c (21,0) y[4] = 184
173.61/25.19	c (21,0) y[5] = 246
173.61/25.19	c (21,0) y[6] = 242
173.61/25.19	c (21,0) y[7] = 229
173.61/25.19	c (21,0) y[8] = 257
173.61/25.19	c (21,0) y[9] = 256
173.61/25.19	c (21,0) y[10] = 229
173.61/25.19	c (21,0) y[11] = 190
173.61/25.19	c (21,0) y[12] = 152
173.61/25.19	c (21,0) y[13] = 152
173.61/25.19	c (21,0) y[14] = 184
173.61/25.19	c (21,0) y[15] = 192
173.61/25.19	c (21,0) y[16] = 283
173.61/25.19	c (21,0) y[17] = 184
173.61/25.19	c (21,0) y[18] = 184
173.61/25.19	c (21,0) y[19] = 152
173.61/25.19	c (21,0) y[20] = 257
173.61/25.19	c (21,0) y[21] = 242
173.61/25.19	c (21,0) y[22] = 226
173.61/25.19	c (21,0) y[23] = 0
173.61/25.19	c (21,0) y[24] = 0
173.61/25.19	s SATISFIABLE
173.61/25.19	v <instantiation>
173.61/25.19	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] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] 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] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
173.61/25.19	v     <values>224 105 101 101 176 108 118 101 79 105 73 226 224 184 73 176 79 118 0 262 0 132 226 184 0 190 253 253 246 184 246 242 229 257 256 229 190 152 152 184 192 283 184 184 152 257 242 226 0 0</values>
173.61/25.19	v </instantiation>
173.61/25.19	c (21,0) Show results End
173.61/25.19	c (21,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
173.61/25.19	c (21,0) 21,21,STOP-AFTER(ALL)
173.61/25.19	c END-Prog: Sat Sep 14 04:48:35 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 (14574 MiB free)
  memory of node 1: 16384 MiB (15639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392343-1568429332/watcher-4392343-1568429332 -o /tmp/evaluation-result-4392343-1568429332/solver-4392343-1568429332 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --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-4392343-1568429332.xml 

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

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


[startup+0.100154 s]*
/proc/loadavg: 1.00 1.10 1.83 2/211 23582
/proc/meminfo: memFree=30844568/32770624 swapFree=66947568/67108860
[pid=23560] ppid=23557 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23560/stat : 23560 (scop.sh) S 23557 23560 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418875139 115843072 349 33554432000 4194304 5098028 140726310638960 140726310636216 139749532815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140726310646565 140726310646892 140726310646892 140726310649805 0
/proc/23560/statm: 28282 349 296 221 0 87 0
[pid=23563] ppid=23560 vsize=27314120 memory=105408 CPUtime=0.1 cores=0-7
/proc/23563/stat : 23563 (java) S 23560 23560 15751 0 -1 1077944320 6943 0 0 0 8 2 0 0 20 0 20 0 418875140 27969658880 26352 33554432000 4194304 4196468 140722982044960 140722982027504 140403565276919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
/proc/23563/statm: 6828530 26352 2782 1 0 6790935 0
[pid=23563/tid=23564] ppid=23560 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/23563/task/23564/stat : 23564 (java) R 23560 23560 15751 0 -1 4202560 5032 0 0 0 7 2 0 0 20 0 20 0 418875140 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403537090160 140403548261280 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23565] ppid=23560 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403569519376 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23566] ppid=23560 vsize=27314120 memory=140279148340864 CPUtime=0 cores=0-7
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403383675792 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23567] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403382623248 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23568] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403381570704 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23569] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403380517136 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23570] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403379464592 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23571] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23571/stat : 23571 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403378412048 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23572] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23572/stat : 23572 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 26352 33554432000 4194304 4196468 140722982044960 140403377359504 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23573] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23573/stat : 23573 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875144 27969658880 26352 33554432000 4194304 4196468 140722982044960 140402690566640 140403565288066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23574] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23574/stat : 23574 (java) S 23560 23560 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418875145 27969658880 26352 33554432000 4194304 4196468 140722982044960 140401407157664 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23575] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23575/stat : 23575 (java) S 23560 23560 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418875145 27969658880 26352 33554432000 4194304 4196468 140722982044960 140401272935920 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23576] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23576/stat : 23576 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 26352 33554432000 4194304 4196468 140722982044960 140400898431696 140403565295515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23577] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23577/stat : 23577 (java) R 23560 23560 15751 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 26352 33554432000 4194304 4196468 140722982044960 140402689513456 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23578] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23578/stat : 23578 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 26352 33554432000 4194304 4196468 140722982044960 140402688460912 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23579] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23579/stat : 23579 (java) R 23560 23560 15751 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 26352 33554432000 4194304 4196468 140722982044960 140402687408368 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23580] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23580/stat : 23580 (java) S 23560 23560 15751 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 26352 33554432000 4194304 4196468 140722982044960 140402686355824 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23581] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23581/stat : 23581 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418875148 27969658880 26352 33554432000 4194304 4196468 140722982044960 140400400526048 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23582] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23582/stat : 23582 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875148 27969658880 26352 33554432000 4194304 4196468 140722982044960 140402685303728 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106804 KiB

[startup+0.2106 s]*
/proc/loadavg: 1.00 1.10 1.83 2/211 23582
/proc/meminfo: memFree=30825612/32770624 swapFree=66947568/67108860
[pid=23560] ppid=23557 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23560/stat : 23560 (scop.sh) S 23557 23560 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418875139 115843072 349 33554432000 4194304 5098028 140726310638960 140726310636216 139749532815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140726310646565 140726310646892 140726310646892 140726310649805 0
/proc/23560/statm: 28282 349 296 221 0 87 0
[pid=23563] ppid=23560 vsize=27314120 memory=122244 CPUtime=0.25 cores=0-7
/proc/23563/stat : 23563 (java) S 23560 23560 15751 0 -1 1077944320 11952 0 0 0 21 4 0 0 20 0 20 0 418875140 27969658880 30561 33554432000 4194304 4196468 140722982044960 140722982027504 140403565276919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
/proc/23563/statm: 6828530 30561 2935 1 0 6790935 0
[pid=23563/tid=23564] ppid=23560 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23563/task/23564/stat : 23564 (java) R 23560 23560 15751 0 -1 4202560 9644 0 0 0 16 3 0 0 20 0 20 0 418875140 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403537096336 140403550442464 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23565] ppid=23560 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403569519376 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23566] ppid=23560 vsize=27314120 memory=140279151433518 CPUtime=0 cores=0-7
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403383675792 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23567] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403382623248 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23568] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403381570704 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23569] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403380517136 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23570] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403379464592 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23571] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23571/stat : 23571 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403378412048 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23572] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23572/stat : 23572 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 30561 33554432000 4194304 4196468 140722982044960 140403377359504 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23573] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23573/stat : 23573 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875144 27969658880 30561 33554432000 4194304 4196468 140722982044960 140402690566640 140403565288066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23574] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23574/stat : 23574 (java) S 23560 23560 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418875145 27969658880 30561 33554432000 4194304 4196468 140722982044960 140401407157664 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23575] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23575/stat : 23575 (java) S 23560 23560 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418875145 27969658880 30561 33554432000 4194304 4196468 140722982044960 140401272935920 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23576] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23576/stat : 23576 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 30561 33554432000 4194304 4196468 140722982044960 140400898431696 140403565295515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23577] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23577/stat : 23577 (java) S 23560 23560 15751 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 30561 33554432000 4194304 4196468 140722982044960 140402689513456 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23578] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23578/stat : 23578 (java) S 23560 23560 15751 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 30561 33554432000 4194304 4196468 140722982044960 140402688460912 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23579] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23579/stat : 23579 (java) S 23560 23560 15751 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 30561 33554432000 4194304 4196468 140722982044960 140402687408368 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23580] ppid=23560 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/23563/task/23580/stat : 23580 (java) S 23560 23560 15751 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 418875147 27969658880 30561 33554432000 4194304 4196468 140722982044960 140402686355824 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23581] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23581/stat : 23581 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418875148 27969658880 30561 33554432000 4194304 4196468 140722982044960 140400400526048 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23582] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23582/stat : 23582 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875148 27969658880 30561 33554432000 4194304 4196468 140722982044960 140402685303728 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123640 KiB

[startup+0.310254 s]*
/proc/loadavg: 1.00 1.10 1.83 2/211 23582
/proc/meminfo: memFree=30822752/32770624 swapFree=66947568/67108860
[pid=23560] ppid=23557 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23560/stat : 23560 (scop.sh) S 23557 23560 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418875139 115843072 349 33554432000 4194304 5098028 140726310638960 140726310636216 139749532815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140726310646565 140726310646892 140726310646892 140726310649805 0
/proc/23560/statm: 28282 349 296 221 0 87 0
[pid=23563] ppid=23560 vsize=27314120 memory=125656 CPUtime=0.42 cores=0-7
/proc/23563/stat : 23563 (java) S 23560 23560 15751 0 -1 1077944320 12864 0 0 0 38 4 0 0 20 0 20 0 418875140 27969658880 31414 33554432000 4194304 4196468 140722982044960 140722982027504 140403565276919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
/proc/23563/statm: 6828530 31414 2979 1 0 6790935 0
[pid=23563/tid=23564] ppid=23560 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23563/task/23564/stat : 23564 (java) R 23560 23560 15751 0 -1 4202560 10408 0 0 0 26 3 0 0 20 0 20 0 418875140 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403537106992 140403549357406 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23565] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403569519376 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23566] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403383675792 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23567] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403382623248 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23568] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403381570704 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23569] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403380517136 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23570] ppid=23560 vsize=27314120 memory=140279000689327 CPUtime=0 cores=0-7
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403379464592 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23571] ppid=23560 vsize=27314120 memory=140279000691632 CPUtime=0 cores=0-7
/proc/23563/task/23571/stat : 23571 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403378412048 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23572] ppid=23560 vsize=27314120 memory=140279000693936 CPUtime=0 cores=0-7
/proc/23563/task/23572/stat : 23572 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875143 27969658880 31414 33554432000 4194304 4196468 140722982044960 140403377359504 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23573] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23573/stat : 23573 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875144 27969658880 31414 33554432000 4194304 4196468 140722982044960 140402690566640 140403565288066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23574] ppid=23560 vsize=27314120 memory=280558001401744 CPUtime=0 cores=0-7
/proc/23563/task/23574/stat : 23574 (java) S 23560 23560 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418875145 27969658880 31414 33554432000 4194304 4196468 140722982044960 140401407157664 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23575] ppid=23560 vsize=27314120 memory=280558001399440 CPUtime=0 cores=0-7
/proc/23563/task/23575/stat : 23575 (java) S 23560 23560 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418875145 27969658880 31414 33554432000 4194304 4196468 140722982044960 140401272935920 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23576] ppid=23560 vsize=27314120 memory=280558001406352 CPUtime=0 cores=0-7
/proc/23563/task/23576/stat : 23576 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 31414 33554432000 4194304 4196468 140722982044960 140400898431696 140403565295515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23577] ppid=23560 vsize=27314120 memory=280558001347632 CPUtime=0 cores=0-7
/proc/23563/task/23577/stat : 23577 (java) S 23560 23560 15751 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 31414 33554432000 4194304 4196468 140722982044960 140402689513456 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23578] ppid=23560 vsize=27314120 memory=280558001420176 CPUtime=0 cores=0-7
/proc/23563/task/23578/stat : 23578 (java) R 23560 23560 15751 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 20 0 418875147 27969658880 31414 33554432000 4194304 4196468 140722982044960 140402688460912 140403545173936 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23579] ppid=23560 vsize=27314120 memory=280558001427088 CPUtime=0.03 cores=0-7
/proc/23563/task/23579/stat : 23579 (java) S 23560 23560 15751 0 -1 1077944384 393 0 0 0 3 0 0 0 20 0 20 0 418875147 27969658880 31414 33554432000 4194304 4196468 140722982044960 140402687408368 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23580] ppid=23560 vsize=27314120 memory=280558001424784 CPUtime=0.07 cores=0-7
/proc/23563/task/23580/stat : 23580 (java) S 23560 23560 15751 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 418875147 27969658880 31414 33554432000 4194304 4196468 140722982044960 140402686355824 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23581] ppid=23560 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23581/stat : 23581 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418875148 27969658880 31414 33554432000 4194304 4196468 140722982044960 140400400526048 140403565287125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23582] ppid=23560 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23563/task/23582/stat : 23582 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875148 27969658880 31414 33554432000 4194304 4196468 140722982044960 140402685303728 140403565288066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127052 KiB

[startup+0.703762 s]
/proc/loadavg: 1.00 1.10 1.83 2/211 23582
/proc/meminfo: memFree=30800588/32770624 swapFree=66947568/67108860
[pid=23560] ppid=23557 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23560/stat : 23560 (scop.sh) S 23557 23560 15751 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418875139 115843072 349 33554432000 4194304 5098028 140726310638960 140726310636216 139749532815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140726310646565 140726310646892 140726310646892 140726310649805 0
/proc/23560/statm: 28282 349 296 221 0 87 0
[pid=23563] ppid=23560 vsize=27322516 memory=163916 CPUtime=1 cores=0-7
/proc/23563/stat : 23563 (java) S 23560 23560 15751 0 -1 1077944320 20637 0 0 0 94 6 0 0 20 0 20 0 418875140 27978256384 40979 33554432000 4194304 4196468 140722982044960 140722982027504 140403565276919 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
/proc/23563/statm: 6830629 40979 3199 1 0 6791959 0
[pid=23563/tid=23564] ppid=23560 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/23563/task/23564/stat : 23564 (java) R 23560 23560 15751 0 -1 4202560 17595 0 0 0 63 5 0 0 20 0 20 0 418875140 27978256384 40979 33554432000 4194304 4196468 140722982044960 140403537103520 140403565298266 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23565] ppid=23560 vsize=27322516 memory=140279000900464 CPUtime=0 cores=0-7
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27978256384 40979 33554432000 4194304 4196468 140722982044960 140403569519376 140403565287125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23566] ppid=23560 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418875142 27978256384 40979 33554432000 4194304 4196468 140722982044960 140403383675792 140403565287125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0
[pid=23563/tid=23567] ppid=23560 vsize=27322516 memory=1200 CPUtime=0 cores=0-7
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418875143 27978256384 40979 33554432000 4194304 4196468 140722982044960 140403382623248 140403565287125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33185792 140722982048491 140722982048918 140722982048918 140722982051791 0

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

[pid=23583] ppid=23560 vsize=8414124 memory=119836 CPUtime=1.14 cores=0-7
/proc/23583/stat : 23583 (java) S 23560 23560 15751 0 -1 1077944320 19452 0 0 0 105 9 0 0 20 0 24 0 418875440 8616062976 29959 33554432000 4194304 4196468 140735531407776 140735531390320 139735954980599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
/proc/23583/statm: 2103531 29959 3198 1 0 2064875 0
[pid=23603] ppid=23583 vsize=796564 memory=465976 CPUtime=158.11 cores=0-7
/proc/23603/stat : 23603 (manyglucose-4.1) S 23583 23560 15751 0 -1 1077944320 190047 0 0 0 15754 57 0 0 20 0 9 0 418875511 815681536 116494 33554432000 4194304 4454172 140723779461104 140723779459504 140422859631234 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
/proc/23603/statm: 199141 116494 407 64 0 194809 0
[pid=23603/tid=23609] ppid=23583 vsize=796564 memory=103462540937962 CPUtime=19.75 cores=0-7
/proc/23603/task/23609/stat : 23609 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 21589 0 0 0 1967 8 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422839356520 4349892 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23610] ppid=23583 vsize=796564 memory=103462540937962 CPUtime=19.75 cores=0-7
/proc/23603/task/23610/stat : 23610 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 22572 0 0 0 1967 8 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422830963816 4351769 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23611] ppid=23583 vsize=796564 memory=103462540937962 CPUtime=19.53 cores=0-7
/proc/23603/task/23611/stat : 23611 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 19383 0 0 0 1951 2 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422806227816 4351769 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23612] ppid=23583 vsize=796564 memory=103462540937706 CPUtime=19.73 cores=0-7
/proc/23603/task/23612/stat : 23612 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 18462 0 0 0 1965 8 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422797835368 4350902 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23613] ppid=23583 vsize=796564 memory=103462540937706 CPUtime=19.76 cores=0-7
/proc/23603/task/23613/stat : 23613 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 20945 0 0 0 1971 5 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422789442664 4351331 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23614] ppid=23583 vsize=796564 memory=103462540937450 CPUtime=19.75 cores=0-7
/proc/23603/task/23614/stat : 23614 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 19553 0 0 0 1971 4 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422680669288 4352005 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23615] ppid=23583 vsize=796564 memory=280558001331824 CPUtime=19.51 cores=0-7
/proc/23603/task/23615/stat : 23615 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 19111 0 0 0 1946 5 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422781049960 4351754 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23616] ppid=23583 vsize=796564 memory=108014395 CPUtime=19.75 cores=0-7
/proc/23603/task/23616/stat : 23616 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 20738 0 0 0 1968 7 0 0 20 0 9 0 418875563 815681536 116494 33554432000 4194304 4454172 140723779461104 140422772657256 4351769 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23583/tid=23584] ppid=23560 vsize=8414124 memory=8317482817917895235 CPUtime=0.74 cores=0-7
/proc/23583/task/23584/stat : 23584 (java) S 23560 23560 15751 0 -1 1077944384 16374 0 0 0 68 6 0 0 20 0 24 0 418875440 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735926820768 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23585] ppid=23560 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23583/task/23585/stat : 23585 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735959222544 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23586] ppid=23560 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/23583/task/23586/stat : 23586 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735759391120 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23587] ppid=23560 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/23583/task/23587/stat : 23587 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735758338576 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23588] ppid=23560 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/23583/task/23588/stat : 23588 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735757286032 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23589] ppid=23560 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23583/task/23589/stat : 23589 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735756233488 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23590] ppid=23560 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/23583/task/23590/stat : 23590 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735435570064 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23591] ppid=23560 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/23583/task/23591/stat : 23591 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735434517520 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23592] ppid=23560 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/23583/task/23592/stat : 23592 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735433464976 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23593] ppid=23560 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23583/task/23593/stat : 23593 (java) S 23560 23560 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418875443 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735316948976 139735954991746 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23594] ppid=23560 vsize=8414124 memory=280558002156896 CPUtime=0 cores=0-7
/proc/23583/task/23594/stat : 23594 (java) S 23560 23560 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418875443 8616062976 29959 33554432000 4194304 4196468 140735531407776 139734412157856 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23595] ppid=23560 vsize=8414124 memory=103548440283882 CPUtime=0 cores=0-7
/proc/23583/task/23595/stat : 23595 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875444 8616062976 29959 33554432000 4194304 4196468 140735531407776 139734143722480 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23596] ppid=23560 vsize=8414124 memory=280558001874752 CPUtime=0 cores=0-7
/proc/23583/task/23596/stat : 23596 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139733769214160 139735954999195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23597] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0.05 cores=0-7
/proc/23583/task/23597/stat : 23597 (java) S 23560 23560 15751 0 -1 1077944384 564 0 0 0 4 1 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735315896816 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23598] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0.07 cores=0-7
/proc/23583/task/23598/stat : 23598 (java) S 23560 23560 15751 0 -1 1077944384 404 0 0 0 7 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735314844272 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23599] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0.05 cores=0-7
/proc/23583/task/23599/stat : 23599 (java) S 23560 23560 15751 0 -1 1077944384 190 0 0 0 5 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735313791728 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23600] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0.18 cores=0-7
/proc/23583/task/23600/stat : 23600 (java) S 23560 23560 15751 0 -1 1077944384 516 0 0 0 18 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735312739184 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23601] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0 cores=0-7
/proc/23583/task/23601/stat : 23601 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139733271308512 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23602] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0 cores=0-7
/proc/23583/task/23602/stat : 23602 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735311686064 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23604] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0 cores=0-7
/proc/23583/task/23604/stat : 23604 (java) S 23560 23560 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418875511 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735303652544 139735955005209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23606] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0 cores=0-7
/proc/23583/task/23606/stat : 23606 (java) S 23560 23560 15751 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418875511 8616062976 29959 33554432000 4194304 4196468 140735531407776 139732600209168 139735955002525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23607] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0 cores=0-7
/proc/23583/task/23607/stat : 23607 (java) S 23560 23560 15751 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418875511 8616062976 29959 33554432000 4194304 4196468 140735531407776 139732868644752 139735955002525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23608] ppid=23560 vsize=8414124 memory=103462540937962 CPUtime=0 cores=0-7
/proc/23583/task/23608/stat : 23608 (java) S 23560 23560 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418875514 8616062976 29959 33554432000 4194304 4196468 140735531407776 139732331781808 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
Current children cumulated CPU time: 165.4 s
Current children cumulated vsize: 9323816 KiB
Current children cumulated memory: 587288 KiB

[startup+24.8015 s]
/proc/loadavg: 2.99 1.54 1.96 9/224 23616
/proc/meminfo: memFree=30361768/32770624 swapFree=66947568/67108860
[pid=23560] ppid=23557 vsize=113128 memory=1476 CPUtime=6.15 cores=0-7
/proc/23560/stat : 23560 (scop.sh) S 23557 23560 15751 0 -1 4202496 582 27559 0 0 0 0 587 28 20 0 1 0 418875139 115843072 369 33554432000 4194304 5098028 140726310638960 140726310635704 139749532815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140726310646565 140726310646892 140726310646892 140726310649805 0
/proc/23560/statm: 28282 369 311 221 0 87 0
[pid=23583] ppid=23560 vsize=8414124 memory=119836 CPUtime=1.14 cores=0-7
/proc/23583/stat : 23583 (java) S 23560 23560 15751 0 -1 1077944320 19452 0 0 0 105 9 0 0 20 0 24 0 418875440 8616062976 29959 33554432000 4194304 4196468 140735531407776 140735531390320 139735954980599 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
/proc/23583/statm: 2103531 29959 3198 1 0 2064875 0
[pid=23603] ppid=23583 vsize=796564 memory=504792 CPUtime=164.42 cores=0-7
/proc/23603/stat : 23603 (manyglucose-4.1) S 23583 23560 15751 0 -1 1077944320 193564 0 0 0 16384 58 0 0 20 0 9 0 418875511 815681536 126198 33554432000 4194304 4454172 140723779461104 140723779459504 140422859631234 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
/proc/23603/statm: 199141 126198 407 64 0 194809 0
[pid=23603/tid=23609] ppid=23583 vsize=796564 memory=7512114578044973668 CPUtime=20.54 cores=0-7
/proc/23603/task/23609/stat : 23609 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 21594 0 0 0 2046 8 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422839356520 4318928 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23610] ppid=23583 vsize=796564 memory=7012223819828848999 CPUtime=20.53 cores=0-7
/proc/23603/task/23610/stat : 23610 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 22600 0 0 0 2045 8 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422830963816 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23611] ppid=23583 vsize=796564 memory=4872558044660077418 CPUtime=20.31 cores=0-7
/proc/23603/task/23611/stat : 23611 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 20449 0 0 0 2029 2 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422806227816 4321746 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23612] ppid=23583 vsize=796564 memory=1056 CPUtime=20.53 cores=0-7
/proc/23603/task/23612/stat : 23612 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 18588 0 0 0 2044 9 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422797835368 4323014 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23613] ppid=23583 vsize=796564 memory=1552 CPUtime=20.55 cores=0-7
/proc/23603/task/23613/stat : 23613 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 21979 0 0 0 2050 5 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422789442664 4351492 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23614] ppid=23583 vsize=796564 memory=1040 CPUtime=20.54 cores=0-7
/proc/23603/task/23614/stat : 23614 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 20804 0 0 0 2050 4 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422680669288 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23615] ppid=23583 vsize=796564 memory=4136 CPUtime=20.29 cores=0-7
/proc/23603/task/23615/stat : 23615 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 19136 0 0 0 2024 5 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422781049960 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23603/tid=23616] ppid=23583 vsize=796564 memory=0 CPUtime=20.54 cores=0-7
/proc/23603/task/23616/stat : 23616 (manyglucose-4.1) R 23583 23560 15751 0 -1 4202560 20740 0 0 0 2047 7 0 0 20 0 9 0 418875563 815681536 126198 33554432000 4194304 4454172 140723779461104 140422772657256 4350400 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 14868480 140723779466089 140723779466288 140723779466288 140723779469242 0
[pid=23583/tid=23584] ppid=23560 vsize=8414124 memory=2832 CPUtime=0.74 cores=0-7
/proc/23583/task/23584/stat : 23584 (java) S 23560 23560 15751 0 -1 1077944384 16374 0 0 0 68 6 0 0 20 0 24 0 418875440 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735926820768 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23585] ppid=23560 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/23583/task/23585/stat : 23585 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735959222544 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23586] ppid=23560 vsize=8414124 memory=1200 CPUtime=0 cores=0-7
/proc/23583/task/23586/stat : 23586 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735759391120 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23587] ppid=23560 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23583/task/23587/stat : 23587 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735758338576 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23588] ppid=23560 vsize=8414124 memory=119836 CPUtime=0 cores=0-7
/proc/23583/task/23588/stat : 23588 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735757286032 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23589] ppid=23560 vsize=8414124 memory=465976 CPUtime=0 cores=0-7
/proc/23583/task/23589/stat : 23589 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735756233488 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23590] ppid=23560 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/23583/task/23590/stat : 23590 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735435570064 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23591] ppid=23560 vsize=8414124 memory=4137282578176515228 CPUtime=0 cores=0-7
/proc/23583/task/23591/stat : 23591 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735434517520 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23592] ppid=23560 vsize=8414124 memory=6944656592385698452 CPUtime=0 cores=0-7
/proc/23583/task/23592/stat : 23592 (java) S 23560 23560 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418875441 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735433464976 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23593] ppid=23560 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23583/task/23593/stat : 23593 (java) S 23560 23560 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418875443 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735316948976 139735954991746 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23594] ppid=23560 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23583/task/23594/stat : 23594 (java) S 23560 23560 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418875443 8616062976 29959 33554432000 4194304 4196468 140735531407776 139734412157856 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23595] ppid=23560 vsize=8414124 memory=2315000633480405917 CPUtime=0 cores=0-7
/proc/23583/task/23595/stat : 23595 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875444 8616062976 29959 33554432000 4194304 4196468 140735531407776 139734143722480 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23596] ppid=23560 vsize=8414124 memory=-8418808203198239614 CPUtime=0 cores=0-7
/proc/23583/task/23596/stat : 23596 (java) S 23560 23560 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139733769214160 139735954999195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23597] ppid=23560 vsize=8414124 memory=-8707038579349427587 CPUtime=0.05 cores=0-7
/proc/23583/task/23597/stat : 23597 (java) S 23560 23560 15751 0 -1 1077944384 564 0 0 0 4 1 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735315896816 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23598] ppid=23560 vsize=8414124 memory=280558003036240 CPUtime=0.07 cores=0-7
/proc/23583/task/23598/stat : 23598 (java) S 23560 23560 15751 0 -1 1077944384 404 0 0 0 7 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735314844272 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23599] ppid=23560 vsize=8414124 memory=-6526411401870300574 CPUtime=0.05 cores=0-7
/proc/23583/task/23599/stat : 23599 (java) S 23560 23560 15751 0 -1 1077944384 190 0 0 0 5 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735313791728 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23600] ppid=23560 vsize=8414124 memory=4136 CPUtime=0.18 cores=0-7
/proc/23583/task/23600/stat : 23600 (java) S 23560 23560 15751 0 -1 1077944384 516 0 0 0 18 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735312739184 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23601] ppid=23560 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/23583/task/23601/stat : 23601 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139733271308512 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23602] ppid=23560 vsize=8414124 memory=2832 CPUtime=0.01 cores=0-7
/proc/23583/task/23602/stat : 23602 (java) S 23560 23560 15751 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 418875446 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735311686064 139735954991746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23604] ppid=23560 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/23583/task/23604/stat : 23604 (java) S 23560 23560 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418875511 8616062976 29959 33554432000 4194304 4196468 140735531407776 139735303652544 139735955005209 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23606] ppid=23560 vsize=8414124 memory=1200 CPUtime=0 cores=0-7
/proc/23583/task/23606/stat : 23606 (java) S 23560 23560 15751 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418875511 8616062976 29959 33554432000 4194304 4196468 140735531407776 139732600209168 139735955002525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23607] ppid=23560 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23583/task/23607/stat : 23607 (java) S 23560 23560 15751 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418875511 8616062976 29959 33554432000 4194304 4196468 140735531407776 139732868644752 139735955002525 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
[pid=23583/tid=23608] ppid=23560 vsize=8414124 memory=280558003407552 CPUtime=0 cores=0-7
/proc/23583/task/23608/stat : 23608 (java) S 23560 23560 15751 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418875514 8616062976 29959 33554432000 4194304 4196468 140735531407776 139732331781808 139735954990805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21315584 140735531414519 140735531414678 140735531414678 140735531417551 0
Current children cumulated CPU time: 171.71 s
Current children cumulated vsize: 9323816 KiB
Current children cumulated memory: 626104 KiB

[startup+25.201 s]
/proc/loadavg: 2.99 1.54 1.96 6/221 23616
/proc/meminfo: memFree=30295800/32770624 swapFree=66947568/67108860
[pid=23560] ppid=23557 vsize=113128 memory=1476 CPUtime=6.15 cores=0-7
/proc/23560/stat : 23560 (scop.sh) S 23557 23560 15751 0 -1 4202496 582 27559 0 0 0 0 587 28 20 0 1 0 418875139 115843072 369 33554432000 4194304 5098028 140726310638960 140726310635704 139749532815996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33689600 140726310646565 140726310646892 140726310646892 140726310649805 0
/proc/23560/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 25.2058
CPU time (s): 173.821
CPU user time (s): 172.808
CPU system time (s): 1.01303
CPU usage (%): 689.608
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1266464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.808
system time used= 1.01303
maximum resident set size= 1273792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15425
involuntary context switches= 1887


# summary of solver processes directly reported to runsolver:
#   pid: 23560
#   total CPU time (s): 173.821
#   total CPU user time (s): 172.808
#   total CPU system time (s): 1.01303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.252644 second user time and 0.380713 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 04:48:10
IDJOB=4392343
IDBENCH=127781
IDSOLVER=2838
FILE ID=node117/4392343-1568429332
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-097.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392343-1568429332/watcher-4392343-1568429332 -o /tmp/evaluation-result-4392343-1568429332/solver-4392343-1568429332 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --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-4392343-1568429332.xml

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

MD5SUM BENCH= 8967691277ed469002b27945208c5243
RANDOM SEED=675198022

node117.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30938868 kB
MemAvailable:   31865456 kB
Buffers:          145272 kB
Cached:          1046844 kB
SwapCached:        51556 kB
Active:           769244 kB
Inactive:         477448 kB
Active(anon):      18980 kB
Inactive(anon):    58976 kB
Active(file):     750264 kB
Inactive(file):   418472 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947568 kB
Dirty:             20344 kB
Writeback:             0 kB
AnonPages:        288624 kB
Mapped:            33520 kB
Shmem:             15488 kB
Slab:             175936 kB
SReclaimable:     147376 kB
SUnreclaim:        28560 kB
KernelStack:        3920 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61164 MiB
End job on node117 at 2019-09-14 04:48:35