Trace number 4392340

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-142.xml
MD5SUM216ebd1a5dc9377e08f238421ffc41cf
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 benchmark46.3348
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size465
Maximum domain size465
Distribution of domain sizes[{"size":465,"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-11381-serial-file.bin HOME/instance-4392340-1568429978.xml
0.64/0.54	
0.64/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.54	
0.64/0.56	c BEGIN-Prog: Sat Sep 14 04:59:02 CEST 2019
0.64/0.56	c PID: 11384
0.64/0.56	c IP: 172.20.3.148
0.64/0.56	c HOST: node148.alineos.net
0.64/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 465
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4392340-1568429978.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 6 (10%) constraints
1.39/0.99	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.00	c (0,0) translated 22 (40%) constraints
1.39/1.00	c (0,0) translated 27 (50%) constraints
1.39/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.01	c (0,0) translated 43 (80%) constraints
1.56/1.01	c (0,0) translated 48 (90%) constraints
2.15/1.27	c (0,0) translated 53 (100%) constraints
2.15/1.27	c (0,0) ===========================================
2.15/1.27	c (0,0) Order
2.15/1.27	c (0,0) ===========================================
2.15/1.28	c (0,0) translated 36 (10%) constraints
2.15/1.29	c (0,0) translated 71 (20%) constraints
2.15/1.29	c (0,0) translated 106 (30%) constraints
2.52/1.30	c (0,0) translated 141 (40%) constraints
2.52/1.30	c (0,0) translated 176 (50%) constraints
2.52/1.31	c (0,0) translated 212 (60%) constraints
2.52/1.31	c (0,0) translated 247 (70%) constraints
2.52/1.32	c (0,0) translated 282 (80%) constraints
2.52/1.32	c (0,0) translated 317 (90%) constraints
2.52/1.32	c (0,0) translated 352 (100%) constraints
2.52/1.33	c (0,0) CSP to CSPinCNF End
2.52/1.33	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 460
2.52/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.52/1.33	c (0,0) CSPinCNF Propagation Begin
2.52/1.36	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.52/1.36	c (0,0) CSPinCNF Propagation End
2.52/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 460
2.52/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.52/1.36	c (0,0) Simplify CSPinCNF Begin
2.88/1.45	c (0,0) Simplify CSPinCNF End
2.88/1.46	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.88/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.88/1.46	c (0,0) Calculate Precise Domain Begin
2.88/1.46	c (0,0) 0 values are removed by re-calculation
2.88/1.46	c (0,0) Calculate Precise Domain End
2.88/1.46	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.88/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.88/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.70/1.93	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 65705 SAT clauses)
5.03/2.11	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 110504 SAT clauses)
5.13/2.27	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 152010 SAT clauses)
5.37/2.43	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 195298 SAT clauses)
5.47/2.58	c (2,2) 747 (50 %) CSP clauses are encoded (0 SAT variables, 234670 SAT clauses)
5.68/2.73	c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 274303 SAT clauses)
5.79/2.86	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 310139 SAT clauses)
5.90/2.99	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 343600 SAT clauses)
6.01/3.09	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 372189 SAT clauses)
6.12/3.17	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 392618 SAT clauses)
6.12/3.17	c (2,2) CSPinCNF to SatSolver End
6.12/3.17	c (2,2) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.12/3.17	c (2,2) 20472 bool, 392750 clause
6.12/3.17	c (2,2) Export Begin
6.23/3.25	c (2,2) Export to HOME/scop-11381-serial-file.bin
6.23/3.25	c (2,2) Export End
6.23/3.26	c (2,2) Export File Size: 0.01 MB
6.23/3.26	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.23/3.26	c END-Prog: Sat Sep 14 04:59:05 CEST 2019
6.23/3.27	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11381-serial-file.bin
6.37/3.73	c (0,0) Read Serial File Begin
6.37/3.73	c (0,0) HOME/scop-11381-serial-file.bin
6.37/3.93	c (0,0) Read Serial File End
7.61/4.15	
7.61/4.15	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.61/4.15	(Solving Process)
7.61/4.15	
7.61/4.15	c BEGIN-Prog: Sat Sep 14 04:59:06 CEST 2019
7.61/4.15	c PID: 11404
7.61/4.15	c IP: 172.20.3.148
7.61/4.15	c HOST: node148.alineos.net
7.61/4.15	c (0,0) SatSolver.solve Begin
7.61/4.15	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392340-1568429978.xml-scop-11384.cnf
7.61/4.15	c (0,0) c
7.61/4.15	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.61/4.15	c (0,0) c
7.61/4.15	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.61/4.15	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.61/4.15	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.61/4.15	c (0,0) c |                                                                                                       |
7.61/4.15	c (0,0) c |  Number of variables:         20472                                                                   |
7.61/4.15	c (0,0) c |  Number of clauses:          392750                                                                   |
7.61/4.15	c (0,0) c |  Parse time:                   0.13 s                                                                 |
7.61/4.15	c (0,0) c |                                                                                                       |
8.10/4.67	c (1,0) c |  Simplification time:          0.53 s                                                                 |
8.10/4.67	c (1,0) c |                                                                                                       |
8.10/4.67	c (1,0) c |  Generating clones                                                                                    |
8.20/4.77	c (1,0) c |  all clones generated. Memory =   238.64Mb.                                                           |
8.20/4.77	c (1,0) c ========================================================================================================|
8.20/4.77	c (1,0) c
8.20/4.77	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.20/4.77	c (1,0) c
8.20/4.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.20/4.77	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.20/4.77	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.20/4.77	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.20/4.77	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.20/4.77	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.20/4.77	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.20/4.77	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.20/4.77	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.20/4.77	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.20/4.78	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.20/4.78	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.20/4.78	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.20/4.78	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.20/4.78	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.20/4.78	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.20/4.78	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.20/4.78	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.20/4.78	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c real time : 12.2331 s
95.62/16.23	c (12,0) c cpu time  : 87.6599 s
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c | Conflicts     |          239576 |      30300 |      30381 |      29753 |      29162 |      29975 |      29807 |      30103 |      30095 |
95.62/16.23	c (12,0) c | Decisions     |          535810 |      67387 |      67307 |      69651 |      65946 |      66930 |      63481 |      69032 |      66076 |
95.62/16.23	c (12,0) c | Propagations  |       164898637 |   20692395 |   20772239 |   20312014 |   20407798 |   21002513 |   20494359 |   20483335 |   20733984 |
95.62/16.23	c (12,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
95.62/16.23	c (12,0) c | SimpDBs       |              21 |          3 |          2 |          2 |          3 |          3 |          3 |          3 |          2 |
95.62/16.23	c (12,0) c | Restarts      |             756 |         94 |         69 |        105 |        100 |        110 |         83 |         92 |        103 |
95.62/16.23	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.62/16.23	c (12,0) c | PropBinClauses|       219629637 |   27782774 |   27385542 |   26871080 |   27382561 |   27729203 |   27893019 |   26891391 |   27694067 |
95.62/16.23	c (12,0) c | PropPreBlocker|      1998894009 |  249220454 |  251019089 |  250388816 |  248233567 |  249557211 |  247727661 |  250665089 |  252082122 |
95.62/16.23	c (12,0) c | PropNotBlocker|       755124826 |   93814077 |   94361093 |   94596135 |   95578640 |   93944085 |   96039137 |   93092555 |   93699104 |
95.62/16.23	c (12,0) c | LitFullScans  |      3889878544 |  486052872 |  486021611 |  486054793 |  486038986 |  486037570 |  486032588 |  487599360 |  486040764 |
95.62/16.23	c (12,0) c | LitScanFracts |          221431 |      21520 |      15957 |      46974 |      31006 |      27831 |      24063 |      32420 |      21660 |
95.62/16.23	c (12,0) c | DecisionLevel0|             766 |         96 |         70 |        105 |        102 |        111 |         85 |         93 |        104 |
95.62/16.23	c (12,0) c | Periods       |             648 |         81 |         81 |         81 |         81 |         81 |         81 |         81 |         81 |
95.62/16.23	c (12,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
95.62/16.23	c (12,0) c | Avg_Trail     |                 |       6458 |       6505 |       6483 |       6478 |       6524 |       6260 |       6726 |       6528 |
95.62/16.23	c (12,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         25 |         25 |         26 |         25 |
95.62/16.23	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.62/16.23	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c | Exported      |           46138 |       5551 |       5862 |       5728 |       5646 |       5768 |       5626 |       5984 |       5973 |
95.62/16.23	c (12,0) c | Imported      |          255853 |      32732 |      30252 |      32680 |      32674 |      31906 |      32678 |      30455 |      32476 |
95.62/16.23	c (12,0) c | Good          |             122 |         17 |         14 |         15 |         15 |         13 |         17 |         15 |         16 |
95.62/16.23	c (12,0) c | Purge         |          255731 |      32715 |      30238 |      32665 |      32659 |      31893 |      32661 |      30440 |      32460 |
95.62/16.23	c (12,0) c | Promoted      |           21558 |       2618 |       2748 |       2838 |       2790 |       2689 |       2710 |       2582 |       2583 |
95.62/16.23	c (12,0) c | Remove_Imp    |           63833 |       5939 |       8024 |       8083 |       9869 |       7866 |       7980 |       8153 |       7919 |
95.62/16.23	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c | Unaries       |                 |          2 |          1 |          0 |          2 |          1 |          2 |          1 |          1 |
95.62/16.23	c (12,0) c | Binaries      |                 |          1 |          2 |          3 |          3 |          5 |          2 |          2 |          2 |
95.62/16.23	c (12,0) c | Glues         |                 |         61 |        101 |         66 |         88 |         70 |         74 |         72 |         61 |
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c | Orig_Seen     |             9 % |      37076 |      37652 |      36643 |      37089 |      36498 |      34108 |      40543 |      36674 |
95.62/16.23	c (12,0) c | Diff Orig seen|                 | -     3467 | -     2891 | -     3900 | -     3454 | -     4045 | -     6435 |      X     | -     3869 |
95.62/16.23	c (12,0) c | Hamming       |            34 % |       6768 |       6874 |       6093 |       6887 |       8091 |       6121 |      X     |       8155 |
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c | RunningTime   |                 |   11.4 100%|   11.3 100%|   10.6 100%|   10.9 100%|   10.7 100%|   11.0 100%|   10.6 100%|   11.1 100%|
95.62/16.23	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%|
95.62/16.23	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%|
95.62/16.23	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%|
95.62/16.23	c (12,0) c | SolvingTime   |                 |   11.4     |   11.3     |   10.7     |   10.9     |   10.7     |   11.0     |   10.7     |   11.1     |
95.62/16.23	c (12,0) c | PropagationTim|                 |    9.7  85%|    9.6  85%|    9.0  85%|    9.2  85%|    9.1  85%|    9.4  85%|    8.9  84%|    9.4  85%|
95.62/16.23	c (12,0) c | AnalysisTime  |                 |    1.3  11%|    1.2  11%|    1.2  11%|    1.2  11%|    1.2  11%|    1.2  11%|    1.3  12%|    1.3  12%|
95.62/16.23	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%|
95.62/16.23	c (12,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
95.62/16.23	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%|
95.62/16.23	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%|
95.62/16.23	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c
95.62/16.23	c (12,0) c Threads : 8
95.62/16.23	c (12,0) c Winner : 6
95.62/16.23	c (12,0) c Conflicts_0 : 30300
95.62/16.23	c (12,0) c Conflicts_1 : 30381
95.62/16.23	c (12,0) c Conflicts_2 : 29753
95.62/16.23	c (12,0) c Conflicts_3 : 29162
95.62/16.23	c (12,0) c Conflicts_4 : 29975
95.62/16.23	c (12,0) c Conflicts_5 : 29807
95.62/16.23	c (12,0) c Conflicts_6 : 30103
95.62/16.23	c (12,0) c Conflicts_7 : 30095
95.62/16.23	c (12,0) c Conflicts_total : 239576
95.62/16.23	c (12,0) c Conflicts_winner : 30103
95.62/16.23	c (12,0) c Decisions_0 : 67387
95.62/16.23	c (12,0) c Decisions_1 : 67307
95.62/16.23	c (12,0) c Decisions_2 : 69651
95.62/16.23	c (12,0) c Decisions_3 : 65946
95.62/16.23	c (12,0) c Decisions_4 : 66930
95.62/16.23	c (12,0) c Decisions_5 : 63481
95.62/16.23	c (12,0) c Decisions_6 : 69032
95.62/16.23	c (12,0) c Decisions_7 : 66076
95.62/16.23	c (12,0) c Decisions_total : 535810
95.62/16.23	c (12,0) c Decisions_winner : 69032
95.62/16.23	c (12,0) c Propagations_0 : 20692395
95.62/16.23	c (12,0) c Propagations_1 : 20772239
95.62/16.23	c (12,0) c Propagations_2 : 20312014
95.62/16.23	c (12,0) c Propagations_3 : 20407798
95.62/16.23	c (12,0) c Propagations_4 : 21002513
95.62/16.23	c (12,0) c Propagations_5 : 20494359
95.62/16.23	c (12,0) c Propagations_6 : 20483335
95.62/16.23	c (12,0) c Propagations_7 : 20733984
95.62/16.23	c (12,0) c Propagations_total : 164898637
95.62/16.23	c (12,0) c Propagations_winner : 20483335
95.62/16.23	c (12,0) c ReduceDBs_0 : 4
95.62/16.23	c (12,0) c ReduceDBs_1 : 4
95.62/16.23	c (12,0) c ReduceDBs_2 : 4
95.62/16.23	c (12,0) c ReduceDBs_3 : 4
95.62/16.23	c (12,0) c ReduceDBs_4 : 4
95.62/16.23	c (12,0) c ReduceDBs_5 : 4
95.62/16.23	c (12,0) c ReduceDBs_6 : 4
95.62/16.23	c (12,0) c ReduceDBs_7 : 4
95.62/16.23	c (12,0) c ReduceDBs_total : 32
95.62/16.23	c (12,0) c ReduceDBs_winner : 4
95.62/16.23	c (12,0) c SimpDBs_0 : 3
95.62/16.23	c (12,0) c SimpDBs_1 : 2
95.62/16.23	c (12,0) c SimpDBs_2 : 2
95.62/16.23	c (12,0) c SimpDBs_3 : 3
95.62/16.23	c (12,0) c SimpDBs_4 : 3
95.62/16.23	c (12,0) c SimpDBs_5 : 3
95.62/16.23	c (12,0) c SimpDBs_6 : 3
95.62/16.23	c (12,0) c SimpDBs_7 : 2
95.62/16.23	c (12,0) c SimpDBs_total : 21
95.62/16.23	c (12,0) c SimpDBs_winner : 3
95.62/16.23	c (12,0) c Restarts_0 : 94
95.62/16.23	c (12,0) c Restarts_1 : 69
95.62/16.23	c (12,0) c Restarts_2 : 105
95.62/16.23	c (12,0) c Restarts_3 : 100
95.62/16.23	c (12,0) c Restarts_4 : 110
95.62/16.23	c (12,0) c Restarts_5 : 83
95.62/16.23	c (12,0) c Restarts_6 : 92
95.62/16.23	c (12,0) c Restarts_7 : 103
95.62/16.23	c (12,0) c Restarts_total : 756
95.62/16.23	c (12,0) c Restarts_winner : 92
95.62/16.23	c (12,0) c ForcedImports_0 : 0
95.62/16.23	c (12,0) c ForcedImports_1 : 0
95.62/16.23	c (12,0) c ForcedImports_2 : 0
95.62/16.23	c (12,0) c ForcedImports_3 : 0
95.62/16.23	c (12,0) c ForcedImports_4 : 0
95.62/16.23	c (12,0) c ForcedImports_5 : 0
95.62/16.23	c (12,0) c ForcedImports_6 : 0
95.62/16.23	c (12,0) c ForcedImports_7 : 0
95.62/16.23	c (12,0) c ForcedImports_total : 0
95.62/16.23	c (12,0) c ForcedImports_winner : 0
95.62/16.23	c (12,0) c PropsBinClauses_0 : 27782774
95.62/16.23	c (12,0) c PropsBinClauses_1 : 27385542
95.62/16.23	c (12,0) c PropsBinClauses_2 : 26871080
95.62/16.23	c (12,0) c PropsBinClauses_3 : 27382561
95.62/16.23	c (12,0) c PropsBinClauses_4 : 27729203
95.62/16.23	c (12,0) c PropsBinClauses_5 : 27893019
95.62/16.23	c (12,0) c PropsBinClauses_6 : 26891391
95.62/16.23	c (12,0) c PropsBinClauses_7 : 27694067
95.62/16.23	c (12,0) c PropsBinClauses_total : 219629637
95.62/16.23	c (12,0) c PropsBinClauses_winner : 26891391
95.62/16.23	c (12,0) c PropsPreBlocker_0 : 249220454
95.62/16.23	c (12,0) c PropsPreBlocker_1 : 251019089
95.62/16.23	c (12,0) c PropsPreBlocker_2 : 250388816
95.62/16.23	c (12,0) c PropsPreBlocker_3 : 248233567
95.62/16.23	c (12,0) c PropsPreBlocker_4 : 249557211
95.62/16.23	c (12,0) c PropsPreBlocker_5 : 247727661
95.62/16.23	c (12,0) c PropsPreBlocker_6 : 250665089
95.62/16.23	c (12,0) c PropsPreBlocker_7 : 252082122
95.62/16.23	c (12,0) c PropsPreBlocker_total : 1998894009
95.62/16.23	c (12,0) c PropsPreBlocker_winner : 250665089
95.62/16.23	c (12,0) c PropsNotBlocker_0 : 93814077
95.62/16.23	c (12,0) c PropsNotBlocker_1 : 94361093
95.62/16.23	c (12,0) c PropsNotBlocker_2 : 94596135
95.62/16.23	c (12,0) c PropsNotBlocker_3 : 95578640
95.62/16.23	c (12,0) c PropsNotBlocker_4 : 93944085
95.62/16.23	c (12,0) c PropsNotBlocker_5 : 96039137
95.62/16.23	c (12,0) c PropsNotBlocker_6 : 93092555
95.62/16.23	c (12,0) c PropsNotBlocker_7 : 93699104
95.62/16.23	c (12,0) c PropsNotBlocker_total : 755124826
95.62/16.23	c (12,0) c PropsNotBlocker_winner : 93092555
95.62/16.23	c (12,0) c PropsLitFullScans_0 : 486052872
95.62/16.23	c (12,0) c PropsLitFullScans_1 : 486021611
95.62/16.23	c (12,0) c PropsLitFullScans_2 : 486054793
95.62/16.23	c (12,0) c PropsLitFullScans_3 : 486038986
95.62/16.23	c (12,0) c PropsLitFullScans_4 : 486037570
95.62/16.23	c (12,0) c PropsLitFullScans_5 : 486032588
95.62/16.23	c (12,0) c PropsLitFullScans_6 : 487599360
95.62/16.23	c (12,0) c PropsLitFullScans_7 : 486040764
95.62/16.23	c (12,0) c PropsLitFullScans_total : 3889878544
95.62/16.23	c (12,0) c PropsLitFullScans_winner : 487599360
95.62/16.23	c (12,0) c LitScanFractions_0 : 21520
95.62/16.23	c (12,0) c LitScanFractions_1 : 15957
95.62/16.23	c (12,0) c LitScanFractions_2 : 46974
95.62/16.23	c (12,0) c LitScanFractions_3 : 31006
95.62/16.23	c (12,0) c LitScanFractions_4 : 27831
95.62/16.23	c (12,0) c LitScanFractions_5 : 24063
95.62/16.23	c (12,0) c LitScanFractions_6 : 32420
95.62/16.23	c (12,0) c LitScanFractions_7 : 21660
95.62/16.23	c (12,0) c LitScanFractions_total : 221431
95.62/16.23	c (12,0) c LitScanFractions_winner : 32420
95.62/16.23	c (12,0) c DecisionLevel0_0 : 96
95.62/16.23	c (12,0) c DecisionLevel0_1 : 70
95.62/16.23	c (12,0) c DecisionLevel0_2 : 105
95.62/16.23	c (12,0) c DecisionLevel0_3 : 102
95.62/16.23	c (12,0) c DecisionLevel0_4 : 111
95.62/16.23	c (12,0) c DecisionLevel0_5 : 85
95.62/16.23	c (12,0) c DecisionLevel0_6 : 93
95.62/16.23	c (12,0) c DecisionLevel0_7 : 104
95.62/16.23	c (12,0) c DecisionLevel0_total : 766
95.62/16.23	c (12,0) c DecisionLevel0_winner : 93
95.62/16.23	c (12,0) c Periods_0 : 81
95.62/16.23	c (12,0) c Periods_1 : 81
95.62/16.23	c (12,0) c Periods_2 : 81
95.62/16.23	c (12,0) c Periods_3 : 81
95.62/16.23	c (12,0) c Periods_4 : 81
95.62/16.23	c (12,0) c Periods_5 : 81
95.62/16.23	c (12,0) c Periods_6 : 81
95.62/16.24	c (12,0) c Periods_7 : 81
95.62/16.24	c (12,0) c Periods_total : 648
95.62/16.24	c (12,0) c Periods_winner : 81
95.62/16.24	c (12,0) c Margin_0 : 20
95.62/16.24	c (12,0) c Margin_1 : 20
95.62/16.24	c (12,0) c Margin_2 : 20
95.62/16.24	c (12,0) c Margin_3 : 20
95.62/16.24	c (12,0) c Margin_4 : 20
95.62/16.24	c (12,0) c Margin_5 : 20
95.62/16.24	c (12,0) c Margin_6 : 20
95.62/16.24	c (12,0) c Margin_7 : 20
95.62/16.24	c (12,0) c Margin_total : 160
95.62/16.24	c (12,0) c Margin_winner : 20
95.62/16.24	c (12,0) c Exported_0 : 5551
95.62/16.24	c (12,0) c Exported_1 : 5862
95.62/16.24	c (12,0) c Exported_2 : 5728
95.62/16.24	c (12,0) c Exported_3 : 5646
95.62/16.24	c (12,0) c Exported_4 : 5768
95.62/16.24	c (12,0) c Exported_5 : 5626
95.62/16.24	c (12,0) c Exported_6 : 5984
95.62/16.24	c (12,0) c Exported_7 : 5973
95.62/16.24	c (12,0) c Exported_total : 46138
95.62/16.24	c (12,0) c Exported_winner : 5984
95.62/16.24	c (12,0) c Imported_0 : 32732
95.62/16.24	c (12,0) c Imported_1 : 30252
95.62/16.24	c (12,0) c Imported_2 : 32680
95.62/16.24	c (12,0) c Imported_3 : 32674
95.62/16.24	c (12,0) c Imported_4 : 31906
95.62/16.24	c (12,0) c Imported_5 : 32678
95.62/16.24	c (12,0) c Imported_6 : 30455
95.62/16.24	c (12,0) c Imported_7 : 32476
95.62/16.24	c (12,0) c Imported_total : 255853
95.62/16.24	c (12,0) c Imported_winner : 30455
95.62/16.24	c (12,0) c Good_0 : 17
95.62/16.24	c (12,0) c Good_1 : 14
95.62/16.24	c (12,0) c Good_2 : 15
95.62/16.24	c (12,0) c Good_3 : 15
95.62/16.24	c (12,0) c Good_4 : 13
95.62/16.24	c (12,0) c Good_5 : 17
95.62/16.24	c (12,0) c Good_6 : 15
95.62/16.24	c (12,0) c Good_7 : 16
95.62/16.24	c (12,0) c Good_total : 122
95.62/16.24	c (12,0) c Good_winner : 15
95.62/16.24	c (12,0) c Purge_0 : 32715
95.62/16.24	c (12,0) c Purge_1 : 30238
95.62/16.24	c (12,0) c Purge_2 : 32665
95.62/16.24	c (12,0) c Purge_3 : 32659
95.62/16.24	c (12,0) c Purge_4 : 31893
95.62/16.24	c (12,0) c Purge_5 : 32661
95.62/16.24	c (12,0) c Purge_6 : 30440
95.62/16.24	c (12,0) c Purge_7 : 32460
95.62/16.24	c (12,0) c Purge_total : 255731
95.62/16.24	c (12,0) c Purge_winner : 30440
95.62/16.24	c (12,0) c Promoted_0 : 2618
95.62/16.24	c (12,0) c Promoted_1 : 2748
95.62/16.24	c (12,0) c Promoted_2 : 2838
95.62/16.24	c (12,0) c Promoted_3 : 2790
95.62/16.24	c (12,0) c Promoted_4 : 2689
95.62/16.24	c (12,0) c Promoted_5 : 2710
95.62/16.24	c (12,0) c Promoted_6 : 2582
95.62/16.24	c (12,0) c Promoted_7 : 2583
95.62/16.24	c (12,0) c Promoted_total : 21558
95.62/16.24	c (12,0) c Promoted_winner : 2582
95.62/16.24	c (12,0) c Remove_Imp_0 : 5939
95.62/16.24	c (12,0) c Remove_Imp_1 : 8024
95.62/16.24	c (12,0) c Remove_Imp_2 : 8083
95.62/16.24	c (12,0) c Remove_Imp_3 : 9869
95.62/16.24	c (12,0) c Remove_Imp_4 : 7866
95.62/16.24	c (12,0) c Remove_Imp_5 : 7980
95.62/16.24	c (12,0) c Remove_Imp_6 : 8153
95.62/16.24	c (12,0) c Remove_Imp_7 : 7919
95.62/16.24	c (12,0) c Remove_Imp_total : 63833
95.62/16.24	c (12,0) c Remove_Imp_winner : 8153
95.62/16.24	c (12,0) c Blocked_Reuse_0 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_1 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_2 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_3 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_4 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_5 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_6 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_7 : 0
95.62/16.24	c (12,0) c Blocked_Reuse_total : 0
95.62/16.24	c (12,0) c Blocked_Reuse_winner : 0
95.62/16.24	c (12,0) c Unaries_0 : 2
95.62/16.24	c (12,0) c Unaries_1 : 1
95.62/16.24	c (12,0) c Unaries_2 : 0
95.62/16.24	c (12,0) c Unaries_3 : 2
95.62/16.24	c (12,0) c Unaries_4 : 1
95.62/16.24	c (12,0) c Unaries_5 : 2
95.62/16.24	c (12,0) c Unaries_6 : 1
95.62/16.24	c (12,0) c Unaries_7 : 1
95.62/16.24	c (12,0) c Unaries_total : 10
95.62/16.24	c (12,0) c Unaries_winner : 1
95.62/16.24	c (12,0) c Binaries_0 : 1
95.62/16.24	c (12,0) c Binaries_1 : 2
95.62/16.24	c (12,0) c Binaries_2 : 3
95.62/16.24	c (12,0) c Binaries_3 : 3
95.62/16.24	c (12,0) c Binaries_4 : 5
95.62/16.24	c (12,0) c Binaries_5 : 2
95.62/16.24	c (12,0) c Binaries_6 : 2
95.62/16.24	c (12,0) c Binaries_7 : 2
95.62/16.24	c (12,0) c Binaries_total : 20
95.62/16.24	c (12,0) c Binaries_winner : 2
95.62/16.24	c (12,0) c Glues_0 : 61
95.62/16.24	c (12,0) c Glues_1 : 101
95.62/16.24	c (12,0) c Glues_2 : 66
95.62/16.24	c (12,0) c Glues_3 : 88
95.62/16.24	c (12,0) c Glues_4 : 70
95.62/16.24	c (12,0) c Glues_5 : 74
95.62/16.24	c (12,0) c Glues_6 : 72
95.62/16.24	c (12,0) c Glues_7 : 61
95.62/16.24	c (12,0) c Glues_total : 593
95.62/16.24	c (12,0) c Glues_winner : 72
95.62/16.24	c (12,0) c RunningTime_0 : 11.432002
95.62/16.24	c (12,0) c RunningTime_1 : 11.255832
95.62/16.24	c (12,0) c RunningTime_2 : 10.644412
95.62/16.24	c (12,0) c RunningTime_3 : 10.890638
95.62/16.24	c (12,0) c RunningTime_4 : 10.705462
95.62/16.24	c (12,0) c RunningTime_5 : 11.006754
95.62/16.24	c (12,0) c RunningTime_6 : 10.639849
95.62/16.24	c (12,0) c RunningTime_7 : 11.069905
95.62/16.24	c (12,0) c RunningTime_total : 87.644854
95.62/16.24	c (12,0) c RunningTime_winner : 10.639849
95.62/16.24	c (12,0) c WaitingTime_0 : 0.000093
95.62/16.24	c (12,0) c WaitingTime_1 : 0.000078
95.62/16.24	c (12,0) c WaitingTime_2 : 0.000122
95.62/16.24	c (12,0) c WaitingTime_3 : 0.000086
95.62/16.24	c (12,0) c WaitingTime_4 : 0.000147
95.62/16.24	c (12,0) c WaitingTime_5 : 0.000101
95.62/16.24	c (12,0) c WaitingTime_6 : 0.000130
95.62/16.24	c (12,0) c WaitingTime_7 : 0.000115
95.62/16.24	c (12,0) c WaitingTime_total : 0.000874
95.62/16.24	c (12,0) c WaitingTime_winner : 0.000130
95.62/16.24	c (12,0) c ExchangingTime_0 : 0.013647
95.62/16.24	c (12,0) c ExchangingTime_1 : 0.012341
95.62/16.24	c (12,0) c ExchangingTime_2 : 0.012757
95.62/16.24	c (12,0) c ExchangingTime_3 : 0.012832
95.62/16.24	c (12,0) c ExchangingTime_4 : 0.013129
95.62/16.24	c (12,0) c ExchangingTime_5 : 0.019737
95.62/16.24	c (12,0) c ExchangingTime_6 : 0.012615
95.62/16.24	c (12,0) c ExchangingTime_7 : 0.013051
95.62/16.24	c (12,0) c ExchangingTime_total : 0.110109
95.62/16.24	c (12,0) c ExchangingTime_winner : 0.012615
95.62/16.24	c (12,0) c PeriodProcTime_0 : 0.000791
95.62/16.24	c (12,0) c PeriodProcTime_1 : 0.000819
95.62/16.24	c (12,0) c PeriodProcTime_2 : 0.000773
95.62/16.24	c (12,0) c PeriodProcTime_3 : 0.000784
95.62/16.24	c (12,0) c PeriodProcTime_4 : 0.000772
95.62/16.24	c (12,0) c PeriodProcTime_5 : 0.000968
95.62/16.24	c (12,0) c PeriodProcTime_6 : 0.000879
95.62/16.24	c (12,0) c PeriodProcTime_7 : 0.000973
95.62/16.24	c (12,0) c PeriodProcTime_total : 0.006759
95.62/16.24	c (12,0) c PeriodProcTime_winner : 0.000879
95.62/16.24	c (12,0) c SolvingTime_0 : 11.446533
95.62/16.24	c (12,0) c SolvingTime_1 : 11.269070
95.62/16.24	c (12,0) c SolvingTime_2 : 10.658064
95.62/16.24	c (12,0) c SolvingTime_3 : 10.904340
95.62/16.24	c (12,0) c SolvingTime_4 : 10.719510
95.62/16.24	c (12,0) c SolvingTime_5 : 11.027561
95.62/16.24	c (12,0) c SolvingTime_6 : 10.653473
95.62/16.24	c (12,0) c SolvingTime_7 : 11.084044
95.62/16.24	c (12,0) c SolvingTime_total : 87.762595
95.62/16.24	c (12,0) c SolvingTime_winner : 10.653473
95.62/16.24	c (12,0) c PropagationTime_0 : 9.731552
95.62/16.24	c (12,0) c PropagationTime_1 : 9.616332
95.62/16.24	c (12,0) c PropagationTime_2 : 9.037593
95.62/16.24	c (12,0) c PropagationTime_3 : 9.224741
95.62/16.24	c (12,0) c PropagationTime_4 : 9.066045
95.62/16.24	c (12,0) c PropagationTime_5 : 9.350156
95.62/16.24	c (12,0) c PropagationTime_6 : 8.945115
95.62/16.24	c (12,0) c PropagationTime_7 : 9.369003
95.62/16.24	c (12,0) c PropagationTime_total : 74.340538
95.62/16.24	c (12,0) c PropagationTime_winner : 8.945115
95.62/16.24	c (12,0) c AnalysisTime_0 : 1.280141
95.62/16.24	c (12,0) c AnalysisTime_1 : 1.219534
95.62/16.24	c (12,0) c AnalysisTime_2 : 1.208818
95.62/16.24	c (12,0) c AnalysisTime_3 : 1.234257
95.62/16.24	c (12,0) c AnalysisTime_4 : 1.217431
95.62/16.24	c (12,0) c AnalysisTime_5 : 1.239015
95.62/16.24	c (12,0) c AnalysisTime_6 : 1.265226
95.62/16.24	c (12,0) c AnalysisTime_7 : 1.288184
95.62/16.24	c (12,0) c AnalysisTime_total : 9.952606
95.62/16.24	c (12,0) c AnalysisTime_winner : 1.265226
95.62/16.24	c (12,0) c ReductionTime_0 : 0.011777
95.62/16.24	c (12,0) c ReductionTime_1 : 0.011794
95.62/16.24	c (12,0) c ReductionTime_2 : 0.012077
95.62/16.24	c (12,0) c ReductionTime_3 : 0.012247
95.62/16.24	c (12,0) c ReductionTime_4 : 0.011727
95.62/16.24	c (12,0) c ReductionTime_5 : 0.012326
95.62/16.24	c (12,0) c ReductionTime_6 : 0.012327
95.62/16.24	c (12,0) c ReductionTime_7 : 0.012159
95.62/16.24	c (12,0) c ReductionTime_total : 0.096434
95.62/16.24	c (12,0) c ReductionTime_winner : 0.012327
95.62/16.24	c (12,0) c SimplifyTime_0 : 0.023961
95.62/16.24	c (12,0) c SimplifyTime_1 : 0.014670
95.62/16.24	c (12,0) c SimplifyTime_2 : 0.010766
95.62/16.24	c (12,0) c SimplifyTime_3 : 0.020963
95.62/16.24	c (12,0) c SimplifyTime_4 : 0.021015
95.62/16.24	c (12,0) c SimplifyTime_5 : 0.024051
95.62/16.24	c (12,0) c SimplifyTime_6 : 0.022434
95.62/16.24	c (12,0) c SimplifyTime_7 : 0.014403
95.62/16.24	c (12,0) c SimplifyTime_total : 0.152263
95.62/16.24	c (12,0) c SimplifyTime_winner : 0.022434
95.62/16.24	c (12,0) c UsedRateTime_0 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_1 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_2 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_3 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_4 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_5 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_6 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_7 : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_total : 0.000000
95.62/16.24	c (12,0) c UsedRateTime_winner : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_0 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_1 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_2 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_3 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_4 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_5 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_6 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_7 : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_total : 0.000000
95.62/16.24	c (12,0) c OverlapRateTime_winner : 0.000000
95.62/16.24	c (12,0) c
95.62/16.24	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
95.62/16.24	c (12,0) c
95.62/16.24	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.24	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
95.62/16.24	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.24	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
95.62/16.24	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
95.62/16.24	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
95.62/16.24	c (12,0) c | Initial random_seed   | 1195999139 |  979854045 |  693781890 | 1853973051 | 1345981135 | 2033120915 | 1649341207 | 1641858006 |
95.62/16.24	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
95.62/16.24	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
95.62/16.24	c (12,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
95.62/16.24	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
95.62/16.24	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
95.62/16.24	c (12,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
95.62/16.24	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
95.62/16.24	c (12,0) c | var_decay             |     0.8600 |     0.8600 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8600 |     0.8600 |
95.62/16.24	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
95.62/16.24	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
95.62/16.24	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
95.62/16.24	c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
95.62/16.24	c (12,0) 
95.62/16.24	c (12,0) s SATISFIABLE
95.62/16.29	c (12,0) SatSolver.solve End
95.62/16.29	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
95.62/16.29	c (12,0) Show results Begin
95.88/16.39	c (12,0) x[0] = 19
95.88/16.39	c (12,0) x[1] = 383
95.88/16.39	c (12,0) x[2] = 19
95.88/16.39	c (12,0) x[3] = 153
95.88/16.39	c (12,0) x[4] = 0
95.88/16.39	c (12,0) x[5] = 32
95.88/16.39	c (12,0) x[6] = 32
95.88/16.39	c (12,0) x[7] = 0
95.88/16.39	c (12,0) x[8] = 25
95.88/16.39	c (12,0) x[9] = 0
95.88/16.39	c (12,0) x[10] = 0
95.88/16.39	c (12,0) x[11] = 0
95.88/16.39	c (12,0) x[12] = 328
95.88/16.39	c (12,0) x[13] = 392
95.88/16.39	c (12,0) x[14] = 53
95.88/16.39	c (12,0) x[15] = 383
95.88/16.39	c (12,0) x[16] = 292
95.88/16.39	c (12,0) x[17] = 56
95.88/16.39	c (12,0) x[18] = 167
95.88/16.39	c (12,0) x[19] = 0
95.88/16.39	c (12,0) x[20] = 328
95.88/16.39	c (12,0) x[21] = 153
95.88/16.39	c (12,0) x[22] = 0
95.88/16.39	c (12,0) x[23] = 292
95.88/16.39	c (12,0) x[24] = 127
95.88/16.39	c (12,0) y[0] = 225
95.88/16.39	c (12,0) y[1] = 201
95.88/16.39	c (12,0) y[2] = 212
95.88/16.39	c (12,0) y[3] = 312
95.88/16.39	c (12,0) y[4] = 212
95.88/16.39	c (12,0) y[5] = 180
95.88/16.39	c (12,0) y[6] = 201
95.88/16.39	c (12,0) y[7] = 231
95.88/16.39	c (12,0) y[8] = 225
95.88/16.39	c (12,0) y[9] = 180
95.88/16.39	c (12,0) y[10] = 127
95.88/16.39	c (12,0) y[11] = 256
95.88/16.39	c (12,0) y[12] = 137
95.88/16.39	c (12,0) y[13] = 137
95.88/16.39	c (12,0) y[14] = 127
95.88/16.39	c (12,0) y[15] = 210
95.88/16.39	c (12,0) y[16] = 201
95.88/16.39	c (12,0) y[17] = 201
95.88/16.39	c (12,0) y[18] = 201
95.88/16.39	c (12,0) y[19] = 0
95.88/16.39	c (12,0) y[20] = 0
95.88/16.39	c (12,0) y[21] = 326
95.88/16.39	c (12,0) y[22] = 312
95.88/16.39	c (12,0) y[23] = 292
95.88/16.39	c (12,0) y[24] = 0
95.88/16.39	s SATISFIABLE
95.88/16.39	v <instantiation>
95.88/16.39	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>
95.88/16.39	v     <values>19 383 19 153 0 32 32 0 25 0 0 0 328 392 53 383 292 56 167 0 328 153 0 292 127 225 201 212 312 212 180 201 231 225 180 127 256 137 137 127 210 201 201 201 0 0 326 312 292 0</values>
95.88/16.39	v </instantiation>
95.88/16.39	c (12,0) Show results End
95.88/16.39	c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
95.88/16.39	c (12,0) 12,12,STOP-AFTER(ALL)
95.88/16.39	c END-Prog: Sat Sep 14 04:59:18 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 (15102 MiB free)
  memory of node 1: 16384 MiB (15706 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392340-1568429978/watcher-4392340-1568429978 -o /tmp/evaluation-result-4392340-1568429978/solver-4392340-1568429978 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --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-4392340-1568429978.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=11381, runsolver pid=11378
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 7.45 8.11 7.71 2/212 11403
/proc/meminfo: memFree=31454984/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419159450 115843072 349 33554432000 4194304 5098028 140735767859168 140735767856424 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 349 296 221 0 87 0
[pid=11384] ppid=11381 vsize=27314120 memory=107348 CPUtime=0.1 cores=0-7
/proc/11384/stat : 11384 (java) S 11381 11381 4858 0 -1 1077944320 6446 0 0 0 8 2 0 0 20 0 20 0 419159450 27969658880 26837 33554432000 4194304 4196468 140731735961200 140731735943744 140110147079927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
/proc/11384/statm: 6828530 26837 2773 1 0 6790935 0
[pid=11384/tid=11385] ppid=11381 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/11384/task/11385/stat : 11385 (java) R 11381 11381 4858 0 -1 4202560 4554 0 0 0 6 2 0 0 20 0 20 0 419159451 27969658880 26902 33554432000 4194304 4196468 140731735961200 140110118898304 140110147091862 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11386] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11386/stat : 11386 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140110151322768 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11387] ppid=11381 vsize=27314120 memory=16245806908761752 CPUtime=0 cores=0-7
/proc/11384/task/11387/stat : 11387 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109965478928 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11388] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11388/stat : 11388 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109964426128 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11389] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11389/stat : 11389 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109963373328 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11390] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11390/stat : 11390 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109962320528 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11391] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11391/stat : 11391 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109961267728 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11392] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11392/stat : 11392 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109960214928 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11393] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11393/stat : 11393 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 26902 33554432000 4194304 4196468 140731735961200 140109959162128 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11394] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11394/stat : 11394 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159454 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108198005616 140110147091074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11395] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11395/stat : 11395 (java) S 11381 11381 4858 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419159455 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108074313248 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11396] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11396/stat : 11396 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159455 27969658880 26902 33554432000 4194304 4196468 140731735961200 140107805877616 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11397] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11397/stat : 11397 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140107431369040 140110147098523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11398] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11398/stat : 11398 (java) S 11381 11381 4858 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108196952432 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11399] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11399/stat : 11399 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108195899632 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11400] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11400/stat : 11400 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108194846832 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11401] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11401/stat : 11401 (java) S 11381 11381 4858 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108193794032 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11402] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11402/stat : 11402 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140106933464160 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11403] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11403/stat : 11403 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 26902 33554432000 4194304 4196468 140731735961200 140108192742448 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108744 KiB

