Trace number 4392574

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 145.772 23.3859

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-199.xml
MD5SUM6632ff8405f31e2dfb2c2f75c1e4c1cc
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 benchmark17.4392
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size607
Maximum domain size607
Distribution of domain sizes[{"size":607,"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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5391-serial-file.bin HOME/instance-4392574-1568429423.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 04:49:42 CEST 2019
0.65/0.57	c PID: 5394
0.65/0.57	c IP: 172.20.3.141
0.65/0.57	c HOST: node141.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.91	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 607
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.92	c (0,0) Ctr:HOME/instance-4392574-1568429423.xml,Le:NoOverlap:Num:Var
1.40/0.92	c (0,0) Constraint Name Generate End
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) CSP to CSPinCNF Begin
1.40/1.00	c (0,0) translated 6 (10%) constraints
1.40/1.00	c (0,0) translated 11 (20%) constraints
1.40/1.01	c (0,0) translated 16 (30%) constraints
1.56/1.01	c (0,0) translated 22 (40%) constraints
1.56/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.02	c (0,0) translated 38 (70%) constraints
1.56/1.02	c (0,0) translated 43 (80%) constraints
1.56/1.02	c (0,0) translated 48 (90%) constraints
2.15/1.28	c (0,0) translated 53 (100%) constraints
2.15/1.28	c (0,0) ===========================================
2.47/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.47/1.30	c (0,0) Hybrid
2.47/1.30	c (0,0) ===========================================
2.47/1.31	c (0,0) translated 36 (10%) constraints
2.47/1.32	c (0,0) translated 71 (20%) constraints
2.47/1.32	c (0,0) translated 106 (30%) constraints
2.47/1.33	c (0,0) translated 141 (40%) constraints
2.47/1.34	c (0,0) translated 176 (50%) constraints
2.47/1.34	c (0,0) translated 212 (60%) constraints
2.47/1.35	c (0,0) translated 247 (70%) constraints
2.47/1.35	c (0,0) translated 282 (80%) constraints
2.47/1.35	c (0,0) translated 317 (90%) constraints
2.47/1.36	c (0,0) translated 352 (100%) constraints
2.47/1.36	c (0,0) CSP to CSPinCNF End
2.47/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 602
2.47/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.47/1.36	c (0,0) CSPinCNF Propagation Begin
2.47/1.39	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.47/1.39	c (0,0) CSPinCNF Propagation End
2.47/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 602
2.47/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.83/1.40	c (0,0) Hybrid: #OE=50, #LE=0
2.83/1.40	c (0,0) Simplify CSPinCNF Begin
2.83/1.49	c (0,0) Simplify CSPinCNF End
3.09/1.50	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
3.09/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.09/1.50	c (0,0) Calculate Precise Domain Begin
3.09/1.50	c (0,0) 0 values are removed by re-calculation
3.09/1.50	c (0,0) Calculate Precise Domain End
3.09/1.50	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 602
3.09/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.09/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.85/2.05	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 86088 SAT clauses)
5.08/2.28	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 145074 SAT clauses)
5.31/2.48	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 199765 SAT clauses)
5.63/2.70	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 256198 SAT clauses)
5.74/2.89	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 307833 SAT clauses)
5.96/3.08	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 358387 SAT clauses)
6.16/3.25	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 405076 SAT clauses)
6.36/3.41	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 448377 SAT clauses)
6.48/3.55	c (3,3) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 486113 SAT clauses)
6.58/3.65	c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 512818 SAT clauses)
6.58/3.65	c (3,3) CSPinCNF to SatSolver End
6.58/3.65	c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.58/3.66	c (3,3) 26380 bool, 512998 clause
6.58/3.66	c (3,3) Export Begin
6.71/3.74	c (3,3) Export to HOME/scop-5391-serial-file.bin
6.71/3.74	c (3,3) Export End
6.71/3.74	c (3,3) Export File Size: 0.01 MB
6.71/3.74	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.71/3.74	c END-Prog: Sat Sep 14 04:49:46 CEST 2019
6.71/3.76	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5391-serial-file.bin
7.38/4.23	c (0,0) Read Serial File Begin
7.44/4.41	c (0,0) HOME/scop-5391-serial-file.bin
7.71/4.60	c (0,0) Read Serial File End
7.71/4.61	
7.71/4.61	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.71/4.61	(Solving Process)
7.71/4.61	
7.71/4.64	c BEGIN-Prog: Sat Sep 14 04:49:47 CEST 2019
7.71/4.64	c PID: 5414
7.71/4.64	c IP: 172.20.3.141
7.71/4.64	c HOST: node141.alineos.net
7.71/4.64	c (0,0) SatSolver.solve Begin
7.71/4.64	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392574-1568429423.xml-scop-5394.cnf
7.71/4.67	c (0,0) c
7.71/4.67	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)
7.71/4.67	c (0,0) c
7.71/4.67	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.71/4.67	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.71/4.67	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.71/4.67	c (0,0) c |                                                                                                       |
7.96/4.85	c (0,0) c |  Number of variables:         26380                                                                   |
7.96/4.85	c (0,0) c |  Number of clauses:          512998                                                                   |
7.96/4.85	c (0,0) c |  Parse time:                   0.17 s                                                                 |
7.96/4.85	c (0,0) c |                                                                                                       |
8.89/5.63	c (1,0) c |  Simplification time:          0.77 s                                                                 |
8.89/5.63	c (1,0) c |                                                                                                       |
8.89/5.63	c (1,0) c |  Generating clones                                                                                    |
8.99/5.77	c (1,0) c |  all clones generated. Memory =   336.79Mb.                                                           |
8.99/5.77	c (1,0) c ========================================================================================================|
8.99/5.77	c (1,0) c
8.99/5.77	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.99/5.77	c (1,0) c
8.99/5.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.99/5.77	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.99/5.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.99/5.77	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.99/5.77	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.99/5.77	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.99/5.77	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.99/5.77	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.99/5.77	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.99/5.77	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.99/5.77	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.99/5.77	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.99/5.77	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.99/5.77	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.99/5.77	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.99/5.77	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.99/5.77	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.99/5.77	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.99/5.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c real time : 18.5384 s
145.22/23.20	c (19,0) c cpu time  : 136.481 s
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c | Conflicts     |          249667 |      30679 |      31355 |      31057 |      31731 |      31132 |      31063 |      31577 |      31073 |
145.22/23.20	c (19,0) c | Decisions     |          511124 |      61556 |      65898 |      64344 |      64945 |      66492 |      60302 |      63520 |      64067 |
145.22/23.20	c (19,0) c | Propagations  |       237451542 |   29576339 |   29280004 |   29800496 |   29981665 |   29867459 |   29610264 |   30102860 |   29232455 |
145.22/23.20	c (19,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
145.22/23.20	c (19,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
145.22/23.20	c (19,0) c | Restarts      |             772 |         99 |        102 |         88 |        100 |         94 |        105 |         88 |         96 |
145.22/23.20	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.22/23.20	c (19,0) c | PropBinClauses|       307287215 |   38371750 |   37636972 |   38810139 |   38438775 |   38515044 |   38297107 |   38927121 |   38290307 |
145.22/23.20	c (19,0) c | PropPreBlocker|      2827847889 |  348654632 |  351637390 |  354924320 |  360181205 |  353889705 |  353220259 |  357143782 |  348196596 |
145.22/23.20	c (19,0) c | PropNotBlocker|      1055076541 |  134046244 |  129050279 |  132418589 |  131447108 |  131835264 |  130620557 |  134822492 |  130836008 |
145.22/23.20	c (19,0) c | LitFullScans  |      5558140656 |  690054507 |  690112757 |  693602671 |  702073208 |  696054728 |  690061981 |  703411659 |  692769145 |
145.22/23.20	c (19,0) c | LitScanFracts |          517664 |      43827 |      86242 |      47638 |      56334 |      46920 |      54852 |      91289 |      90562 |
145.22/23.20	c (19,0) c | DecisionLevel0|             775 |        101 |        102 |         88 |        100 |         94 |        106 |         88 |         96 |
145.22/23.20	c (19,0) c | Periods       |             925 |        115 |        115 |        115 |        117 |        116 |        115 |        117 |        115 |
145.22/23.20	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
145.22/23.20	c (19,0) c | Avg_Trail     |                 |       8518 |       8754 |       8819 |       8892 |       8758 |       8869 |       8676 |       8496 |
145.22/23.20	c (19,0) c | Avg_DL        |                 |         20 |         19 |         20 |         21 |         20 |         19 |         20 |         20 |
145.22/23.20	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.22/23.20	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c | Exported      |           44863 |       5436 |       5398 |       5599 |       5773 |       5508 |       5217 |       5826 |       6106 |
145.22/23.20	c (19,0) c | Imported      |          273054 |      33701 |      33499 |      34139 |      34513 |      34488 |      34548 |      34550 |      33616 |
145.22/23.20	c (19,0) c | Good          |             580 |         70 |         68 |         70 |         78 |         78 |         67 |         78 |         71 |
145.22/23.20	c (19,0) c | Purge         |          272474 |      33631 |      33431 |      34069 |      34435 |      34410 |      34481 |      34472 |      33545 |
145.22/23.20	c (19,0) c | Promoted      |           29744 |       3761 |       3663 |       3829 |       3686 |       3685 |       3558 |       3933 |       3629 |
145.22/23.20	c (19,0) c | Remove_Imp    |           82446 |      11633 |      10705 |      11089 |       9312 |       9759 |      10890 |       8926 |      10132 |
145.22/23.20	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c | Unaries       |                 |          2 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |
145.22/23.20	c (19,0) c | Binaries      |                 |         15 |         12 |         13 |          8 |          8 |         19 |         10 |         14 |
145.22/23.20	c (19,0) c | Glues         |                 |        124 |         98 |        116 |         99 |        111 |        108 |        104 |         94 |
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c | Orig_Seen     |             8 % |      40227 |      41711 |      45145 |      43630 |      43239 |      43721 |      41903 |      40603 |
145.22/23.20	c (19,0) c | Diff Orig seen|                 | -     4918 | -     3434 |      X     | -     1515 | -     1906 | -     1424 | -     3242 | -     4542 |
145.22/23.20	c (19,0) c | Hamming       |            26 % |       6559 |       2496 |      X     |       7977 |       6697 |       9033 |       7729 |       8595 |
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c | RunningTime   |                 |   17.4 100%|   17.3 100%|   17.0 100%|   17.0 100%|   17.0 100%|   17.1 100%|   17.0 100%|   17.0 100%|
145.22/23.20	c (19,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
145.22/23.20	c (19,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
145.22/23.20	c (19,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%|
145.22/23.20	c (19,0) c | SolvingTime   |                 |   17.4     |   17.3     |   17.0     |   17.0     |   17.1     |   17.1     |   17.0     |   17.0     |
145.22/23.20	c (19,0) c | PropagationTim|                 |   14.8  85%|   14.7  85%|   14.3  84%|   14.3  84%|   14.4  84%|   14.5  85%|   14.4  85%|   14.4  84%|
145.22/23.20	c (19,0) c | AnalysisTime  |                 |    2.1  12%|    2.1  12%|    2.1  12%|    2.1  13%|    2.1  12%|    2.1  12%|    2.1  12%|    2.1  12%|
145.22/23.20	c (19,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
145.22/23.20	c (19,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
145.22/23.20	c (19,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%|
145.22/23.20	c (19,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%|
145.22/23.20	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c
145.22/23.20	c (19,0) c Threads : 8
145.22/23.20	c (19,0) c Winner : 2
145.22/23.20	c (19,0) c Conflicts_0 : 30679
145.22/23.20	c (19,0) c Conflicts_1 : 31355
145.22/23.20	c (19,0) c Conflicts_2 : 31057
145.22/23.20	c (19,0) c Conflicts_3 : 31731
145.22/23.20	c (19,0) c Conflicts_4 : 31132
145.22/23.20	c (19,0) c Conflicts_5 : 31063
145.22/23.20	c (19,0) c Conflicts_6 : 31577
145.22/23.20	c (19,0) c Conflicts_7 : 31073
145.22/23.20	c (19,0) c Conflicts_total : 249667
145.22/23.20	c (19,0) c Conflicts_winner : 31057
145.22/23.20	c (19,0) c Decisions_0 : 61556
145.22/23.20	c (19,0) c Decisions_1 : 65898
145.22/23.20	c (19,0) c Decisions_2 : 64344
145.22/23.20	c (19,0) c Decisions_3 : 64945
145.22/23.20	c (19,0) c Decisions_4 : 66492
145.22/23.20	c (19,0) c Decisions_5 : 60302
145.22/23.20	c (19,0) c Decisions_6 : 63520
145.22/23.20	c (19,0) c Decisions_7 : 64067
145.22/23.20	c (19,0) c Decisions_total : 511124
145.22/23.20	c (19,0) c Decisions_winner : 64344
145.22/23.20	c (19,0) c Propagations_0 : 29576339
145.22/23.20	c (19,0) c Propagations_1 : 29280004
145.22/23.20	c (19,0) c Propagations_2 : 29800496
145.22/23.20	c (19,0) c Propagations_3 : 29981665
145.22/23.20	c (19,0) c Propagations_4 : 29867459
145.22/23.20	c (19,0) c Propagations_5 : 29610264
145.22/23.21	c (19,0) c Propagations_6 : 30102860
145.22/23.21	c (19,0) c Propagations_7 : 29232455
145.22/23.21	c (19,0) c Propagations_total : 237451542
145.22/23.21	c (19,0) c Propagations_winner : 29800496
145.22/23.21	c (19,0) c ReduceDBs_0 : 4
145.22/23.21	c (19,0) c ReduceDBs_1 : 4
145.22/23.21	c (19,0) c ReduceDBs_2 : 4
145.22/23.21	c (19,0) c ReduceDBs_3 : 4
145.22/23.21	c (19,0) c ReduceDBs_4 : 4
145.22/23.21	c (19,0) c ReduceDBs_5 : 4
145.22/23.21	c (19,0) c ReduceDBs_6 : 4
145.22/23.21	c (19,0) c ReduceDBs_7 : 4
145.22/23.21	c (19,0) c ReduceDBs_total : 32
145.22/23.21	c (19,0) c ReduceDBs_winner : 4
145.22/23.21	c (19,0) c SimpDBs_0 : 3
145.22/23.21	c (19,0) c SimpDBs_1 : 3
145.22/23.21	c (19,0) c SimpDBs_2 : 3
145.22/23.21	c (19,0) c SimpDBs_3 : 3
145.22/23.21	c (19,0) c SimpDBs_4 : 3
145.22/23.21	c (19,0) c SimpDBs_5 : 3
145.22/23.21	c (19,0) c SimpDBs_6 : 3
145.22/23.21	c (19,0) c SimpDBs_7 : 3
145.22/23.21	c (19,0) c SimpDBs_total : 24
145.22/23.21	c (19,0) c SimpDBs_winner : 3
145.22/23.21	c (19,0) c Restarts_0 : 99
145.22/23.21	c (19,0) c Restarts_1 : 102
145.22/23.21	c (19,0) c Restarts_2 : 88
145.22/23.21	c (19,0) c Restarts_3 : 100
145.22/23.21	c (19,0) c Restarts_4 : 94
145.22/23.21	c (19,0) c Restarts_5 : 105
145.22/23.21	c (19,0) c Restarts_6 : 88
145.22/23.21	c (19,0) c Restarts_7 : 96
145.22/23.21	c (19,0) c Restarts_total : 772
145.22/23.21	c (19,0) c Restarts_winner : 88
145.22/23.21	c (19,0) c ForcedImports_0 : 0
145.22/23.21	c (19,0) c ForcedImports_1 : 0
145.22/23.21	c (19,0) c ForcedImports_2 : 0
145.22/23.21	c (19,0) c ForcedImports_3 : 0
145.22/23.21	c (19,0) c ForcedImports_4 : 0
145.22/23.21	c (19,0) c ForcedImports_5 : 0
145.22/23.21	c (19,0) c ForcedImports_6 : 0
145.22/23.21	c (19,0) c ForcedImports_7 : 0
145.22/23.21	c (19,0) c ForcedImports_total : 0
145.22/23.21	c (19,0) c ForcedImports_winner : 0
145.22/23.21	c (19,0) c PropsBinClauses_0 : 38371750
145.22/23.21	c (19,0) c PropsBinClauses_1 : 37636972
145.22/23.21	c (19,0) c PropsBinClauses_2 : 38810139
145.22/23.21	c (19,0) c PropsBinClauses_3 : 38438775
145.22/23.21	c (19,0) c PropsBinClauses_4 : 38515044
145.22/23.21	c (19,0) c PropsBinClauses_5 : 38297107
145.22/23.21	c (19,0) c PropsBinClauses_6 : 38927121
145.22/23.21	c (19,0) c PropsBinClauses_7 : 38290307
145.22/23.21	c (19,0) c PropsBinClauses_total : 307287215
145.22/23.21	c (19,0) c PropsBinClauses_winner : 38810139
145.22/23.21	c (19,0) c PropsPreBlocker_0 : 348654632
145.22/23.21	c (19,0) c PropsPreBlocker_1 : 351637390
145.22/23.21	c (19,0) c PropsPreBlocker_2 : 354924320
145.22/23.21	c (19,0) c PropsPreBlocker_3 : 360181205
145.22/23.21	c (19,0) c PropsPreBlocker_4 : 353889705
145.22/23.21	c (19,0) c PropsPreBlocker_5 : 353220259
145.22/23.21	c (19,0) c PropsPreBlocker_6 : 357143782
145.22/23.21	c (19,0) c PropsPreBlocker_7 : 348196596
145.22/23.21	c (19,0) c PropsPreBlocker_total : 2827847889
145.22/23.21	c (19,0) c PropsPreBlocker_winner : 354924320
145.22/23.21	c (19,0) c PropsNotBlocker_0 : 134046244
145.22/23.21	c (19,0) c PropsNotBlocker_1 : 129050279
145.22/23.21	c (19,0) c PropsNotBlocker_2 : 132418589
145.22/23.21	c (19,0) c PropsNotBlocker_3 : 131447108
145.22/23.21	c (19,0) c PropsNotBlocker_4 : 131835264
145.22/23.21	c (19,0) c PropsNotBlocker_5 : 130620557
145.22/23.21	c (19,0) c PropsNotBlocker_6 : 134822492
145.22/23.21	c (19,0) c PropsNotBlocker_7 : 130836008
145.22/23.21	c (19,0) c PropsNotBlocker_total : 1055076541
145.22/23.21	c (19,0) c PropsNotBlocker_winner : 132418589
145.22/23.21	c (19,0) c PropsLitFullScans_0 : 690054507
145.22/23.21	c (19,0) c PropsLitFullScans_1 : 690112757
145.22/23.21	c (19,0) c PropsLitFullScans_2 : 693602671
145.22/23.21	c (19,0) c PropsLitFullScans_3 : 702073208
145.22/23.21	c (19,0) c PropsLitFullScans_4 : 696054728
145.22/23.21	c (19,0) c PropsLitFullScans_5 : 690061981
145.22/23.21	c (19,0) c PropsLitFullScans_6 : 703411659
145.22/23.21	c (19,0) c PropsLitFullScans_7 : 692769145
145.22/23.21	c (19,0) c PropsLitFullScans_total : 5558140656
145.22/23.21	c (19,0) c PropsLitFullScans_winner : 693602671
145.22/23.21	c (19,0) c LitScanFractions_0 : 43827
145.22/23.21	c (19,0) c LitScanFractions_1 : 86242
145.22/23.21	c (19,0) c LitScanFractions_2 : 47638
145.22/23.21	c (19,0) c LitScanFractions_3 : 56334
145.22/23.21	c (19,0) c LitScanFractions_4 : 46920
145.22/23.21	c (19,0) c LitScanFractions_5 : 54852
145.22/23.21	c (19,0) c LitScanFractions_6 : 91289
145.22/23.21	c (19,0) c LitScanFractions_7 : 90562
145.22/23.21	c (19,0) c LitScanFractions_total : 517664
145.22/23.21	c (19,0) c LitScanFractions_winner : 47638
145.22/23.21	c (19,0) c DecisionLevel0_0 : 101
145.22/23.21	c (19,0) c DecisionLevel0_1 : 102
145.22/23.21	c (19,0) c DecisionLevel0_2 : 88
145.22/23.21	c (19,0) c DecisionLevel0_3 : 100
145.22/23.21	c (19,0) c DecisionLevel0_4 : 94
145.22/23.21	c (19,0) c DecisionLevel0_5 : 106
145.22/23.21	c (19,0) c DecisionLevel0_6 : 88
145.22/23.21	c (19,0) c DecisionLevel0_7 : 96
145.22/23.21	c (19,0) c DecisionLevel0_total : 775
145.22/23.21	c (19,0) c DecisionLevel0_winner : 88
145.22/23.21	c (19,0) c Periods_0 : 115
145.22/23.21	c (19,0) c Periods_1 : 115
145.22/23.21	c (19,0) c Periods_2 : 115
145.22/23.21	c (19,0) c Periods_3 : 117
145.22/23.21	c (19,0) c Periods_4 : 116
145.22/23.21	c (19,0) c Periods_5 : 115
145.22/23.21	c (19,0) c Periods_6 : 117
145.22/23.21	c (19,0) c Periods_7 : 115
145.22/23.21	c (19,0) c Periods_total : 925
145.22/23.21	c (19,0) c Periods_winner : 115
145.22/23.21	c (19,0) c Margin_0 : 20
145.22/23.21	c (19,0) c Margin_1 : 20
145.22/23.21	c (19,0) c Margin_2 : 20
145.22/23.21	c (19,0) c Margin_3 : 20
145.22/23.21	c (19,0) c Margin_4 : 20
145.22/23.21	c (19,0) c Margin_5 : 20
145.22/23.21	c (19,0) c Margin_6 : 20
145.22/23.21	c (19,0) c Margin_7 : 20
145.22/23.21	c (19,0) c Margin_total : 160
145.22/23.21	c (19,0) c Margin_winner : 20
145.22/23.21	c (19,0) c Exported_0 : 5436
145.22/23.21	c (19,0) c Exported_1 : 5398
145.22/23.21	c (19,0) c Exported_2 : 5599
145.22/23.21	c (19,0) c Exported_3 : 5773
145.22/23.21	c (19,0) c Exported_4 : 5508
145.22/23.21	c (19,0) c Exported_5 : 5217
145.22/23.21	c (19,0) c Exported_6 : 5826
145.22/23.21	c (19,0) c Exported_7 : 6106
145.22/23.21	c (19,0) c Exported_total : 44863
145.22/23.21	c (19,0) c Exported_winner : 5599
145.22/23.21	c (19,0) c Imported_0 : 33701
145.22/23.21	c (19,0) c Imported_1 : 33499
145.22/23.21	c (19,0) c Imported_2 : 34139
145.22/23.21	c (19,0) c Imported_3 : 34513
145.22/23.21	c (19,0) c Imported_4 : 34488
145.22/23.21	c (19,0) c Imported_5 : 34548
145.22/23.21	c (19,0) c Imported_6 : 34550
145.22/23.21	c (19,0) c Imported_7 : 33616
145.22/23.21	c (19,0) c Imported_total : 273054
145.22/23.21	c (19,0) c Imported_winner : 34139
145.22/23.21	c (19,0) c Good_0 : 70
145.22/23.21	c (19,0) c Good_1 : 68
145.22/23.21	c (19,0) c Good_2 : 70
145.22/23.21	c (19,0) c Good_3 : 78
145.22/23.21	c (19,0) c Good_4 : 78
145.22/23.21	c (19,0) c Good_5 : 67
145.22/23.21	c (19,0) c Good_6 : 78
145.22/23.21	c (19,0) c Good_7 : 71
145.22/23.21	c (19,0) c Good_total : 580
145.22/23.21	c (19,0) c Good_winner : 70
145.22/23.21	c (19,0) c Purge_0 : 33631
145.22/23.21	c (19,0) c Purge_1 : 33431
145.22/23.21	c (19,0) c Purge_2 : 34069
145.22/23.21	c (19,0) c Purge_3 : 34435
145.22/23.21	c (19,0) c Purge_4 : 34410
145.22/23.21	c (19,0) c Purge_5 : 34481
145.22/23.21	c (19,0) c Purge_6 : 34472
145.22/23.21	c (19,0) c Purge_7 : 33545
145.22/23.21	c (19,0) c Purge_total : 272474
145.22/23.21	c (19,0) c Purge_winner : 34069
145.22/23.21	c (19,0) c Promoted_0 : 3761
145.22/23.21	c (19,0) c Promoted_1 : 3663
145.22/23.21	c (19,0) c Promoted_2 : 3829
145.22/23.21	c (19,0) c Promoted_3 : 3686
145.22/23.21	c (19,0) c Promoted_4 : 3685
145.22/23.21	c (19,0) c Promoted_5 : 3558
145.22/23.21	c (19,0) c Promoted_6 : 3933
145.22/23.21	c (19,0) c Promoted_7 : 3629
145.22/23.21	c (19,0) c Promoted_total : 29744
145.22/23.21	c (19,0) c Promoted_winner : 3829
145.22/23.21	c (19,0) c Remove_Imp_0 : 11633
145.22/23.21	c (19,0) c Remove_Imp_1 : 10705
145.22/23.21	c (19,0) c Remove_Imp_2 : 11089
145.22/23.21	c (19,0) c Remove_Imp_3 : 9312
145.22/23.21	c (19,0) c Remove_Imp_4 : 9759
145.22/23.21	c (19,0) c Remove_Imp_5 : 10890
145.22/23.21	c (19,0) c Remove_Imp_6 : 8926
145.22/23.21	c (19,0) c Remove_Imp_7 : 10132
145.22/23.21	c (19,0) c Remove_Imp_total : 82446
145.22/23.21	c (19,0) c Remove_Imp_winner : 11089
145.22/23.21	c (19,0) c Blocked_Reuse_0 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_1 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_2 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_3 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_4 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_5 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_6 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_7 : 0
145.22/23.21	c (19,0) c Blocked_Reuse_total : 0
145.22/23.21	c (19,0) c Blocked_Reuse_winner : 0
145.22/23.21	c (19,0) c Unaries_0 : 2
145.22/23.21	c (19,0) c Unaries_1 : 0
145.22/23.21	c (19,0) c Unaries_2 : 0
145.22/23.21	c (19,0) c Unaries_3 : 0
145.22/23.21	c (19,0) c Unaries_4 : 0
145.22/23.21	c (19,0) c Unaries_5 : 1
145.22/23.21	c (19,0) c Unaries_6 : 0
145.22/23.21	c (19,0) c Unaries_7 : 0
145.22/23.21	c (19,0) c Unaries_total : 3
145.22/23.21	c (19,0) c Unaries_winner : 0
145.22/23.21	c (19,0) c Binaries_0 : 15
145.22/23.21	c (19,0) c Binaries_1 : 12
145.22/23.21	c (19,0) c Binaries_2 : 13
145.22/23.21	c (19,0) c Binaries_3 : 8
145.22/23.21	c (19,0) c Binaries_4 : 8
145.22/23.21	c (19,0) c Binaries_5 : 19
145.22/23.21	c (19,0) c Binaries_6 : 10
145.22/23.21	c (19,0) c Binaries_7 : 14
145.22/23.21	c (19,0) c Binaries_total : 99
145.22/23.21	c (19,0) c Binaries_winner : 13
145.22/23.21	c (19,0) c Glues_0 : 124
145.22/23.21	c (19,0) c Glues_1 : 98
145.22/23.21	c (19,0) c Glues_2 : 116
145.22/23.21	c (19,0) c Glues_3 : 99
145.22/23.21	c (19,0) c Glues_4 : 111
145.22/23.21	c (19,0) c Glues_5 : 108
145.22/23.21	c (19,0) c Glues_6 : 104
145.22/23.21	c (19,0) c Glues_7 : 94
145.22/23.21	c (19,0) c Glues_total : 854
145.22/23.21	c (19,0) c Glues_winner : 116
145.22/23.21	c (19,0) c RunningTime_0 : 17.407870
145.22/23.21	c (19,0) c RunningTime_1 : 17.266227
145.22/23.21	c (19,0) c RunningTime_2 : 16.952559
145.22/23.21	c (19,0) c RunningTime_3 : 16.974405
145.22/23.21	c (19,0) c RunningTime_4 : 17.041070
145.22/23.21	c (19,0) c RunningTime_5 : 17.104475
145.22/23.21	c (19,0) c RunningTime_6 : 16.958784
145.22/23.21	c (19,0) c RunningTime_7 : 17.001641
145.22/23.21	c (19,0) c RunningTime_total : 136.707032
145.22/23.21	c (19,0) c RunningTime_winner : 16.952559
145.22/23.21	c (19,0) c WaitingTime_0 : 0.000122
145.22/23.21	c (19,0) c WaitingTime_1 : 0.000162
145.22/23.21	c (19,0) c WaitingTime_2 : 0.000163
145.22/23.21	c (19,0) c WaitingTime_3 : 0.000270
145.22/23.21	c (19,0) c WaitingTime_4 : 0.000188
145.22/23.21	c (19,0) c WaitingTime_5 : 0.000162
145.22/23.21	c (19,0) c WaitingTime_6 : 0.000161
145.22/23.21	c (19,0) c WaitingTime_7 : 0.000165
145.22/23.21	c (19,0) c WaitingTime_total : 0.001393
145.22/23.21	c (19,0) c WaitingTime_winner : 0.000163
145.22/23.21	c (19,0) c ExchangingTime_0 : 0.016750
145.22/23.21	c (19,0) c ExchangingTime_1 : 0.027889
145.22/23.21	c (19,0) c ExchangingTime_2 : 0.024911
145.22/23.21	c (19,0) c ExchangingTime_3 : 0.024601
145.22/23.21	c (19,0) c ExchangingTime_4 : 0.015270
145.22/23.21	c (19,0) c ExchangingTime_5 : 0.014935
145.22/23.21	c (19,0) c ExchangingTime_6 : 0.023428
145.22/23.21	c (19,0) c ExchangingTime_7 : 0.026618
145.22/23.21	c (19,0) c ExchangingTime_total : 0.174403
145.22/23.21	c (19,0) c ExchangingTime_winner : 0.024911
145.22/23.21	c (19,0) c PeriodProcTime_0 : 0.001249
145.22/23.21	c (19,0) c PeriodProcTime_1 : 0.001219
145.22/23.21	c (19,0) c PeriodProcTime_2 : 0.001222
145.22/23.21	c (19,0) c PeriodProcTime_3 : 0.001193
145.22/23.21	c (19,0) c PeriodProcTime_4 : 0.001151
145.22/23.21	c (19,0) c PeriodProcTime_5 : 0.001162
145.22/23.21	c (19,0) c PeriodProcTime_6 : 0.001348
145.22/23.21	c (19,0) c PeriodProcTime_7 : 0.001385
145.22/23.21	c (19,0) c PeriodProcTime_total : 0.009929
145.22/23.21	c (19,0) c PeriodProcTime_winner : 0.001222
145.22/23.21	c (19,0) c SolvingTime_0 : 17.425991
145.22/23.21	c (19,0) c SolvingTime_1 : 17.295497
145.22/23.21	c (19,0) c SolvingTime_2 : 16.978855
145.22/23.21	c (19,0) c SolvingTime_3 : 17.000469
145.22/23.21	c (19,0) c SolvingTime_4 : 17.057680
145.22/23.21	c (19,0) c SolvingTime_5 : 17.120734
145.22/23.21	c (19,0) c SolvingTime_6 : 16.983722
145.22/23.21	c (19,0) c SolvingTime_7 : 17.029809
145.22/23.21	c (19,0) c SolvingTime_total : 136.892757
145.22/23.21	c (19,0) c SolvingTime_winner : 16.978855
145.22/23.21	c (19,0) c PropagationTime_0 : 14.799424
145.22/23.21	c (19,0) c PropagationTime_1 : 14.692824
145.22/23.21	c (19,0) c PropagationTime_2 : 14.340526
145.22/23.22	c (19,0) c PropagationTime_3 : 14.318847
145.22/23.22	c (19,0) c PropagationTime_4 : 14.383200
145.22/23.22	c (19,0) c PropagationTime_5 : 14.482137
145.22/23.22	c (19,0) c PropagationTime_6 : 14.363877
145.22/23.22	c (19,0) c PropagationTime_7 : 14.361634
145.22/23.22	c (19,0) c PropagationTime_total : 115.742470
145.22/23.22	c (19,0) c PropagationTime_winner : 14.340526
145.22/23.22	c (19,0) c AnalysisTime_0 : 2.069733
145.22/23.22	c (19,0) c AnalysisTime_1 : 2.068557
145.22/23.22	c (19,0) c AnalysisTime_2 : 2.074260
145.22/23.22	c (19,0) c AnalysisTime_3 : 2.144538
145.22/23.22	c (19,0) c AnalysisTime_4 : 2.127996
145.22/23.22	c (19,0) c AnalysisTime_5 : 2.093164
145.22/23.22	c (19,0) c AnalysisTime_6 : 2.074295
145.22/23.22	c (19,0) c AnalysisTime_7 : 2.125873
145.22/23.22	c (19,0) c AnalysisTime_total : 16.778415
145.22/23.22	c (19,0) c AnalysisTime_winner : 2.074260
145.22/23.22	c (19,0) c ReductionTime_0 : 0.013709
145.22/23.22	c (19,0) c ReductionTime_1 : 0.013473
145.22/23.22	c (19,0) c ReductionTime_2 : 0.013620
145.22/23.22	c (19,0) c ReductionTime_3 : 0.012966
145.22/23.22	c (19,0) c ReductionTime_4 : 0.013453
145.22/23.22	c (19,0) c ReductionTime_5 : 0.012981
145.22/23.22	c (19,0) c ReductionTime_6 : 0.012878
145.22/23.22	c (19,0) c ReductionTime_7 : 0.013045
145.22/23.22	c (19,0) c ReductionTime_total : 0.106125
145.22/23.22	c (19,0) c ReductionTime_winner : 0.013620
145.22/23.22	c (19,0) c SimplifyTime_0 : 0.036134
145.22/23.22	c (19,0) c SimplifyTime_1 : 0.035605
145.22/23.22	c (19,0) c SimplifyTime_2 : 0.029414
145.22/23.22	c (19,0) c SimplifyTime_3 : 0.029804
145.22/23.22	c (19,0) c SimplifyTime_4 : 0.030265
145.22/23.22	c (19,0) c SimplifyTime_5 : 0.029496
145.22/23.22	c (19,0) c SimplifyTime_6 : 0.032168
145.22/23.22	c (19,0) c SimplifyTime_7 : 0.033255
145.22/23.22	c (19,0) c SimplifyTime_total : 0.256141
145.22/23.22	c (19,0) c SimplifyTime_winner : 0.029414
145.22/23.22	c (19,0) c UsedRateTime_0 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_1 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_2 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_3 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_4 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_5 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_6 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_7 : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_total : 0.000000
145.22/23.22	c (19,0) c UsedRateTime_winner : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_0 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_1 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_2 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_3 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_4 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_5 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_6 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_7 : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_total : 0.000000
145.22/23.22	c (19,0) c OverlapRateTime_winner : 0.000000
145.22/23.22	c (19,0) c
145.22/23.22	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
145.22/23.22	c (19,0) c
145.22/23.22	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.22	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.22/23.22	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.22	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
145.22/23.22	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
145.22/23.22	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
145.22/23.22	c (19,0) c | Initial random_seed   |  874813261 | 1429655045 | 1164191408 | 1121076109 | 1818573023 | 1252952504 |  264496432 |  768685113 |
145.22/23.22	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
145.22/23.22	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
145.22/23.22	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
145.22/23.22	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
145.22/23.22	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
145.22/23.22	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
145.22/23.22	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
145.22/23.22	c (19,0) c | var_decay             |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |     0.8600 |
145.22/23.22	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
145.22/23.22	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
145.22/23.22	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
145.22/23.22	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.22/23.22	c (19,0) 
145.22/23.22	c (19,0) s SATISFIABLE
145.22/23.27	c (19,0) SatSolver.solve End
145.22/23.27	c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
145.22/23.27	c (19,0) Show results Begin
145.51/23.37	c (19,0) x[0] = 391
145.51/23.37	c (19,0) x[1] = 338
145.51/23.37	c (19,0) x[2] = 391
145.51/23.37	c (19,0) x[3] = 378
145.51/23.37	c (19,0) x[4] = 378
145.51/23.37	c (19,0) x[5] = 397
145.51/23.37	c (19,0) x[6] = 346
145.51/23.37	c (19,0) x[7] = 263
145.51/23.37	c (19,0) x[8] = 156
145.51/23.37	c (19,0) x[9] = 246
145.51/23.37	c (19,0) x[10] = 205
145.51/23.37	c (19,0) x[11] = 346
145.51/23.37	c (19,0) x[12] = 338
145.51/23.37	c (19,0) x[13] = 300
145.51/23.37	c (19,0) x[14] = 246
145.51/23.37	c (19,0) x[15] = 246
145.51/23.37	c (19,0) x[16] = 156
145.51/23.37	c (19,0) x[17] = 263
145.51/23.37	c (19,0) x[18] = 0
145.51/23.37	c (19,0) x[19] = 422
145.51/23.37	c (19,0) x[20] = 205
145.51/23.37	c (19,0) x[21] = 0
145.51/23.37	c (19,0) x[22] = 401
145.51/23.37	c (19,0) x[23] = 391
145.51/23.37	c (19,0) x[24] = 0
145.51/23.37	c (19,0) y[0] = 179
145.51/23.37	c (19,0) y[1] = 84
145.51/23.37	c (19,0) y[2] = 401
145.51/23.37	c (19,0) y[3] = 179
145.51/23.37	c (19,0) y[4] = 160
145.51/23.37	c (19,0) y[5] = 160
145.51/23.37	c (19,0) y[6] = 160
145.51/23.37	c (19,0) y[7] = 246
145.51/23.37	c (19,0) y[8] = 353
145.51/23.37	c (19,0) y[9] = 192
145.51/23.37	c (19,0) y[10] = 353
145.51/23.37	c (19,0) y[11] = 84
145.51/23.37	c (19,0) y[12] = 0
145.51/23.37	c (19,0) y[13] = 192
145.51/23.37	c (19,0) y[14] = 0
145.51/23.37	c (19,0) y[15] = 92
145.51/23.37	c (19,0) y[16] = 246
145.51/23.37	c (19,0) y[17] = 283
145.51/23.37	c (19,0) y[18] = 246
145.51/23.37	c (19,0) y[19] = 0
145.51/23.37	c (19,0) y[20] = 411
145.51/23.37	c (19,0) y[21] = 402
145.51/23.37	c (19,0) y[22] = 401
145.51/23.37	c (19,0) y[23] = 185
145.51/23.37	c (19,0) y[24] = 0
145.51/23.37	s SATISFIABLE
145.51/23.37	v <instantiation>
145.51/23.37	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>
145.51/23.37	v     <values>391 338 391 378 378 397 346 263 156 246 205 346 338 300 246 246 156 263 0 422 205 0 401 391 0 179 84 401 179 160 160 160 246 353 192 353 84 0 192 0 92 246 283 246 0 411 402 401 185 0</values>
145.51/23.37	v </instantiation>
145.51/23.37	c (19,0) Show results End
145.51/23.37	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
145.51/23.37	c (19,0) 19,19,STOP-AFTER(ALL)
145.51/23.37	c END-Prog: Sat Sep 14 04:50:05 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 (15071 MiB free)
  memory of node 1: 16384 MiB (15490 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=5391, runsolver pid=5388

[startup+0.100118 s]*
/proc/loadavg: 2.46 1.39 2.18 3/211 5413
/proc/meminfo: memFree=31202492/32770624 swapFree=66919232/67108860
[pid=5391] ppid=5388 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5391/stat : 5391 (scop.sh) S 5388 5391 4990 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418880259 115843072 349 33554432000 4194304 5098028 140736870782736 140736870779992 139649494991484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26423296 140736870785828 140736870786156 140736870786156 140736870789069 0
/proc/5391/statm: 28282 349 296 221 0 87 0
[pid=5394] ppid=5391 vsize=27314120 memory=104236 CPUtime=0.11 cores=0-7
/proc/5394/stat : 5394 (java) S 5391 5391 4990 0 -1 1077944320 6151 0 0 0 9 2 0 0 20 0 20 0 418880259 27969658880 26059 33554432000 4194304 4196468 140733990732336 140733990714880 139839678484215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
/proc/5394/statm: 6828530 26059 2801 1 0 6790935 0
[pid=5394/tid=5395] ppid=5391 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/5394/task/5395/stat : 5395 (java) R 5391 5391 4990 0 -1 4202560 4241 0 0 0 7 1 0 0 20 0 20 0 418880259 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839650314280 139839662564702 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5396] ppid=5391 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5394/task/5396/stat : 5396 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839682726800 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5397] ppid=5391 vsize=27314120 memory=139867307329152 CPUtime=0 cores=0-7
/proc/5394/task/5397/stat : 5397 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839100631824 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5398] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5398/stat : 5398 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839099579536 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5399] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5399/stat : 5399 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839098526736 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5400] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5400/stat : 5400 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839097473424 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5401] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5401/stat : 5401 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839096420624 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5402] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5402/stat : 5402 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839095368336 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5403] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5403/stat : 5403 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 26059 33554432000 4194304 4196468 140733990732336 139839094315536 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5404] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5404/stat : 5404 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880263 27969658880 26059 33554432000 4194304 4196468 140733990732336 139838803913328 139839678495362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5405] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5405/stat : 5405 (java) S 5391 5391 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418880264 27969658880 26059 33554432000 4194304 4196468 140733990732336 139837558482208 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5406] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5406/stat : 5406 (java) S 5391 5391 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418880264 27969658880 26059 33554432000 4194304 4196468 140733990732336 139837424260720 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5407] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5407/stat : 5407 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 26059 33554432000 4194304 4196468 140733990732336 139837049756240 139839678502811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5408] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5408/stat : 5408 (java) S 5391 5391 4990 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 26059 33554432000 4194304 4196468 140733990732336 139838802860144 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5409] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5409/stat : 5409 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 26059 33554432000 4194304 4196468 140733990732336 139838801807344 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5410] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5410/stat : 5410 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 26059 33554432000 4194304 4196468 140733990732336 139838800755056 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5411] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5411/stat : 5411 (java) S 5391 5391 4990 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 26059 33554432000 4194304 4196468 140733990732336 139838799702256 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5412] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5412/stat : 5412 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880267 27969658880 26059 33554432000 4194304 4196468 140733990732336 139836551850848 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5413] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5413/stat : 5413 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880267 27969658880 26059 33554432000 4194304 4196468 140733990732336 139838798650160 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105632 KiB

