Trace number 4405140

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10695-serial-file.bin HOME/instance-4405140-1569337860.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 17:10:19 CEST 2019
0.66/0.57	c PID: 10698
0.66/0.57	c IP: 172.20.3.140
0.66/0.57	c HOST: node140.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.38/0.92	c (0,0) Parsing End
1.38/0.93	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 556
1.38/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.93	c (0,0) Constraint Name Generate Begin
1.38/0.93	c (0,0) Ctr:HOME/instance-4405140-1569337860.xml,Le:NoOverlap:Num:Var
1.38/0.93	c (0,0) Constraint Name Generate End
1.38/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.93	c (0,0) CSP to CSPinCNF Begin
1.54/1.01	c (0,0) translated 6 (10%) constraints
1.54/1.02	c (0,0) translated 11 (20%) constraints
1.54/1.02	c (0,0) translated 16 (30%) constraints
1.54/1.02	c (0,0) translated 22 (40%) constraints
1.54/1.03	c (0,0) translated 27 (50%) constraints
1.54/1.03	c (0,0) translated 32 (60%) constraints
1.54/1.03	c (0,0) translated 38 (70%) constraints
1.54/1.03	c (0,0) translated 43 (80%) constraints
1.54/1.04	c (0,0) translated 48 (90%) constraints
2.42/1.30	c (0,0) translated 53 (100%) constraints
2.42/1.30	c (0,0) ===========================================
2.42/1.30	c (0,0) Order
2.42/1.30	c (0,0) ===========================================
2.42/1.31	c (0,0) translated 36 (10%) constraints
2.42/1.32	c (0,0) translated 71 (20%) constraints
2.42/1.32	c (0,0) translated 106 (30%) constraints
2.42/1.33	c (0,0) translated 141 (40%) constraints
2.42/1.33	c (0,0) translated 176 (50%) constraints
2.42/1.34	c (0,0) translated 212 (60%) constraints
2.42/1.34	c (0,0) translated 247 (70%) constraints
2.42/1.34	c (0,0) translated 282 (80%) constraints
2.42/1.35	c (0,0) translated 317 (90%) constraints
2.42/1.35	c (0,0) translated 352 (100%) constraints
2.42/1.36	c (0,0) CSP to CSPinCNF End
2.42/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 554
2.42/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.42/1.36	c (0,0) CSPinCNF Propagation Begin
2.42/1.39	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.42/1.39	c (0,0) CSPinCNF Propagation End
2.42/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 554
2.42/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.42/1.39	c (0,0) Simplify CSPinCNF Begin
2.79/1.49	c (0,0) Simplify CSPinCNF End
2.79/1.49	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554
2.79/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.49	c (0,0) Calculate Precise Domain Begin
2.79/1.50	c (0,0) 0 values are removed by re-calculation
2.79/1.50	c (0,0) Calculate Precise Domain End
2.79/1.50	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554
2.79/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.96/2.05	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 79386 SAT clauses)
5.19/2.26	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 133838 SAT clauses)
5.42/2.45	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 183603 SAT clauses)
5.63/2.64	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 236106 SAT clauses)
5.85/2.82	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 283703 SAT clauses)
5.96/3.00	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 331125 SAT clauses)
6.19/3.16	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 375558 SAT clauses)
6.39/3.32	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 418263 SAT clauses)
6.51/3.46	c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 453615 SAT clauses)
6.61/3.54	c (2,2) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 476690 SAT clauses)
6.61/3.54	c (2,2) CSPinCNF to SatSolver End
6.61/3.54	c (2,2) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.61/3.54	c (2,2) 24404 bool, 476854 clause
6.61/3.54	c (2,2) Export Begin
6.75/3.63	c (3,3) Export to HOME/scop-10695-serial-file.bin
6.75/3.63	c (3,3) Export End
6.75/3.63	c (3,3) Export File Size: 0.01 MB
6.75/3.63	c (3,3) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.75/3.63	c END-Prog: Tue Sep 24 17:10:22 CEST 2019
6.75/3.65	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10695-serial-file.bin
7.29/4.10	c (0,0) Read Serial File Begin
7.29/4.10	c (0,0) HOME/scop-10695-serial-file.bin
7.69/4.30	c (0,0) Read Serial File End
7.69/4.31	
7.69/4.31	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.69/4.31	(Solving Process)
7.69/4.31	
7.69/4.33	c BEGIN-Prog: Tue Sep 24 17:10:23 CEST 2019
7.69/4.33	c PID: 10718
7.69/4.33	c IP: 172.20.3.140
7.69/4.33	c HOST: node140.alineos.net
7.69/4.34	c (0,0) SatSolver.solve Begin
7.69/4.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405140-1569337860.xml-scop-10698.cnf
7.69/4.37	c (0,0) c
7.69/4.37	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.69/4.37	c (0,0) c
7.69/4.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.69/4.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.69/4.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.69/4.37	c (0,0) c |                                                                                                       |
7.94/4.54	c (0,0) c |  Number of variables:         24404                                                                   |
7.94/4.54	c (0,0) c |  Number of clauses:          476854                                                                   |
7.94/4.54	c (0,0) c |  Parse time:                   0.16 s                                                                 |
7.94/4.54	c (0,0) c |                                                                                                       |
8.76/5.21	c (1,0) c |  Simplification time:          0.67 s                                                                 |
8.76/5.21	c (1,0) c |                                                                                                       |
8.76/5.21	c (1,0) c |  Generating clones                                                                                    |
8.87/5.34	c (1,0) c |  all clones generated. Memory =   316.54Mb.                                                           |
8.87/5.34	c (1,0) c ========================================================================================================|
8.87/5.34	c (1,0) c
8.87/5.34	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.87/5.34	c (1,0) c
8.87/5.34	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.87/5.34	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.87/5.34	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.87/5.34	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.87/5.34	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.87/5.34	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.87/5.34	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.87/5.34	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.87/5.34	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.87/5.34	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.87/5.34	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.87/5.34	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.87/5.34	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.87/5.34	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.87/5.34	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.87/5.34	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.87/5.34	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.87/5.34	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.87/5.34	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.51	c (12,0) c
93.78/16.51	c (12,0) c real time : 12.152 s
93.78/16.51	c (12,0) c cpu time  : 85.2761 s
93.78/16.51	c (12,0) c
93.78/16.51	c (12,0) c
93.78/16.51	c (12,0) c
93.78/16.51	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
93.78/16.51	c (12,0) c
93.78/16.51	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.51	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.78/16.51	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.51	c (12,0) c | Conflicts     |          160547 |      19845 |      20877 |      19409 |      19831 |      20106 |      20063 |      20734 |      19682 |
93.78/16.51	c (12,0) c | Decisions     |          424827 |      52352 |      53101 |      49611 |      52920 |      53142 |      51760 |      56538 |      55403 |
93.78/16.51	c (12,0) c | Propagations  |       142724186 |   17496168 |   17883689 |   17716345 |   18024451 |   17940938 |   18001419 |   18019835 |   17641341 |
93.78/16.51	c (12,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
93.78/16.51	c (12,0) c | SimpDBs       |              59 |          7 |          7 |          8 |          8 |          7 |          8 |          6 |          8 |
93.78/16.51	c (12,0) c | Restarts      |             529 |         54 |         68 |         69 |         72 |         72 |         61 |         74 |         59 |
93.78/16.51	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.78/16.51	c (12,0) c | PropBinClauses|       185637388 |   23079984 |   23191616 |   23402194 |   23516984 |   23244159 |   23163931 |   23132437 |   22906083 |
93.78/16.51	c (12,0) c | PropPreBlocker|      1855691736 |  232657924 |  231443142 |  227498123 |  231687811 |  232059833 |  229010394 |  236600089 |  234734420 |
93.78/16.51	c (12,0) c | PropNotBlocker|       657246821 |   83134587 |   80888954 |   83283395 |   84081600 |   83704758 |   80916296 |   79942024 |   81295207 |
93.78/16.51	c (12,0) c | LitFullScans  |      3556695253 |  444103098 |  444047961 |  444090469 |  444243076 |  444099947 |  444124379 |  447863503 |  444122820 |
93.78/16.51	c (12,0) c | LitScanFracts |          683801 |      85266 |      34834 |      85234 |     133148 |      83829 |     119306 |      40700 |     101484 |
93.78/16.51	c (12,0) c | DecisionLevel0|             564 |         56 |         71 |         74 |         76 |         77 |         66 |         81 |         63 |
93.78/16.51	c (12,0) c | Periods       |             592 |         74 |         74 |         74 |         74 |         74 |         74 |         74 |         74 |
93.78/16.51	c (12,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
93.78/16.51	c (12,0) c | Avg_Trail     |                 |       9547 |       9565 |       9354 |       9162 |       9468 |       9367 |       9917 |       9920 |
93.78/16.51	c (12,0) c | Avg_DL        |                 |         23 |         21 |         23 |         23 |         23 |         22 |         23 |         24 |
93.78/16.51	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.78/16.51	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.78/16.51	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.51	c (12,0) c | Exported      |           31775 |       3938 |       4140 |       3971 |       3895 |       3863 |       4051 |       4073 |       3844 |
93.78/16.51	c (12,0) c | Imported      |          174482 |      21850 |      21630 |      21888 |      21451 |      21826 |      21712 |      21989 |      22136 |
93.78/16.51	c (12,0) c | Good          |             583 |         78 |         73 |         74 |         65 |         76 |         68 |         69 |         80 |
93.78/16.51	c (12,0) c | Purge         |          173899 |      21772 |      21557 |      21814 |      21386 |      21750 |      21644 |      21920 |      22056 |
93.78/16.52	c (12,0) c | Promoted      |           10766 |       1283 |       1303 |       1388 |       1350 |       1317 |       1348 |       1367 |       1410 |
93.78/16.52	c (12,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.78/16.52	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.78/16.52	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.52	c (12,0) c | Unaries       |                 |          2 |          3 |          5 |          4 |          5 |          5 |          7 |          4 |
93.78/16.52	c (12,0) c | Binaries      |                 |         17 |         18 |         15 |         27 |         23 |         24 |         35 |         14 |
93.78/16.52	c (12,0) c | Glues         |                 |        145 |        163 |        163 |        143 |        178 |        161 |        176 |        144 |
93.78/16.52	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.52	c (12,0) c | Orig_Seen     |             9 % |      48221 |      47379 |      45104 |      45105 |      47759 |      44972 |      49929 |      47657 |
93.78/16.52	c (12,0) c | Diff Orig seen|                 | -     1708 | -     2550 | -     4825 | -     4824 | -     2170 | -     4957 |      X     | -     2272 |
93.78/16.52	c (12,0) c | Hamming       |            18 % |       1811 |       2227 |       5205 |       4520 |       5858 |       4628 |      X     |       7054 |
93.78/16.52	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.52	c (12,0) c | RunningTime   |                 |   11.2 100%|   10.7 100%|   10.9 100%|   10.7 100%|   10.4 100%|   10.5 100%|   10.4 100%|   10.4 100%|
93.78/16.52	c (12,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%|
93.78/16.52	c (12,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%|
93.78/16.52	c (12,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%|
93.78/16.52	c (12,0) c | SolvingTime   |                 |   11.2     |   10.7     |   10.9     |   10.7     |   10.4     |   10.6     |   10.4     |   10.4     |
93.78/16.52	c (12,0) c | PropagationTim|                 |    9.4  84%|    8.9  83%|    9.0  83%|    9.0  84%|    8.7  83%|    8.8  83%|    8.5  82%|    8.7  83%|
93.78/16.52	c (12,0) c | AnalysisTime  |                 |    1.3  12%|    1.3  12%|    1.4  13%|    1.2  11%|    1.2  12%|    1.3  12%|    1.4  13%|    1.3  12%|
93.78/16.52	c (12,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%|
93.78/16.52	c (12,0) c | SimplifyTime  |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
93.78/16.52	c (12,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%|
93.78/16.52	c (12,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%|
93.78/16.52	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.52	c (12,0) c
93.78/16.52	c (12,0) c
93.78/16.52	c (12,0) c Threads : 8
93.78/16.52	c (12,0) c Winner : 6
93.78/16.52	c (12,0) c Conflicts_0 : 19845
93.78/16.52	c (12,0) c Conflicts_1 : 20877
93.78/16.52	c (12,0) c Conflicts_2 : 19409
93.78/16.52	c (12,0) c Conflicts_3 : 19831
93.78/16.52	c (12,0) c Conflicts_4 : 20106
93.78/16.52	c (12,0) c Conflicts_5 : 20063
93.78/16.52	c (12,0) c Conflicts_6 : 20734
93.78/16.52	c (12,0) c Conflicts_7 : 19682
93.78/16.52	c (12,0) c Conflicts_total : 160547
93.78/16.52	c (12,0) c Conflicts_winner : 20734
93.78/16.52	c (12,0) c Decisions_0 : 52352
93.78/16.52	c (12,0) c Decisions_1 : 53101
93.78/16.52	c (12,0) c Decisions_2 : 49611
93.78/16.52	c (12,0) c Decisions_3 : 52920
93.78/16.52	c (12,0) c Decisions_4 : 53142
93.78/16.52	c (12,0) c Decisions_5 : 51760
93.78/16.52	c (12,0) c Decisions_6 : 56538
93.78/16.52	c (12,0) c Decisions_7 : 55403
93.78/16.52	c (12,0) c Decisions_total : 424827
93.78/16.52	c (12,0) c Decisions_winner : 56538
93.78/16.52	c (12,0) c Propagations_0 : 17496168
93.78/16.52	c (12,0) c Propagations_1 : 17883689
93.78/16.52	c (12,0) c Propagations_2 : 17716345
93.78/16.52	c (12,0) c Propagations_3 : 18024451
93.78/16.52	c (12,0) c Propagations_4 : 17940938
93.78/16.52	c (12,0) c Propagations_5 : 18001419
93.78/16.52	c (12,0) c Propagations_6 : 18019835
93.78/16.52	c (12,0) c Propagations_7 : 17641341
93.78/16.52	c (12,0) c Propagations_total : 142724186
93.78/16.52	c (12,0) c Propagations_winner : 18019835
93.78/16.52	c (12,0) c ReduceDBs_0 : 3
93.78/16.52	c (12,0) c ReduceDBs_1 : 3
93.78/16.52	c (12,0) c ReduceDBs_2 : 3
93.78/16.52	c (12,0) c ReduceDBs_3 : 3
93.78/16.52	c (12,0) c ReduceDBs_4 : 3
93.78/16.52	c (12,0) c ReduceDBs_5 : 3
93.78/16.52	c (12,0) c ReduceDBs_6 : 3
93.78/16.52	c (12,0) c ReduceDBs_7 : 3
93.78/16.52	c (12,0) c ReduceDBs_total : 24
93.78/16.52	c (12,0) c ReduceDBs_winner : 3
93.78/16.52	c (12,0) c SimpDBs_0 : 7
93.78/16.52	c (12,0) c SimpDBs_1 : 7
93.78/16.52	c (12,0) c SimpDBs_2 : 8
93.78/16.52	c (12,0) c SimpDBs_3 : 8
93.78/16.52	c (12,0) c SimpDBs_4 : 7
93.78/16.52	c (12,0) c SimpDBs_5 : 8
93.78/16.52	c (12,0) c SimpDBs_6 : 6
93.78/16.52	c (12,0) c SimpDBs_7 : 8
93.78/16.52	c (12,0) c SimpDBs_total : 59
93.78/16.52	c (12,0) c SimpDBs_winner : 6
93.78/16.52	c (12,0) c Restarts_0 : 54
93.78/16.52	c (12,0) c Restarts_1 : 68
93.78/16.52	c (12,0) c Restarts_2 : 69
93.78/16.52	c (12,0) c Restarts_3 : 72
93.78/16.52	c (12,0) c Restarts_4 : 72
93.78/16.52	c (12,0) c Restarts_5 : 61
93.78/16.52	c (12,0) c Restarts_6 : 74
93.78/16.52	c (12,0) c Restarts_7 : 59
93.78/16.52	c (12,0) c Restarts_total : 529
93.78/16.52	c (12,0) c Restarts_winner : 74
93.78/16.52	c (12,0) c ForcedImports_0 : 0
93.78/16.52	c (12,0) c ForcedImports_1 : 0
93.78/16.52	c (12,0) c ForcedImports_2 : 0
93.78/16.52	c (12,0) c ForcedImports_3 : 0
93.78/16.52	c (12,0) c ForcedImports_4 : 0
93.78/16.52	c (12,0) c ForcedImports_5 : 0
93.78/16.52	c (12,0) c ForcedImports_6 : 0
93.78/16.52	c (12,0) c ForcedImports_7 : 0
93.78/16.52	c (12,0) c ForcedImports_total : 0
93.78/16.52	c (12,0) c ForcedImports_winner : 0
93.78/16.52	c (12,0) c PropsBinClauses_0 : 23079984
93.78/16.52	c (12,0) c PropsBinClauses_1 : 23191616
93.78/16.52	c (12,0) c PropsBinClauses_2 : 23402194
93.78/16.52	c (12,0) c PropsBinClauses_3 : 23516984
93.78/16.52	c (12,0) c PropsBinClauses_4 : 23244159
93.78/16.52	c (12,0) c PropsBinClauses_5 : 23163931
93.78/16.52	c (12,0) c PropsBinClauses_6 : 23132437
93.78/16.52	c (12,0) c PropsBinClauses_7 : 22906083
93.78/16.52	c (12,0) c PropsBinClauses_total : 185637388
93.78/16.52	c (12,0) c PropsBinClauses_winner : 23132437
93.78/16.52	c (12,0) c PropsPreBlocker_0 : 232657924
93.78/16.52	c (12,0) c PropsPreBlocker_1 : 231443142
93.78/16.52	c (12,0) c PropsPreBlocker_2 : 227498123
93.78/16.52	c (12,0) c PropsPreBlocker_3 : 231687811
93.78/16.52	c (12,0) c PropsPreBlocker_4 : 232059833
93.78/16.52	c (12,0) c PropsPreBlocker_5 : 229010394
93.78/16.52	c (12,0) c PropsPreBlocker_6 : 236600089
93.78/16.52	c (12,0) c PropsPreBlocker_7 : 234734420
93.78/16.52	c (12,0) c PropsPreBlocker_total : 1855691736
93.78/16.52	c (12,0) c PropsPreBlocker_winner : 236600089
93.78/16.52	c (12,0) c PropsNotBlocker_0 : 83134587
93.78/16.52	c (12,0) c PropsNotBlocker_1 : 80888954
93.78/16.52	c (12,0) c PropsNotBlocker_2 : 83283395
93.78/16.52	c (12,0) c PropsNotBlocker_3 : 84081600
93.78/16.52	c (12,0) c PropsNotBlocker_4 : 83704758
93.78/16.52	c (12,0) c PropsNotBlocker_5 : 80916296
93.78/16.52	c (12,0) c PropsNotBlocker_6 : 79942024
93.78/16.52	c (12,0) c PropsNotBlocker_7 : 81295207
93.78/16.52	c (12,0) c PropsNotBlocker_total : 657246821
93.78/16.52	c (12,0) c PropsNotBlocker_winner : 79942024
93.78/16.52	c (12,0) c PropsLitFullScans_0 : 444103098
93.78/16.52	c (12,0) c PropsLitFullScans_1 : 444047961
93.78/16.52	c (12,0) c PropsLitFullScans_2 : 444090469
93.78/16.52	c (12,0) c PropsLitFullScans_3 : 444243076
93.78/16.52	c (12,0) c PropsLitFullScans_4 : 444099947
93.78/16.52	c (12,0) c PropsLitFullScans_5 : 444124379
93.78/16.52	c (12,0) c PropsLitFullScans_6 : 447863503
93.78/16.52	c (12,0) c PropsLitFullScans_7 : 444122820
93.78/16.52	c (12,0) c PropsLitFullScans_total : 3556695253
93.78/16.52	c (12,0) c PropsLitFullScans_winner : 447863503
93.78/16.52	c (12,0) c LitScanFractions_0 : 85266
93.78/16.52	c (12,0) c LitScanFractions_1 : 34834
93.78/16.52	c (12,0) c LitScanFractions_2 : 85234
93.78/16.52	c (12,0) c LitScanFractions_3 : 133148
93.78/16.52	c (12,0) c LitScanFractions_4 : 83829
93.78/16.52	c (12,0) c LitScanFractions_5 : 119306
93.78/16.52	c (12,0) c LitScanFractions_6 : 40700
93.78/16.52	c (12,0) c LitScanFractions_7 : 101484
93.78/16.52	c (12,0) c LitScanFractions_total : 683801
93.78/16.52	c (12,0) c LitScanFractions_winner : 40700
93.78/16.52	c (12,0) c DecisionLevel0_0 : 56
93.78/16.52	c (12,0) c DecisionLevel0_1 : 71
93.78/16.52	c (12,0) c DecisionLevel0_2 : 74
93.78/16.52	c (12,0) c DecisionLevel0_3 : 76
93.78/16.52	c (12,0) c DecisionLevel0_4 : 77
93.78/16.52	c (12,0) c DecisionLevel0_5 : 66
93.78/16.52	c (12,0) c DecisionLevel0_6 : 81
93.78/16.52	c (12,0) c DecisionLevel0_7 : 63
93.78/16.52	c (12,0) c DecisionLevel0_total : 564
93.78/16.52	c (12,0) c DecisionLevel0_winner : 81
93.78/16.52	c (12,0) c Periods_0 : 74
93.78/16.52	c (12,0) c Periods_1 : 74
93.78/16.52	c (12,0) c Periods_2 : 74
93.78/16.52	c (12,0) c Periods_3 : 74
93.78/16.52	c (12,0) c Periods_4 : 74
93.78/16.52	c (12,0) c Periods_5 : 74
93.78/16.52	c (12,0) c Periods_6 : 74
93.78/16.52	c (12,0) c Periods_7 : 74
93.78/16.52	c (12,0) c Periods_total : 592
93.78/16.52	c (12,0) c Periods_winner : 74
93.78/16.52	c (12,0) c Margin_0 : 20
93.78/16.52	c (12,0) c Margin_1 : 20
93.78/16.52	c (12,0) c Margin_2 : 20
93.78/16.52	c (12,0) c Margin_3 : 20
93.78/16.52	c (12,0) c Margin_4 : 20
93.78/16.52	c (12,0) c Margin_5 : 20
93.78/16.52	c (12,0) c Margin_6 : 20
93.78/16.52	c (12,0) c Margin_7 : 20
93.78/16.52	c (12,0) c Margin_total : 160
93.78/16.52	c (12,0) c Margin_winner : 20
93.78/16.52	c (12,0) c Exported_0 : 3938
93.78/16.52	c (12,0) c Exported_1 : 4140
93.78/16.52	c (12,0) c Exported_2 : 3971
93.78/16.52	c (12,0) c Exported_3 : 3895
93.78/16.52	c (12,0) c Exported_4 : 3863
93.78/16.52	c (12,0) c Exported_5 : 4051
93.78/16.52	c (12,0) c Exported_6 : 4073
93.78/16.52	c (12,0) c Exported_7 : 3844
93.78/16.52	c (12,0) c Exported_total : 31775
93.78/16.52	c (12,0) c Exported_winner : 4073
93.78/16.52	c (12,0) c Imported_0 : 21850
93.78/16.52	c (12,0) c Imported_1 : 21630
93.78/16.52	c (12,0) c Imported_2 : 21888
93.78/16.52	c (12,0) c Imported_3 : 21451
93.78/16.52	c (12,0) c Imported_4 : 21826
93.78/16.52	c (12,0) c Imported_5 : 21712
93.78/16.52	c (12,0) c Imported_6 : 21989
93.78/16.52	c (12,0) c Imported_7 : 22136
93.78/16.52	c (12,0) c Imported_total : 174482
93.78/16.52	c (12,0) c Imported_winner : 21989
93.78/16.52	c (12,0) c Good_0 : 78
93.78/16.52	c (12,0) c Good_1 : 73
93.78/16.52	c (12,0) c Good_2 : 74
93.78/16.52	c (12,0) c Good_3 : 65
93.78/16.52	c (12,0) c Good_4 : 76
93.78/16.52	c (12,0) c Good_5 : 68
93.78/16.52	c (12,0) c Good_6 : 69
93.78/16.52	c (12,0) c Good_7 : 80
93.78/16.52	c (12,0) c Good_total : 583
93.78/16.52	c (12,0) c Good_winner : 69
93.78/16.52	c (12,0) c Purge_0 : 21772
93.78/16.52	c (12,0) c Purge_1 : 21557
93.78/16.52	c (12,0) c Purge_2 : 21814
93.78/16.52	c (12,0) c Purge_3 : 21386
93.78/16.52	c (12,0) c Purge_4 : 21750
93.78/16.52	c (12,0) c Purge_5 : 21644
93.78/16.52	c (12,0) c Purge_6 : 21920
93.78/16.52	c (12,0) c Purge_7 : 22056
93.78/16.52	c (12,0) c Purge_total : 173899
93.78/16.52	c (12,0) c Purge_winner : 21920
93.78/16.52	c (12,0) c Promoted_0 : 1283
93.78/16.52	c (12,0) c Promoted_1 : 1303
93.78/16.52	c (12,0) c Promoted_2 : 1388
93.78/16.52	c (12,0) c Promoted_3 : 1350
93.78/16.52	c (12,0) c Promoted_4 : 1317
93.78/16.52	c (12,0) c Promoted_5 : 1348
93.78/16.52	c (12,0) c Promoted_6 : 1367
93.78/16.52	c (12,0) c Promoted_7 : 1410
93.78/16.52	c (12,0) c Promoted_total : 10766
93.78/16.52	c (12,0) c Promoted_winner : 1367
93.78/16.52	c (12,0) c Remove_Imp_0 : 0
93.78/16.52	c (12,0) c Remove_Imp_1 : 0
93.78/16.52	c (12,0) c Remove_Imp_2 : 0
93.78/16.52	c (12,0) c Remove_Imp_3 : 0
93.78/16.52	c (12,0) c Remove_Imp_4 : 0
93.78/16.52	c (12,0) c Remove_Imp_5 : 0
93.78/16.52	c (12,0) c Remove_Imp_6 : 0
93.78/16.52	c (12,0) c Remove_Imp_7 : 0
93.78/16.52	c (12,0) c Remove_Imp_total : 0
93.78/16.52	c (12,0) c Remove_Imp_winner : 0
93.78/16.52	c (12,0) c Blocked_Reuse_0 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_1 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_2 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_3 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_4 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_5 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_6 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_7 : 0
93.78/16.52	c (12,0) c Blocked_Reuse_total : 0
93.78/16.52	c (12,0) c Blocked_Reuse_winner : 0
93.78/16.52	c (12,0) c Unaries_0 : 2
93.78/16.52	c (12,0) c Unaries_1 : 3
93.78/16.52	c (12,0) c Unaries_2 : 5
93.78/16.53	c (12,0) c Unaries_3 : 4
93.78/16.53	c (12,0) c Unaries_4 : 5
93.78/16.53	c (12,0) c Unaries_5 : 5
93.78/16.53	c (12,0) c Unaries_6 : 7
93.78/16.53	c (12,0) c Unaries_7 : 4
93.78/16.53	c (12,0) c Unaries_total : 35
93.78/16.53	c (12,0) c Unaries_winner : 7
93.78/16.53	c (12,0) c Binaries_0 : 17
93.78/16.53	c (12,0) c Binaries_1 : 18
93.78/16.53	c (12,0) c Binaries_2 : 15
93.78/16.53	c (12,0) c Binaries_3 : 27
93.78/16.53	c (12,0) c Binaries_4 : 23
93.78/16.53	c (12,0) c Binaries_5 : 24
93.78/16.53	c (12,0) c Binaries_6 : 35
93.78/16.53	c (12,0) c Binaries_7 : 14
93.78/16.53	c (12,0) c Binaries_total : 173
93.78/16.53	c (12,0) c Binaries_winner : 35
93.78/16.53	c (12,0) c Glues_0 : 145
93.78/16.53	c (12,0) c Glues_1 : 163
93.78/16.53	c (12,0) c Glues_2 : 163
93.78/16.53	c (12,0) c Glues_3 : 143
93.78/16.53	c (12,0) c Glues_4 : 178
93.78/16.53	c (12,0) c Glues_5 : 161
93.78/16.53	c (12,0) c Glues_6 : 176
93.78/16.53	c (12,0) c Glues_7 : 144
93.78/16.53	c (12,0) c Glues_total : 1273
93.78/16.53	c (12,0) c Glues_winner : 176
93.78/16.53	c (12,0) c RunningTime_0 : 11.153575
93.78/16.53	c (12,0) c RunningTime_1 : 10.709191
93.78/16.53	c (12,0) c RunningTime_2 : 10.865669
93.78/16.53	c (12,0) c RunningTime_3 : 10.733286
93.78/16.53	c (12,0) c RunningTime_4 : 10.390472
93.78/16.53	c (12,0) c RunningTime_5 : 10.539786
93.78/16.53	c (12,0) c RunningTime_6 : 10.375592
93.78/16.53	c (12,0) c RunningTime_7 : 10.421720
93.78/16.53	c (12,0) c RunningTime_total : 85.189290
93.78/16.53	c (12,0) c RunningTime_winner : 10.375592
93.78/16.53	c (12,0) c WaitingTime_0 : 0.000055
93.78/16.53	c (12,0) c WaitingTime_1 : 0.000087
93.78/16.53	c (12,0) c WaitingTime_2 : 0.000094
93.78/16.53	c (12,0) c WaitingTime_3 : 0.000096
93.78/16.53	c (12,0) c WaitingTime_4 : 0.000104
93.78/16.53	c (12,0) c WaitingTime_5 : 0.000086
93.78/16.53	c (12,0) c WaitingTime_6 : 0.000109
93.78/16.53	c (12,0) c WaitingTime_7 : 0.000208
93.78/16.53	c (12,0) c WaitingTime_total : 0.000840
93.78/16.53	c (12,0) c WaitingTime_winner : 0.000109
93.78/16.53	c (12,0) c ExchangingTime_0 : 0.009835
93.78/16.53	c (12,0) c ExchangingTime_1 : 0.009458
93.78/16.53	c (12,0) c ExchangingTime_2 : 0.009789
93.78/16.53	c (12,0) c ExchangingTime_3 : 0.009566
93.78/16.53	c (12,0) c ExchangingTime_4 : 0.010217
93.78/16.53	c (12,0) c ExchangingTime_5 : 0.010214
93.78/16.53	c (12,0) c ExchangingTime_6 : 0.009737
93.78/16.53	c (12,0) c ExchangingTime_7 : 0.010373
93.78/16.53	c (12,0) c ExchangingTime_total : 0.079189
93.78/16.53	c (12,0) c ExchangingTime_winner : 0.009737
93.78/16.53	c (12,0) c PeriodProcTime_0 : 0.000800
93.78/16.53	c (12,0) c PeriodProcTime_1 : 0.000783
93.78/16.53	c (12,0) c PeriodProcTime_2 : 0.000877
93.78/16.53	c (12,0) c PeriodProcTime_3 : 0.000891
93.78/16.53	c (12,0) c PeriodProcTime_4 : 0.000826
93.78/16.53	c (12,0) c PeriodProcTime_5 : 0.000827
93.78/16.53	c (12,0) c PeriodProcTime_6 : 0.000831
93.78/16.53	c (12,0) c PeriodProcTime_7 : 0.000919
93.78/16.53	c (12,0) c PeriodProcTime_total : 0.006755
93.78/16.53	c (12,0) c PeriodProcTime_winner : 0.000831
93.78/16.53	c (12,0) c SolvingTime_0 : 11.164265
93.78/16.53	c (12,0) c SolvingTime_1 : 10.719518
93.78/16.53	c (12,0) c SolvingTime_2 : 10.876430
93.78/16.53	c (12,0) c SolvingTime_3 : 10.743839
93.78/16.53	c (12,0) c SolvingTime_4 : 10.401620
93.78/16.53	c (12,0) c SolvingTime_5 : 10.550912
93.78/16.53	c (12,0) c SolvingTime_6 : 10.386270
93.78/16.53	c (12,0) c SolvingTime_7 : 10.433220
93.78/16.53	c (12,0) c SolvingTime_total : 85.276074
93.78/16.53	c (12,0) c SolvingTime_winner : 10.386270
93.78/16.53	c (12,0) c PropagationTime_0 : 9.376706
93.78/16.53	c (12,0) c PropagationTime_1 : 8.915229
93.78/16.53	c (12,0) c PropagationTime_2 : 9.005631
93.78/16.53	c (12,0) c PropagationTime_3 : 9.009443
93.78/16.53	c (12,0) c PropagationTime_4 : 8.669725
93.78/16.53	c (12,0) c PropagationTime_5 : 8.751906
93.78/16.53	c (12,0) c PropagationTime_6 : 8.537628
93.78/16.53	c (12,0) c PropagationTime_7 : 8.650059
93.78/16.53	c (12,0) c PropagationTime_total : 70.916327
93.78/16.53	c (12,0) c PropagationTime_winner : 8.537628
93.78/16.53	c (12,0) c AnalysisTime_0 : 1.287277
93.78/16.53	c (12,0) c AnalysisTime_1 : 1.325461
93.78/16.53	c (12,0) c AnalysisTime_2 : 1.380667
93.78/16.53	c (12,0) c AnalysisTime_3 : 1.225744
93.78/16.53	c (12,0) c AnalysisTime_4 : 1.248277
93.78/16.53	c (12,0) c AnalysisTime_5 : 1.305243
93.78/16.53	c (12,0) c AnalysisTime_6 : 1.371912
93.78/16.53	c (12,0) c AnalysisTime_7 : 1.261985
93.78/16.53	c (12,0) c AnalysisTime_total : 10.406568
93.78/16.53	c (12,0) c AnalysisTime_winner : 1.371912
93.78/16.53	c (12,0) c ReductionTime_0 : 0.004070
93.78/16.53	c (12,0) c ReductionTime_1 : 0.003840
93.78/16.53	c (12,0) c ReductionTime_2 : 0.004106
93.78/16.53	c (12,0) c ReductionTime_3 : 0.004082
93.78/16.53	c (12,0) c ReductionTime_4 : 0.003918
93.78/16.53	c (12,0) c ReductionTime_5 : 0.003990
93.78/16.53	c (12,0) c ReductionTime_6 : 0.003841
93.78/16.53	c (12,0) c ReductionTime_7 : 0.003919
93.78/16.53	c (12,0) c ReductionTime_total : 0.031766
93.78/16.53	c (12,0) c ReductionTime_winner : 0.003841
93.78/16.53	c (12,0) c SimplifyTime_0 : 0.081870
93.78/16.53	c (12,0) c SimplifyTime_1 : 0.080751
93.78/16.53	c (12,0) c SimplifyTime_2 : 0.091692
93.78/16.53	c (12,0) c SimplifyTime_3 : 0.098575
93.78/16.53	c (12,0) c SimplifyTime_4 : 0.080882
93.78/16.53	c (12,0) c SimplifyTime_5 : 0.093734
93.78/16.53	c (12,0) c SimplifyTime_6 : 0.070524
93.78/16.53	c (12,0) c SimplifyTime_7 : 0.100258
93.78/16.53	c (12,0) c SimplifyTime_total : 0.698286
93.78/16.53	c (12,0) c SimplifyTime_winner : 0.070524
93.78/16.53	c (12,0) c UsedRateTime_0 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_1 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_2 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_3 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_4 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_5 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_6 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_7 : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_total : 0.000000
93.78/16.53	c (12,0) c UsedRateTime_winner : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_0 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_1 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_2 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_3 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_4 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_5 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_6 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_7 : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_total : 0.000000
93.78/16.53	c (12,0) c OverlapRateTime_winner : 0.000000
93.78/16.53	c (12,0) c
93.78/16.53	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
93.78/16.53	c (12,0) c
93.78/16.53	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.53	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.78/16.53	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.53	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
93.78/16.53	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
93.78/16.53	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
93.78/16.53	c (12,0) c | Initial random_seed   | 1582590290 | 1295543816 | 1401811505 |  311342987 | 1108276561 | 1876825477 | 1328521503 | 1543421247 |
93.78/16.53	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
93.78/16.53	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
93.78/16.53	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
93.78/16.53	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
93.78/16.53	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
93.78/16.53	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
93.78/16.53	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
93.78/16.53	c (12,0) c | var_decay             |     0.8300 |     0.8400 |     0.8300 |     0.8300 |     0.8400 |     0.8400 |     0.8400 |     0.8300 |
93.78/16.53	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.78/16.53	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
93.78/16.53	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
93.78/16.53	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.78/16.53	c (12,0) 
93.78/16.53	c (12,0) s SATISFIABLE
93.78/16.58	c (12,0) SatSolver.solve End
93.78/16.58	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.78/16.58	c (12,0) Show results Begin
94.06/16.68	c (12,0) x[0] = 348
94.06/16.68	c (12,0) x[1] = 351
94.06/16.68	c (12,0) x[2] = 158
94.06/16.68	c (12,0) x[3] = 348
94.06/16.68	c (12,0) x[4] = 348
94.06/16.68	c (12,0) x[5] = 367
94.06/16.68	c (12,0) x[6] = 363
94.06/16.68	c (12,0) x[7] = 314
94.06/16.68	c (12,0) x[8] = 355
94.06/16.68	c (12,0) x[9] = 351
94.06/16.68	c (12,0) x[10] = 348
94.06/16.68	c (12,0) x[11] = 303
94.06/16.68	c (12,0) x[12] = 303
94.06/16.68	c (12,0) x[13] = 303
94.06/16.68	c (12,0) x[14] = 314
94.06/16.68	c (12,0) x[15] = 227
94.06/16.68	c (12,0) x[16] = 227
94.06/16.68	c (12,0) x[17] = 158
94.06/16.68	c (12,0) x[18] = 0
94.06/16.68	c (12,0) x[19] = 390
94.06/16.68	c (12,0) x[20] = 0
94.06/16.68	c (12,0) x[21] = 171
94.06/16.68	c (12,0) x[22] = 367
94.06/16.68	c (12,0) x[23] = 355
94.06/16.68	c (12,0) x[24] = 0
94.06/16.68	c (12,0) y[0] = 275
94.06/16.68	c (12,0) y[1] = 227
94.06/16.68	c (12,0) y[2] = 372
94.06/16.68	c (12,0) y[3] = 212
94.06/16.68	c (12,0) y[4] = 193
94.06/16.68	c (12,0) y[5] = 189
94.06/16.68	c (12,0) y[6] = 212
94.06/16.68	c (12,0) y[7] = 193
94.06/16.68	c (12,0) y[8] = 320
94.06/16.68	c (12,0) y[9] = 239
94.06/16.68	c (12,0) y[10] = 278
94.06/16.68	c (12,0) y[11] = 275
94.06/16.68	c (12,0) y[12] = 227
94.06/16.68	c (12,0) y[13] = 320
94.06/16.68	c (12,0) y[14] = 140
94.06/16.68	c (12,0) y[15] = 140
94.06/16.68	c (12,0) y[16] = 0
94.06/16.68	c (12,0) y[17] = 227
94.06/16.68	c (12,0) y[18] = 227
94.06/16.68	c (12,0) y[19] = 189
94.06/16.68	c (12,0) y[20] = 385
94.06/16.68	c (12,0) y[21] = 372
94.06/16.68	c (12,0) y[22] = 0
94.06/16.68	c (12,0) y[23] = 355
94.06/16.68	c (12,0) y[24] = 0
94.06/16.68	s SATISFIABLE
94.06/16.68	v <instantiation>
94.06/16.68	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>
94.06/16.68	v     <values>348 351 158 348 348 367 363 314 355 351 348 303 303 303 314 227 227 158 0 390 0 171 367 355 0 275 227 372 212 193 189 212 193 320 239 278 275 227 320 140 140 0 227 227 189 385 372 0 355 0</values>
94.06/16.68	v </instantiation>
94.06/16.68	c (12,0) Show results End
94.06/16.68	c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
94.06/16.68	c (12,0) 12,12,STOP-AFTER(ALL)
94.06/16.68	c END-Prog: Tue Sep 24 17:10:35 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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


[startup+0.100133 s]*
/proc/loadavg: 7.94 6.61 4.72 3/212 10717
/proc/meminfo: memFree=25556732/32770624 swapFree=66997508/67108860
[pid=10695] ppid=10692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10695/stat : 10695 (scop.sh) S 10692 10695 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509724305 115843072 349 33554432000 4194304 5098028 140721556098768 140721556096024 140537142944380 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9723904 140721556103933 140721556104280 140721556104280 140721556107209 0
/proc/10695/statm: 28282 349 296 221 0 87 0
[pid=10698] ppid=10695 vsize=27314120 memory=104596 CPUtime=0.1 cores=0-7
/proc/10698/stat : 10698 (java) S 10695 10695 9260 0 -1 1077944320 6683 0 0 0 8 2 0 0 20 0 20 0 509724305 27969658880 26149 33554432000 4194304 4196468 140726934450416 140726934432960 139856645852919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
/proc/10698/statm: 6828530 26149 2814 1 0 6790935 0
[pid=10698/tid=10699] ppid=10695 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10698/task/10699/stat : 10699 (java) R 10695 10695 9260 0 -1 4202560 4779 0 0 0 7 2 0 0 20 0 20 0 509724306 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856617657120 139856149224016 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10700] ppid=10695 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10698/task/10700/stat : 10700 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856650095504 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10701] ppid=10695 vsize=27314120 memory=140129828746880 CPUtime=0 cores=0-7
/proc/10698/task/10701/stat : 10701 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856068291344 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10702] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10702/stat : 10702 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856067239056 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10703] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10703/stat : 10703 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856066186256 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10704] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10704/stat : 10704 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856065132944 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10705] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10705/stat : 10705 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856064080144 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10706] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10706/stat : 10706 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856063027856 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10707] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10707/stat : 10707 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856061975056 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10708] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10708/stat : 10708 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856018942576 139856645864066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10709] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10709/stat : 10709 (java) S 10695 10695 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 26149 33554432000 4194304 4196468 140726934450416 139854604133664 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10710] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10710/stat : 10710 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 26149 33554432000 4194304 4196468 140726934450416 139854335698544 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10711] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10711/stat : 10711 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139853961189968 139856645871515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10712] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10712/stat : 10712 (java) S 10695 10695 9260 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856017889392 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10713] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10713/stat : 10713 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856016836592 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10714] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10714/stat : 10714 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856015784304 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10715] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10715/stat : 10715 (java) S 10695 10695 9260 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139856014731504 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10716] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10716/stat : 10716 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139853463284576 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10717] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10717/stat : 10717 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 26149 33554432000 4194304 4196468 140726934450416 139855765957424 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105992 KiB