[startup+0.210086 s]*
/proc/loadavg: 7.45 8.11 7.71 4/212 11403
/proc/meminfo: memFree=31436308/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419159450 115843072 349 33554432000 4194304 5098028 140735767859168 140735767856424 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 349 296 221 0 87 0
[pid=11384] ppid=11381 vsize=27314120 memory=124196 CPUtime=0.24 cores=0-7
/proc/11384/stat : 11384 (java) S 11381 11381 4858 0 -1 1077944320 11478 0 0 0 20 4 0 0 20 0 20 0 419159450 27969658880 31049 33554432000 4194304 4196468 140731735961200 140731735943744 140110147079927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
/proc/11384/statm: 6828530 31049 2889 1 0 6790935 0
[pid=11384/tid=11385] ppid=11381 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/11384/task/11385/stat : 11385 (java) R 11381 11381 4858 0 -1 4202560 9179 0 0 0 16 4 0 0 20 0 20 0 419159451 27969658880 31049 33554432000 4194304 4196468 140731735961200 140110118879312 140110128643502 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11386] ppid=11381 vsize=27314120 memory=14965 CPUtime=0 cores=0-7
/proc/11384/task/11386/stat : 11386 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140110151322768 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11387] ppid=11381 vsize=27314120 memory=139919110378293 CPUtime=0 cores=0-7
/proc/11384/task/11387/stat : 11387 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109965478928 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11388] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11388/stat : 11388 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109964426128 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11389] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11389/stat : 11389 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109963373328 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11390] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11390/stat : 11390 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109962320528 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11391] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11391/stat : 11391 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109961267728 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11392] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11392/stat : 11392 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109960214928 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11393] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11393/stat : 11393 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 31049 33554432000 4194304 4196468 140731735961200 140109959162128 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11394] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11394/stat : 11394 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159454 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108198005616 140110147091074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11395] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11395/stat : 11395 (java) S 11381 11381 4858 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419159455 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108074313248 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11396] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11396/stat : 11396 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159455 27969658880 31049 33554432000 4194304 4196468 140731735961200 140107805877616 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11397] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11397/stat : 11397 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140107431369040 140110147098523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11398] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11398/stat : 11398 (java) S 11381 11381 4858 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108196952432 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11399] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11399/stat : 11399 (java) S 11381 11381 4858 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108195899632 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11400] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11400/stat : 11400 (java) S 11381 11381 4858 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108194846832 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11401] ppid=11381 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11384/task/11401/stat : 11401 (java) S 11381 11381 4858 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108193794032 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11402] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11402/stat : 11402 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140106933464160 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11403] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11403/stat : 11403 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 31049 33554432000 4194304 4196468 140731735961200 140108192742448 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125592 KiB