[startup+0.210059 s]*
/proc/loadavg: 2.46 1.39 2.18 2/211 5413
/proc/meminfo: memFree=31184732/32770624 swapFree=66919232/67108860
[pid=5391] ppid=5388 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5391/stat : 5391 (scop.sh) S 5388 5391 4990 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418880259 115843072 349 33554432000 4194304 5098028 140736870782736 140736870779992 139649494991484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26423296 140736870785828 140736870786156 140736870786156 140736870789069 0
/proc/5391/statm: 28282 349 296 221 0 87 0
[pid=5394] ppid=5391 vsize=27314120 memory=121072 CPUtime=0.24 cores=0-7
/proc/5394/stat : 5394 (java) S 5391 5391 4990 0 -1 1077944320 11168 0 0 0 21 3 0 0 20 0 20 0 418880259 27969658880 30268 33554432000 4194304 4196468 140733990732336 140733990714880 139839678484215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
/proc/5394/statm: 6828530 30268 2952 1 0 6790935 0
[pid=5394/tid=5395] ppid=5391 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5394/task/5395/stat : 5395 (java) R 5391 5391 4990 0 -1 4202560 8843 0 0 0 17 3 0 0 20 0 20 0 418880259 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839650283600 139839663649803 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5396] ppid=5391 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/5394/task/5396/stat : 5396 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839682726800 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5397] ppid=5391 vsize=27314120 memory=139867307343688 CPUtime=0 cores=0-7
/proc/5394/task/5397/stat : 5397 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839100631824 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5398] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5398/stat : 5398 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839099579536 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5399] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5399/stat : 5399 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839098526736 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5400] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5400/stat : 5400 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839097473424 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5401] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5401/stat : 5401 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839096420624 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5402] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5402/stat : 5402 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839095368336 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5403] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5403/stat : 5403 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 30268 33554432000 4194304 4196468 140733990732336 139839094315536 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5404] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5404/stat : 5404 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880263 27969658880 30268 33554432000 4194304 4196468 140733990732336 139838803913328 139839678495362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5405] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5405/stat : 5405 (java) S 5391 5391 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418880264 27969658880 30268 33554432000 4194304 4196468 140733990732336 139837558482208 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5406] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5406/stat : 5406 (java) S 5391 5391 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418880264 27969658880 30268 33554432000 4194304 4196468 140733990732336 139837424260720 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5407] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5407/stat : 5407 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 30268 33554432000 4194304 4196468 140733990732336 139837049756240 139839678502811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5408] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5408/stat : 5408 (java) S 5391 5391 4990 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 30268 33554432000 4194304 4196468 140733990732336 139838802860144 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5409] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5409/stat : 5409 (java) S 5391 5391 4990 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 30268 33554432000 4194304 4196468 140733990732336 139838801807344 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5410] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5410/stat : 5410 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 30268 33554432000 4194304 4196468 140733990732336 139838800755056 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5411] ppid=5391 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5394/task/5411/stat : 5411 (java) S 5391 5391 4990 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 20 0 418880266 27969658880 30268 33554432000 4194304 4196468 140733990732336 139838799702256 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5412] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5412/stat : 5412 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880267 27969658880 30268 33554432000 4194304 4196468 140733990732336 139836551850848 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5413] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5413/stat : 5413 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880267 27969658880 30268 33554432000 4194304 4196468 140733990732336 139838798650160 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122468 KiB