[startup+0.210499 s]*
/proc/loadavg: 7.94 6.61 4.72 3/212 10717
/proc/meminfo: memFree=25535320/32770624 swapFree=66997508/67108860
[pid=10695] ppid=10692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10695/stat : 10695 (scop.sh) S 10692 10695 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509724305 115843072 349 33554432000 4194304 5098028 140721556098768 140721556096024 140537142944380 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9723904 140721556103933 140721556104280 140721556104280 140721556107209 0
/proc/10695/statm: 28282 349 296 221 0 87 0
[pid=10698] ppid=10695 vsize=27314120 memory=123764 CPUtime=0.24 cores=0-7
/proc/10698/stat : 10698 (java) S 10695 10695 9260 0 -1 1077944320 12368 0 0 0 20 4 0 0 20 0 20 0 509724305 27969658880 30941 33554432000 4194304 4196468 140726934450416 140726934432960 139856645852919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
/proc/10698/statm: 6828530 30941 2939 1 0 6790935 0
[pid=10698/tid=10699] ppid=10695 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10698/task/10699/stat : 10699 (java) R 10695 10695 9260 0 -1 4202560 10020 0 0 0 16 3 0 0 20 0 20 0 509724306 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856617667984 139856626128249 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10700] ppid=10695 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10698/task/10700/stat : 10700 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856650095504 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10701] ppid=10695 vsize=27314120 memory=288370505980458624 CPUtime=0 cores=0-7
/proc/10698/task/10701/stat : 10701 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856068291344 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10702] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10702/stat : 10702 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856067239056 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10703] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10703/stat : 10703 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856066186256 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10704] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10704/stat : 10704 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856065132944 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10705] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10705/stat : 10705 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856064080144 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10706] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10706/stat : 10706 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856063027856 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10707] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10707/stat : 10707 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856061975056 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10708] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10708/stat : 10708 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856018942576 139856645864066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10709] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10709/stat : 10709 (java) S 10695 10695 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 30941 33554432000 4194304 4196468 140726934450416 139854604133664 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10710] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10710/stat : 10710 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 30941 33554432000 4194304 4196468 140726934450416 139854335698544 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10711] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10711/stat : 10711 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139853961189968 139856645871515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10712] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10712/stat : 10712 (java) S 10695 10695 9260 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856017889392 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10713] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10713/stat : 10713 (java) S 10695 10695 9260 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856016836592 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10714] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10714/stat : 10714 (java) S 10695 10695 9260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856015784304 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10715] ppid=10695 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10698/task/10715/stat : 10715 (java) S 10695 10695 9260 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139856014731504 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10716] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10716/stat : 10716 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139853463284576 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10717] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10717/stat : 10717 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 30941 33554432000 4194304 4196468 140726934450416 139855765957424 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125160 KiB