[startup+0.30953 s]*
/proc/loadavg: 7.45 8.11 7.71 2/212 11403
/proc/meminfo: memFree=31433764/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419159450 115843072 349 33554432000 4194304 5098028 140735767859168 140735767856424 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 349 296 221 0 87 0
[pid=11384] ppid=11381 vsize=27314120 memory=128140 CPUtime=0.41 cores=0-7
/proc/11384/stat : 11384 (java) S 11381 11381 4858 0 -1 1077944320 12409 0 0 0 36 5 0 0 20 0 20 0 419159450 27969658880 32035 33554432000 4194304 4196468 140731735961200 140731735943744 140110147079927 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
/proc/11384/statm: 6828530 32035 3016 1 0 6790935 0
[pid=11384/tid=11385] ppid=11381 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11384/task/11385/stat : 11385 (java) R 11381 11381 4858 0 -1 4202560 9944 0 0 0 25 4 0 0 20 0 20 0 419159451 27969658880 32035 33554432000 4194304 4196468 140731735961200 140110118862944 140110132245472 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11386] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11386/stat : 11386 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140110151322768 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11387] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11387/stat : 11387 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109965478928 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11388] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11388/stat : 11388 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109964426128 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11389] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11389/stat : 11389 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109963373328 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11390] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11390/stat : 11390 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109962320528 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11391] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11391/stat : 11391 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109961267728 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11392] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11392/stat : 11392 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109960214928 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11393] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11393/stat : 11393 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27969658880 32035 33554432000 4194304 4196468 140731735961200 140109959162128 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11394] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11394/stat : 11394 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159454 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108198005616 140110147091074 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11395] ppid=11381 vsize=27314120 memory=279837923286400 CPUtime=0 cores=0-7
/proc/11384/task/11395/stat : 11395 (java) S 11381 11381 4858 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419159455 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108074313248 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11396] ppid=11381 vsize=27314120 memory=279837923291008 CPUtime=0 cores=0-7
/proc/11384/task/11396/stat : 11396 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159455 27969658880 32035 33554432000 4194304 4196468 140731735961200 140107805877616 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11397] ppid=11381 vsize=27314120 memory=279837923295616 CPUtime=0 cores=0-7
/proc/11384/task/11397/stat : 11397 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140107431369040 140110147098523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11398] ppid=11381 vsize=27314120 memory=279837923300224 CPUtime=0.01 cores=0-7
/proc/11384/task/11398/stat : 11398 (java) R 11381 11381 4858 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108196952432 140110127780917 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11399] ppid=11381 vsize=27314120 memory=279837923304832 CPUtime=0 cores=0-7
/proc/11384/task/11399/stat : 11399 (java) S 11381 11381 4858 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108195899632 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11400] ppid=11381 vsize=27314120 memory=279837923309440 CPUtime=0.01 cores=0-7
/proc/11384/task/11400/stat : 11400 (java) S 11381 11381 4858 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108194846832 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11401] ppid=11381 vsize=27314120 memory=279837923314048 CPUtime=0.07 cores=0-7
/proc/11384/task/11401/stat : 11401 (java) S 11381 11381 4858 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108193794032 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11402] ppid=11381 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11402/stat : 11402 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140106933464160 140110147090133 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11403] ppid=11381 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11384/task/11403/stat : 11403 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419159458 27969658880 32035 33554432000 4194304 4196468 140731735961200 140108192742448 140110147091074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129536 KiB