[startup+0.309642 s]*
/proc/loadavg: 2.46 1.39 2.18 2/211 5413
/proc/meminfo: memFree=31180452/32770624 swapFree=66919232/67108860
[pid=5391] ppid=5388 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5391/stat : 5391 (scop.sh) S 5388 5391 4990 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418880259 115843072 349 33554432000 4194304 5098028 140736870782736 140736870779992 139649494991484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26423296 140736870785828 140736870786156 140736870786156 140736870789069 0
/proc/5391/statm: 28282 349 296 221 0 87 0
[pid=5394] ppid=5391 vsize=27314120 memory=125696 CPUtime=0.42 cores=0-7
/proc/5394/stat : 5394 (java) S 5391 5391 4990 0 -1 1077944320 11805 0 0 0 38 4 0 0 20 0 20 0 418880259 27969658880 31424 33554432000 4194304 4196468 140733990732336 140733990714880 139839678484215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
/proc/5394/statm: 6828530 31424 3027 1 0 6790935 0
[pid=5394/tid=5395] ppid=5391 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5394/task/5395/stat : 5395 (java) R 5391 5391 4990 0 -1 4202560 9286 0 0 0 26 3 0 0 20 0 20 0 418880259 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839650296928 139839661671018 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5396] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5396/stat : 5396 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839682726800 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5397] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5397/stat : 5397 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839100631824 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5398] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5398/stat : 5398 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839099579536 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5399] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5399/stat : 5399 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839098526736 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5400] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5400/stat : 5400 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839097473424 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5401] ppid=5391 vsize=27314120 memory=139867153590959 CPUtime=0 cores=0-7
/proc/5394/task/5401/stat : 5401 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839096420624 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5402] ppid=5391 vsize=27314120 memory=139867153593264 CPUtime=0 cores=0-7
/proc/5394/task/5402/stat : 5402 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839095368336 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5403] ppid=5391 vsize=27314120 memory=139867153595568 CPUtime=0 cores=0-7
/proc/5394/task/5403/stat : 5403 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27969658880 31424 33554432000 4194304 4196468 140733990732336 139839094315536 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5404] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5404/stat : 5404 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880263 27969658880 31424 33554432000 4194304 4196468 140733990732336 139838803913328 139839678495362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5405] ppid=5391 vsize=27314120 memory=279734307205008 CPUtime=0 cores=0-7
/proc/5394/task/5405/stat : 5405 (java) S 5391 5391 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418880264 27969658880 31424 33554432000 4194304 4196468 140733990732336 139837558482208 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5406] ppid=5391 vsize=27314120 memory=279734307202704 CPUtime=0 cores=0-7
/proc/5394/task/5406/stat : 5406 (java) S 5391 5391 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418880264 27969658880 31424 33554432000 4194304 4196468 140733990732336 139837424260720 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5407] ppid=5391 vsize=27314120 memory=279734307209616 CPUtime=0 cores=0-7
/proc/5394/task/5407/stat : 5407 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 31424 33554432000 4194304 4196468 140733990732336 139837049756240 139839678502811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5408] ppid=5391 vsize=27314120 memory=279734307150896 CPUtime=0.01 cores=0-7
/proc/5394/task/5408/stat : 5408 (java) S 5391 5391 4990 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 418880266 27969658880 31424 33554432000 4194304 4196468 140733990732336 139838802860144 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5409] ppid=5391 vsize=27314120 memory=279734307223440 CPUtime=0.02 cores=0-7
/proc/5394/task/5409/stat : 5409 (java) R 5391 5391 4990 0 -1 4202560 183 0 0 0 2 0 0 0 20 0 20 0 418880266 27969658880 31424 33554432000 4194304 4196468 140733990732336 139838801807344 139839657730047 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5410] ppid=5391 vsize=27314120 memory=279734307230352 CPUtime=0 cores=0-7
/proc/5394/task/5410/stat : 5410 (java) S 5391 5391 4990 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 418880266 27969658880 31424 33554432000 4194304 4196468 140733990732336 139838800755056 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5411] ppid=5391 vsize=27314120 memory=279734307228048 CPUtime=0.07 cores=0-7
/proc/5394/task/5411/stat : 5411 (java) S 5391 5391 4990 0 -1 1077944384 541 0 0 0 7 0 0 0 20 0 20 0 418880266 27969658880 31424 33554432000 4194304 4196468 140733990732336 139838799702256 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5412] ppid=5391 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5412/stat : 5412 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418880267 27969658880 31424 33554432000 4194304 4196468 140733990732336 139836551850848 139839678494421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5413] ppid=5391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5394/task/5413/stat : 5413 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880267 27969658880 31424 33554432000 4194304 4196468 140733990732336 139838798650160 139839678495362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127092 KiB