[startup+0.310361 s]*
/proc/loadavg: 7.94 6.61 4.72 2/212 10717
/proc/meminfo: memFree=25531744/32770624 swapFree=66997508/67108860
[pid=10695] ppid=10692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10695/stat : 10695 (scop.sh) S 10692 10695 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509724305 115843072 349 33554432000 4194304 5098028 140721556098768 140721556096024 140537142944380 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9723904 140721556103933 140721556104280 140721556104280 140721556107209 0
/proc/10695/statm: 28282 349 296 221 0 87 0
[pid=10698] ppid=10695 vsize=27314120 memory=128356 CPUtime=0.43 cores=0-7
/proc/10698/stat : 10698 (java) S 10695 10695 9260 0 -1 1077944320 13016 0 0 0 38 5 0 0 20 0 20 0 509724305 27969658880 32089 33554432000 4194304 4196468 140726934450416 140726934432960 139856645852919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
/proc/10698/statm: 6828530 32089 3009 1 0 6790935 0
[pid=10698/tid=10699] ppid=10695 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10698/task/10699/stat : 10699 (java) R 10695 10695 9260 0 -1 4202560 10381 0 0 0 26 4 0 0 20 0 20 0 509724306 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856617680256 139856631546400 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10700] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10700/stat : 10700 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856650095504 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10701] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10701/stat : 10701 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856068291344 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10702] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10702/stat : 10702 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856067239056 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10703] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10703/stat : 10703 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856066186256 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10704] ppid=10695 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10698/task/10704/stat : 10704 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856065132944 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10705] ppid=10695 vsize=27314120 memory=140129683469231 CPUtime=0 cores=0-7
/proc/10698/task/10705/stat : 10705 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856064080144 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10706] ppid=10695 vsize=27314120 memory=140129683471536 CPUtime=0 cores=0-7
/proc/10698/task/10706/stat : 10706 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856063027856 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10707] ppid=10695 vsize=27314120 memory=140129683473840 CPUtime=0 cores=0-7
/proc/10698/task/10707/stat : 10707 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856061975056 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10708] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10708/stat : 10708 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856018942576 139856645864066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10709] ppid=10695 vsize=27314120 memory=280259366954640 CPUtime=0 cores=0-7
/proc/10698/task/10709/stat : 10709 (java) S 10695 10695 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 32089 33554432000 4194304 4196468 140726934450416 139854604133664 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10710] ppid=10695 vsize=27314120 memory=280259366961552 CPUtime=0 cores=0-7
/proc/10698/task/10710/stat : 10710 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724310 27969658880 32089 33554432000 4194304 4196468 140726934450416 139854335698544 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10711] ppid=10695 vsize=27314120 memory=280259366902704 CPUtime=0 cores=0-7
/proc/10698/task/10711/stat : 10711 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139853961189968 139856645871515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10712] ppid=10695 vsize=27314120 memory=280259366975376 CPUtime=0.01 cores=0-7
/proc/10698/task/10712/stat : 10712 (java) S 10695 10695 9260 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856017889392 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10713] ppid=10695 vsize=27314120 memory=280259366982288 CPUtime=0.01 cores=0-7
/proc/10698/task/10713/stat : 10713 (java) S 10695 10695 9260 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856016836592 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10714] ppid=10695 vsize=27314120 memory=280259366979984 CPUtime=0 cores=0-7
/proc/10698/task/10714/stat : 10714 (java) R 10695 10695 9260 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856015784304 139856638837961 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10715] ppid=10695 vsize=27314120 memory=280259366996144 CPUtime=0.07 cores=0-7
/proc/10698/task/10715/stat : 10715 (java) S 10695 10695 9260 0 -1 1077944384 639 0 0 0 7 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139856014731504 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10716] ppid=10695 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10716/stat : 10716 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139853463284576 139856645863125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10717] ppid=10695 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10698/task/10717/stat : 10717 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509724313 27969658880 32089 33554432000 4194304 4196468 140726934450416 139855765957424 139856645864066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129752 KiB