[startup+0.70088 s]
/proc/loadavg: 7.45 8.11 7.71 2/212 11403
/proc/meminfo: memFree=31410324/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419159450 115843072 349 33554432000 4194304 5098028 140735767859168 140735767856424 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 349 296 221 0 87 0
[pid=11384] ppid=11381 vsize=27322516 memory=165944 CPUtime=0.99 cores=0-7
/proc/11384/stat : 11384 (java) S 11381 11381 4858 0 -1 1077944320 20159 0 0 0 91 8 0 0 20 0 20 0 419159450 27978256384 41486 33554432000 4194304 4196468 140731735961200 140731735943744 140110147079927 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
/proc/11384/statm: 6830629 41486 3202 1 0 6791959 0
[pid=11384/tid=11385] ppid=11381 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/11384/task/11385/stat : 11385 (java) R 11381 11381 4858 0 -1 4202560 17092 0 0 0 61 6 0 0 20 0 20 0 419159451 27978256384 41486 33554432000 4194304 4196468 140731735961200 140110118911216 140110147091862 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11386] ppid=11381 vsize=27322516 memory=139918961845120 CPUtime=0 cores=0-7
/proc/11384/task/11386/stat : 11386 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27978256384 41486 33554432000 4194304 4196468 140731735961200 140110151322768 140110147090133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11387] ppid=11381 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/11384/task/11387/stat : 11387 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419159453 27978256384 41486 33554432000 4194304 4196468 140731735961200 140109965478928 140110147090133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0
[pid=11384/tid=11388] ppid=11381 vsize=27322516 memory=1052 CPUtime=0 cores=0-7
/proc/11384/task/11388/stat : 11388 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419159453 27978256384 41486 33554432000 4194304 4196468 140731735961200 140109964426128 140110147090133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140731735966443 140731735966870 140731735966870 140731735969743 0

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