[startup+0.700974 s]
/proc/loadavg: 2.46 1.39 2.18 2/211 5413
/proc/meminfo: memFree=31158008/32770624 swapFree=66919232/67108860
[pid=5391] ppid=5388 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5391/stat : 5391 (scop.sh) S 5388 5391 4990 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418880259 115843072 349 33554432000 4194304 5098028 140736870782736 140736870779992 139649494991484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26423296 140736870785828 140736870786156 140736870786156 140736870789069 0
/proc/5391/statm: 28282 349 296 221 0 87 0
[pid=5394] ppid=5391 vsize=27322516 memory=163896 CPUtime=1.01 cores=0-7
/proc/5394/stat : 5394 (java) S 5391 5391 4990 0 -1 1077944320 20109 0 0 0 93 8 0 0 20 0 20 0 418880259 27978256384 40974 33554432000 4194304 4196468 140733990732336 140733990714880 139839678484215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
/proc/5394/statm: 6830629 40974 3180 1 0 6791959 0
[pid=5394/tid=5395] ppid=5391 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/5394/task/5395/stat : 5395 (java) R 5391 5391 4990 0 -1 4202560 17010 0 0 0 61 6 0 0 20 0 20 0 418880259 27978256384 40974 33554432000 4194304 4196468 140733990732336 139839650315952 139839662564702 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5396] ppid=5391 vsize=27322516 memory=139867153802096 CPUtime=0 cores=0-7
/proc/5394/task/5396/stat : 5396 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418880262 27978256384 40974 33554432000 4194304 4196468 140733990732336 139839682726800 139839678494421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5397] ppid=5391 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/5394/task/5397/stat : 5397 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27978256384 40974 33554432000 4194304 4196468 140733990732336 139839100631824 139839678494421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0
[pid=5394/tid=5398] ppid=5391 vsize=27322516 memory=1560 CPUtime=0 cores=0-7
/proc/5394/task/5398/stat : 5398 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418880262 27978256384 40974 33554432000 4194304 4196468 140733990732336 139839099579536 139839678494421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140733990740715 140733990741142 140733990741142 140733990744015 0

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

