Trace number 4405163

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-126.xml
MD5SUMe5b164a238094fc306b5fb8652aa9c45
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 benchmark45.9191
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size398
Maximum domain size398
Distribution of domain sizes[{"size":398,"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-29765-serial-file.bin HOME/instance-4405163-1569337402.xml
0.66/0.55	
0.66/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 16:01:41 CEST 2019
0.66/0.57	c PID: 29768
0.66/0.57	c IP: 172.20.3.105
0.66/0.57	c HOST: node105.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.39/0.92	c (0,0) Parsing End
1.39/0.92	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 398
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) Constraint Name Generate Begin
1.39/0.93	c (0,0) Ctr:HOME/instance-4405163-1569337402.xml,Le:NoOverlap:Num:Var
1.39/0.93	c (0,0) Constraint Name Generate End
1.39/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.93	c (0,0) CSP to CSPinCNF Begin
1.56/1.01	c (0,0) translated 6 (10%) constraints
1.56/1.01	c (0,0) translated 11 (20%) constraints
1.56/1.02	c (0,0) translated 16 (30%) constraints
1.56/1.02	c (0,0) translated 22 (40%) constraints
1.56/1.02	c (0,0) translated 27 (50%) constraints
1.56/1.02	c (0,0) translated 32 (60%) constraints
1.56/1.03	c (0,0) translated 38 (70%) constraints
1.56/1.03	c (0,0) translated 43 (80%) constraints
1.56/1.03	c (0,0) translated 48 (90%) constraints
2.15/1.29	c (0,0) translated 53 (100%) constraints
2.15/1.29	c (0,0) ===========================================
2.15/1.29	c (0,0) Order
2.15/1.29	c (0,0) ===========================================
2.49/1.30	c (0,0) translated 36 (10%) constraints
2.49/1.31	c (0,0) translated 71 (20%) constraints
2.49/1.31	c (0,0) translated 106 (30%) constraints
2.49/1.32	c (0,0) translated 141 (40%) constraints
2.49/1.32	c (0,0) translated 176 (50%) constraints
2.49/1.33	c (0,0) translated 212 (60%) constraints
2.49/1.33	c (0,0) translated 247 (70%) constraints
2.49/1.34	c (0,0) translated 282 (80%) constraints
2.49/1.34	c (0,0) translated 317 (90%) constraints
2.49/1.34	c (0,0) translated 352 (100%) constraints
2.49/1.35	c (0,0) CSP to CSPinCNF End
2.49/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 397
2.49/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.35	c (0,0) CSPinCNF Propagation Begin
2.49/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.38	c (0,0) CSPinCNF Propagation End
2.49/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 397
2.49/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.38	c (0,0) Simplify CSPinCNF Begin
2.87/1.47	c (0,0) Simplify CSPinCNF End
2.87/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
2.87/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.48	c (0,0) Calculate Precise Domain Begin
2.87/1.48	c (0,0) 0 values are removed by re-calculation
2.87/1.48	c (0,0) Calculate Precise Domain End
2.87/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 397
2.87/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.68/1.98	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 56560 SAT clauses)
5.17/2.13	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 95222 SAT clauses)
5.27/2.27	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 130996 SAT clauses)
5.50/2.42	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 168040 SAT clauses)
5.60/2.55	c (1,1) 748 (50 %) CSP clauses are encoded (0 SAT variables, 201752 SAT clauses)
5.71/2.67	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 234820 SAT clauses)
5.82/2.79	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 265004 SAT clauses)
6.04/2.90	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 294327 SAT clauses)
6.04/3.00	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 319405 SAT clauses)
6.15/3.06	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 335960 SAT clauses)
6.15/3.06	c (2,2) CSPinCNF to SatSolver End
6.15/3.06	c (2,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.15/3.06	c (2,2) 17686 bool, 336082 clause
6.15/3.06	c (2,2) Export Begin
6.33/3.14	c (2,2) Export to HOME/scop-29765-serial-file.bin
6.33/3.14	c (2,2) Export End
6.33/3.14	c (2,2) Export File Size: 0.01 MB
6.33/3.14	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.33/3.14	c END-Prog: Tue Sep 24 16:01:44 CEST 2019
6.33/3.16	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29765-serial-file.bin
6.41/3.62	c (0,0) Read Serial File Begin
6.41/3.62	c (0,0) HOME/scop-29765-serial-file.bin
6.41/3.82	c (0,0) Read Serial File End
6.41/3.83	
6.41/3.83	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.41/3.83	(Solving Process)
6.41/3.83	
6.41/3.85	c BEGIN-Prog: Tue Sep 24 16:01:45 CEST 2019
6.41/3.85	c PID: 29788
6.41/3.85	c IP: 172.20.3.105
6.41/3.85	c HOST: node105.alineos.net
6.41/3.86	c (0,0) SatSolver.solve Begin
6.41/3.86	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405163-1569337402.xml-scop-29768.cnf
6.41/3.88	c (0,0) c
6.41/3.88	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.41/3.88	c (0,0) c
6.41/3.88	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.41/3.88	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.41/3.88	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.41/3.88	c (0,0) c |                                                                                                       |
6.41/4.00	c (0,0) c |  Number of variables:         17686                                                                   |
6.41/4.00	c (0,0) c |  Number of clauses:          336082                                                                   |
6.41/4.00	c (0,0) c |  Parse time:                   0.11 s                                                                 |
6.41/4.00	c (0,0) c |                                                                                                       |
7.95/4.39	c (0,0) c |  Simplification time:          0.39 s                                                                 |
7.95/4.39	c (0,0) c |                                                                                                       |
9.02/4.62	c (0,0) c |  Generating clones                                                                                    |
9.02/4.62	c (0,0) c |  all clones generated. Memory =   220.21Mb.                                                           |
9.02/4.62	c (0,0) c ========================================================================================================|
9.02/4.62	c (0,0) c
9.02/4.62	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.02/4.62	c (0,0) c
9.02/4.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.02/4.62	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.02/4.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.02/4.62	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.02/4.62	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.02/4.62	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.02/4.62	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.02/4.62	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.02/4.62	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.02/4.62	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.02/4.62	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.02/4.62	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.02/4.62	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.02/4.62	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.02/4.62	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.02/4.62	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.02/4.62	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.02/4.62	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.02/4.62	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.96/33.78	c (30,0) c
240.96/33.78	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.96/33.78	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.96/33.78	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.96/33.78	c (30,0) c |  0 |    222 |     139480 |      66543 |    58537 |    27865 |    10070 |    67901 |     8522 |      192 |  20 |  0.277 |
240.96/33.78	c (30,0) c |  1 |    203 |     137357 |      66497 |    59828 |    27233 |    10606 |    67521 |     8515 |      195 |  20 |  0.283 |
240.96/33.78	c (30,0) c |  2 |    222 |     144356 |      70421 |    59504 |    16741 |    11139 |    71174 |     8812 |      209 |  20 |  0.283 |
240.96/33.78	c (30,0) c |  3 |    225 |     145927 |      71704 |    59585 |    17801 |    11061 |    71007 |     8729 |      208 |  20 |  0.283 |
240.96/33.78	c (30,0) c |  4 |    220 |     139509 |      68184 |    57186 |    29485 |    10011 |    70254 |     8812 |      201 |  20 |  0.277 |
240.96/33.78	c (30,0) c |  5 |    221 |     144422 |      69394 |    60595 |    15798 |    11147 |    70263 |     8899 |      205 |  20 |  0.277 |
240.96/33.78	c (30,0) c |  6 |    227 |     139251 |      68896 |    56968 |    15267 |    10924 |    70687 |     8890 |      206 |  20 |  0.283 |
240.96/33.78	c (30,0) c |  7 |    216 |     143271 |      69035 |    62734 |    15435 |    10196 |    70821 |     8751 |      206 |  20 |  0.277 |
240.96/33.78	c (30,0) c 
240.96/33.78	c (30,0) c synthesis      550674 conflicts   378347521 propagations     2359 conflicts/sec  1621081 propagations/sec
240.96/33.78	c (30,0) c real: 29.9012 s, cpu: 233.392 s, memory: 795.25 Mb
317.92/44.04	c (40,0) c
317.92/44.04	c (40,0) c real time : 40.1648 s
317.92/44.04	c (40,0) c cpu time  : 309.697 s
317.92/44.04	c (40,0) c
317.92/44.04	c (40,0) c
317.92/44.04	c (40,0) c
317.92/44.04	c (40,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
317.92/44.04	c (40,0) c
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c | Conflicts     |          681927 |      84537 |      84363 |      85977 |      87456 |      83941 |      86242 |      83416 |      85995 |
317.92/44.04	c (40,0) c | Decisions     |         1383414 |     172066 |     172413 |     173609 |     176150 |     170496 |     175243 |     167369 |     176068 |
317.92/44.04	c (40,0) c | Propagations  |       484218231 |   59295660 |   59771539 |   61657932 |   61414498 |   59102712 |   61319509 |   59936673 |   61719708 |
317.92/44.04	c (40,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
317.92/44.04	c (40,0) c | SimpDBs       |              78 |          9 |         10 |         10 |         10 |          9 |         11 |          9 |         10 |
317.92/44.04	c (40,0) c | Restarts      |            2269 |        291 |        252 |        294 |        276 |        281 |        282 |        299 |        294 |
317.92/44.04	c (40,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
317.92/44.04	c (40,0) c | PropBinClauses|       596543254 |   72810635 |   73695466 |   76306642 |   75687792 |   72811865 |   75623979 |   74044406 |   75562469 |
317.92/44.04	c (40,0) c | PropPreBlocker|      6587078732 |  810911682 |  810457781 |  838056768 |  837286974 |  803234420 |  836482457 |  808320469 |  842328181 |
317.92/44.04	c (40,0) c | PropNotBlocker|      2267832672 |  277847716 |  276646734 |  289052469 |  286141353 |  281591771 |  291904320 |  278905282 |  285743027 |
317.92/44.04	c (40,0) c | LitFullScans  |     12778425117 | 1572300797 | 1570286963 | 1626276049 | 1624725135 | 1566118149 | 1626192754 | 1566204705 | 1626320565 |
317.92/44.04	c (40,0) c | LitScanFracts |         1558979 |     286589 |     116583 |     272978 |     128762 |     106708 |     155757 |     184736 |     306866 |
317.92/44.04	c (40,0) c | DecisionLevel0|            2293 |        294 |        258 |        299 |        279 |        282 |        284 |        302 |        295 |
317.92/44.04	c (40,0) c | Periods       |            2128 |        262 |        261 |        271 |        270 |        261 |        271 |        261 |        271 |
317.92/44.04	c (40,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
317.92/44.04	c (40,0) c | Avg_Trail     |                 |       6751 |       6764 |       6701 |       6695 |       6607 |       6686 |       6604 |       6837 |
317.92/44.04	c (40,0) c | Avg_DL        |                 |         20 |         20 |         21 |         21 |         21 |         21 |         21 |         21 |
317.92/44.04	c (40,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
317.92/44.04	c (40,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c | Exported      |          101026 |      12455 |      12899 |      12994 |      12890 |      11890 |      13243 |      12558 |      12097 |
317.92/44.04	c (40,0) c | Imported      |          670053 |      83230 |      82212 |      84324 |      84680 |      83474 |      84383 |      82281 |      85469 |
317.92/44.04	c (40,0) c | Good          |            1554 |        184 |        176 |        202 |        204 |        196 |        194 |        186 |        212 |
317.92/44.04	c (40,0) c | Purge         |          668499 |      83046 |      82036 |      84122 |      84476 |      83278 |      84189 |      82095 |      85257 |
317.92/44.04	c (40,0) c | Promoted      |           87442 |      10923 |      10994 |      10879 |      10856 |      10833 |      11143 |      10901 |      10913 |
317.92/44.04	c (40,0) c | Remove_Imp    |          316729 |      39619 |      39557 |      39356 |      38725 |      40268 |      39261 |      39419 |      40524 |
317.92/44.04	c (40,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c | Unaries       |                 |          3 |          6 |          5 |          3 |          1 |          2 |          3 |          1 |
317.92/44.04	c (40,0) c | Binaries      |                 |         39 |         46 |         27 |         31 |         24 |         38 |         29 |         24 |
317.92/44.04	c (40,0) c | Glues         |                 |        257 |        246 |        226 |        220 |        261 |        263 |        230 |        214 |
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c | Orig_Seen     |            19 % |      63636 |      66768 |      65010 |      65860 |      63336 |      65822 |      61959 |      67718 |
317.92/44.04	c (40,0) c | Diff Orig seen|                 | -     3132 |      X     | -     1758 | -      908 | -     3432 | -      946 | -     4809 |        950 |
317.92/44.04	c (40,0) c | Hamming       |            21 % |       4920 |      X     |       4324 |         77 |       2174 |       5045 |       4475 |       5027 |
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c | RunningTime   |                 |   39.3 100%|   39.3 100%|   38.1  99%|   38.1  99%|   39.5 100%|   38.5 100%|   39.3 100%|   38.5 100%|
317.92/44.04	c (40,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.5   1%|    0.3   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|
317.92/44.04	c (40,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
317.92/44.04	c (40,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%|
317.92/44.04	c (40,0) c | SolvingTime   |                 |   39.3     |   39.3     |   38.6     |   38.5     |   39.5     |   38.6     |   39.4     |   38.6     |
317.92/44.04	c (40,0) c | PropagationTim|                 |   32.9  84%|   32.4  83%|   32.2  83%|   32.0  83%|   32.9  83%|   32.0  83%|   32.2  82%|   31.6  82%|
317.92/44.04	c (40,0) c | AnalysisTime  |                 |    5.1  13%|    5.6  14%|    5.1  13%|    5.2  13%|    5.3  13%|    5.2  14%|    5.8  15%|    5.6  15%|
317.92/44.04	c (40,0) c | ReductionTime |                 |    0.2   0%|    0.2   0%|    0.2   1%|    0.1   0%|    0.2   1%|    0.2   1%|    0.1   0%|    0.2   1%|
317.92/44.04	c (40,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
317.92/44.04	c (40,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%|
317.92/44.04	c (40,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%|
317.92/44.04	c (40,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.04	c (40,0) c
317.92/44.04	c (40,0) c
317.92/44.05	c (40,0) c Threads : 8
317.92/44.05	c (40,0) c Winner : 1
317.92/44.05	c (40,0) c Conflicts_0 : 84537
317.92/44.05	c (40,0) c Conflicts_1 : 84363
317.92/44.05	c (40,0) c Conflicts_2 : 85977
317.92/44.05	c (40,0) c Conflicts_3 : 87456
317.92/44.05	c (40,0) c Conflicts_4 : 83941
317.92/44.05	c (40,0) c Conflicts_5 : 86242
317.92/44.05	c (40,0) c Conflicts_6 : 83416
317.92/44.05	c (40,0) c Conflicts_7 : 85995
317.92/44.05	c (40,0) c Conflicts_total : 681927
317.92/44.05	c (40,0) c Conflicts_winner : 84363
317.92/44.05	c (40,0) c Decisions_0 : 172066
317.92/44.05	c (40,0) c Decisions_1 : 172413
317.92/44.05	c (40,0) c Decisions_2 : 173609
317.92/44.05	c (40,0) c Decisions_3 : 176150
317.92/44.05	c (40,0) c Decisions_4 : 170496
317.92/44.05	c (40,0) c Decisions_5 : 175243
317.92/44.05	c (40,0) c Decisions_6 : 167369
317.92/44.05	c (40,0) c Decisions_7 : 176068
317.92/44.05	c (40,0) c Decisions_total : 1383414
317.92/44.05	c (40,0) c Decisions_winner : 172413
317.92/44.05	c (40,0) c Propagations_0 : 59295660
317.92/44.05	c (40,0) c Propagations_1 : 59771539
317.92/44.05	c (40,0) c Propagations_2 : 61657932
317.92/44.05	c (40,0) c Propagations_3 : 61414498
317.92/44.05	c (40,0) c Propagations_4 : 59102712
317.92/44.05	c (40,0) c Propagations_5 : 61319509
317.92/44.05	c (40,0) c Propagations_6 : 59936673
317.92/44.05	c (40,0) c Propagations_7 : 61719708
317.92/44.05	c (40,0) c Propagations_total : 484218231
317.92/44.05	c (40,0) c Propagations_winner : 59771539
317.92/44.05	c (40,0) c ReduceDBs_0 : 7
317.92/44.05	c (40,0) c ReduceDBs_1 : 7
317.92/44.05	c (40,0) c ReduceDBs_2 : 7
317.92/44.05	c (40,0) c ReduceDBs_3 : 7
317.92/44.05	c (40,0) c ReduceDBs_4 : 7
317.92/44.05	c (40,0) c ReduceDBs_5 : 7
317.92/44.05	c (40,0) c ReduceDBs_6 : 7
317.92/44.05	c (40,0) c ReduceDBs_7 : 7
317.92/44.05	c (40,0) c ReduceDBs_total : 56
317.92/44.05	c (40,0) c ReduceDBs_winner : 7
317.92/44.05	c (40,0) c SimpDBs_0 : 9
317.92/44.05	c (40,0) c SimpDBs_1 : 10
317.92/44.05	c (40,0) c SimpDBs_2 : 10
317.92/44.05	c (40,0) c SimpDBs_3 : 10
317.92/44.05	c (40,0) c SimpDBs_4 : 9
317.92/44.05	c (40,0) c SimpDBs_5 : 11
317.92/44.05	c (40,0) c SimpDBs_6 : 9
317.92/44.05	c (40,0) c SimpDBs_7 : 10
317.92/44.05	c (40,0) c SimpDBs_total : 78
317.92/44.05	c (40,0) c SimpDBs_winner : 10
317.92/44.05	c (40,0) c Restarts_0 : 291
317.92/44.05	c (40,0) c Restarts_1 : 252
317.92/44.05	c (40,0) c Restarts_2 : 294
317.92/44.05	c (40,0) c Restarts_3 : 276
317.92/44.05	c (40,0) c Restarts_4 : 281
317.92/44.05	c (40,0) c Restarts_5 : 282
317.92/44.05	c (40,0) c Restarts_6 : 299
317.92/44.05	c (40,0) c Restarts_7 : 294
317.92/44.05	c (40,0) c Restarts_total : 2269
317.92/44.05	c (40,0) c Restarts_winner : 252
317.92/44.05	c (40,0) c ForcedImports_0 : 0
317.92/44.05	c (40,0) c ForcedImports_1 : 0
317.92/44.05	c (40,0) c ForcedImports_2 : 0
317.92/44.05	c (40,0) c ForcedImports_3 : 0
317.92/44.05	c (40,0) c ForcedImports_4 : 0
317.92/44.05	c (40,0) c ForcedImports_5 : 0
317.92/44.05	c (40,0) c ForcedImports_6 : 0
317.92/44.05	c (40,0) c ForcedImports_7 : 0
317.92/44.05	c (40,0) c ForcedImports_total : 0
317.92/44.05	c (40,0) c ForcedImports_winner : 0
317.92/44.05	c (40,0) c PropsBinClauses_0 : 72810635
317.92/44.05	c (40,0) c PropsBinClauses_1 : 73695466
317.92/44.05	c (40,0) c PropsBinClauses_2 : 76306642
317.92/44.05	c (40,0) c PropsBinClauses_3 : 75687792
317.92/44.05	c (40,0) c PropsBinClauses_4 : 72811865
317.92/44.05	c (40,0) c PropsBinClauses_5 : 75623979
317.92/44.05	c (40,0) c PropsBinClauses_6 : 74044406
317.92/44.05	c (40,0) c PropsBinClauses_7 : 75562469
317.92/44.05	c (40,0) c PropsBinClauses_total : 596543254
317.92/44.05	c (40,0) c PropsBinClauses_winner : 73695466
317.92/44.05	c (40,0) c PropsPreBlocker_0 : 810911682
317.92/44.05	c (40,0) c PropsPreBlocker_1 : 810457781
317.92/44.05	c (40,0) c PropsPreBlocker_2 : 838056768
317.92/44.05	c (40,0) c PropsPreBlocker_3 : 837286974
317.92/44.05	c (40,0) c PropsPreBlocker_4 : 803234420
317.92/44.05	c (40,0) c PropsPreBlocker_5 : 836482457
317.92/44.05	c (40,0) c PropsPreBlocker_6 : 808320469
317.92/44.05	c (40,0) c PropsPreBlocker_7 : 842328181
317.92/44.05	c (40,0) c PropsPreBlocker_total : 6587078732
317.92/44.05	c (40,0) c PropsPreBlocker_winner : 810457781
317.92/44.05	c (40,0) c PropsNotBlocker_0 : 277847716
317.92/44.05	c (40,0) c PropsNotBlocker_1 : 276646734
317.92/44.05	c (40,0) c PropsNotBlocker_2 : 289052469
317.92/44.05	c (40,0) c PropsNotBlocker_3 : 286141353
317.92/44.05	c (40,0) c PropsNotBlocker_4 : 281591771
317.92/44.05	c (40,0) c PropsNotBlocker_5 : 291904320
317.92/44.05	c (40,0) c PropsNotBlocker_6 : 278905282
317.92/44.05	c (40,0) c PropsNotBlocker_7 : 285743027
317.92/44.05	c (40,0) c PropsNotBlocker_total : 2267832672
317.92/44.05	c (40,0) c PropsNotBlocker_winner : 276646734
317.92/44.05	c (40,0) c PropsLitFullScans_0 : 1572300797
317.92/44.05	c (40,0) c PropsLitFullScans_1 : 1570286963
317.92/44.05	c (40,0) c PropsLitFullScans_2 : 1626276049
317.92/44.05	c (40,0) c PropsLitFullScans_3 : 1624725135
317.92/44.05	c (40,0) c PropsLitFullScans_4 : 1566118149
317.92/44.05	c (40,0) c PropsLitFullScans_5 : 1626192754
317.92/44.05	c (40,0) c PropsLitFullScans_6 : 1566204705
317.92/44.05	c (40,0) c PropsLitFullScans_7 : 1626320565
317.92/44.05	c (40,0) c PropsLitFullScans_total : 12778425117
317.92/44.05	c (40,0) c PropsLitFullScans_winner : 1570286963
317.92/44.05	c (40,0) c LitScanFractions_0 : 286589
317.92/44.05	c (40,0) c LitScanFractions_1 : 116583
317.92/44.05	c (40,0) c LitScanFractions_2 : 272978
317.92/44.05	c (40,0) c LitScanFractions_3 : 128762
317.92/44.05	c (40,0) c LitScanFractions_4 : 106708
317.92/44.05	c (40,0) c LitScanFractions_5 : 155757
317.92/44.05	c (40,0) c LitScanFractions_6 : 184736
317.92/44.05	c (40,0) c LitScanFractions_7 : 306866
317.92/44.05	c (40,0) c LitScanFractions_total : 1558979
317.92/44.05	c (40,0) c LitScanFractions_winner : 116583
317.92/44.05	c (40,0) c DecisionLevel0_0 : 294
317.92/44.05	c (40,0) c DecisionLevel0_1 : 258
317.92/44.05	c (40,0) c DecisionLevel0_2 : 299
317.92/44.05	c (40,0) c DecisionLevel0_3 : 279
317.92/44.05	c (40,0) c DecisionLevel0_4 : 282
317.92/44.05	c (40,0) c DecisionLevel0_5 : 284
317.92/44.05	c (40,0) c DecisionLevel0_6 : 302
317.92/44.05	c (40,0) c DecisionLevel0_7 : 295
317.92/44.05	c (40,0) c DecisionLevel0_total : 2293
317.92/44.05	c (40,0) c DecisionLevel0_winner : 258
317.92/44.05	c (40,0) c Periods_0 : 262
317.92/44.05	c (40,0) c Periods_1 : 261
317.92/44.05	c (40,0) c Periods_2 : 271
317.92/44.05	c (40,0) c Periods_3 : 270
317.92/44.05	c (40,0) c Periods_4 : 261
317.92/44.05	c (40,0) c Periods_5 : 271
317.92/44.05	c (40,0) c Periods_6 : 261
317.92/44.05	c (40,0) c Periods_7 : 271
317.92/44.05	c (40,0) c Periods_total : 2128
317.92/44.05	c (40,0) c Periods_winner : 261
317.92/44.05	c (40,0) c Margin_0 : 20
317.92/44.05	c (40,0) c Margin_1 : 20
317.92/44.05	c (40,0) c Margin_2 : 20
317.92/44.05	c (40,0) c Margin_3 : 20
317.92/44.05	c (40,0) c Margin_4 : 20
317.92/44.05	c (40,0) c Margin_5 : 20
317.92/44.05	c (40,0) c Margin_6 : 20
317.92/44.05	c (40,0) c Margin_7 : 20
317.92/44.05	c (40,0) c Margin_total : 160
317.92/44.05	c (40,0) c Margin_winner : 20
317.92/44.05	c (40,0) c Exported_0 : 12455
317.92/44.05	c (40,0) c Exported_1 : 12899
317.92/44.05	c (40,0) c Exported_2 : 12994
317.92/44.05	c (40,0) c Exported_3 : 12890
317.92/44.05	c (40,0) c Exported_4 : 11890
317.92/44.05	c (40,0) c Exported_5 : 13243
317.92/44.05	c (40,0) c Exported_6 : 12558
317.92/44.05	c (40,0) c Exported_7 : 12097
317.92/44.05	c (40,0) c Exported_total : 101026
317.92/44.05	c (40,0) c Exported_winner : 12899
317.92/44.05	c (40,0) c Imported_0 : 83230
317.92/44.05	c (40,0) c Imported_1 : 82212
317.92/44.05	c (40,0) c Imported_2 : 84324
317.92/44.05	c (40,0) c Imported_3 : 84680
317.92/44.05	c (40,0) c Imported_4 : 83474
317.92/44.05	c (40,0) c Imported_5 : 84383
317.92/44.05	c (40,0) c Imported_6 : 82281
317.92/44.05	c (40,0) c Imported_7 : 85469
317.92/44.05	c (40,0) c Imported_total : 670053
317.92/44.05	c (40,0) c Imported_winner : 82212
317.92/44.05	c (40,0) c Good_0 : 184
317.92/44.05	c (40,0) c Good_1 : 176
317.92/44.05	c (40,0) c Good_2 : 202
317.92/44.05	c (40,0) c Good_3 : 204
317.92/44.05	c (40,0) c Good_4 : 196
317.92/44.05	c (40,0) c Good_5 : 194
317.92/44.05	c (40,0) c Good_6 : 186
317.92/44.05	c (40,0) c Good_7 : 212
317.92/44.05	c (40,0) c Good_total : 1554
317.92/44.05	c (40,0) c Good_winner : 176
317.92/44.05	c (40,0) c Purge_0 : 83046
317.92/44.05	c (40,0) c Purge_1 : 82036
317.92/44.05	c (40,0) c Purge_2 : 84122
317.92/44.05	c (40,0) c Purge_3 : 84476
317.92/44.05	c (40,0) c Purge_4 : 83278
317.92/44.05	c (40,0) c Purge_5 : 84189
317.92/44.05	c (40,0) c Purge_6 : 82095
317.92/44.05	c (40,0) c Purge_7 : 85257
317.92/44.05	c (40,0) c Purge_total : 668499
317.92/44.05	c (40,0) c Purge_winner : 82036
317.92/44.05	c (40,0) c Promoted_0 : 10923
317.92/44.05	c (40,0) c Promoted_1 : 10994
317.92/44.05	c (40,0) c Promoted_2 : 10879
317.92/44.05	c (40,0) c Promoted_3 : 10856
317.92/44.05	c (40,0) c Promoted_4 : 10833
317.92/44.05	c (40,0) c Promoted_5 : 11143
317.92/44.05	c (40,0) c Promoted_6 : 10901
317.92/44.05	c (40,0) c Promoted_7 : 10913
317.92/44.05	c (40,0) c Promoted_total : 87442
317.92/44.05	c (40,0) c Promoted_winner : 10994
317.92/44.05	c (40,0) c Remove_Imp_0 : 39619
317.92/44.05	c (40,0) c Remove_Imp_1 : 39557
317.92/44.05	c (40,0) c Remove_Imp_2 : 39356
317.92/44.05	c (40,0) c Remove_Imp_3 : 38725
317.92/44.05	c (40,0) c Remove_Imp_4 : 40268
317.92/44.05	c (40,0) c Remove_Imp_5 : 39261
317.92/44.05	c (40,0) c Remove_Imp_6 : 39419
317.92/44.05	c (40,0) c Remove_Imp_7 : 40524
317.92/44.05	c (40,0) c Remove_Imp_total : 316729
317.92/44.05	c (40,0) c Remove_Imp_winner : 39557
317.92/44.05	c (40,0) c Blocked_Reuse_0 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_1 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_2 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_3 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_4 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_5 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_6 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_7 : 0
317.92/44.05	c (40,0) c Blocked_Reuse_total : 0
317.92/44.05	c (40,0) c Blocked_Reuse_winner : 0
317.92/44.05	c (40,0) c Unaries_0 : 3
317.92/44.05	c (40,0) c Unaries_1 : 6
317.92/44.05	c (40,0) c Unaries_2 : 5
317.92/44.05	c (40,0) c Unaries_3 : 3
317.92/44.05	c (40,0) c Unaries_4 : 1
317.92/44.05	c (40,0) c Unaries_5 : 2
317.92/44.05	c (40,0) c Unaries_6 : 3
317.92/44.05	c (40,0) c Unaries_7 : 1
317.92/44.05	c (40,0) c Unaries_total : 24
317.92/44.05	c (40,0) c Unaries_winner : 6
317.92/44.05	c (40,0) c Binaries_0 : 39
317.92/44.05	c (40,0) c Binaries_1 : 46
317.92/44.05	c (40,0) c Binaries_2 : 27
317.92/44.05	c (40,0) c Binaries_3 : 31
317.92/44.05	c (40,0) c Binaries_4 : 24
317.92/44.05	c (40,0) c Binaries_5 : 38
317.92/44.05	c (40,0) c Binaries_6 : 29
317.92/44.05	c (40,0) c Binaries_7 : 24
317.92/44.05	c (40,0) c Binaries_total : 258
317.92/44.05	c (40,0) c Binaries_winner : 46
317.92/44.05	c (40,0) c Glues_0 : 257
317.92/44.05	c (40,0) c Glues_1 : 246
317.92/44.05	c (40,0) c Glues_2 : 226
317.92/44.05	c (40,0) c Glues_3 : 220
317.92/44.05	c (40,0) c Glues_4 : 261
317.92/44.05	c (40,0) c Glues_5 : 263
317.92/44.05	c (40,0) c Glues_6 : 230
317.92/44.05	c (40,0) c Glues_7 : 214
317.92/44.05	c (40,0) c Glues_total : 1917
317.92/44.05	c (40,0) c Glues_winner : 246
317.92/44.05	c (40,0) c RunningTime_0 : 39.285355
317.92/44.05	c (40,0) c RunningTime_1 : 39.252977
317.92/44.05	c (40,0) c RunningTime_2 : 38.079419
317.92/44.05	c (40,0) c RunningTime_3 : 38.081741
317.92/44.05	c (40,0) c RunningTime_4 : 39.485745
317.92/44.05	c (40,0) c RunningTime_5 : 38.506999
317.92/44.05	c (40,0) c RunningTime_6 : 39.315521
317.92/44.05	c (40,0) c RunningTime_7 : 38.453079
317.92/44.05	c (40,0) c RunningTime_total : 310.460837
317.92/44.05	c (40,0) c RunningTime_winner : 39.252977
317.92/44.05	c (40,0) c WaitingTime_0 : 0.000312
317.92/44.05	c (40,0) c WaitingTime_1 : 0.000371
317.92/44.05	c (40,0) c WaitingTime_2 : 0.467710
317.92/44.05	c (40,0) c WaitingTime_3 : 0.338139
317.92/44.05	c (40,0) c WaitingTime_4 : 0.000384
317.92/44.05	c (40,0) c WaitingTime_5 : 0.047636
317.92/44.05	c (40,0) c WaitingTime_6 : 0.000391
317.92/44.05	c (40,0) c WaitingTime_7 : 0.100444
317.92/44.05	c (40,0) c WaitingTime_total : 0.955387
317.92/44.05	c (40,0) c WaitingTime_winner : 0.000371
317.92/44.05	c (40,0) c ExchangingTime_0 : 0.047814
317.92/44.05	c (40,0) c ExchangingTime_1 : 0.038842
317.92/44.05	c (40,0) c ExchangingTime_2 : 0.049527
317.92/44.05	c (40,0) c ExchangingTime_3 : 0.047020
317.92/44.05	c (40,0) c ExchangingTime_4 : 0.055498
317.92/44.05	c (40,0) c ExchangingTime_5 : 0.043089
317.92/44.06	c (40,0) c ExchangingTime_6 : 0.037718
317.92/44.06	c (40,0) c ExchangingTime_7 : 0.043303
317.92/44.06	c (40,0) c ExchangingTime_total : 0.362811
317.92/44.06	c (40,0) c ExchangingTime_winner : 0.038842
317.92/44.06	c (40,0) c PeriodProcTime_0 : 0.002131
317.92/44.06	c (40,0) c PeriodProcTime_1 : 0.002575
317.92/44.06	c (40,0) c PeriodProcTime_2 : 0.002640
317.92/44.06	c (40,0) c PeriodProcTime_3 : 0.002613
317.92/44.06	c (40,0) c PeriodProcTime_4 : 0.002999
317.92/44.06	c (40,0) c PeriodProcTime_5 : 0.002215
317.92/44.06	c (40,0) c PeriodProcTime_6 : 0.002334
317.92/44.06	c (40,0) c PeriodProcTime_7 : 0.002524
317.92/44.06	c (40,0) c PeriodProcTime_total : 0.020029
317.92/44.06	c (40,0) c PeriodProcTime_winner : 0.002575
317.92/44.06	c (40,0) c SolvingTime_0 : 39.335612
317.92/44.06	c (40,0) c SolvingTime_1 : 39.294765
317.92/44.06	c (40,0) c SolvingTime_2 : 38.599295
317.92/44.06	c (40,0) c SolvingTime_3 : 38.469513
317.92/44.06	c (40,0) c SolvingTime_4 : 39.544626
317.92/44.06	c (40,0) c SolvingTime_5 : 38.599938
317.92/44.06	c (40,0) c SolvingTime_6 : 39.355964
317.92/44.06	c (40,0) c SolvingTime_7 : 38.599350
317.92/44.06	c (40,0) c SolvingTime_total : 311.799064
317.92/44.06	c (40,0) c SolvingTime_winner : 39.294765
317.92/44.06	c (40,0) c PropagationTime_0 : 32.894425
317.92/44.06	c (40,0) c PropagationTime_1 : 32.429135
317.92/44.06	c (40,0) c PropagationTime_2 : 32.153128
317.92/44.06	c (40,0) c PropagationTime_3 : 31.969003
317.92/44.06	c (40,0) c PropagationTime_4 : 32.879441
317.92/44.06	c (40,0) c PropagationTime_5 : 32.014371
317.92/44.06	c (40,0) c PropagationTime_6 : 32.183677
317.92/44.06	c (40,0) c PropagationTime_7 : 31.607605
317.92/44.06	c (40,0) c PropagationTime_total : 258.130784
317.92/44.06	c (40,0) c PropagationTime_winner : 32.429135
317.92/44.06	c (40,0) c AnalysisTime_0 : 5.094558
317.92/44.06	c (40,0) c AnalysisTime_1 : 5.554076
317.92/44.06	c (40,0) c AnalysisTime_2 : 5.101859
317.92/44.06	c (40,0) c AnalysisTime_3 : 5.177227
317.92/44.06	c (40,0) c AnalysisTime_4 : 5.267815
317.92/44.06	c (40,0) c AnalysisTime_5 : 5.218688
317.92/44.06	c (40,0) c AnalysisTime_6 : 5.839826
317.92/44.06	c (40,0) c AnalysisTime_7 : 5.614346
317.92/44.06	c (40,0) c AnalysisTime_total : 42.868394
317.92/44.06	c (40,0) c AnalysisTime_winner : 5.554076
317.92/44.06	c (40,0) c ReductionTime_0 : 0.192550
317.92/44.06	c (40,0) c ReductionTime_1 : 0.150275
317.92/44.06	c (40,0) c ReductionTime_2 : 0.194679
317.92/44.06	c (40,0) c ReductionTime_3 : 0.147356
317.92/44.06	c (40,0) c ReductionTime_4 : 0.203185
317.92/44.06	c (40,0) c ReductionTime_5 : 0.195284
317.92/44.06	c (40,0) c ReductionTime_6 : 0.145631
317.92/44.06	c (40,0) c ReductionTime_7 : 0.197594
317.92/44.06	c (40,0) c ReductionTime_total : 1.426554
317.92/44.06	c (40,0) c ReductionTime_winner : 0.150275
317.92/44.06	c (40,0) c SimplifyTime_0 : 0.101173
317.92/44.06	c (40,0) c SimplifyTime_1 : 0.115367
317.92/44.06	c (40,0) c SimplifyTime_2 : 0.119456
317.92/44.06	c (40,0) c SimplifyTime_3 : 0.125494
317.92/44.06	c (40,0) c SimplifyTime_4 : 0.114438
317.92/44.06	c (40,0) c SimplifyTime_5 : 0.137754
317.92/44.06	c (40,0) c SimplifyTime_6 : 0.119697
317.92/44.06	c (40,0) c SimplifyTime_7 : 0.120240
317.92/44.06	c (40,0) c SimplifyTime_total : 0.953619
317.92/44.06	c (40,0) c SimplifyTime_winner : 0.115367
317.92/44.06	c (40,0) c UsedRateTime_0 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_1 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_2 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_3 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_4 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_5 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_6 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_7 : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_total : 0.000000
317.92/44.06	c (40,0) c UsedRateTime_winner : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_0 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_1 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_2 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_3 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_4 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_5 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_6 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_7 : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_total : 0.000000
317.92/44.06	c (40,0) c OverlapRateTime_winner : 0.000000
317.92/44.06	c (40,0) c
317.92/44.06	c (40,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
317.92/44.06	c (40,0) c
317.92/44.06	c (40,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.06	c (40,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
317.92/44.06	c (40,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.06	c (40,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
317.92/44.06	c (40,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
317.92/44.06	c (40,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
317.92/44.06	c (40,0) c | Initial random_seed   |  727900064 |  715270011 | 1720913414 | 1734361336 | 1257599493 |  763829153 | 1255184378 | 1972994652 |
317.92/44.06	c (40,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
317.92/44.06	c (40,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
317.92/44.06	c (40,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
317.92/44.06	c (40,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
317.92/44.06	c (40,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
317.92/44.06	c (40,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
317.92/44.06	c (40,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
317.92/44.06	c (40,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
317.92/44.06	c (40,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
317.92/44.06	c (40,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
317.92/44.06	c (40,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
317.92/44.06	c (40,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
317.92/44.06	c (40,0) 
317.92/44.06	c (40,0) s SATISFIABLE
317.92/44.10	c (40,0) SatSolver.solve End
317.92/44.10	c (40,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
317.92/44.10	c (40,0) Show results Begin
318.36/44.20	c (40,0) x[0] = 152
318.36/44.20	c (40,0) x[1] = 249
318.36/44.20	c (40,0) x[2] = 145
318.36/44.20	c (40,0) x[3] = 238
318.36/44.20	c (40,0) x[4] = 249
318.36/44.20	c (40,0) x[5] = 238
318.36/44.20	c (40,0) x[6] = 255
318.36/44.20	c (40,0) x[7] = 210
318.36/44.20	c (40,0) x[8] = 249
318.36/44.20	c (40,0) x[9] = 210
318.36/44.20	c (40,0) x[10] = 210
318.36/44.20	c (40,0) x[11] = 99
318.36/44.20	c (40,0) x[12] = 99
318.36/44.20	c (40,0) x[13] = 154
318.36/44.20	c (40,0) x[14] = 152
318.36/44.20	c (40,0) x[15] = 145
318.36/44.20	c (40,0) x[16] = 210
318.36/44.20	c (40,0) x[17] = 0
318.36/44.20	c (40,0) x[18] = 154
318.36/44.20	c (40,0) x[19] = 145
318.36/44.20	c (40,0) x[20] = 278
318.36/44.20	c (40,0) x[21] = 264
318.36/44.20	c (40,0) x[22] = 254
318.36/44.20	c (40,0) x[23] = 0
318.36/44.20	c (40,0) x[24] = 0
318.36/44.20	c (40,0) y[0] = 154
318.36/44.20	c (40,0) y[1] = 229
318.36/44.20	c (40,0) y[2] = 207
318.36/44.20	c (40,0) y[3] = 229
318.36/44.20	c (40,0) y[4] = 264
318.36/44.20	c (40,0) y[5] = 212
318.36/44.20	c (40,0) y[6] = 212
318.36/44.20	c (40,0) y[7] = 212
318.36/44.20	c (40,0) y[8] = 235
318.36/44.20	c (40,0) y[9] = 240
318.36/44.20	c (40,0) y[10] = 100
318.36/44.20	c (40,0) y[11] = 207
318.36/44.20	c (40,0) y[12] = 154
318.36/44.20	c (40,0) y[13] = 100
318.36/44.20	c (40,0) y[14] = 156
318.36/44.20	c (40,0) y[15] = 214
318.36/44.20	c (40,0) y[16] = 144
318.36/44.20	c (40,0) y[17] = 154
318.36/44.20	c (40,0) y[18] = 0
318.36/44.20	c (40,0) y[19] = 279
318.36/44.20	c (40,0) y[20] = 144
318.36/44.20	c (40,0) y[21] = 264
318.36/44.20	c (40,0) y[22] = 0
318.36/44.20	c (40,0) y[23] = 253
318.36/44.20	c (40,0) y[24] = 0
318.36/44.20	s SATISFIABLE
318.36/44.21	v <instantiation>
318.36/44.21	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>
318.36/44.21	v     <values>152 249 145 238 249 238 255 210 249 210 210 99 99 154 152 145 210 0 154 145 278 264 254 0 0 154 229 207 229 264 212 212 212 235 240 100 207 154 100 156 214 144 154 0 279 144 264 0 253 0</values>
318.36/44.21	v </instantiation>
318.36/44.21	c (40,0) Show results End
318.36/44.21	c (40,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
318.36/44.21	c (40,0) 40,40,STOP-AFTER(ALL)
318.36/44.21	c END-Prog: Tue Sep 24 16:02:25 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 (13555 MiB free)
  memory of node 1: 16384 MiB (12071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405163-1569337402/watcher-4405163-1569337402 -o /var/tmp/evaluation-result-4405163-1569337402/solver-4405163-1569337402 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405163-1569337402.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=29765, runsolver pid=29762
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 1.02 1.22 1.62 2/211 29787
/proc/meminfo: memFree=26146992/32770624 swapFree=66956836/67108860
[pid=29765] ppid=29762 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29765/stat : 29765 (scop.sh) S 29762 29765 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509997936 115843072 349 33554432000 4194304 5098028 140729805807504 140729805804760 140115020784252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16674816 140729805816573 140729805816920 140729805816920 140729805819849 0
/proc/29765/statm: 28282 349 296 221 0 87 0
[pid=29768] ppid=29765 vsize=27314120 memory=107644 CPUtime=0.1 cores=0-7
/proc/29768/stat : 29768 (java) S 29765 29765 29338 0 -1 1077944320 6461 0 0 0 8 2 0 0 20 0 20 0 509997937 27969658880 26911 33554432000 4194304 4196468 140732304395376 140732304377920 140289937121015 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
/proc/29768/statm: 6828530 26911 2800 1 0 6790935 0
[pid=29768/tid=29769] ppid=29765 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/29768/task/29769/stat : 29769 (java) R 29765 29765 29338 0 -1 4202560 4566 0 0 0 7 2 0 0 20 0 20 0 509997937 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289908944960 140289921201428 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29770] ppid=29765 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29768/task/29770/stat : 29770 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997939 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289941363856 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29771] ppid=29765 vsize=27314120 memory=139929042794112 CPUtime=0 cores=0-7
/proc/29768/task/29771/stat : 29771 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997939 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289755520016 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29772] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29772/stat : 29772 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289754467216 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29773] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29773/stat : 29773 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289753414416 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29774] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29774/stat : 29774 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289752361616 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29775] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29775/stat : 29775 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289751308816 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29776] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29776/stat : 29776 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289750256016 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29777] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29777/stat : 29777 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 26911 33554432000 4194304 4196468 140732304395376 140289749203216 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29778] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29778/stat : 29778 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997941 27969658880 26911 33554432000 4194304 4196468 140732304395376 140288122133360 140289937132162 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29779] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29779/stat : 29779 (java) S 29765 29765 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509997942 27969658880 26911 33554432000 4194304 4196468 140732304395376 140287858959904 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29780] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29780/stat : 29780 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997942 27969658880 26911 33554432000 4194304 4196468 140732304395376 140287590524272 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29781] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29781/stat : 29781 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 26911 33554432000 4194304 4196468 140732304395376 140287216015696 140289937139611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29782] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29782/stat : 29782 (java) S 29765 29765 29338 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 26911 33554432000 4194304 4196468 140732304395376 140288121080176 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29783] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29783/stat : 29783 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 26911 33554432000 4194304 4196468 140732304395376 140288120027376 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29784] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29784/stat : 29784 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 26911 33554432000 4194304 4196468 140732304395376 140288118974576 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29785] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29785/stat : 29785 (java) S 29765 29765 29338 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 26911 33554432000 4194304 4196468 140732304395376 140288117921776 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29786] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29786/stat : 29786 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997945 27969658880 26911 33554432000 4194304 4196468 140732304395376 140286718110816 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29787] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29787/stat : 29787 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997945 27969658880 26911 33554432000 4194304 4196468 140732304395376 140288116870192 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB

[startup+0.214486 s]*
/proc/loadavg: 1.02 1.22 1.62 3/211 29787
/proc/meminfo: memFree=26128240/32770624 swapFree=66956836/67108860
[pid=29765] ppid=29762 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29765/stat : 29765 (scop.sh) S 29762 29765 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509997936 115843072 349 33554432000 4194304 5098028 140729805807504 140729805804760 140115020784252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16674816 140729805816573 140729805816920 140729805816920 140729805819849 0
/proc/29765/statm: 28282 349 296 221 0 87 0
[pid=29768] ppid=29765 vsize=27314120 memory=124472 CPUtime=0.25 cores=0-7
/proc/29768/stat : 29768 (java) S 29765 29765 29338 0 -1 1077944320 11479 0 0 0 21 4 0 0 20 0 20 0 509997937 27969658880 31118 33554432000 4194304 4196468 140732304395376 140732304377920 140289937121015 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
/proc/29768/statm: 6828530 31118 2924 1 0 6790935 0
[pid=29768/tid=29769] ppid=29765 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29768/task/29769/stat : 29769 (java) R 29765 29765 29338 0 -1 4202560 9183 0 0 0 17 3 0 0 20 0 20 0 509997937 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289908904576 140289918684590 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29770] ppid=29765 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/29768/task/29770/stat : 29770 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997939 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289941363856 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29771] ppid=29765 vsize=27314120 memory=139929042822756 CPUtime=0 cores=0-7
/proc/29768/task/29771/stat : 29771 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997939 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289755520016 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29772] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29772/stat : 29772 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289754467216 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29773] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29773/stat : 29773 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289753414416 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29774] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29774/stat : 29774 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289752361616 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29775] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29775/stat : 29775 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289751308816 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29776] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29776/stat : 29776 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289750256016 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29777] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29777/stat : 29777 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31118 33554432000 4194304 4196468 140732304395376 140289749203216 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29778] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29778/stat : 29778 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997941 27969658880 31118 33554432000 4194304 4196468 140732304395376 140288122133360 140289937132162 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29779] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29779/stat : 29779 (java) S 29765 29765 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509997942 27969658880 31118 33554432000 4194304 4196468 140732304395376 140287858959904 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29780] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29780/stat : 29780 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997942 27969658880 31118 33554432000 4194304 4196468 140732304395376 140287590524272 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29781] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29781/stat : 29781 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 31118 33554432000 4194304 4196468 140732304395376 140287216015696 140289937139611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29782] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29782/stat : 29782 (java) S 29765 29765 29338 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 31118 33554432000 4194304 4196468 140732304395376 140288121080176 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29783] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29783/stat : 29783 (java) S 29765 29765 29338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 31118 33554432000 4194304 4196468 140732304395376 140288120027376 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29784] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29784/stat : 29784 (java) S 29765 29765 29338 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 31118 33554432000 4194304 4196468 140732304395376 140288118974576 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29785] ppid=29765 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29768/task/29785/stat : 29785 (java) S 29765 29765 29338 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 509997944 27969658880 31118 33554432000 4194304 4196468 140732304395376 140288117921776 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29786] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29786/stat : 29786 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997945 27969658880 31118 33554432000 4194304 4196468 140732304395376 140286718110816 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29787] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29787/stat : 29787 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997945 27969658880 31118 33554432000 4194304 4196468 140732304395376 140288116870192 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125868 KiB

[startup+0.310193 s]*
/proc/loadavg: 1.02 1.22 1.62 3/211 29787
/proc/meminfo: memFree=26125680/32770624 swapFree=66956836/67108860
[pid=29765] ppid=29762 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29765/stat : 29765 (scop.sh) S 29762 29765 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509997936 115843072 349 33554432000 4194304 5098028 140729805807504 140729805804760 140115020784252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16674816 140729805816573 140729805816920 140729805816920 140729805819849 0
/proc/29765/statm: 28282 349 296 221 0 87 0
[pid=29768] ppid=29765 vsize=27314120 memory=127888 CPUtime=0.43 cores=0-7
/proc/29768/stat : 29768 (java) S 29765 29765 29338 0 -1 1077944320 11916 0 0 0 38 5 0 0 20 0 20 0 509997937 27969658880 31972 33554432000 4194304 4196468 140732304395376 140732304377920 140289937121015 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
/proc/29768/statm: 6828530 31972 2980 1 0 6790935 0
[pid=29768/tid=29769] ppid=29765 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/29768/task/29769/stat : 29769 (java) R 29765 29765 29338 0 -1 4202560 9440 0 0 0 26 3 0 0 20 0 20 0 509997937 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289908947600 140289918684584 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29770] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29770/stat : 29770 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997939 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289941363856 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29771] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29771/stat : 29771 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997939 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289755520016 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29772] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29772/stat : 29772 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289754467216 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29773] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29773/stat : 29773 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289753414416 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29774] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29774/stat : 29774 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289752361616 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29775] ppid=29765 vsize=27314120 memory=139928893745839 CPUtime=0 cores=0-7
/proc/29768/task/29775/stat : 29775 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289751308816 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29776] ppid=29765 vsize=27314120 memory=139928893748144 CPUtime=0 cores=0-7
/proc/29768/task/29776/stat : 29776 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289750256016 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29777] ppid=29765 vsize=27314120 memory=139928893750448 CPUtime=0 cores=0-7
/proc/29768/task/29777/stat : 29777 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997940 27969658880 31972 33554432000 4194304 4196468 140732304395376 140289749203216 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29778] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29778/stat : 29778 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997941 27969658880 31972 33554432000 4194304 4196468 140732304395376 140288122133360 140289937132162 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29779] ppid=29765 vsize=27314120 memory=279857787514768 CPUtime=0 cores=0-7
/proc/29768/task/29779/stat : 29779 (java) S 29765 29765 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509997942 27969658880 31972 33554432000 4194304 4196468 140732304395376 140287858959904 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29780] ppid=29765 vsize=27314120 memory=279857787512464 CPUtime=0 cores=0-7
/proc/29768/task/29780/stat : 29780 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997942 27969658880 31972 33554432000 4194304 4196468 140732304395376 140287590524272 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29781] ppid=29765 vsize=27314120 memory=279857787519376 CPUtime=0 cores=0-7
/proc/29768/task/29781/stat : 29781 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 31972 33554432000 4194304 4196468 140732304395376 140287216015696 140289937139611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29782] ppid=29765 vsize=27314120 memory=279857787460656 CPUtime=0.01 cores=0-7
/proc/29768/task/29782/stat : 29782 (java) S 29765 29765 29338 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 20 0 509997944 27969658880 31972 33554432000 4194304 4196468 140732304395376 140288121080176 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29783] ppid=29765 vsize=27314120 memory=279857787533200 CPUtime=0 cores=0-7
/proc/29768/task/29783/stat : 29783 (java) S 29765 29765 29338 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 509997944 27969658880 31972 33554432000 4194304 4196468 140732304395376 140288120027376 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29784] ppid=29765 vsize=27314120 memory=279857787540112 CPUtime=0.01 cores=0-7
/proc/29768/task/29784/stat : 29784 (java) S 29765 29765 29338 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 509997944 27969658880 31972 33554432000 4194304 4196468 140732304395376 140288118974576 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29785] ppid=29765 vsize=27314120 memory=279857787537808 CPUtime=0.07 cores=0-7
/proc/29768/task/29785/stat : 29785 (java) S 29765 29765 29338 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 509997944 27969658880 31972 33554432000 4194304 4196468 140732304395376 140288117921776 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29786] ppid=29765 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29786/stat : 29786 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997945 27969658880 31972 33554432000 4194304 4196468 140732304395376 140286718110816 140289937131221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29787] ppid=29765 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29768/task/29787/stat : 29787 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997945 27969658880 31972 33554432000 4194304 4196468 140732304395376 140288116870192 140289937132162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129284 KiB