[startup+0.706663 s]
/proc/loadavg: 7.94 6.61 4.72 3/212 10717
/proc/meminfo: memFree=25510760/32770624 swapFree=66997508/67108860
[pid=10695] ppid=10692 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10695/stat : 10695 (scop.sh) S 10692 10695 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509724305 115843072 349 33554432000 4194304 5098028 140721556098768 140721556096024 140537142944380 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9723904 140721556103933 140721556104280 140721556104280 140721556107209 0
/proc/10695/statm: 28282 349 296 221 0 87 0
[pid=10698] ppid=10695 vsize=27322516 memory=165208 CPUtime=1.01 cores=0-7
/proc/10698/stat : 10698 (java) S 10695 10695 9260 0 -1 1077944320 20944 0 0 0 93 8 0 0 20 0 20 0 509724305 27978256384 41302 33554432000 4194304 4196468 140726934450416 140726934432960 139856645852919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
/proc/10698/statm: 6830629 41302 3185 1 0 6791959 0
[pid=10698/tid=10699] ppid=10695 vsize=27322516 memory=280259367354032 CPUtime=0.68 cores=0-7
/proc/10698/task/10699/stat : 10699 (java) R 10695 10695 9260 0 -1 4202560 17584 0 0 0 62 6 0 0 20 0 20 0 509724306 27978256384 41302 33554432000 4194304 4196468 140726934450416 139856617684656 139856629933436 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10700] ppid=10695 vsize=27322516 memory=140129683678064 CPUtime=0 cores=0-7
/proc/10698/task/10700/stat : 10700 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27978256384 41302 33554432000 4194304 4196468 140726934450416 139856650095504 139856645863125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10701] ppid=10695 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10698/task/10701/stat : 10701 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509724308 27978256384 41302 33554432000 4194304 4196468 140726934450416 139856068291344 139856645863125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0
[pid=10698/tid=10702] ppid=10695 vsize=27322516 memory=6124 CPUtime=0 cores=0-7
/proc/10698/task/10702/stat : 10702 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509724308 27978256384 41302 33554432000 4194304 4196468 140726934450416 139856067239056 139856645863125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140726934459079 140726934459526 140726934459526 140726934462415 0

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