/proc/5414/task/5419/stat : 5419 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868285594128 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5420] ppid=5391 vsize=8414124 memory=7666059408747490161 CPUtime=0 cores=0-7
/proc/5414/task/5420/stat : 5420 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868284541840 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5421] ppid=5391 vsize=8414124 memory=7738117019965091953 CPUtime=0 cores=0-7
/proc/5414/task/5421/stat : 5421 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868283489040 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5422] ppid=5391 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/5414/task/5422/stat : 5422 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868282436752 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5423] ppid=5391 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5414/task/5423/stat : 5423 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868281383952 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5424] ppid=5391 vsize=8414124 memory=7380395279413499758 CPUtime=0 cores=0-7
/proc/5414/task/5424/stat : 5424 (java) S 5391 5391 4990 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418880639 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868231788656 139868802800258 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5425] ppid=5391 vsize=8414124 memory=7014751519583656293 CPUtime=0 cores=0-7
/proc/5414/task/5425/stat : 5425 (java) S 5391 5391 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418880639 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867354817312 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5426] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5426/stat : 5426 (java) S 5391 5391 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418880640 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867220595824 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5427] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5427/stat : 5427 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139866846091344 139868802807707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5428] ppid=5391 vsize=8414124 memory=279734309392032 CPUtime=0.03 cores=0-7
/proc/5414/task/5428/stat : 5428 (java) S 5391 5391 4990 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868230736496 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5429] ppid=5391 vsize=8414124 memory=139867154712880 CPUtime=0.05 cores=0-7
/proc/5414/task/5429/stat : 5429 (java) S 5391 5391 4990 0 -1 1077944384 441 0 0 0 5 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868229683696 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5430] ppid=5391 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/5414/task/5430/stat : 5430 (java) S 5391 5391 4990 0 -1 1077944384 252 0 0 0 7 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868228631408 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5431] ppid=5391 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/5414/task/5431/stat : 5431 (java) S 5391 5391 4990 0 -1 1077944384 475 0 0 0 19 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867958799088 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5432] ppid=5391 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/5414/task/5432/stat : 5432 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139866348185952 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5433] ppid=5391 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/5414/task/5433/stat : 5433 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 1 0 0 20 0 24 0 418880643 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867957745968 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5435] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5435/stat : 5435 (java) S 5391 5391 4990 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418880725 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868227577152 139868802813721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5437] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5437/stat : 5437 (java) S 5391 5391 4990 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418880725 8616062976 29825 33554432000 4194304 4196468 140728851473088 139865677086608 139868802811037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5438] ppid=5391 vsize=8414124 memory=279734306996464 CPUtime=0 cores=0-7
/proc/5414/task/5438/stat : 5438 (java) S 5391 5391 4990 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418880726 8616062976 29825 33554432000 4194304 4196468 140728851473088 139865945521936 139868802811037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5439] ppid=5391 vsize=8414124 memory=279734306996464 CPUtime=0 cores=0-7
/proc/5414/task/5439/stat : 5439 (java) S 5391 5391 4990 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418880728 8616062976 29825 33554432000 4194304 4196468 140728851473088 139865408659248 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
Current children cumulated CPU time: 144.42 s
Current children cumulated vsize: 9692144 KiB
Current children cumulated memory: 659836 KiB