[startup+0.700871 s]
/proc/loadavg: 1.10 1.23 1.62 3/211 29787
/proc/meminfo: memFree=26102640/32770624 swapFree=66956836/67108860
[pid=29765] ppid=29762 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29765/stat : 29765 (scop.sh) S 29762 29765 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509997936 115843072 349 33554432000 4194304 5098028 140729805807504 140729805804760 140115020784252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16674816 140729805816573 140729805816920 140729805816920 140729805819849 0
/proc/29765/statm: 28282 349 296 221 0 87 0
[pid=29768] ppid=29765 vsize=27320392 memory=165448 CPUtime=0.99 cores=0-7
/proc/29768/stat : 29768 (java) S 29765 29765 29338 0 -1 1077944320 19947 0 0 0 92 7 0 0 20 0 20 0 509997937 27976081408 41362 33554432000 4194304 4196468 140732304395376 140732304377920 140289937121015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
/proc/29768/statm: 6830098 41362 3182 1 0 6791447 0
[pid=29768/tid=29769] ppid=29765 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/29768/task/29769/stat : 29769 (java) R 29765 29765 29338 0 -1 4202560 16960 0 0 0 62 6 0 0 20 0 20 0 509997937 27976081408 41362 33554432000 4194304 4196468 140732304395376 140289908958704 140289921201502 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29770] ppid=29765 vsize=27320392 memory=139928893956976 CPUtime=0 cores=0-7
/proc/29768/task/29770/stat : 29770 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509997939 27976081408 41362 33554432000 4194304 4196468 140732304395376 140289941363856 140289937131221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29771] ppid=29765 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/29768/task/29771/stat : 29771 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509997939 27976081408 41362 33554432000 4194304 4196468 140732304395376 140289755520016 140289937131221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0
[pid=29768/tid=29772] ppid=29765 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/29768/task/29772/stat : 29772 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509997940 27976081408 41362 33554432000 4194304 4196468 140732304395376 140289754467216 140289937131221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33800192 140732304396999 140732304397446 140732304397446 140732304400335 0

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