[pid=11404/tid=11429] ppid=11381 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/11404/task/11429/stat : 11429 (java) S 11381 11381 4858 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419159852 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879098867248 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
Current children cumulated CPU time: 84.86 s
Current children cumulated vsize: 9511304 KiB
Current children cumulated memory: 516304 KiB

[startup+15.202 s]
/proc/loadavg: 7.10 7.99 7.68 9/224 11437
/proc/meminfo: memFree=31034776/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1476 CPUtime=6.37 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 582 27329 0 0 0 0 602 35 20 0 1 0 419159450 115843072 369 33554432000 4194304 5098028 140735767859168 140735767855912 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 369 311 221 0 87 0
[pid=11404] ppid=11381 vsize=8414124 memory=117764 CPUtime=1.14 cores=0-7
/proc/11404/stat : 11404 (java) S 11381 11381 4858 0 -1 1077944320 20457 0 0 0 107 7 0 0 20 0 24 0 419159777 8616062976 29441 33554432000 4194304 4196468 140736046058144 140736046040688 139882624974583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
/proc/11404/statm: 2103531 29441 3198 1 0 2064875 0
[pid=11424] ppid=11404 vsize=984052 memory=401544 CPUtime=83.73 cores=0-7
/proc/11424/stat : 11424 (manyglucose-4.1) S 11404 11381 4858 0 -1 1077944320 185864 0 0 0 8326 47 0 0 20 0 9 0 419159849 1007669248 100386 33554432000 4194304 4454172 140720469325168 140720469323568 140328924879490 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
/proc/11424/statm: 246013 100386 407 64 0 241681 0
[pid=11424/tid=11430] ppid=11404 vsize=984052 memory=40588 CPUtime=10.4 cores=0-7
/proc/11424/task/11430/stat : 11430 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 22021 0 0 0 1036 4 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328886332200 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11431] ppid=11404 vsize=984052 memory=984 CPUtime=10.38 cores=0-7
/proc/11424/task/11431/stat : 11431 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 18369 0 0 0 1032 6 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328877939496 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11432] ppid=11404 vsize=984052 memory=1940 CPUtime=10.4 cores=0-7
/proc/11424/task/11432/stat : 11432 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 17131 0 0 0 1037 3 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328869546792 4350902 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11433] ppid=11404 vsize=984052 memory=0 CPUtime=10.39 cores=0-7
/proc/11424/task/11433/stat : 11433 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 18250 0 0 0 1037 2 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328861154088 4351145 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11434] ppid=11404 vsize=984052 memory=0 CPUtime=10.4 cores=0-7
/proc/11424/task/11434/stat : 11434 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 17517 0 0 0 1038 2 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328852761384 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11435] ppid=11404 vsize=984052 memory=8317482817917895235 CPUtime=10.35 cores=0-7
/proc/11424/task/11435/stat : 11435 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 18728 0 0 0 1029 6 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328844368984 4350026 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11436] ppid=11404 vsize=984052 memory=0 CPUtime=10.38 cores=0-7
/proc/11424/task/11436/stat : 11436 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 17318 0 0 0 1030 8 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328701758568 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11437] ppid=11404 vsize=984052 memory=0 CPUtime=10.17 cores=0-7
/proc/11424/task/11437/stat : 11437 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 19295 0 0 0 1010 7 0 0 20 0 9 0 419159928 1007669248 100386 33554432000 4194304 4454172 140720469325168 140328835975976 4351576 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11404/tid=11405] ppid=11381 vsize=8414124 memory=279837923945504 CPUtime=0.75 cores=0-7
/proc/11404/task/11405/stat : 11405 (java) S 11381 11381 4858 0 -1 1077944384 17428 0 0 0 70 5 0 0 20 0 24 0 419159778 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882596814752 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11406] ppid=11381 vsize=8414124 memory=139918962110144 CPUtime=0 cores=0-7
/proc/11404/task/11406/stat : 11406 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882629216912 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11407] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11407/stat : 11407 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882456033808 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11408] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11408/stat : 11408 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882108897680 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11409] ppid=11381 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/11404/task/11409/stat : 11409 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882107844880 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11410] ppid=11381 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/11404/task/11410/stat : 11410 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882106793104 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11411] ppid=11381 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/11404/task/11411/stat : 11411 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882105740304 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11412] ppid=11381 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/11404/task/11412/stat : 11412 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882104687504 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11413] ppid=11381 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/11404/task/11413/stat : 11413 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882103634704 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11414] ppid=11381 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/11404/task/11414/stat : 11414 (java) S 11381 11381 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419159780 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881919822192 139882624985730 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11415] ppid=11381 vsize=8414124 memory=1160 CPUtime=0 cores=0-7
/proc/11404/task/11415/stat : 11415 (java) S 11381 11381 4858 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419159781 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881045025824 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11416] ppid=11381 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/11404/task/11416/stat : 11416 (java) S 11381 11381 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419159781 8616062976 29441 33554432000 4194304 4196468 140736046058144 139880910803824 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11417] ppid=11381 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/11404/task/11417/stat : 11417 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139880536299344 139882624993179 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11418] ppid=11381 vsize=8414124 memory=4136 CPUtime=0.03 cores=0-7
/proc/11404/task/11418/stat : 11418 (java) S 11381 11381 4858 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881918770032 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11419] ppid=11381 vsize=8414124 memory=4104 CPUtime=0.07 cores=0-7
/proc/11404/task/11419/stat : 11419 (java) S 11381 11381 4858 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881716116208 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11420] ppid=11381 vsize=8414124 memory=1412 CPUtime=0.06 cores=0-7
/proc/11404/task/11420/stat : 11420 (java) S 11381 11381 4858 0 -1 1077944384 362 0 0 0 6 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881715063408 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11421] ppid=11381 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/11404/task/11421/stat : 11421 (java) S 11381 11381 4858 0 -1 1077944384 458 0 0 0 18 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881714010608 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11422] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11422/stat : 11422 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139880038394464 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11423] ppid=11381 vsize=8414124 memory=139918962232208 CPUtime=0 cores=0-7
/proc/11404/task/11423/stat : 11423 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881712958000 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11425] ppid=11381 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/11404/task/11425/stat : 11425 (java) S 11381 11381 4858 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419159850 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881917715520 139882624999193 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11427] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11427/stat : 11427 (java) S 11381 11381 4858 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419159850 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879367295120 139882624996509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11428] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11428/stat : 11428 (java) S 11381 11381 4858 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419159850 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879635730448 139882624996509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11429] ppid=11381 vsize=8414124 memory=114 CPUtime=0 cores=0-7
/proc/11404/task/11429/stat : 11429 (java) S 11381 11381 4858 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419159852 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879098867248 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
Current children cumulated CPU time: 91.24 s
Current children cumulated vsize: 9511304 KiB
Current children cumulated memory: 520784 KiB