[startup+23.2012 s]
/proc/loadavg: 3.82 1.76 2.28 3/220 5455
/proc/meminfo: memFree=30638980/32770624 swapFree=66919240/67108860
[pid=5391] ppid=5388 vsize=113128 memory=1476 CPUtime=6.82 cores=0-7
/proc/5391/stat : 5391 (scop.sh) S 5388 5391 4990 0 -1 4202496 583 27508 0 0 0 0 639 43 20 0 1 0 418880259 115843072 369 33554432000 4194304 5098028 140736870782736 140736870779480 139649494991484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26423296 140736870785828 140736870786156 140736870786156 140736870789069 0
/proc/5391/statm: 28282 369 311 221 0 87 0
[pid=5414] ppid=5391 vsize=8414124 memory=119300 CPUtime=1.16 cores=0-7
/proc/5414/stat : 5414 (java) S 5391 5391 4990 0 -1 1077944320 20369 0 0 0 110 6 0 0 20 0 24 0 418880636 8616062976 29825 33554432000 4194304 4196468 140728851473088 140728851455632 139868802789111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
/proc/5414/statm: 2103531 29825 3182 1 0 2064875 0
[pid=5434] ppid=5414 vsize=1176568 memory=539340 CPUtime=137.24 cores=0-7
/proc/5434/stat : 5434 (manyglucose-4.1) S 5414 5391 4990 0 -1 1077944320 344930 0 0 0 13647 77 0 0 20 0 2 0 418880725 1204805632 134835 33554432000 4194304 4454172 140737486646864 140737486645248 139910563954423 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 24530944 140737486652266 140737486652464 140737486652464 140737486655418 0
/proc/5434/statm: 294142 134835 420 64 0 289810 0
[pid=5434/tid=5440] ppid=5414 vsize=1176568 memory=536912 CPUtime=17.3 cores=0-7
/proc/5434/task/5440/stat : 5440 (manyglucose-4.1) R 5414 5391 4990 0 -1 4202560 39825 0 0 0 1718 12 0 0 20 0 2 0 418880836 1204805632 134835 33554432000 4194304 4454172 140737486646864 139910536396168 4350933 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 24530944 140737486652266 140737486652464 140737486652464 140737486655418 0
[pid=5414/tid=5415] ppid=5391 vsize=8414124 memory=1172 CPUtime=0.75 cores=0-7
/proc/5414/task/5415/stat : 5415 (java) S 5391 5391 4990 0 -1 1077944384 17395 0 0 0 71 4 0 0 20 0 24 0 418880636 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868774629280 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5416] ppid=5391 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/5414/task/5416/stat : 5416 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868807031184 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5417] ppid=5391 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/5414/task/5417/stat : 5417 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868631673104 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5418] ppid=5391 vsize=8414124 memory=87 CPUtime=0 cores=0-7
/proc/5414/task/5418/stat : 5418 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868286646928 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5419] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5419/stat : 5419 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868285594128 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5420] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5420/stat : 5420 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868284541840 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5421] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5421/stat : 5421 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868283489040 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5422] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5422/stat : 5422 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868282436752 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5423] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5423/stat : 5423 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418880637 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868281383952 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5424] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5424/stat : 5424 (java) S 5391 5391 4990 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418880639 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868231788656 139868802800258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5425] ppid=5391 vsize=8414124 memory=13628 CPUtime=0 cores=0-7
/proc/5414/task/5425/stat : 5425 (java) S 5391 5391 4990 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418880639 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867354817312 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5426] ppid=5391 vsize=8414124 memory=1221 CPUtime=0 cores=0-7
/proc/5414/task/5426/stat : 5426 (java) S 5391 5391 4990 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418880640 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867220595824 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5427] ppid=5391 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5414/task/5427/stat : 5427 (java) S 5391 5391 4990 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139866846091344 139868802807707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5428] ppid=5391 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/5414/task/5428/stat : 5428 (java) S 5391 5391 4990 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868230736496 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5429] ppid=5391 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/5414/task/5429/stat : 5429 (java) S 5391 5391 4990 0 -1 1077944384 441 0 0 0 5 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868229683696 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5430] ppid=5391 vsize=8414124 memory=119300 CPUtime=0.07 cores=0-7
/proc/5414/task/5430/stat : 5430 (java) S 5391 5391 4990 0 -1 1077944384 252 0 0 0 7 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868228631408 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5431] ppid=5391 vsize=8414124 memory=396888 CPUtime=0.19 cores=0-7
/proc/5414/task/5431/stat : 5431 (java) S 5391 5391 4990 0 -1 1077944384 475 0 0 0 19 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867958799088 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5432] ppid=5391 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/5414/task/5432/stat : 5432 (java) S 5391 5391 4990 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418880642 8616062976 29825 33554432000 4194304 4196468 140728851473088 139866348185952 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5433] ppid=5391 vsize=8414124 memory=1000 CPUtime=0.02 cores=0-7
/proc/5414/task/5433/stat : 5433 (java) S 5391 5391 4990 0 -1 1077944384 2 0 0 0 1 1 0 0 20 0 24 0 418880643 8616062976 29825 33554432000 4194304 4196468 140728851473088 139867957745968 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5435] ppid=5391 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/5414/task/5435/stat : 5435 (java) S 5391 5391 4990 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418880725 8616062976 29825 33554432000 4194304 4196468 140728851473088 139868227577152 139868802813721 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5437] ppid=5391 vsize=8414124 memory=1172 CPUtime=0 cores=0-7
/proc/5414/task/5437/stat : 5437 (java) S 5391 5391 4990 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418880725 8616062976 29825 33554432000 4194304 4196468 140728851473088 139865677086608 139868802811037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5438] ppid=5391 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/5414/task/5438/stat : 5438 (java) S 5391 5391 4990 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418880726 8616062976 29825 33554432000 4194304 4196468 140728851473088 139865945521936 139868802811037 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5439] ppid=5391 vsize=8414124 memory=14072 CPUtime=0 cores=0-7
/proc/5414/task/5439/stat : 5439 (java) S 5391 5391 4990 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418880728 8616062976 29825 33554432000 4194304 4196468 140728851473088 139865408659248 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
Current children cumulated CPU time: 145.22 s
Current children cumulated vsize: 9703820 KiB
Current children cumulated memory: 660116 KiB