/proc/10718/task/10723/stat : 10723 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897629993488 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10724] ppid=10695 vsize=8414124 memory=14060 CPUtime=0 cores=0-7
/proc/10718/task/10724/stat : 10724 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897628941200 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10725] ppid=10695 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/10718/task/10725/stat : 10725 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897627888400 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10726] ppid=10695 vsize=8414124 memory=32956 CPUtime=0 cores=0-7
/proc/10718/task/10726/stat : 10726 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897626836112 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10727] ppid=10695 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/10718/task/10727/stat : 10727 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897625783312 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10728] ppid=10695 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/10718/task/10728/stat : 10728 (java) S 10695 10695 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509724673 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897374767216 139898147191426 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10729] ppid=10695 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10718/task/10729/stat : 10729 (java) S 10695 10695 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509724674 8616062976 29364 33554432000 4194304 4196468 140731515489664 139896480064288 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10730] ppid=10695 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/10718/task/10730/stat : 10730 (java) S 10695 10695 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509724674 8616062976 29364 33554432000 4194304 4196468 140731515489664 139896345842800 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10731] ppid=10695 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/10718/task/10731/stat : 10731 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139895971338320 139898147198875 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10732] ppid=10695 vsize=8414124 memory=1436 CPUtime=0.03 cores=0-7
/proc/10718/task/10732/stat : 10732 (java) S 10695 10695 9260 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897373715056 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10733] ppid=10695 vsize=8414124 memory=1720 CPUtime=0.08 cores=0-7
/proc/10718/task/10733/stat : 10733 (java) S 10695 10695 9260 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897372662256 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10734] ppid=10695 vsize=8414124 memory=56 CPUtime=0.05 cores=0-7
/proc/10718/task/10734/stat : 10734 (java) S 10695 10695 9260 0 -1 1077944384 267 0 0 0 5 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897371609968 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10735] ppid=10695 vsize=8414124 memory=288230608904420306 CPUtime=0.18 cores=0-7
/proc/10718/task/10735/stat : 10735 (java) S 10695 10695 9260 0 -1 1077944384 501 0 0 0 18 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897370557168 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10736] ppid=10695 vsize=8414124 memory=14972261113308207 CPUtime=0 cores=0-7
/proc/10718/task/10736/stat : 10736 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509724677 8616062976 29364 33554432000 4194304 4196468 140731515489664 139895473432928 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10737] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10737/stat : 10737 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509724677 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897369504048 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10739] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10739/stat : 10739 (java) S 10695 10695 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509724742 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897361470784 139898147204889 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10741] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10741/stat : 10741 (java) S 10695 10695 9260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509724742 8616062976 29364 33554432000 4194304 4196468 140731515489664 139894802333584 139898147202205 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10742] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10742/stat : 10742 (java) S 10695 10695 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509724742 8616062976 29364 33554432000 4194304 4196468 140731515489664 139895070768912 139898147202205 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10743] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10743/stat : 10743 (java) S 10695 10695 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509724744 8616062976 29364 33554432000 4194304 4196468 140731515489664 139894533906224 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
Current children cumulated CPU time: 92.92 s
Current children cumulated vsize: 9456328 KiB
Current children cumulated memory: 485716 KiB