[startup+16.0012 s]*
/proc/loadavg: 7.10 7.99 7.68 3/218 11437
/proc/meminfo: memFree=31034900/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1476 CPUtime=6.37 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 582 27329 0 0 0 0 602 35 20 0 1 0 419159450 115843072 369 33554432000 4194304 5098028 140735767859168 140735767855912 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 369 311 221 0 87 0
[pid=11404] ppid=11381 vsize=8414124 memory=117764 CPUtime=1.14 cores=0-7
/proc/11404/stat : 11404 (java) S 11381 11381 4858 0 -1 1077944320 20457 0 0 0 107 7 0 0 20 0 24 0 419159777 8616062976 29441 33554432000 4194304 4196468 140736046058144 140736046040688 139882624974583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
/proc/11404/statm: 2103531 29441 3198 1 0 2064875 0
[pid=11424] ppid=11404 vsize=984052 memory=402596 CPUtime=87.87 cores=0-7
/proc/11424/stat : 11424 (manyglucose-4.1) S 11404 11381 4858 0 -1 1077944320 186206 0 0 0 8739 48 0 0 20 0 3 0 419159849 1007669248 100649 33554432000 4194304 4454172 140720469325168 140720469323552 140328924868343 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
/proc/11424/statm: 246013 100649 420 64 0 241681 0
[pid=11424/tid=11430] ppid=11404 vsize=984052 memory=959 CPUtime=11.21 cores=0-7
/proc/11424/task/11430/stat : 11430 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 22112 0 0 0 1117 4 0 0 20 0 3 0 419159928 1007669248 100649 33554432000 4194304 4454172 140720469325168 140328886332200 4349947 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11424/tid=11431] ppid=11404 vsize=984052 memory=139918961881325 CPUtime=11.19 cores=0-7
/proc/11424/task/11431/stat : 11431 (manyglucose-4.1) R 11404 11381 4858 0 -1 4202560 18448 0 0 0 1113 6 0 0 20 0 3 0 419159928 1007669248 100649 33554432000 4194304 4454172 140720469325168 140328877939496 4351145 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 39383040 140720469328745 140720469328944 140720469328944 140720469331898 0
[pid=11404/tid=11405] ppid=11381 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/11404/task/11405/stat : 11405 (java) S 11381 11381 4858 0 -1 1077944384 17428 0 0 0 70 5 0 0 20 0 24 0 419159778 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882596814752 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11406] ppid=11381 vsize=8414124 memory=279837924304240 CPUtime=0 cores=0-7
/proc/11404/task/11406/stat : 11406 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882629216912 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11407] ppid=11381 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/11404/task/11407/stat : 11407 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882456033808 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11408] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11408/stat : 11408 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882108897680 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11409] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11409/stat : 11409 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882107844880 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11410] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11410/stat : 11410 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882106793104 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11411] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11411/stat : 11411 (java) S 11381 11381 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882105740304 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11412] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11412/stat : 11412 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882104687504 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11413] ppid=11381 vsize=8414124 memory=-2245088631185882904 CPUtime=0 cores=0-7
/proc/11404/task/11413/stat : 11413 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419159779 8616062976 29441 33554432000 4194304 4196468 140736046058144 139882103634704 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11414] ppid=11381 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/11404/task/11414/stat : 11414 (java) S 11381 11381 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419159780 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881919822192 139882624985730 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11415] ppid=11381 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/11404/task/11415/stat : 11415 (java) S 11381 11381 4858 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419159781 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881045025824 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11416] ppid=11381 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/11404/task/11416/stat : 11416 (java) S 11381 11381 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419159781 8616062976 29441 33554432000 4194304 4196468 140736046058144 139880910803824 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11417] ppid=11381 vsize=8414124 memory=-3756611412707075625 CPUtime=0 cores=0-7
/proc/11404/task/11417/stat : 11417 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139880536299344 139882624993179 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11418] ppid=11381 vsize=8414124 memory=1414353297708861353 CPUtime=0.03 cores=0-7
/proc/11404/task/11418/stat : 11418 (java) S 11381 11381 4858 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881918770032 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11419] ppid=11381 vsize=8414124 memory=-7522837415797432223 CPUtime=0.07 cores=0-7
/proc/11404/task/11419/stat : 11419 (java) S 11381 11381 4858 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881716116208 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11420] ppid=11381 vsize=8414124 memory=56 CPUtime=0.06 cores=0-7
/proc/11404/task/11420/stat : 11420 (java) S 11381 11381 4858 0 -1 1077944384 362 0 0 0 6 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881715063408 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11421] ppid=11381 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/11404/task/11421/stat : 11421 (java) S 11381 11381 4858 0 -1 1077944384 458 0 0 0 18 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881714010608 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11422] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11422/stat : 11422 (java) S 11381 11381 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139880038394464 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11423] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11423/stat : 11423 (java) S 11381 11381 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419159784 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881712958000 139882624985730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11425] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11425/stat : 11425 (java) S 11381 11381 4858 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419159850 8616062976 29441 33554432000 4194304 4196468 140736046058144 139881917715520 139882624999193 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11427] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11427/stat : 11427 (java) S 11381 11381 4858 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419159850 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879367295120 139882624996509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11428] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11428/stat : 11428 (java) S 11381 11381 4858 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419159850 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879635730448 139882624996509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
[pid=11404/tid=11429] ppid=11381 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11404/task/11429/stat : 11429 (java) S 11381 11381 4858 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419159852 8616062976 29441 33554432000 4194304 4196468 140736046058144 139879098867248 139882624984789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140736046060535 140736046060694 140736046060694 140736046063567 0
Current children cumulated CPU time: 95.38 s
Current children cumulated vsize: 9511304 KiB
Current children cumulated memory: 521836 KiB