[startup+23.3012 s]
/proc/loadavg: 3.82 1.76 2.28 3/220 5455
/proc/meminfo: memFree=30638980/32770624 swapFree=66919240/67108860
[pid=5391] ppid=5388 vsize=113128 memory=1476 CPUtime=6.82 cores=0-7
/proc/5391/stat : 5391 (scop.sh) S 5388 5391 4990 0 -1 4202496 583 27508 0 0 0 0 639 43 20 0 1 0 418880259 115843072 369 33554432000 4194304 5098028 140736870782736 140736870779480 139649494991484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26423296 140736870785828 140736870786156 140736870786156 140736870789069 0
/proc/5391/statm: 28282 369 311 221 0 87 0
[pid=5414] ppid=5391 vsize=8283048 memory=128112 CPUtime=138.69 cores=0-7
/proc/5414/stat : 5414 (java) S 5391 5391 4990 0 -1 1077944320 22104 344947 0 0 134 8 13648 79 20 0 22 0 418880636 8481841152 32028 33554432000 4194304 4196468 140728851473088 140728851455632 139868802789111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
/proc/5414/statm: 2070762 32028 3220 1 0 2032106 0
[pid=5414/tid=5415] ppid=5391 vsize=8283048 memory=528 CPUtime=138.05 cores=0-7
/proc/5414/task/5415/stat : 5415 (java) R 5391 5391 4990 0 -1 4202560 17551 344947 0 0 74 4 13648 79 20 0 22 0 418880636 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868774629104 139868802801046 0 4 2 25189581 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5416] ppid=5391 vsize=8283048 memory=1560 CPUtime=137.27 cores=0-7
/proc/5414/task/5416/stat : 5416 (java) S 5391 5391 4990 0 -1 1077944384 2 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868807031184 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5417] ppid=5391 vsize=8283048 memory=932 CPUtime=137.27 cores=0-7
/proc/5414/task/5417/stat : 5417 (java) S 5391 5391 4990 0 -1 1077944384 3 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868631673104 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5418] ppid=5391 vsize=8283048 memory=1476 CPUtime=137.27 cores=0-7
/proc/5414/task/5418/stat : 5418 (java) S 5391 5391 4990 0 -1 1077944384 2 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868286646928 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5419] ppid=5391 vsize=8283048 memory=46712064322169 CPUtime=137.27 cores=0-7
/proc/5414/task/5419/stat : 5419 (java) S 5391 5391 4990 0 -1 1077944384 1 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868285594128 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5420] ppid=5391 vsize=8283048 memory=-7812736537705041862 CPUtime=137.27 cores=0-7
/proc/5414/task/5420/stat : 5420 (java) S 5391 5391 4990 0 -1 1077944384 1 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868284541840 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5421] ppid=5391 vsize=8283048 memory=4004 CPUtime=137.27 cores=0-7
/proc/5414/task/5421/stat : 5421 (java) S 5391 5391 4990 0 -1 1077944384 2 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868283489040 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5422] ppid=5391 vsize=8283048 memory=2828 CPUtime=137.27 cores=0-7
/proc/5414/task/5422/stat : 5422 (java) S 5391 5391 4990 0 -1 1077944384 1 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868282436752 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5423] ppid=5391 vsize=8283048 memory=1000 CPUtime=137.27 cores=0-7
/proc/5414/task/5423/stat : 5423 (java) S 5391 5391 4990 0 -1 1077944384 2 344947 0 0 0 0 13648 79 20 0 22 0 418880637 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868281383952 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5424] ppid=5391 vsize=8283048 memory=-4075877051373423740 CPUtime=137.27 cores=0-7
/proc/5414/task/5424/stat : 5424 (java) S 5391 5391 4990 0 -1 1077944384 5 344947 0 0 0 0 13648 79 20 0 22 0 418880639 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868231788656 139868802800258 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5425] ppid=5391 vsize=8283048 memory=7667194096123668323 CPUtime=137.27 cores=0-7
/proc/5414/task/5425/stat : 5425 (java) S 5391 5391 4990 0 -1 1077944384 13 344947 0 0 0 0 13648 79 20 0 22 0 418880639 8481841152 32028 33554432000 4194304 4196468 140728851473088 139867354817312 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5426] ppid=5391 vsize=8283048 memory=7523107478184158290 CPUtime=137.27 cores=0-7
/proc/5414/task/5426/stat : 5426 (java) S 5391 5391 4990 0 -1 1077944384 21 344947 0 0 0 0 13648 79 20 0 22 0 418880640 8481841152 32028 33554432000 4194304 4196468 140728851473088 139867220595824 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5427] ppid=5391 vsize=8283048 memory=139867153792753 CPUtime=137.27 cores=0-7
/proc/5414/task/5427/stat : 5427 (java) S 5391 5391 4990 0 -1 1077944384 1 344947 0 0 0 0 13648 79 20 0 22 0 418880642 8481841152 32028 33554432000 4194304 4196468 140728851473088 139866846091344 139868802807707 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5428] ppid=5391 vsize=8283048 memory=-7816663703405220396 CPUtime=137.34 cores=0-7
/proc/5414/task/5428/stat : 5428 (java) S 5391 5391 4990 0 -1 1077944384 682 344947 0 0 7 0 13648 79 20 0 22 0 418880642 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868230736496 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5429] ppid=5391 vsize=8283048 memory=139867153931266 CPUtime=137.36 cores=0-7
/proc/5414/task/5429/stat : 5429 (java) R 5391 5391 4990 0 -1 1077944384 580 344947 0 0 9 0 13648 79 20 0 22 0 418880642 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868229683696 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5430] ppid=5391 vsize=8283048 memory=988 CPUtime=137.37 cores=0-7
/proc/5414/task/5430/stat : 5430 (java) S 5391 5391 4990 0 -1 1077944384 329 344947 0 0 10 0 13648 79 20 0 22 0 418880642 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868228631408 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5431] ppid=5391 vsize=8283048 memory=2012 CPUtime=137.51 cores=0-7
/proc/5414/task/5431/stat : 5431 (java) S 5391 5391 4990 0 -1 1077944384 987 344947 0 0 24 0 13648 79 20 0 22 0 418880642 8481841152 32028 33554432000 4194304 4196468 140728851473088 139867958799088 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5432] ppid=5391 vsize=8283048 memory=1324 CPUtime=137.27 cores=0-7
/proc/5414/task/5432/stat : 5432 (java) S 5391 5391 4990 0 -1 1077944384 3 344947 0 0 0 0 13648 79 20 0 22 0 418880642 8481841152 32028 33554432000 4194304 4196468 140728851473088 139866348185952 139868802799317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5433] ppid=5391 vsize=8283048 memory=1476 CPUtime=137.29 cores=0-7
/proc/5414/task/5433/stat : 5433 (java) S 5391 5391 4990 0 -1 1077944384 2 344947 0 0 1 1 13648 79 20 0 22 0 418880643 8481841152 32028 33554432000 4194304 4196468 140728851473088 139867957745968 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5435] ppid=5391 vsize=8283048 memory=279734307216656 CPUtime=137.27 cores=0-7
/proc/5414/task/5435/stat : 5435 (java) S 5391 5391 4990 0 -1 1077944384 25 344947 0 0 0 0 13648 79 20 0 22 0 418880725 8481841152 32028 33554432000 4194304 4196468 140728851473088 139868227576336 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
[pid=5414/tid=5439] ppid=5391 vsize=8283048 memory=279734307185696 CPUtime=137.27 cores=0-7
/proc/5414/task/5439/stat : 5439 (java) S 5391 5391 4990 0 -1 1077944384 11 344947 0 0 0 0 13648 79 20 0 22 0 418880728 8481841152 32028 33554432000 4194304 4196468 140728851473088 139865408661040 139868802800258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26546176 140728851477496 140728851477654 140728851477654 140728851480527 0
Current children cumulated CPU time: 145.51 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129588 KiB