/proc/29788/task/29793/stat : 29793 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152585103632 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29794] ppid=29765 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/29788/task/29794/stat : 29794 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152584051856 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29795] ppid=29765 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/29788/task/29795/stat : 29795 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152582999056 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29796] ppid=29765 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/29788/task/29796/stat : 29796 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152581946256 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29797] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29797/stat : 29797 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152580893456 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29798] ppid=29765 vsize=8414124 memory=352 CPUtime=0 cores=0-7
/proc/29788/task/29798/stat : 29798 (java) S 29765 29765 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509998256 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151607830896 140152782809730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29799] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29799/stat : 29799 (java) S 29765 29765 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509998257 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151426638880 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29800] ppid=29765 vsize=8414124 memory=2 CPUtime=0 cores=0-7
/proc/29788/task/29800/stat : 29800 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998257 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151158203248 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29801] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29801/stat : 29801 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140150783694672 140152782817179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29802] ppid=29765 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/29788/task/29802/stat : 29802 (java) S 29765 29765 29338 0 -1 1077944384 576 0 0 0 3 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151606778736 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29803] ppid=29765 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/29788/task/29803/stat : 29803 (java) S 29765 29765 29338 0 -1 1077944384 285 0 0 0 7 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151605725936 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29804] ppid=29765 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/29788/task/29804/stat : 29804 (java) S 29765 29765 29338 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151604673136 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29805] ppid=29765 vsize=8414124 memory=1476 CPUtime=0.19 cores=0-7
/proc/29788/task/29805/stat : 29805 (java) S 29765 29765 29338 0 -1 1077944384 515 0 0 0 19 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151603620336 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29806] ppid=29765 vsize=8414124 memory=119876 CPUtime=0 cores=0-7
/proc/29788/task/29806/stat : 29806 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140150285789792 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29807] ppid=29765 vsize=8414124 memory=256083130116325 CPUtime=0.02 cores=0-7
/proc/29788/task/29807/stat : 29807 (java) S 29765 29765 29338 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 509998260 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151602567728 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29809] ppid=29765 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/29788/task/29809/stat : 29809 (java) S 29765 29765 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509998325 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151594533952 140152782823193 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29811] ppid=29765 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/29788/task/29811/stat : 29811 (java) S 29765 29765 29338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509998325 8616062976 29969 33554432000 4194304 4196468 140731998281424 140149614690448 140152782820509 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29812] ppid=29765 vsize=8414124 memory=8546823402028195750 CPUtime=0 cores=0-7
/proc/29788/task/29812/stat : 29812 (java) S 29765 29765 29338 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509998325 8616062976 29969 33554432000 4194304 4196468 140731998281424 140149883125776 140152782820509 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29813] ppid=29765 vsize=8414124 memory=7682475212697334547 CPUtime=0 cores=0-7
/proc/29788/task/29813/stat : 29813 (java) S 29765 29765 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509998327 8616062976 29969 33554432000 4194304 4196468 140731998281424 140149346262576 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
Current children cumulated CPU time: 315.23 s
Current children cumulated vsize: 9432640 KiB
Current children cumulated memory: 710048 KiB