[startup+16.401 s]
/proc/loadavg: 7.46 6.56 4.73 5/221 10751
/proc/meminfo: memFree=25168152/32770624 swapFree=66997508/67108860
[pid=10695] ppid=10692 vsize=113128 memory=1476 CPUtime=6.82 cores=0-7
/proc/10695/stat : 10695 (scop.sh) S 10692 10695 9260 0 -1 4202496 583 28225 0 0 0 0 641 41 20 0 1 0 509724305 115843072 369 33554432000 4194304 5098028 140721556098768 140721556095512 140537142944380 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9723904 140721556103933 140721556104280 140721556104280 140721556107209 0
/proc/10695/statm: 28282 369 311 221 0 87 0
[pid=10718] ppid=10695 vsize=8414124 memory=117456 CPUtime=1.13 cores=0-7
/proc/10718/stat : 10718 (java) S 10695 10695 9260 0 -1 1077944320 19395 0 0 0 106 7 0 0 20 0 24 0 509724670 8616062976 29364 33554432000 4194304 4196468 140731515489664 140731515472208 139898147180279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
/proc/10718/statm: 2103531 29364 3191 1 0 2064875 0
[pid=10738] ppid=10718 vsize=929076 memory=366896 CPUtime=85.72 cores=0-7
/proc/10738/stat : 10738 (manyglucose-4.1) S 10718 10695 9260 0 -1 1077944320 264364 0 0 0 8515 57 0 0 20 0 2 0 509724741 951373824 91724 33554432000 4194304 4454172 140729112465968 140729112464352 139623599591159 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 14598144 140729112470349 140729112470556 140729112470556 140729112473526 0
/proc/10738/statm: 232269 91724 420 64 0 227937 0
[pid=10738/tid=10744] ppid=10718 vsize=929076 memory=0 CPUtime=11.02 cores=0-7
/proc/10738/task/10744/stat : 10744 (manyglucose-4.1) R 10718 10695 9260 0 -1 4202560 29069 0 0 0 1094 8 0 0 20 0 2 0 509724840 951373824 91724 33554432000 4194304 4454172 140729112465968 139623572826872 4333155 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 14598144 140729112470349 140729112470556 140729112470556 140729112473526 0
[pid=10718/tid=10719] ppid=10695 vsize=8414124 memory=0 CPUtime=0.74 cores=0-7
/proc/10718/task/10719/stat : 10719 (java) S 10695 10695 9260 0 -1 1077944384 16382 0 0 0 69 5 0 0 20 0 24 0 509724671 8616062976 29364 33554432000 4194304 4196468 140731515489664 139898119020448 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10720] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10720/stat : 10720 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139898151422352 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10721] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10721/stat : 10721 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897632098576 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10722] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10722/stat : 10722 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897631046288 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10723] ppid=10695 vsize=8414124 memory=7686721470367767699 CPUtime=0 cores=0-7
/proc/10718/task/10723/stat : 10723 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897629993488 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10724] ppid=10695 vsize=8414124 memory=140129684389552 CPUtime=0 cores=0-7
/proc/10718/task/10724/stat : 10724 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897628941200 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10725] ppid=10695 vsize=8414124 memory=140129684389648 CPUtime=0 cores=0-7
/proc/10718/task/10725/stat : 10725 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897627888400 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10726] ppid=10695 vsize=8414124 memory=140129684389744 CPUtime=0 cores=0-7
/proc/10718/task/10726/stat : 10726 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897626836112 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10727] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10727/stat : 10727 (java) S 10695 10695 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509724672 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897625783312 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10728] ppid=10695 vsize=8414124 memory=280259367175808 CPUtime=0 cores=0-7
/proc/10718/task/10728/stat : 10728 (java) S 10695 10695 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509724673 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897374767216 139898147191426 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10729] ppid=10695 vsize=8414124 memory=280259366978936 CPUtime=0 cores=0-7
/proc/10718/task/10729/stat : 10729 (java) S 10695 10695 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509724674 8616062976 29364 33554432000 4194304 4196468 140731515489664 139896480064288 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10730] ppid=10695 vsize=8414124 memory=280259367764328 CPUtime=0 cores=0-7
/proc/10718/task/10730/stat : 10730 (java) S 10695 10695 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509724674 8616062976 29364 33554432000 4194304 4196468 140731515489664 139896345842800 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10731] ppid=10695 vsize=8414124 memory=280259367764424 CPUtime=0 cores=0-7
/proc/10718/task/10731/stat : 10731 (java) S 10695 10695 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139895971338320 139898147198875 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10732] ppid=10695 vsize=8414124 memory=280259367764520 CPUtime=0.03 cores=0-7
/proc/10718/task/10732/stat : 10732 (java) S 10695 10695 9260 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897373715056 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10733] ppid=10695 vsize=8414124 memory=280259367089080 CPUtime=0.08 cores=0-7
/proc/10718/task/10733/stat : 10733 (java) S 10695 10695 9260 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897372662256 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10734] ppid=10695 vsize=8414124 memory=3761832424388520913 CPUtime=0.05 cores=0-7
/proc/10718/task/10734/stat : 10734 (java) S 10695 10695 9260 0 -1 1077944384 267 0 0 0 5 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897371609968 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10735] ppid=10695 vsize=8414124 memory=8031868540012160822 CPUtime=0.18 cores=0-7
/proc/10718/task/10735/stat : 10735 (java) S 10695 10695 9260 0 -1 1077944384 501 0 0 0 18 0 0 0 20 0 24 0 509724676 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897370557168 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10736] ppid=10695 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/10718/task/10736/stat : 10736 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509724677 8616062976 29364 33554432000 4194304 4196468 140731515489664 139895473432928 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10737] ppid=10695 vsize=8414124 memory=3545938931046180855 CPUtime=0 cores=0-7
/proc/10718/task/10737/stat : 10737 (java) S 10695 10695 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509724677 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897369504048 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10739] ppid=10695 vsize=8414124 memory=3834173666707405056 CPUtime=0 cores=0-7
/proc/10718/task/10739/stat : 10739 (java) S 10695 10695 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509724742 8616062976 29364 33554432000 4194304 4196468 140731515489664 139897361470784 139898147204889 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10741] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10741/stat : 10741 (java) S 10695 10695 9260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509724742 8616062976 29364 33554432000 4194304 4196468 140731515489664 139894802333584 139898147202205 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10742] ppid=10695 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10718/task/10742/stat : 10742 (java) S 10695 10695 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509724742 8616062976 29364 33554432000 4194304 4196468 140731515489664 139895070768912 139898147202205 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10743] ppid=10695 vsize=8414124 memory=2319553527114771785 CPUtime=0 cores=0-7
/proc/10718/task/10743/stat : 10743 (java) S 10695 10695 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509724744 8616062976 29364 33554432000 4194304 4196468 140731515489664 139894533906224 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
Current children cumulated CPU time: 93.67 s
Current children cumulated vsize: 9456328 KiB
Current children cumulated memory: 485828 KiB