Child status: 0
Real time (s): 23.3859
CPU time (s): 145.772
CPU user time (s): 144.45
CPU system time (s): 1.32277
CPU usage (%): 623.333
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2021812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.45
system time used= 1.32277
maximum resident set size= 2023716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19516
involuntary context switches= 1681


# summary of solver processes directly reported to runsolver:
#   pid: 5391
#   total CPU time (s): 145.772
#   total CPU user time (s): 144.45
#   total CPU system time (s): 1.32277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232954 second user time and 0.35642 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 04:49:42
IDJOB=4392574
IDBENCH=127787
IDSOLVER=2839
FILE ID=node141/4392574-1568429423
RUNJOBID= node141-1568427839-5017
PBS_JOBID= 21702301
Free space on /tmp= 58540 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-199.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392574-1568429423/watcher-4392574-1568429423 -o /tmp/evaluation-result-4392574-1568429423/solver-4392574-1568429423 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568427839-5017 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392574-1568429423.xml

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

MD5SUM BENCH= 6632ff8405f31e2dfb2c2f75c1e4c1cc
RANDOM SEED=818044948

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31296232 kB
MemAvailable:   31840920 kB
Buffers:          178240 kB
Cached:           656068 kB
SwapCached:        80380 kB
Active:           438028 kB
Inactive:         479524 kB
Active(anon):       9460 kB
Inactive(anon):   106124 kB
Active(file):     428568 kB
Inactive(file):   373400 kB
Unevictable:      109464 kB
Mlocked:          109464 kB
SwapTotal:      67108860 kB
SwapFree:       66919232 kB
Dirty:             20508 kB
Writeback:             0 kB
AnonPages:        112716 kB
Mapped:            35860 kB
Shmem:             23264 kB
Slab:             147144 kB
SReclaimable:     117112 kB
SUnreclaim:        30032 kB
KernelStack:        3760 kB
PageTables:         6336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498564 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:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58520 MiB
End job on node141 at 2019-09-14 04:50:05