[startup+44.0012 s]*
/proc/loadavg: 4.72 2.16 1.92 2/217 29823
/proc/meminfo: memFree=25540012/32770624 swapFree=66956836/67108860
[pid=29765] ppid=29762 vsize=113128 memory=1476 CPUtime=6.41 cores=0-7
/proc/29765/stat : 29765 (scop.sh) S 29762 29765 29338 0 -1 4202496 582 27155 0 0 0 0 609 32 20 0 1 0 509997936 115843072 369 33554432000 4194304 5098028 140729805807504 140729805804248 140115020784252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16674816 140729805816573 140729805816920 140729805816920 140729805819849 0
/proc/29765/statm: 28282 369 311 221 0 87 0
[pid=29788] ppid=29765 vsize=8414124 memory=119876 CPUtime=1.16 cores=0-7
/proc/29788/stat : 29788 (java) S 29765 29765 29338 0 -1 1077944320 19475 0 0 0 110 6 0 0 20 0 24 0 509998253 8616062976 29969 33554432000 4194304 4196468 140731998281424 140731998263968 140152782798583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
/proc/29788/statm: 2103531 29969 3198 1 0 2064875 0
[pid=29808] ppid=29788 vsize=905388 memory=588808 CPUtime=310.35 cores=0-7
/proc/29808/stat : 29808 (manyglucose-4.1) S 29788 29765 29338 0 -1 1077944320 259684 0 0 0 30966 69 0 0 20 0 2 0 509998324 927117312 147202 33554432000 4194304 4454172 140730718260752 140730718259136 140111379521271 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 7290880 140730718262093 140730718262300 140730718262300 140730718265270 0
/proc/29808/statm: 226347 147202 424 64 0 222015 0
[pid=29808/tid=29818] ppid=29788 vsize=905388 memory=139928894161744 CPUtime=38.82 cores=0-7
/proc/29808/task/29818/stat : 29818 (manyglucose-4.1) R 29788 29765 29338 0 -1 4202560 27273 0 0 0 3876 6 0 0 20 0 2 0 509998385 927117312 147202 33554432000 4194304 4454172 140730718260752 140111308450952 4351782 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 7290880 140730718262093 140730718262300 140730718262300 140730718265270 0
[pid=29788/tid=29789] ppid=29765 vsize=8414124 memory=8317482817917895235 CPUtime=0.74 cores=0-7
/proc/29788/task/29789/stat : 29789 (java) S 29765 29765 29338 0 -1 1077944384 16393 0 0 0 69 5 0 0 20 0 24 0 509998253 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152754638752 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29790] ppid=29765 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29788/task/29790/stat : 29790 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152787040912 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29791] ppid=29765 vsize=8414124 memory=7164771141002221673 CPUtime=0 cores=0-7
/proc/29788/task/29791/stat : 29791 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152587209232 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29792] ppid=29765 vsize=8414124 memory=279857789355008 CPUtime=0 cores=0-7
/proc/29788/task/29792/stat : 29792 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152586156432 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29793] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29793/stat : 29793 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152585103632 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29794] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29794/stat : 29794 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152584051856 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29795] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29795/stat : 29795 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152582999056 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29796] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29796/stat : 29796 (java) S 29765 29765 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152581946256 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29797] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29797/stat : 29797 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509998255 8616062976 29969 33554432000 4194304 4196468 140731998281424 140152580893456 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29798] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29798/stat : 29798 (java) S 29765 29765 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509998256 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151607830896 140152782809730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29799] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29799/stat : 29799 (java) S 29765 29765 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509998257 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151426638880 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29800] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29800/stat : 29800 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998257 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151158203248 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29801] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29801/stat : 29801 (java) S 29765 29765 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140150783694672 140152782817179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29802] ppid=29765 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/29788/task/29802/stat : 29802 (java) S 29765 29765 29338 0 -1 1077944384 576 0 0 0 3 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151606778736 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29803] ppid=29765 vsize=8414124 memory=-2127766700128873513 CPUtime=0.07 cores=0-7
/proc/29788/task/29803/stat : 29803 (java) S 29765 29765 29338 0 -1 1077944384 285 0 0 0 7 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151605725936 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29804] ppid=29765 vsize=8414124 memory=6943526294502006880 CPUtime=0.06 cores=0-7
/proc/29788/task/29804/stat : 29804 (java) S 29765 29765 29338 0 -1 1077944384 305 0 0 0 6 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151604673136 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29805] ppid=29765 vsize=8414124 memory=6655300316396806240 CPUtime=0.19 cores=0-7
/proc/29788/task/29805/stat : 29805 (java) S 29765 29765 29338 0 -1 1077944384 515 0 0 0 19 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151603620336 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29806] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29806/stat : 29806 (java) S 29765 29765 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509998259 8616062976 29969 33554432000 4194304 4196468 140731998281424 140150285789792 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29807] ppid=29765 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/29788/task/29807/stat : 29807 (java) S 29765 29765 29338 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 509998260 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151602567728 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29809] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29809/stat : 29809 (java) S 29765 29765 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509998325 8616062976 29969 33554432000 4194304 4196468 140731998281424 140151594533952 140152782823193 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29811] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29811/stat : 29811 (java) S 29765 29765 29338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509998325 8616062976 29969 33554432000 4194304 4196468 140731998281424 140149614690448 140152782820509 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29812] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29812/stat : 29812 (java) S 29765 29765 29338 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 509998325 8616062976 29969 33554432000 4194304 4196468 140731998281424 140149883125776 140152782820509 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29813] ppid=29765 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29788/task/29813/stat : 29813 (java) S 29765 29765 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509998327 8616062976 29969 33554432000 4194304 4196468 140731998281424 140149346262576 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
Current children cumulated CPU time: 317.92 s
Current children cumulated vsize: 9432640 KiB
Current children cumulated memory: 710160 KiB