[startup+16.601 s]
/proc/loadavg: 7.46 6.56 4.73 5/221 10751
/proc/meminfo: memFree=25168152/32770624 swapFree=66997508/67108860
[pid=10695] ppid=10692 vsize=113128 memory=1476 CPUtime=6.82 cores=0-7
/proc/10695/stat : 10695 (scop.sh) S 10692 10695 9260 0 -1 4202496 583 28225 0 0 0 0 641 41 20 0 1 0 509724305 115843072 369 33554432000 4194304 5098028 140721556098768 140721556095512 140537142944380 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9723904 140721556103933 140721556104280 140721556104280 140721556107209 0
/proc/10695/statm: 28282 369 311 221 0 87 0
[pid=10718] ppid=10695 vsize=8283048 memory=126340 CPUtime=87.24 cores=0-7
/proc/10718/stat : 10718 (java) S 10695 10695 9260 0 -1 1077944320 21099 264386 0 0 129 8 8528 59 20 0 22 0 509724670 8481841152 31585 33554432000 4194304 4196468 140731515489664 140731515472208 139898147180279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
/proc/10718/statm: 2070762 31585 3221 1 0 2032106 0
[pid=10718/tid=10719] ppid=10695 vsize=8283048 memory=4639930699739322729 CPUtime=86.62 cores=0-7
/proc/10718/task/10719/stat : 10719 (java) R 10695 10695 9260 0 -1 4202560 16491 264386 0 0 70 5 8528 59 20 0 22 0 509724671 8481841152 31585 33554432000 4194304 4196468 140731515489664 139898119012112 139898131260766 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10720] ppid=10695 vsize=8283048 memory=0 CPUtime=85.87 cores=0-7
/proc/10718/task/10720/stat : 10720 (java) S 10695 10695 9260 0 -1 1077944384 1 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139898151422352 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10721] ppid=10695 vsize=8283048 memory=280259367613072 CPUtime=85.87 cores=0-7
/proc/10718/task/10721/stat : 10721 (java) S 10695 10695 9260 0 -1 1077944384 2 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897632098576 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10722] ppid=10695 vsize=8283048 memory=3472323898181169200 CPUtime=85.87 cores=0-7
/proc/10718/task/10722/stat : 10722 (java) S 10695 10695 9260 0 -1 1077944384 2 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897631046288 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10723] ppid=10695 vsize=8283048 memory=6656426216303648864 CPUtime=85.87 cores=0-7
/proc/10718/task/10723/stat : 10723 (java) S 10695 10695 9260 0 -1 1077944384 3 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897629993488 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10724] ppid=10695 vsize=8283048 memory=6944656592387989600 CPUtime=85.87 cores=0-7
/proc/10718/task/10724/stat : 10724 (java) S 10695 10695 9260 0 -1 1077944384 2 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897628941200 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10725] ppid=10695 vsize=8283048 memory=6656426216303648864 CPUtime=85.87 cores=0-7
/proc/10718/task/10725/stat : 10725 (java) S 10695 10695 9260 0 -1 1077944384 2 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897627888400 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10726] ppid=10695 vsize=8283048 memory=6656426216303648864 CPUtime=85.87 cores=0-7
/proc/10718/task/10726/stat : 10726 (java) S 10695 10695 9260 0 -1 1077944384 2 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897626836112 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10727] ppid=10695 vsize=8283048 memory=6655300316396806240 CPUtime=85.87 cores=0-7
/proc/10718/task/10727/stat : 10727 (java) S 10695 10695 9260 0 -1 1077944384 2 264386 0 0 0 0 8528 59 20 0 22 0 509724672 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897625783312 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10728] ppid=10695 vsize=8283048 memory=6944656592455360604 CPUtime=85.87 cores=0-7
/proc/10718/task/10728/stat : 10728 (java) S 10695 10695 9260 0 -1 1077944384 7 264386 0 0 0 0 8528 59 20 0 22 0 509724673 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897374767216 139898147191426 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10729] ppid=10695 vsize=8283048 memory=1476 CPUtime=85.87 cores=0-7
/proc/10718/task/10729/stat : 10729 (java) S 10695 10695 9260 0 -1 1077944384 13 264386 0 0 0 0 8528 59 20 0 22 0 509724674 8481841152 31585 33554432000 4194304 4196468 140731515489664 139896480064288 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10730] ppid=10695 vsize=8283048 memory=117456 CPUtime=85.87 cores=0-7
/proc/10718/task/10730/stat : 10730 (java) S 10695 10695 9260 0 -1 1077944384 21 264386 0 0 0 0 8528 59 20 0 22 0 509724674 8481841152 31585 33554432000 4194304 4196468 140731515489664 139896345842800 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10731] ppid=10695 vsize=8283048 memory=366272 CPUtime=85.87 cores=0-7
/proc/10718/task/10731/stat : 10731 (java) S 10695 10695 9260 0 -1 1077944384 1 264386 0 0 0 0 8528 59 20 0 22 0 509724676 8481841152 31585 33554432000 4194304 4196468 140731515489664 139895971338320 139898147198875 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10732] ppid=10695 vsize=8283048 memory=7230645025961766505 CPUtime=85.94 cores=0-7
/proc/10718/task/10732/stat : 10732 (java) S 10695 10695 9260 0 -1 1077944384 707 264386 0 0 7 0 8528 59 20 0 22 0 509724676 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897373715056 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10733] ppid=10695 vsize=8283048 memory=7230645025961766505 CPUtime=85.98 cores=0-7
/proc/10718/task/10733/stat : 10733 (java) S 10695 10695 9260 0 -1 1077944384 643 264386 0 0 11 0 8528 59 20 0 22 0 509724676 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897372662256 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10734] ppid=10695 vsize=8283048 memory=7668908273506412113 CPUtime=85.95 cores=0-7
/proc/10718/task/10734/stat : 10734 (java) S 10695 10695 9260 0 -1 1077944384 299 264386 0 0 8 0 8528 59 20 0 22 0 509724676 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897371609968 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10735] ppid=10695 vsize=8283048 memory=0 CPUtime=86.1 cores=0-7
/proc/10718/task/10735/stat : 10735 (java) S 10695 10695 9260 0 -1 1077944384 982 264386 0 0 23 0 8528 59 20 0 22 0 509724676 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897370557168 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10736] ppid=10695 vsize=8283048 memory=0 CPUtime=85.87 cores=0-7
/proc/10718/task/10736/stat : 10736 (java) S 10695 10695 9260 0 -1 1077944384 3 264386 0 0 0 0 8528 59 20 0 22 0 509724677 8481841152 31585 33554432000 4194304 4196468 140731515489664 139895473432928 139898147190485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10737] ppid=10695 vsize=8283048 memory=24692 CPUtime=85.87 cores=0-7
/proc/10718/task/10737/stat : 10737 (java) S 10695 10695 9260 0 -1 1077944384 3 264386 0 0 0 0 8528 59 20 0 22 0 509724677 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897369504048 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10739] ppid=10695 vsize=8283048 memory=0 CPUtime=85.87 cores=0-7
/proc/10718/task/10739/stat : 10739 (java) S 10695 10695 9260 0 -1 1077944384 25 264386 0 0 0 0 8528 59 20 0 22 0 509724742 8481841152 31585 33554432000 4194304 4196468 140731515489664 139897361469968 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
[pid=10718/tid=10743] ppid=10695 vsize=8283048 memory=-2698087543253882270 CPUtime=85.87 cores=0-7
/proc/10718/task/10743/stat : 10743 (java) S 10695 10695 9260 0 -1 1077944384 15 264386 0 0 0 0 8528 59 20 0 22 0 509724744 8481841152 31585 33554432000 4194304 4196468 140731515489664 139894533908016 139898147191426 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16191488 140731515495391 140731515495558 140731515495558 140731515498447 0
Current children cumulated CPU time: 94.06 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127816 KiB