[startup+16.401 s]
/proc/loadavg: 7.10 7.99 7.68 3/218 11437
/proc/meminfo: memFree=31034900/32770624 swapFree=67004232/67108860
[pid=11381] ppid=11378 vsize=113128 memory=1476 CPUtime=6.37 cores=0-7
/proc/11381/stat : 11381 (scop.sh) S 11378 11381 4858 0 -1 4202496 582 27329 0 0 0 0 602 35 20 0 1 0 419159450 115843072 369 33554432000 4194304 5098028 140735767859168 140735767855912 140062959612540 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30375936 140735767864101 140735767864428 140735767864428 140735767867341 0
/proc/11381/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 16.4083
CPU time (s): 96.1696
CPU user time (s): 95.2184
CPU system time (s): 0.95122
CPU usage (%): 586.104
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1605592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.2184
system time used= 0.95122
maximum resident set size= 1610128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16275
involuntary context switches= 937


# summary of solver processes directly reported to runsolver:
#   pid: 11381
#   total CPU time (s): 96.1696
#   total CPU user time (s): 95.2184
#   total CPU system time (s): 0.95122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.177465 second user time and 0.248678 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 04:59:02
IDJOB=4392340
IDBENCH=127881
IDSOLVER=2838
FILE ID=node148/4392340-1568429978
RUNJOBID= node148-1568417824-4885
PBS_JOBID= 21702282
Free space on /tmp= 61308 MiB

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

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

MD5SUM BENCH= 216ebd1a5dc9377e08f238421ffc41cf
RANDOM SEED=1017736039

node148.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.13
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.13
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.13
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.13
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:        31548956 kB
MemAvailable:   31908636 kB
Buffers:           90328 kB
Cached:           565940 kB
SwapCached:         3812 kB
Active:           407388 kB
Inactive:         257068 kB
Active(anon):       5012 kB
Inactive(anon):    43732 kB
Active(file):     402376 kB
Inactive(file):   213336 kB
Unevictable:      108956 kB
Mlocked:          108956 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             20520 kB
Writeback:             0 kB
AnonPages:        113068 kB
Mapped:            43824 kB
Shmem:             32352 kB
Slab:             147564 kB
SReclaimable:     119608 kB
SUnreclaim:        27956 kB
KernelStack:        3376 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61288 MiB
End job on node148 at 2019-09-14 04:59:18