[startup+44.201 s]
/proc/loadavg: 4.72 2.16 1.92 2/217 29823
/proc/meminfo: memFree=25540012/32770624 swapFree=66956836/67108860
[pid=29765] ppid=29762 vsize=113128 memory=1476 CPUtime=6.41 cores=0-7
/proc/29765/stat : 29765 (scop.sh) S 29762 29765 29338 0 -1 4202496 582 27155 0 0 0 0 609 32 20 0 1 0 509997936 115843072 369 33554432000 4194304 5098028 140729805807504 140729805804248 140115020784252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16674816 140729805816573 140729805816920 140729805816920 140729805819849 0
/proc/29765/statm: 28282 369 311 221 0 87 0
[pid=29788] ppid=29765 vsize=8283048 memory=132008 CPUtime=311.95 cores=0-7
/proc/29788/stat : 29788 (java) S 29765 29765 29338 0 -1 1077944320 21425 259698 0 0 147 7 30970 71 20 0 22 0 509998253 8481841152 33002 33554432000 4194304 4196468 140731998281424 140731998263968 140152782798583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
/proc/29788/statm: 2070762 33002 3224 1 0 2032106 0
[pid=29788/tid=29789] ppid=29765 vsize=8283048 memory=303773279626360890 CPUtime=311.24 cores=0-7
/proc/29788/task/29789/stat : 29789 (java) R 29765 29765 29338 0 -1 4202560 16673 259698 0 0 78 5 30970 71 20 0 22 0 509998253 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152754634800 140152766879070 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29790] ppid=29765 vsize=8283048 memory=7235422476881713517 CPUtime=310.41 cores=0-7
/proc/29788/task/29790/stat : 29790 (java) S 29765 29765 29338 0 -1 1077944384 2 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152787040912 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29791] ppid=29765 vsize=8283048 memory=7235422476881713517 CPUtime=310.41 cores=0-7
/proc/29788/task/29791/stat : 29791 (java) S 29765 29765 29338 0 -1 1077944384 1 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152587209232 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29792] ppid=29765 vsize=8283048 memory=7235422476881713517 CPUtime=310.41 cores=0-7
/proc/29788/task/29792/stat : 29792 (java) S 29765 29765 29338 0 -1 1077944384 1 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152586156432 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29793] ppid=29765 vsize=8283048 memory=6370719275257063784 CPUtime=310.41 cores=0-7
/proc/29788/task/29793/stat : 29793 (java) S 29765 29765 29338 0 -1 1077944384 1 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152585103632 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29794] ppid=29765 vsize=8283048 memory=7091596460363962738 CPUtime=310.41 cores=0-7
/proc/29788/task/29794/stat : 29794 (java) S 29765 29765 29338 0 -1 1077944384 2 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152584051856 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29795] ppid=29765 vsize=8283048 memory=4137282616176384387 CPUtime=310.41 cores=0-7
/proc/29788/task/29795/stat : 29795 (java) S 29765 29765 29338 0 -1 1077944384 1 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152582999056 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29796] ppid=29765 vsize=8283048 memory=-7522837583129502606 CPUtime=310.41 cores=0-7
/proc/29788/task/29796/stat : 29796 (java) S 29765 29765 29338 0 -1 1077944384 2 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152581946256 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29797] ppid=29765 vsize=8283048 memory=279857787306224 CPUtime=310.41 cores=0-7
/proc/29788/task/29797/stat : 29797 (java) S 29765 29765 29338 0 -1 1077944384 3 259698 0 0 0 0 30970 71 20 0 22 0 509998255 8481841152 33002 33554432000 4194304 4196468 140731998281424 140152580893456 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29798] ppid=29765 vsize=8283048 memory=-5155626877861926228 CPUtime=310.41 cores=0-7
/proc/29788/task/29798/stat : 29798 (java) S 29765 29765 29338 0 -1 1077944384 7 259698 0 0 0 0 30970 71 20 0 22 0 509998256 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151607830896 140152782809730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29799] ppid=29765 vsize=8283048 memory=-6659576406218473585 CPUtime=310.41 cores=0-7
/proc/29788/task/29799/stat : 29799 (java) S 29765 29765 29338 0 -1 1077944384 13 259698 0 0 0 0 30970 71 20 0 22 0 509998257 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151426638880 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29800] ppid=29765 vsize=8283048 memory=-3258418265892434876 CPUtime=310.41 cores=0-7
/proc/29788/task/29800/stat : 29800 (java) S 29765 29765 29338 0 -1 1077944384 1 259698 0 0 0 0 30970 71 20 0 22 0 509998257 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151158203248 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29801] ppid=29765 vsize=8283048 memory=0 CPUtime=310.41 cores=0-7
/proc/29788/task/29801/stat : 29801 (java) S 29765 29765 29338 0 -1 1077944384 1 259698 0 0 0 0 30970 71 20 0 22 0 509998259 8481841152 33002 33554432000 4194304 4196468 140731998281424 140150783694672 140152782817179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29802] ppid=29765 vsize=8283048 memory=0 CPUtime=310.48 cores=0-7
/proc/29788/task/29802/stat : 29802 (java) S 29765 29765 29338 0 -1 1077944384 609 259698 0 0 7 0 30970 71 20 0 22 0 509998259 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151606778736 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29803] ppid=29765 vsize=8283048 memory=0 CPUtime=310.54 cores=0-7
/proc/29788/task/29803/stat : 29803 (java) S 29765 29765 29338 0 -1 1077944384 503 259698 0 0 13 0 30970 71 20 0 22 0 509998259 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151605725936 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29804] ppid=29765 vsize=8283048 memory=0 CPUtime=310.52 cores=0-7
/proc/29788/task/29804/stat : 29804 (java) S 29765 29765 29338 0 -1 1077944384 527 259698 0 0 11 0 30970 71 20 0 22 0 509998259 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151604673136 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29805] ppid=29765 vsize=8283048 memory=0 CPUtime=310.68 cores=0-7
/proc/29788/task/29805/stat : 29805 (java) R 29765 29765 29338 0 -1 4202560 1155 259698 0 0 27 0 30970 71 20 0 22 0 509998259 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151603615600 140152761164894 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29806] ppid=29765 vsize=8283048 memory=0 CPUtime=310.41 cores=0-7
/proc/29788/task/29806/stat : 29806 (java) S 29765 29765 29338 0 -1 1077944384 3 259698 0 0 0 0 30970 71 20 0 22 0 509998259 8481841152 33002 33554432000 4194304 4196468 140731998281424 140150285789792 140152782808789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29807] ppid=29765 vsize=8283048 memory=0 CPUtime=310.43 cores=0-7
/proc/29788/task/29807/stat : 29807 (java) S 29765 29765 29338 0 -1 1077944384 5 259698 0 0 2 0 30970 71 20 0 22 0 509998260 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151602567728 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29809] ppid=29765 vsize=8283048 memory=77201 CPUtime=310.41 cores=0-7
/proc/29788/task/29809/stat : 29809 (java) S 29765 29765 29338 0 -1 1077944384 25 259698 0 0 0 0 30970 71 20 0 22 0 509998325 8481841152 33002 33554432000 4194304 4196468 140731998281424 140151594533136 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
[pid=29788/tid=29813] ppid=29765 vsize=8283048 memory=7235147594880805952 CPUtime=310.41 cores=0-7
/proc/29788/task/29813/stat : 29813 (java) S 29765 29765 29338 0 -1 1077944384 15 259698 0 0 0 0 30970 71 20 0 22 0 509998327 8481841152 33002 33554432000 4194304 4196468 140731998281424 140149346264368 140152782809730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19275776 140731998282719 140731998282886 140731998282886 140731998285775 0
Current children cumulated CPU time: 318.36 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 133484 KiB