Child status: 0
Real time (s): 16.6953
CPU time (s): 94.3549
CPU user time (s): 93.2336
CPU system time (s): 1.12139
CPU usage (%): 565.159
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1894156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2335
system time used= 1.12139
maximum resident set size= 1895764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17646
involuntary context switches= 1003


# summary of solver processes directly reported to runsolver:
#   pid: 10695
#   total CPU time (s): 94.3549
#   total CPU user time (s): 93.2336
#   total CPU system time (s): 1.12139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.191053 second user time and 0.239644 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 17:10:18
IDJOB=4405140
IDBENCH=127807
IDSOLVER=2867
FILE ID=node140/4405140-1569337860
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13516 MiB

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

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

MD5SUM BENCH= a94c8ce581cdc830ec36047aa81438de
RANDOM SEED=1515817887

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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:        25650480 kB
MemAvailable:   31844796 kB
Buffers:          119244 kB
Cached:          6173244 kB
SwapCached:         2800 kB
Active:          3125664 kB
Inactive:        3174568 kB
Active(anon):       4636 kB
Inactive(anon):    58400 kB
Active(file):    3121028 kB
Inactive(file):  3116168 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997508 kB
Dirty:             20872 kB
Writeback:            16 kB
AnonPages:        113240 kB
Mapped:            56736 kB
Shmem:             46804 kB
Slab:             414432 kB
SReclaimable:     385580 kB
SUnreclaim:        28852 kB
KernelStack:        3392 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 17:10:35