Child status: 0
Real time (s): 44.2209
CPU time (s): 318.439
CPU user time (s): 317.305
CPU system time (s): 1.13434
CPU usage (%): 720.11
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1399264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 317.305
system time used= 1.13434
maximum resident set size= 1402988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17854
involuntary context switches= 3220


# summary of solver processes directly reported to runsolver:
#   pid: 29765
#   total CPU time (s): 318.439
#   total CPU user time (s): 317.305
#   total CPU system time (s): 1.13434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.448078 second user time and 0.623707 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 16:01:41
IDJOB=4405163
IDBENCH=127773
IDSOLVER=2867
FILE ID=node105/4405163-1569337402
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

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

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

MD5SUM BENCH= e5b164a238094fc306b5fb8652aa9c45
RANDOM SEED=1849938884

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26242204 kB
MemAvailable:   31799768 kB
Buffers:          110204 kB
Cached:          5579312 kB
SwapCached:        48352 kB
Active:          2827508 kB
Inactive:        2911752 kB
Active(anon):       4680 kB
Inactive(anon):    99568 kB
Active(file):    2822828 kB
Inactive(file):  2812184 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956836 kB
Dirty:             20556 kB
Writeback:             0 kB
AnonPages:        113692 kB
Mapped:            53604 kB
Shmem:             45912 kB
Slab:             379424 kB
SReclaimable:     351012 kB
SUnreclaim:        28412 kB
KernelStack:        3440 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 16:02:25