Trace number 4392643

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-097.xml
MD5SUM8967691277ed469002b27945208c5243
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark53.043
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size336
Maximum domain size336
Distribution of domain sizes[{"size":336,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23681-serial-file.bin HOME/instance-4392643-1568429358.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 04:48:36 CEST 2019
0.66/0.57	c PID: 23684
0.66/0.57	c IP: 172.20.3.117
0.66/0.57	c HOST: node117.alineos.net
0.66/0.58	c (0,0) Parsing Begin
1.37/0.91	c (0,0) Parsing End
1.37/0.92	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 336
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) Constraint Name Generate Begin
1.37/0.92	c (0,0) Ctr:HOME/instance-4392643-1568429358.xml,Le:NoOverlap:Num:Var
1.37/0.92	c (0,0) Constraint Name Generate End
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) CSP to CSPinCNF Begin
1.37/1.00	c (0,0) translated 6 (10%) constraints
1.37/1.01	c (0,0) translated 11 (20%) constraints
1.53/1.01	c (0,0) translated 16 (30%) constraints
1.53/1.01	c (0,0) translated 22 (40%) constraints
1.53/1.02	c (0,0) translated 27 (50%) constraints
1.53/1.02	c (0,0) translated 32 (60%) constraints
1.53/1.02	c (0,0) translated 38 (70%) constraints
1.53/1.02	c (0,0) translated 43 (80%) constraints
1.53/1.03	c (0,0) translated 48 (90%) constraints
2.13/1.28	c (0,0) translated 53 (100%) constraints
2.13/1.28	c (0,0) ===========================================
2.47/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.47/1.30	c (0,0) Hybrid
2.47/1.30	c (0,0) ===========================================
2.47/1.31	c (0,0) translated 36 (10%) constraints
2.47/1.31	c (0,0) translated 71 (20%) constraints
2.47/1.32	c (0,0) translated 106 (30%) constraints
2.47/1.33	c (0,0) translated 141 (40%) constraints
2.47/1.33	c (0,0) translated 176 (50%) constraints
2.47/1.34	c (0,0) translated 212 (60%) constraints
2.47/1.34	c (0,0) translated 247 (70%) constraints
2.47/1.35	c (0,0) translated 282 (80%) constraints
2.47/1.35	c (0,0) translated 317 (90%) constraints
2.47/1.35	c (0,0) translated 352 (100%) constraints
2.47/1.36	c (0,0) CSP to CSPinCNF End
2.47/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 335
2.47/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.47/1.36	c (0,0) CSPinCNF Propagation Begin
2.47/1.39	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.47/1.39	c (0,0) CSPinCNF Propagation End
2.47/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 335
2.47/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.47/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.47/1.39	c (0,0) Simplify CSPinCNF Begin
2.86/1.49	c (0,0) Simplify CSPinCNF End
2.86/1.50	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.86/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.50	c (0,0) Calculate Precise Domain Begin
3.11/1.50	c (0,0) 0 values are removed by re-calculation
3.11/1.50	c (0,0) Calculate Precise Domain End
3.11/1.50	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
3.11/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.11/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.55/1.93	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 48680 SAT clauses)
4.97/2.07	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 82256 SAT clauses)
5.20/2.20	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 113495 SAT clauses)
5.31/2.34	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 146030 SAT clauses)
5.42/2.45	c (1,1) 747 (50 %) CSP clauses are encoded (0 SAT variables, 175578 SAT clauses)
5.53/2.57	c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 205031 SAT clauses)
5.63/2.68	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 232037 SAT clauses)
5.75/2.78	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 258078 SAT clauses)
5.86/2.87	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 280743 SAT clauses)
5.98/2.94	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 296506 SAT clauses)
5.98/2.94	c (2,2) CSPinCNF to SatSolver End
5.98/2.94	c (2,2) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.98/2.94	c (2,2) 15376 bool, 296582 clause
5.98/2.94	c (2,2) Export Begin
6.15/3.02	c (2,2) Export to HOME/scop-23681-serial-file.bin
6.15/3.02	c (2,2) Export End
6.15/3.02	c (2,2) Export File Size: 0.01 MB
6.15/3.02	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.15/3.02	c END-Prog: Sat Sep 14 04:48:39 CEST 2019
6.15/3.04	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23681-serial-file.bin
6.20/3.50	c (0,0) Read Serial File Begin
6.20/3.50	c (0,0) HOME/scop-23681-serial-file.bin
6.20/3.70	c (0,0) Read Serial File End
6.20/3.71	
6.20/3.71	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.20/3.71	(Solving Process)
6.20/3.71	
6.20/3.73	c BEGIN-Prog: Sat Sep 14 04:48:40 CEST 2019
6.20/3.73	c PID: 23704
6.20/3.73	c IP: 172.20.3.117
6.20/3.73	c HOST: node117.alineos.net
6.20/3.74	c (0,0) SatSolver.solve Begin
6.20/3.74	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392643-1568429358.xml-scop-23684.cnf
6.20/3.76	c (0,0) c
6.20/3.76	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
6.20/3.76	c (0,0) c
6.20/3.76	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.20/3.76	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.20/3.76	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.20/3.76	c (0,0) c |                                                                                                       |
6.20/3.86	c (0,0) c |  Number of variables:         15376                                                                   |
6.20/3.86	c (0,0) c |  Number of clauses:          296582                                                                   |
6.20/3.86	c (0,0) c |  Parse time:                   0.09 s                                                                 |
6.20/3.86	c (0,0) c |                                                                                                       |
7.65/4.19	c (0,0) c |  Simplification time:          0.33 s                                                                 |
7.65/4.19	c (0,0) c |                                                                                                       |
9.50/4.59	c (0,0) c |  Generating clones                                                                                    |
9.50/4.59	c (0,0) c |  all clones generated. Memory =   202.91Mb.                                                           |
9.50/4.59	c (0,0) c ========================================================================================================|
9.50/4.59	c (0,0) c
9.50/4.59	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.50/4.59	c (0,0) c
9.50/4.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.50/4.59	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.50/4.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.50/4.59	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.50/4.59	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.50/4.59	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.50/4.59	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.50/4.59	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.50/4.59	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.50/4.59	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.50/4.59	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.50/4.59	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.50/4.59	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.50/4.59	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.50/4.59	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.50/4.59	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.50/4.59	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.50/4.59	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.50/4.59	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c real time : 21.1807 s
171.03/24.94	c (21,0) c cpu time  : 163.187 s
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c | Conflicts     |          551346 |      67030 |      67840 |      70843 |      68684 |      69692 |      69808 |      68655 |      68794 |
171.03/24.94	c (21,0) c | Decisions     |         1118693 |     136022 |     136151 |     140736 |     137434 |     142179 |     143294 |     138302 |     144575 |
171.03/24.94	c (21,0) c | Propagations  |       302093969 |   37154533 |   37412272 |   38481981 |   37710546 |   37717130 |   38007001 |   37499247 |   38111259 |
171.03/24.94	c (21,0) c | ReduceDBs     |              54 |          6 |          6 |          7 |          7 |          7 |          7 |          7 |          7 |
171.03/24.94	c (21,0) c | SimpDBs       |              80 |         10 |         11 |         11 |          9 |         11 |         10 |          8 |         10 |
171.03/24.94	c (21,0) c | Restarts      |            2139 |        261 |        276 |        280 |        232 |        261 |        292 |        267 |        270 |
171.03/24.94	c (21,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.03/24.94	c (21,0) c | PropBinClauses|       357818774 |   44074384 |   44548876 |   45423362 |   44502939 |   44353687 |   45160651 |   44392125 |   45362750 |
171.03/24.94	c (21,0) c | PropPreBlocker|      4077171875 |  501950961 |  499133912 |  521155668 |  503882576 |  512189821 |  515160082 |  506612709 |  517086146 |
171.03/24.94	c (21,0) c | PropNotBlocker|      1288149987 |  159114160 |  161023730 |  160556399 |  156278449 |  163449948 |  164191203 |  159180032 |  164356066 |
171.03/24.94	c (21,0) c | LitFullScans  |      7846502045 |  966102240 |  966145236 | 1000451198 |  966087487 |  993780672 |  994895812 |  970982582 |  988056818 |
171.03/24.94	c (21,0) c | LitScanFracts |         1026458 |      88406 |     138925 |     141418 |      60333 |     121597 |      65767 |     204153 |     205859 |
171.03/24.94	c (21,0) c | DecisionLevel0|            2158 |        263 |        279 |        283 |        233 |        264 |        294 |        269 |        273 |
171.03/24.94	c (21,0) c | Periods       |            1304 |        161 |        161 |        166 |        161 |        165 |        165 |        161 |        164 |
171.03/24.94	c (21,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
171.03/24.94	c (21,0) c | Avg_Trail     |                 |       6093 |       5933 |       6129 |       6157 |       5984 |       6052 |       6098 |       6145 |
171.03/24.94	c (21,0) c | Avg_DL        |                 |         21 |         21 |         21 |         22 |         20 |         21 |         21 |         22 |
171.03/24.94	c (21,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.03/24.94	c (21,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c | Exported      |           88027 |      10512 |      10648 |      11575 |      10975 |      11220 |      11370 |      10966 |      10761 |
171.03/24.94	c (21,0) c | Imported      |          562260 |      70234 |      70153 |      70866 |      69871 |      71388 |      70920 |      68861 |      69967 |
171.03/24.94	c (21,0) c | Good          |             958 |        119 |        117 |        119 |        128 |        117 |        115 |        121 |        122 |
171.03/24.94	c (21,0) c | Purge         |          561302 |      70115 |      70036 |      70747 |      69743 |      71271 |      70805 |      68740 |      69845 |
171.03/24.94	c (21,0) c | Promoted      |           62803 |       7651 |       7695 |       8375 |       7517 |       8236 |       8183 |       7852 |       7294 |
171.03/24.94	c (21,0) c | Remove_Imp    |          282234 |      27722 |      27865 |      37768 |      38138 |      38178 |      38699 |      36543 |      37321 |
171.03/24.94	c (21,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c | Unaries       |                 |          2 |          3 |          3 |          1 |          3 |          2 |          2 |          3 |
171.03/24.94	c (21,0) c | Binaries      |                 |         18 |         22 |         19 |          9 |         22 |         25 |         16 |         17 |
171.03/24.94	c (21,0) c | Glues         |                 |        207 |        192 |        220 |        175 |        216 |        243 |        197 |        208 |
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c | Orig_Seen     |            18 % |      53334 |      51634 |      52796 |      53314 |      53209 |      52211 |      55027 |      56582 |
171.03/24.94	c (21,0) c | Diff Orig seen|                 | -     1693 | -     3393 | -     2231 | -     1713 | -     1818 | -     2816 |      X     |       1555 |
171.03/24.94	c (21,0) c | Hamming       |            27 % |       5522 |       2581 |       3789 |       5462 |       3174 |       4599 |      X     |       4753 |
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c | RunningTime   |                 |   20.6 100%|   20.4 100%|   20.4 100%|   20.6 100%|   20.4 100%|   20.4 100%|   20.4 100%|   20.4 100%|
171.03/24.94	c (21,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
171.03/24.94	c (21,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
171.03/24.94	c (21,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
171.03/24.94	c (21,0) c | SolvingTime   |                 |   20.7     |   20.4     |   20.4     |   20.6     |   20.4     |   20.4     |   20.4     |   20.5     |
171.03/24.94	c (21,0) c | PropagationTim|                 |   17.0  82%|   16.8  82%|   16.7  82%|   16.8  81%|   16.6  82%|   16.7  81%|   16.6  81%|   16.8  82%|
171.03/24.94	c (21,0) c | AnalysisTime  |                 |    2.8  13%|    2.8  14%|    2.8  14%|    2.9  14%|    2.8  14%|    2.9  14%|    2.9  14%|    2.8  13%|
171.03/24.94	c (21,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
171.03/24.94	c (21,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   1%|    0.1   1%|    0.1   0%|    0.1   1%|    0.1   0%|    0.1   0%|    0.1   0%|
171.03/24.94	c (21,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
171.03/24.94	c (21,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
171.03/24.94	c (21,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c
171.03/24.94	c (21,0) c Threads : 8
171.03/24.94	c (21,0) c Winner : 6
171.03/24.94	c (21,0) c Conflicts_0 : 67030
171.03/24.94	c (21,0) c Conflicts_1 : 67840
171.03/24.94	c (21,0) c Conflicts_2 : 70843
171.03/24.94	c (21,0) c Conflicts_3 : 68684
171.03/24.94	c (21,0) c Conflicts_4 : 69692
171.03/24.94	c (21,0) c Conflicts_5 : 69808
171.03/24.94	c (21,0) c Conflicts_6 : 68655
171.03/24.94	c (21,0) c Conflicts_7 : 68794
171.03/24.94	c (21,0) c Conflicts_total : 551346
171.03/24.94	c (21,0) c Conflicts_winner : 68655
171.03/24.94	c (21,0) c Decisions_0 : 136022
171.03/24.94	c (21,0) c Decisions_1 : 136151
171.03/24.94	c (21,0) c Decisions_2 : 140736
171.03/24.94	c (21,0) c Decisions_3 : 137434
171.03/24.94	c (21,0) c Decisions_4 : 142179
171.03/24.94	c (21,0) c Decisions_5 : 143294
171.03/24.94	c (21,0) c Decisions_6 : 138302
171.03/24.94	c (21,0) c Decisions_7 : 144575
171.03/24.94	c (21,0) c Decisions_total : 1118693
171.03/24.94	c (21,0) c Decisions_winner : 138302
171.03/24.94	c (21,0) c Propagations_0 : 37154533
171.03/24.94	c (21,0) c Propagations_1 : 37412272
171.03/24.94	c (21,0) c Propagations_2 : 38481981
171.03/24.94	c (21,0) c Propagations_3 : 37710546
171.03/24.94	c (21,0) c Propagations_4 : 37717130
171.03/24.94	c (21,0) c Propagations_5 : 38007001
171.03/24.94	c (21,0) c Propagations_6 : 37499247
171.03/24.94	c (21,0) c Propagations_7 : 38111259
171.03/24.94	c (21,0) c Propagations_total : 302093969
171.03/24.94	c (21,0) c Propagations_winner : 37499247
171.03/24.94	c (21,0) c ReduceDBs_0 : 6
171.03/24.94	c (21,0) c ReduceDBs_1 : 6
171.03/24.94	c (21,0) c ReduceDBs_2 : 7
171.03/24.94	c (21,0) c ReduceDBs_3 : 7
171.03/24.94	c (21,0) c ReduceDBs_4 : 7
171.03/24.94	c (21,0) c ReduceDBs_5 : 7
171.03/24.94	c (21,0) c ReduceDBs_6 : 7
171.03/24.94	c (21,0) c ReduceDBs_7 : 7
171.03/24.94	c (21,0) c ReduceDBs_total : 54
171.03/24.94	c (21,0) c ReduceDBs_winner : 7
171.03/24.94	c (21,0) c SimpDBs_0 : 10
171.03/24.94	c (21,0) c SimpDBs_1 : 11
171.03/24.94	c (21,0) c SimpDBs_2 : 11
171.03/24.94	c (21,0) c SimpDBs_3 : 9
171.03/24.94	c (21,0) c SimpDBs_4 : 11
171.03/24.94	c (21,0) c SimpDBs_5 : 10
171.03/24.94	c (21,0) c SimpDBs_6 : 8
171.03/24.94	c (21,0) c SimpDBs_7 : 10
171.03/24.94	c (21,0) c SimpDBs_total : 80
171.03/24.94	c (21,0) c SimpDBs_winner : 8
171.03/24.94	c (21,0) c Restarts_0 : 261
171.03/24.94	c (21,0) c Restarts_1 : 276
171.03/24.94	c (21,0) c Restarts_2 : 280
171.03/24.94	c (21,0) c Restarts_3 : 232
171.03/24.94	c (21,0) c Restarts_4 : 261
171.03/24.95	c (21,0) c Restarts_5 : 292
171.03/24.95	c (21,0) c Restarts_6 : 267
171.03/24.95	c (21,0) c Restarts_7 : 270
171.03/24.95	c (21,0) c Restarts_total : 2139
171.03/24.95	c (21,0) c Restarts_winner : 267
171.03/24.95	c (21,0) c ForcedImports_0 : 0
171.03/24.95	c (21,0) c ForcedImports_1 : 0
171.03/24.95	c (21,0) c ForcedImports_2 : 0
171.03/24.95	c (21,0) c ForcedImports_3 : 0
171.03/24.95	c (21,0) c ForcedImports_4 : 0
171.03/24.95	c (21,0) c ForcedImports_5 : 0
171.03/24.95	c (21,0) c ForcedImports_6 : 0
171.03/24.95	c (21,0) c ForcedImports_7 : 0
171.03/24.95	c (21,0) c ForcedImports_total : 0
171.03/24.95	c (21,0) c ForcedImports_winner : 0
171.03/24.95	c (21,0) c PropsBinClauses_0 : 44074384
171.03/24.95	c (21,0) c PropsBinClauses_1 : 44548876
171.03/24.95	c (21,0) c PropsBinClauses_2 : 45423362
171.03/24.95	c (21,0) c PropsBinClauses_3 : 44502939
171.03/24.95	c (21,0) c PropsBinClauses_4 : 44353687
171.03/24.95	c (21,0) c PropsBinClauses_5 : 45160651
171.03/24.95	c (21,0) c PropsBinClauses_6 : 44392125
171.03/24.95	c (21,0) c PropsBinClauses_7 : 45362750
171.03/24.95	c (21,0) c PropsBinClauses_total : 357818774
171.03/24.95	c (21,0) c PropsBinClauses_winner : 44392125
171.03/24.95	c (21,0) c PropsPreBlocker_0 : 501950961
171.03/24.95	c (21,0) c PropsPreBlocker_1 : 499133912
171.03/24.95	c (21,0) c PropsPreBlocker_2 : 521155668
171.03/24.95	c (21,0) c PropsPreBlocker_3 : 503882576
171.03/24.95	c (21,0) c PropsPreBlocker_4 : 512189821
171.03/24.95	c (21,0) c PropsPreBlocker_5 : 515160082
171.03/24.95	c (21,0) c PropsPreBlocker_6 : 506612709
171.03/24.95	c (21,0) c PropsPreBlocker_7 : 517086146
171.03/24.95	c (21,0) c PropsPreBlocker_total : 4077171875
171.03/24.95	c (21,0) c PropsPreBlocker_winner : 506612709
171.03/24.95	c (21,0) c PropsNotBlocker_0 : 159114160
171.03/24.95	c (21,0) c PropsNotBlocker_1 : 161023730
171.03/24.95	c (21,0) c PropsNotBlocker_2 : 160556399
171.03/24.95	c (21,0) c PropsNotBlocker_3 : 156278449
171.03/24.95	c (21,0) c PropsNotBlocker_4 : 163449948
171.03/24.95	c (21,0) c PropsNotBlocker_5 : 164191203
171.03/24.95	c (21,0) c PropsNotBlocker_6 : 159180032
171.03/24.95	c (21,0) c PropsNotBlocker_7 : 164356066
171.03/24.95	c (21,0) c PropsNotBlocker_total : 1288149987
171.03/24.95	c (21,0) c PropsNotBlocker_winner : 159180032
171.03/24.95	c (21,0) c PropsLitFullScans_0 : 966102240
171.03/24.95	c (21,0) c PropsLitFullScans_1 : 966145236
171.03/24.95	c (21,0) c PropsLitFullScans_2 : 1000451198
171.03/24.95	c (21,0) c PropsLitFullScans_3 : 966087487
171.03/24.95	c (21,0) c PropsLitFullScans_4 : 993780672
171.03/24.95	c (21,0) c PropsLitFullScans_5 : 994895812
171.03/24.95	c (21,0) c PropsLitFullScans_6 : 970982582
171.03/24.95	c (21,0) c PropsLitFullScans_7 : 988056818
171.03/24.95	c (21,0) c PropsLitFullScans_total : 7846502045
171.03/24.95	c (21,0) c PropsLitFullScans_winner : 970982582
171.03/24.95	c (21,0) c LitScanFractions_0 : 88406
171.03/24.95	c (21,0) c LitScanFractions_1 : 138925
171.03/24.95	c (21,0) c LitScanFractions_2 : 141418
171.03/24.95	c (21,0) c LitScanFractions_3 : 60333
171.03/24.95	c (21,0) c LitScanFractions_4 : 121597
171.03/24.95	c (21,0) c LitScanFractions_5 : 65767
171.03/24.95	c (21,0) c LitScanFractions_6 : 204153
171.03/24.95	c (21,0) c LitScanFractions_7 : 205859
171.03/24.95	c (21,0) c LitScanFractions_total : 1026458
171.03/24.95	c (21,0) c LitScanFractions_winner : 204153
171.03/24.95	c (21,0) c DecisionLevel0_0 : 263
171.03/24.95	c (21,0) c DecisionLevel0_1 : 279
171.03/24.95	c (21,0) c DecisionLevel0_2 : 283
171.03/24.95	c (21,0) c DecisionLevel0_3 : 233
171.03/24.95	c (21,0) c DecisionLevel0_4 : 264
171.03/24.95	c (21,0) c DecisionLevel0_5 : 294
171.03/24.95	c (21,0) c DecisionLevel0_6 : 269
171.03/24.95	c (21,0) c DecisionLevel0_7 : 273
171.03/24.95	c (21,0) c DecisionLevel0_total : 2158
171.03/24.95	c (21,0) c DecisionLevel0_winner : 269
171.03/24.95	c (21,0) c Periods_0 : 161
171.03/24.95	c (21,0) c Periods_1 : 161
171.03/24.95	c (21,0) c Periods_2 : 166
171.03/24.95	c (21,0) c Periods_3 : 161
171.03/24.95	c (21,0) c Periods_4 : 165
171.03/24.95	c (21,0) c Periods_5 : 165
171.03/24.95	c (21,0) c Periods_6 : 161
171.03/24.95	c (21,0) c Periods_7 : 164
171.03/24.95	c (21,0) c Periods_total : 1304
171.03/24.95	c (21,0) c Periods_winner : 161
171.03/24.95	c (21,0) c Margin_0 : 20
171.03/24.95	c (21,0) c Margin_1 : 20
171.03/24.95	c (21,0) c Margin_2 : 20
171.03/24.95	c (21,0) c Margin_3 : 20
171.03/24.95	c (21,0) c Margin_4 : 20
171.03/24.95	c (21,0) c Margin_5 : 20
171.03/24.95	c (21,0) c Margin_6 : 20
171.03/24.95	c (21,0) c Margin_7 : 20
171.03/24.95	c (21,0) c Margin_total : 160
171.03/24.95	c (21,0) c Margin_winner : 20
171.03/24.95	c (21,0) c Exported_0 : 10512
171.03/24.95	c (21,0) c Exported_1 : 10648
171.03/24.95	c (21,0) c Exported_2 : 11575
171.03/24.95	c (21,0) c Exported_3 : 10975
171.03/24.95	c (21,0) c Exported_4 : 11220
171.03/24.95	c (21,0) c Exported_5 : 11370
171.03/24.95	c (21,0) c Exported_6 : 10966
171.03/24.95	c (21,0) c Exported_7 : 10761
171.03/24.95	c (21,0) c Exported_total : 88027
171.03/24.95	c (21,0) c Exported_winner : 10966
171.03/24.95	c (21,0) c Imported_0 : 70234
171.03/24.95	c (21,0) c Imported_1 : 70153
171.03/24.95	c (21,0) c Imported_2 : 70866
171.03/24.95	c (21,0) c Imported_3 : 69871
171.03/24.95	c (21,0) c Imported_4 : 71388
171.03/24.95	c (21,0) c Imported_5 : 70920
171.03/24.95	c (21,0) c Imported_6 : 68861
171.03/24.95	c (21,0) c Imported_7 : 69967
171.03/24.95	c (21,0) c Imported_total : 562260
171.03/24.95	c (21,0) c Imported_winner : 68861
171.03/24.95	c (21,0) c Good_0 : 119
171.03/24.95	c (21,0) c Good_1 : 117
171.03/24.95	c (21,0) c Good_2 : 119
171.03/24.95	c (21,0) c Good_3 : 128
171.03/24.95	c (21,0) c Good_4 : 117
171.03/24.95	c (21,0) c Good_5 : 115
171.03/24.95	c (21,0) c Good_6 : 121
171.03/24.95	c (21,0) c Good_7 : 122
171.03/24.95	c (21,0) c Good_total : 958
171.03/24.95	c (21,0) c Good_winner : 121
171.03/24.95	c (21,0) c Purge_0 : 70115
171.03/24.95	c (21,0) c Purge_1 : 70036
171.03/24.95	c (21,0) c Purge_2 : 70747
171.03/24.95	c (21,0) c Purge_3 : 69743
171.03/24.95	c (21,0) c Purge_4 : 71271
171.03/24.95	c (21,0) c Purge_5 : 70805
171.03/24.95	c (21,0) c Purge_6 : 68740
171.03/24.95	c (21,0) c Purge_7 : 69845
171.03/24.95	c (21,0) c Purge_total : 561302
171.03/24.95	c (21,0) c Purge_winner : 68740
171.03/24.95	c (21,0) c Promoted_0 : 7651
171.03/24.95	c (21,0) c Promoted_1 : 7695
171.03/24.95	c (21,0) c Promoted_2 : 8375
171.03/24.95	c (21,0) c Promoted_3 : 7517
171.03/24.95	c (21,0) c Promoted_4 : 8236
171.03/24.95	c (21,0) c Promoted_5 : 8183
171.03/24.95	c (21,0) c Promoted_6 : 7852
171.03/24.95	c (21,0) c Promoted_7 : 7294
171.03/24.95	c (21,0) c Promoted_total : 62803
171.03/24.95	c (21,0) c Promoted_winner : 7852
171.03/24.95	c (21,0) c Remove_Imp_0 : 27722
171.03/24.95	c (21,0) c Remove_Imp_1 : 27865
171.03/24.95	c (21,0) c Remove_Imp_2 : 37768
171.03/24.95	c (21,0) c Remove_Imp_3 : 38138
171.03/24.95	c (21,0) c Remove_Imp_4 : 38178
171.03/24.95	c (21,0) c Remove_Imp_5 : 38699
171.03/24.95	c (21,0) c Remove_Imp_6 : 36543
171.03/24.95	c (21,0) c Remove_Imp_7 : 37321
171.03/24.95	c (21,0) c Remove_Imp_total : 282234
171.03/24.95	c (21,0) c Remove_Imp_winner : 36543
171.03/24.95	c (21,0) c Blocked_Reuse_0 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_1 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_2 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_3 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_4 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_5 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_6 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_7 : 0
171.03/24.95	c (21,0) c Blocked_Reuse_total : 0
171.03/24.95	c (21,0) c Blocked_Reuse_winner : 0
171.03/24.95	c (21,0) c Unaries_0 : 2
171.03/24.95	c (21,0) c Unaries_1 : 3
171.03/24.95	c (21,0) c Unaries_2 : 3
171.03/24.95	c (21,0) c Unaries_3 : 1
171.03/24.95	c (21,0) c Unaries_4 : 3
171.03/24.95	c (21,0) c Unaries_5 : 2
171.03/24.95	c (21,0) c Unaries_6 : 2
171.03/24.95	c (21,0) c Unaries_7 : 3
171.03/24.95	c (21,0) c Unaries_total : 19
171.03/24.95	c (21,0) c Unaries_winner : 2
171.03/24.95	c (21,0) c Binaries_0 : 18
171.03/24.95	c (21,0) c Binaries_1 : 22
171.03/24.95	c (21,0) c Binaries_2 : 19
171.03/24.95	c (21,0) c Binaries_3 : 9
171.03/24.95	c (21,0) c Binaries_4 : 22
171.03/24.95	c (21,0) c Binaries_5 : 25
171.03/24.95	c (21,0) c Binaries_6 : 16
171.03/24.95	c (21,0) c Binaries_7 : 17
171.03/24.95	c (21,0) c Binaries_total : 148
171.03/24.95	c (21,0) c Binaries_winner : 16
171.03/24.95	c (21,0) c Glues_0 : 207
171.03/24.95	c (21,0) c Glues_1 : 192
171.03/24.95	c (21,0) c Glues_2 : 220
171.03/24.95	c (21,0) c Glues_3 : 175
171.03/24.95	c (21,0) c Glues_4 : 216
171.03/24.95	c (21,0) c Glues_5 : 243
171.03/24.95	c (21,0) c Glues_6 : 197
171.03/24.95	c (21,0) c Glues_7 : 208
171.03/24.95	c (21,0) c Glues_total : 1658
171.03/24.95	c (21,0) c Glues_winner : 197
171.03/24.95	c (21,0) c RunningTime_0 : 20.620040
171.03/24.95	c (21,0) c RunningTime_1 : 20.380260
171.03/24.95	c (21,0) c RunningTime_2 : 20.392437
171.03/24.95	c (21,0) c RunningTime_3 : 20.602238
171.03/24.95	c (21,0) c RunningTime_4 : 20.366384
171.03/24.95	c (21,0) c RunningTime_5 : 20.411099
171.03/24.95	c (21,0) c RunningTime_6 : 20.355885
171.03/24.95	c (21,0) c RunningTime_7 : 20.427837
171.03/24.95	c (21,0) c RunningTime_total : 163.556180
171.03/24.95	c (21,0) c RunningTime_winner : 20.355885
171.03/24.95	c (21,0) c WaitingTime_0 : 0.000171
171.03/24.95	c (21,0) c WaitingTime_1 : 0.000202
171.03/24.95	c (21,0) c WaitingTime_2 : 0.000213
171.03/24.95	c (21,0) c WaitingTime_3 : 0.000170
171.03/24.95	c (21,0) c WaitingTime_4 : 0.000253
171.03/24.95	c (21,0) c WaitingTime_5 : 0.000261
171.03/24.95	c (21,0) c WaitingTime_6 : 0.000206
171.03/24.95	c (21,0) c WaitingTime_7 : 0.000250
171.03/24.95	c (21,0) c WaitingTime_total : 0.001725
171.03/24.95	c (21,0) c WaitingTime_winner : 0.000206
171.03/24.95	c (21,0) c ExchangingTime_0 : 0.034184
171.03/24.95	c (21,0) c ExchangingTime_1 : 0.034431
171.03/24.95	c (21,0) c ExchangingTime_2 : 0.029389
171.03/24.95	c (21,0) c ExchangingTime_3 : 0.034855
171.03/24.95	c (21,0) c ExchangingTime_4 : 0.035710
171.03/24.95	c (21,0) c ExchangingTime_5 : 0.036327
171.03/24.95	c (21,0) c ExchangingTime_6 : 0.028260
171.03/24.95	c (21,0) c ExchangingTime_7 : 0.029733
171.03/24.95	c (21,0) c ExchangingTime_total : 0.262890
171.03/24.95	c (21,0) c ExchangingTime_winner : 0.028260
171.03/24.95	c (21,0) c PeriodProcTime_0 : 0.001256
171.03/24.95	c (21,0) c PeriodProcTime_1 : 0.001285
171.03/24.95	c (21,0) c PeriodProcTime_2 : 0.001465
171.03/24.95	c (21,0) c PeriodProcTime_3 : 0.001814
171.03/24.95	c (21,0) c PeriodProcTime_4 : 0.001595
171.03/24.95	c (21,0) c PeriodProcTime_5 : 0.001603
171.03/24.95	c (21,0) c PeriodProcTime_6 : 0.001444
171.03/24.95	c (21,0) c PeriodProcTime_7 : 0.001579
171.03/24.95	c (21,0) c PeriodProcTime_total : 0.012041
171.03/24.95	c (21,0) c PeriodProcTime_winner : 0.001444
171.03/24.95	c (21,0) c SolvingTime_0 : 20.655652
171.03/24.95	c (21,0) c SolvingTime_1 : 20.416178
171.03/24.95	c (21,0) c SolvingTime_2 : 20.423504
171.03/24.95	c (21,0) c SolvingTime_3 : 20.639077
171.03/24.95	c (21,0) c SolvingTime_4 : 20.403942
171.03/24.95	c (21,0) c SolvingTime_5 : 20.449289
171.03/24.95	c (21,0) c SolvingTime_6 : 20.385795
171.03/24.95	c (21,0) c SolvingTime_7 : 20.459399
171.03/24.95	c (21,0) c SolvingTime_total : 163.832835
171.03/24.95	c (21,0) c SolvingTime_winner : 20.385795
171.03/24.95	c (21,0) c PropagationTime_0 : 16.985829
171.03/24.95	c (21,0) c PropagationTime_1 : 16.757232
171.03/24.95	c (21,0) c PropagationTime_2 : 16.671279
171.03/24.95	c (21,0) c PropagationTime_3 : 16.785392
171.03/24.95	c (21,0) c PropagationTime_4 : 16.643181
171.03/24.95	c (21,0) c PropagationTime_5 : 16.662747
171.03/24.95	c (21,0) c PropagationTime_6 : 16.608670
171.03/24.95	c (21,0) c PropagationTime_7 : 16.758328
171.03/24.95	c (21,0) c PropagationTime_total : 133.872660
171.03/24.95	c (21,0) c PropagationTime_winner : 16.608670
171.03/24.95	c (21,0) c AnalysisTime_0 : 2.767948
171.03/24.95	c (21,0) c AnalysisTime_1 : 2.784723
171.03/24.95	c (21,0) c AnalysisTime_2 : 2.821890
171.03/24.95	c (21,0) c AnalysisTime_3 : 2.926674
171.03/24.95	c (21,0) c AnalysisTime_4 : 2.817797
171.03/24.95	c (21,0) c AnalysisTime_5 : 2.862685
171.03/24.95	c (21,0) c AnalysisTime_6 : 2.879614
171.03/24.95	c (21,0) c AnalysisTime_7 : 2.751033
171.03/24.95	c (21,0) c AnalysisTime_total : 22.612364
171.03/24.95	c (21,0) c AnalysisTime_winner : 2.879614
171.03/24.95	c (21,0) c ReductionTime_0 : 0.144634
171.03/24.95	c (21,0) c ReductionTime_1 : 0.115564
171.03/24.95	c (21,0) c ReductionTime_2 : 0.172120
171.03/24.95	c (21,0) c ReductionTime_3 : 0.174093
171.03/24.95	c (21,0) c ReductionTime_4 : 0.174868
171.03/24.95	c (21,0) c ReductionTime_5 : 0.172197
171.03/24.95	c (21,0) c ReductionTime_6 : 0.171560
171.03/24.95	c (21,0) c ReductionTime_7 : 0.169651
171.03/24.95	c (21,0) c ReductionTime_total : 1.294687
171.03/24.95	c (21,0) c ReductionTime_winner : 0.171560
171.03/24.95	c (21,0) c SimplifyTime_0 : 0.098486
171.03/24.95	c (21,0) c SimplifyTime_1 : 0.112321
171.03/24.95	c (21,0) c SimplifyTime_2 : 0.111359
171.03/24.95	c (21,0) c SimplifyTime_3 : 0.093717
171.03/24.95	c (21,0) c SimplifyTime_4 : 0.109569
171.03/24.95	c (21,0) c SimplifyTime_5 : 0.098554
171.03/24.95	c (21,0) c SimplifyTime_6 : 0.081830
171.03/24.95	c (21,0) c SimplifyTime_7 : 0.098661
171.03/24.95	c (21,0) c SimplifyTime_total : 0.804497
171.03/24.95	c (21,0) c SimplifyTime_winner : 0.081830
171.03/24.95	c (21,0) c UsedRateTime_0 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_1 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_2 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_3 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_4 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_5 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_6 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_7 : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_total : 0.000000
171.03/24.95	c (21,0) c UsedRateTime_winner : 0.000000
171.03/24.95	c (21,0) c OverlapRateTime_0 : 0.000000
171.03/24.95	c (21,0) c OverlapRateTime_1 : 0.000000
171.03/24.95	c (21,0) c OverlapRateTime_2 : 0.000000
171.03/24.95	c (21,0) c OverlapRateTime_3 : 0.000000
171.03/24.95	c (21,0) c OverlapRateTime_4 : 0.000000
171.03/24.96	c (21,0) c OverlapRateTime_5 : 0.000000
171.03/24.96	c (21,0) c OverlapRateTime_6 : 0.000000
171.03/24.96	c (21,0) c OverlapRateTime_7 : 0.000000
171.03/24.96	c (21,0) c OverlapRateTime_total : 0.000000
171.03/24.96	c (21,0) c OverlapRateTime_winner : 0.000000
171.03/24.96	c (21,0) c
171.03/24.96	c (21,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
171.03/24.96	c (21,0) c
171.03/24.96	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.96	c (21,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
171.03/24.96	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.96	c (21,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
171.03/24.96	c (21,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
171.03/24.96	c (21,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
171.03/24.96	c (21,0) c | Initial random_seed   | 1515466703 | 1780552439 |  317384550 |  255951562 |  943836391 |  306217220 |  598358309 | 1882673464 |
171.03/24.96	c (21,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
171.03/24.96	c (21,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
171.03/24.96	c (21,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
171.03/24.96	c (21,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
171.03/24.96	c (21,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
171.03/24.96	c (21,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
171.03/24.96	c (21,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
171.03/24.96	c (21,0) c | var_decay             |     0.9300 |     0.9300 |     0.9400 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |     0.9300 |
171.03/24.96	c (21,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
171.03/24.96	c (21,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
171.03/24.96	c (21,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
171.03/24.96	c (21,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
171.03/24.96	c (21,0) 
171.03/24.96	c (21,0) s SATISFIABLE
171.03/25.00	c (21,0) SatSolver.solve End
171.03/25.00	c (21,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
171.03/25.00	c (21,0) Show results Begin
171.34/25.09	c (21,0) x[0] = 224
171.34/25.09	c (21,0) x[1] = 105
171.34/25.09	c (21,0) x[2] = 101
171.34/25.09	c (21,0) x[3] = 101
171.34/25.09	c (21,0) x[4] = 176
171.34/25.09	c (21,0) x[5] = 108
171.34/25.09	c (21,0) x[6] = 118
171.34/25.09	c (21,0) x[7] = 101
171.34/25.09	c (21,0) x[8] = 79
171.34/25.09	c (21,0) x[9] = 105
171.34/25.09	c (21,0) x[10] = 73
171.34/25.09	c (21,0) x[11] = 226
171.34/25.09	c (21,0) x[12] = 224
171.34/25.09	c (21,0) x[13] = 184
171.34/25.09	c (21,0) x[14] = 73
171.34/25.09	c (21,0) x[15] = 176
171.34/25.09	c (21,0) x[16] = 79
171.34/25.09	c (21,0) x[17] = 118
171.34/25.09	c (21,0) x[18] = 0
171.34/25.09	c (21,0) x[19] = 262
171.34/25.09	c (21,0) x[20] = 0
171.34/25.09	c (21,0) x[21] = 132
171.34/25.09	c (21,0) x[22] = 226
171.34/25.09	c (21,0) x[23] = 184
171.34/25.09	c (21,0) x[24] = 0
171.34/25.09	c (21,0) y[0] = 190
171.34/25.09	c (21,0) y[1] = 253
171.34/25.09	c (21,0) y[2] = 253
171.34/25.09	c (21,0) y[3] = 246
171.34/25.09	c (21,0) y[4] = 184
171.34/25.09	c (21,0) y[5] = 246
171.34/25.09	c (21,0) y[6] = 242
171.34/25.09	c (21,0) y[7] = 229
171.34/25.09	c (21,0) y[8] = 257
171.34/25.09	c (21,0) y[9] = 256
171.34/25.09	c (21,0) y[10] = 229
171.34/25.09	c (21,0) y[11] = 190
171.34/25.09	c (21,0) y[12] = 152
171.34/25.09	c (21,0) y[13] = 152
171.34/25.09	c (21,0) y[14] = 184
171.34/25.09	c (21,0) y[15] = 192
171.34/25.09	c (21,0) y[16] = 283
171.34/25.09	c (21,0) y[17] = 184
171.34/25.09	c (21,0) y[18] = 184
171.34/25.09	c (21,0) y[19] = 152
171.34/25.09	c (21,0) y[20] = 257
171.34/25.09	c (21,0) y[21] = 242
171.34/25.09	c (21,0) y[22] = 226
171.34/25.09	c (21,0) y[23] = 0
171.34/25.09	c (21,0) y[24] = 0
171.34/25.09	s SATISFIABLE
171.34/25.10	v <instantiation>
171.34/25.10	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>
171.34/25.10	v     <values>224 105 101 101 176 108 118 101 79 105 73 226 224 184 73 176 79 118 0 262 0 132 226 184 0 190 253 253 246 184 246 242 229 257 256 229 190 152 152 184 192 283 184 184 152 257 242 226 0 0</values>
171.34/25.10	v </instantiation>
171.34/25.10	c (21,0) Show results End
171.34/25.10	c (21,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
171.34/25.10	c (21,0) 21,21,STOP-AFTER(ALL)
171.34/25.10	c END-Prog: Sat Sep 14 04:49:01 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392643-1568429358/watcher-4392643-1568429358 -o /tmp/evaluation-result-4392643-1568429358/solver-4392643-1568429358 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392643-1568429358.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=23681, runsolver pid=23678
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 2.83 1.53 1.95 2/211 23703
/proc/meminfo: memFree=30845320/32770624 swapFree=66947568/67108860
[pid=23681] ppid=23678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23681/stat : 23681 (scop.sh) S 23678 23681 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418877753 115843072 349 33554432000 4194304 5098028 140736366983216 140736366980472 139731965395580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35155968 140736366986020 140736366986348 140736366986348 140736366989261 0
/proc/23681/statm: 28282 349 296 221 0 87 0
[pid=23684] ppid=23681 vsize=27314120 memory=105448 CPUtime=0.1 cores=0-7
/proc/23684/stat : 23684 (java) S 23681 23681 15751 0 -1 1077944320 6946 0 0 0 8 2 0 0 20 0 20 0 418877753 27969658880 26362 33554432000 4194304 4196468 140724521515680 140724521498224 139943356239607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
/proc/23684/statm: 6828530 26362 2793 1 0 6790935 0
[pid=23684/tid=23685] ppid=23681 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/23684/task/23685/stat : 23685 (java) R 23681 23681 15751 0 -1 4202560 5028 0 0 0 7 2 0 0 20 0 20 0 418877754 27969658880 26362 33554432000 4194304 4196468 140724521515680 139943328074736 139943356261533 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23686] ppid=23681 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23684/task/23686/stat : 23686 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139943360481936 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23687] ppid=23681 vsize=27314120 memory=139756226004608 CPUtime=0 cores=0-7
/proc/23684/task/23687/stat : 23687 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139943189576208 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23688] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23688/stat : 23688 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139942777227664 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23689] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23689/stat : 23689 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139942776174864 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23690] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23690/stat : 23690 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139942775123088 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23691] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23691/stat : 23691 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139942774070288 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23692] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23692/stat : 23692 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139942773017488 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23693] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23693/stat : 23693 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 26362 33554432000 4194304 4196468 140724521515680 139942771964688 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23694] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23694/stat : 23694 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941992884592 139943356250754 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23695] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23695/stat : 23695 (java) S 23681 23681 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941241676832 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23696] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23696/stat : 23696 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 26362 33554432000 4194304 4196468 140724521515680 139940973241200 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23697] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23697/stat : 23697 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139940598732624 139943356258203 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23698] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23698/stat : 23698 (java) S 23681 23681 15751 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941991832432 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23699] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23699/stat : 23699 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941990779632 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23700] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23700/stat : 23700 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941989726832 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23701] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23701/stat : 23701 (java) S 23681 23681 15751 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941988674032 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23702] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23702/stat : 23702 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139940100827744 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23703] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23703/stat : 23703 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 26362 33554432000 4194304 4196468 140724521515680 139941987621424 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106844 KiB

[startup+0.210438 s]*
/proc/loadavg: 2.83 1.53 1.95 4/211 23703
/proc/meminfo: memFree=30823884/32770624 swapFree=66947568/67108860
[pid=23681] ppid=23678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23681/stat : 23681 (scop.sh) S 23678 23681 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418877753 115843072 349 33554432000 4194304 5098028 140736366983216 140736366980472 139731965395580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35155968 140736366986020 140736366986348 140736366986348 140736366989261 0
/proc/23681/statm: 28282 349 296 221 0 87 0
[pid=23684] ppid=23681 vsize=27314120 memory=124836 CPUtime=0.25 cores=0-7
/proc/23684/stat : 23684 (java) S 23681 23681 15751 0 -1 1077944320 12628 0 0 0 21 4 0 0 20 0 20 0 418877753 27969658880 31209 33554432000 4194304 4196468 140724521515680 140724521498224 139943356239607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
/proc/23684/statm: 6828530 31209 2946 1 0 6790935 0
[pid=23684/tid=23685] ppid=23681 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23684/task/23685/stat : 23685 (java) R 23681 23681 15751 0 -1 4202560 10287 0 0 0 16 3 0 0 20 0 20 0 418877754 27969658880 31209 33554432000 4194304 4196468 140724521515680 139943328038992 139943337803176 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23686] ppid=23681 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/23684/task/23686/stat : 23686 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139943360481936 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23687] ppid=23681 vsize=27314120 memory=139756229097262 CPUtime=0 cores=0-7
/proc/23684/task/23687/stat : 23687 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139943189576208 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23688] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23688/stat : 23688 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139942777227664 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23689] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23689/stat : 23689 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139942776174864 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23690] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23690/stat : 23690 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139942775123088 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23691] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23691/stat : 23691 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139942774070288 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23692] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23692/stat : 23692 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139942773017488 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23693] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23693/stat : 23693 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 31209 33554432000 4194304 4196468 140724521515680 139942771964688 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23694] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23694/stat : 23694 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941992884592 139943356250754 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23695] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23695/stat : 23695 (java) S 23681 23681 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941241676832 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23696] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23696/stat : 23696 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 31209 33554432000 4194304 4196468 140724521515680 139940973241200 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23697] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23697/stat : 23697 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139940598732624 139943356258203 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23698] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23698/stat : 23698 (java) S 23681 23681 15751 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941991832432 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23699] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23699/stat : 23699 (java) S 23681 23681 15751 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941990779632 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23700] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23700/stat : 23700 (java) S 23681 23681 15751 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941989726832 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23701] ppid=23681 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/23684/task/23701/stat : 23701 (java) S 23681 23681 15751 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941988674032 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23702] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23702/stat : 23702 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139940100827744 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23703] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23703/stat : 23703 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 31209 33554432000 4194304 4196468 140724521515680 139941987621424 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126232 KiB

[startup+0.310196 s]*
/proc/loadavg: 2.83 1.53 1.95 2/211 23703
/proc/meminfo: memFree=30821216/32770624 swapFree=66947568/67108860
[pid=23681] ppid=23678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23681/stat : 23681 (scop.sh) S 23678 23681 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418877753 115843072 349 33554432000 4194304 5098028 140736366983216 140736366980472 139731965395580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35155968 140736366986020 140736366986348 140736366986348 140736366989261 0
/proc/23681/statm: 28282 349 296 221 0 87 0
[pid=23684] ppid=23681 vsize=27314120 memory=128992 CPUtime=0.42 cores=0-7
/proc/23684/stat : 23684 (java) S 23681 23681 15751 0 -1 1077944320 13075 0 0 0 38 4 0 0 20 0 20 0 418877753 27969658880 32248 33554432000 4194304 4196468 140724521515680 140724521498224 139943356239607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
/proc/23684/statm: 6828530 32248 3052 1 0 6790935 0
[pid=23684/tid=23685] ppid=23681 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23684/task/23685/stat : 23685 (java) R 23681 23681 15751 0 -1 4202560 10473 0 0 0 26 3 0 0 20 0 20 0 418877754 27969658880 32248 33554432000 4194304 4196468 140724521515680 139943328042832 139943340320094 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23686] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23686/stat : 23686 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139943360481936 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23687] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23687/stat : 23687 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139943189576208 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23688] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23688/stat : 23688 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139942777227664 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23689] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23689/stat : 23689 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139942776174864 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23690] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23690/stat : 23690 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139942775123088 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23691] ppid=23681 vsize=27314120 memory=139756088421039 CPUtime=0 cores=0-7
/proc/23684/task/23691/stat : 23691 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139942774070288 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23692] ppid=23681 vsize=27314120 memory=139756088423344 CPUtime=0 cores=0-7
/proc/23684/task/23692/stat : 23692 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139942773017488 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23693] ppid=23681 vsize=27314120 memory=139756088425648 CPUtime=0 cores=0-7
/proc/23684/task/23693/stat : 23693 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877756 27969658880 32248 33554432000 4194304 4196468 140724521515680 139942771964688 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23694] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23694/stat : 23694 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941992884592 139943356250754 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23695] ppid=23681 vsize=27314120 memory=279512176865168 CPUtime=0 cores=0-7
/proc/23684/task/23695/stat : 23695 (java) S 23681 23681 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941241676832 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23696] ppid=23681 vsize=27314120 memory=279512176862864 CPUtime=0 cores=0-7
/proc/23684/task/23696/stat : 23696 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877758 27969658880 32248 33554432000 4194304 4196468 140724521515680 139940973241200 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23697] ppid=23681 vsize=27314120 memory=279512176869776 CPUtime=0 cores=0-7
/proc/23684/task/23697/stat : 23697 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139940598732624 139943356258203 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23698] ppid=23681 vsize=27314120 memory=279512176811056 CPUtime=0 cores=0-7
/proc/23684/task/23698/stat : 23698 (java) S 23681 23681 15751 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941991832432 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23699] ppid=23681 vsize=27314120 memory=279512176883600 CPUtime=0.01 cores=0-7
/proc/23684/task/23699/stat : 23699 (java) R 23681 23681 15751 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941990779632 139943349224649 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23700] ppid=23681 vsize=27314120 memory=279512176890512 CPUtime=0.01 cores=0-7
/proc/23684/task/23700/stat : 23700 (java) S 23681 23681 15751 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941989726832 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23701] ppid=23681 vsize=27314120 memory=279512176888208 CPUtime=0.07 cores=0-7
/proc/23684/task/23701/stat : 23701 (java) S 23681 23681 15751 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941988674032 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23702] ppid=23681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23702/stat : 23702 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139940100827744 139943356249813 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23703] ppid=23681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23684/task/23703/stat : 23703 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418877761 27969658880 32248 33554432000 4194304 4196468 140724521515680 139941987621424 139943356250754 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130388 KiB

[startup+0.700966 s]
/proc/loadavg: 2.83 1.53 1.95 4/211 23703
/proc/meminfo: memFree=30800616/32770624 swapFree=66947568/67108860
[pid=23681] ppid=23678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23681/stat : 23681 (scop.sh) S 23678 23681 15751 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418877753 115843072 349 33554432000 4194304 5098028 140736366983216 140736366980472 139731965395580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35155968 140736366986020 140736366986348 140736366986348 140736366989261 0
/proc/23681/statm: 28282 349 296 221 0 87 0
[pid=23684] ppid=23681 vsize=27322440 memory=166192 CPUtime=0.98 cores=0-7
/proc/23684/stat : 23684 (java) S 23681 23681 15751 0 -1 1077944320 20726 0 0 0 91 7 0 0 20 0 20 0 418877753 27978178560 41548 33554432000 4194304 4196468 140724521515680 140724521498224 139943356239607 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
/proc/23684/statm: 6830610 41548 3183 1 0 6791959 0
[pid=23684/tid=23685] ppid=23681 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/23684/task/23685/stat : 23685 (java) R 23681 23681 15751 0 -1 4202560 17538 0 0 0 62 6 0 0 20 0 20 0 418877754 27978178560 41548 33554432000 4194304 4196468 140724521515680 139943328077792 139943340320094 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23686] ppid=23681 vsize=27322440 memory=139756088632176 CPUtime=0 cores=0-7
/proc/23684/task/23686/stat : 23686 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27978178560 41548 33554432000 4194304 4196468 140724521515680 139943360481936 139943356249813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23687] ppid=23681 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/23684/task/23687/stat : 23687 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27978178560 41548 33554432000 4194304 4196468 140724521515680 139943189576208 139943356249813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0
[pid=23684/tid=23688] ppid=23681 vsize=27322440 memory=1200 CPUtime=0 cores=0-7
/proc/23684/task/23688/stat : 23688 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418877756 27978178560 41548 33554432000 4194304 4196468 140724521515680 139942777227664 139943356249813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32948224 140724521521898 140724521522326 140724521522326 140724521525199 0

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

[pid=23724/tid=23733] ppid=23704 vsize=796568 memory=6944652177228980320 CPUtime=20.02 cores=0-7
/proc/23724/task/23733/stat : 23733 (manyglucose-4.1) R 23704 23681 15751 0 -1 4202560 18997 0 0 0 1997 5 0 0 20 0 3 0 418878181 815685632 129731 33554432000 4194304 4454172 140734452107072 140297259125864 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 8691712 140734452114281 140734452114480 140734452114480 140734452117434 0
[pid=23704/tid=23705] ppid=23681 vsize=8414124 memory=-3284643825843719562 CPUtime=0.74 cores=0-7
/proc/23704/task/23705/stat : 23705 (java) S 23681 23681 15751 0 -1 1077944384 16382 0 0 0 69 5 0 0 20 0 24 0 418878058 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432997023648 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23706] ppid=23681 vsize=8414124 memory=139756088329608 CPUtime=0 cores=0-7
/proc/23704/task/23706/stat : 23706 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878059 8616062976 29884 33554432000 4194304 4196468 140729200737440 140433029426320 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23707] ppid=23681 vsize=8414124 memory=279512177491312 CPUtime=0 cores=0-7
/proc/23704/task/23707/stat : 23707 (java) S 23681 23681 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418878059 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432829594640 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23708] ppid=23681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23704/task/23708/stat : 23708 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878059 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432828541840 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23709] ppid=23681 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/23704/task/23709/stat : 23709 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418878059 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432827489040 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23710] ppid=23681 vsize=8414124 memory=119536 CPUtime=0 cores=0-7
/proc/23704/task/23710/stat : 23710 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878060 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432826436240 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23711] ppid=23681 vsize=8414124 memory=474804 CPUtime=0 cores=0-7
/proc/23704/task/23711/stat : 23711 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878060 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432825383440 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23712] ppid=23681 vsize=8414124 memory=6944656592455360608 CPUtime=0 cores=0-7
/proc/23704/task/23712/stat : 23712 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878060 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432824330640 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23713] ppid=23681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23704/task/23713/stat : 23713 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878060 8616062976 29884 33554432000 4194304 4196468 140729200737440 140432823277840 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23714] ppid=23681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/23704/task/23714/stat : 23714 (java) S 23681 23681 15751 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418878061 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431850208112 140433025194626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23715] ppid=23681 vsize=8414124 memory=665094076037961411 CPUtime=0 cores=0-7
/proc/23704/task/23715/stat : 23715 (java) S 23681 23681 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418878061 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431673255456 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23716] ppid=23681 vsize=8414124 memory=4638778398332698720 CPUtime=0 cores=0-7
/proc/23704/task/23716/stat : 23716 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878062 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431404819824 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23717] ppid=23681 vsize=8414124 memory=6077725776280245349 CPUtime=0 cores=0-7
/proc/23704/task/23717/stat : 23717 (java) S 23681 23681 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418878064 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431030311248 140433025202075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23718] ppid=23681 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/23704/task/23718/stat : 23718 (java) S 23681 23681 15751 0 -1 1077944384 587 0 0 0 7 0 0 0 20 0 24 0 418878064 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431849154928 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23719] ppid=23681 vsize=8414124 memory=279512178467360 CPUtime=0.03 cores=0-7
/proc/23704/task/23719/stat : 23719 (java) S 23681 23681 15751 0 -1 1077944384 115 0 0 0 3 0 0 0 20 0 24 0 418878064 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431848102128 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23720] ppid=23681 vsize=8414124 memory=2110106696322372 CPUtime=0.06 cores=0-7
/proc/23704/task/23720/stat : 23720 (java) S 23681 23681 15751 0 -1 1077944384 383 0 0 0 6 0 0 0 20 0 24 0 418878064 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431847049328 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23721] ppid=23681 vsize=8414124 memory=-7739291840220455296 CPUtime=0.18 cores=0-7
/proc/23704/task/23721/stat : 23721 (java) S 23681 23681 15751 0 -1 1077944384 511 0 0 0 18 0 0 0 20 0 24 0 418878064 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431845996528 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23722] ppid=23681 vsize=8414124 memory=4137282616176187523 CPUtime=0 cores=0-7
/proc/23704/task/23722/stat : 23722 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418878064 8616062976 29884 33554432000 4194304 4196468 140729200737440 140430532406368 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23723] ppid=23681 vsize=8414124 memory=780 CPUtime=0.01 cores=0-7
/proc/23704/task/23723/stat : 23723 (java) S 23681 23681 15751 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 418878065 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431844944944 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23725] ppid=23681 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/23704/task/23725/stat : 23725 (java) S 23681 23681 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418878129 8616062976 29884 33554432000 4194304 4196468 140729200737440 140431836911168 140433025208089 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23727] ppid=23681 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/23704/task/23727/stat : 23727 (java) S 23681 23681 15751 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418878129 8616062976 29884 33554432000 4194304 4196468 140729200737440 140429861306000 140433025205405 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23728] ppid=23681 vsize=8414124 memory=1200 CPUtime=0 cores=0-7
/proc/23704/task/23728/stat : 23728 (java) S 23681 23681 15751 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418878129 8616062976 29884 33554432000 4194304 4196468 140729200737440 140430129741328 140433025205405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23729] ppid=23681 vsize=8414124 memory=5964 CPUtime=0 cores=0-7
/proc/23704/task/23729/stat : 23729 (java) S 23681 23681 15751 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418878132 8616062976 29884 33554432000 4194304 4196468 140729200737440 140429592878128 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
Current children cumulated CPU time: 170.83 s
Current children cumulated vsize: 9323820 KiB
Current children cumulated memory: 639936 KiB

[startup+25.002 s]*
/proc/loadavg: 4.24 1.94 2.08 3/213 23740
/proc/meminfo: memFree=30818388/32770624 swapFree=66947568/67108860
[pid=23681] ppid=23678 vsize=113128 memory=1476 CPUtime=6.2 cores=0-7
/proc/23681/stat : 23681 (scop.sh) S 23678 23681 15751 0 -1 4202496 583 27992 0 0 0 0 590 30 20 0 1 0 418877753 115843072 369 33554432000 4194304 5098028 140736366983216 140736366979960 139731965395580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35155968 140736366986020 140736366986348 140736366986348 140736366989261 0
/proc/23681/statm: 28282 369 311 221 0 87 0
[pid=23704] ppid=23681 vsize=8283048 memory=126384 CPUtime=165.14 cores=0-7
/proc/23704/stat : 23704 (java) S 23681 23681 15751 0 -1 1077944320 21051 199182 0 0 126 8 16319 61 20 0 22 0 418878058 8481841152 31596 33554432000 4194304 4196468 140729200737440 140729200719984 140433025183479 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
/proc/23704/statm: 2070762 31596 3224 1 0 2032106 0
[pid=23704/tid=23705] ppid=23681 vsize=8283048 memory=8316850467074736180 CPUtime=164.55 cores=0-7
/proc/23704/task/23705/stat : 23705 (java) R 23681 23681 15751 0 -1 4202560 16428 199182 0 0 70 5 16319 61 20 0 22 0 418878058 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432997019456 140433009263966 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23706] ppid=23681 vsize=8283048 memory=13977 CPUtime=163.8 cores=0-7
/proc/23704/task/23706/stat : 23706 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878059 8481841152 31596 33554432000 4194304 4196468 140729200737440 140433029426320 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23707] ppid=23681 vsize=8283048 memory=139756229097262 CPUtime=163.8 cores=0-7
/proc/23704/task/23707/stat : 23707 (java) S 23681 23681 15751 0 -1 1077944384 2 199182 0 0 0 0 16319 61 20 0 22 0 418878059 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432829594640 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23708] ppid=23681 vsize=8283048 memory=-1 CPUtime=163.8 cores=0-7
/proc/23704/task/23708/stat : 23708 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878059 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432828541840 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23709] ppid=23681 vsize=8283048 memory=2209 CPUtime=163.8 cores=0-7
/proc/23704/task/23709/stat : 23709 (java) S 23681 23681 15751 0 -1 1077944384 3 199182 0 0 0 0 16319 61 20 0 22 0 418878059 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432827489040 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23710] ppid=23681 vsize=8283048 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23710/stat : 23710 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878060 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432826436240 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23711] ppid=23681 vsize=8283048 memory=2240 CPUtime=163.8 cores=0-7
/proc/23704/task/23711/stat : 23711 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878060 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432825383440 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23712] ppid=23681 vsize=8283048 memory=2241 CPUtime=163.8 cores=0-7
/proc/23704/task/23712/stat : 23712 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878060 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432824330640 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23713] ppid=23681 vsize=8283048 memory=2241 CPUtime=163.8 cores=0-7
/proc/23704/task/23713/stat : 23713 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878060 8481841152 31596 33554432000 4194304 4196468 140729200737440 140432823277840 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23714] ppid=23681 vsize=8283048 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23714/stat : 23714 (java) S 23681 23681 15751 0 -1 1077944384 7 199182 0 0 0 0 16319 61 20 0 22 0 418878061 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431850208112 140433025194626 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23715] ppid=23681 vsize=8283048 memory=1234563813 CPUtime=163.8 cores=0-7
/proc/23704/task/23715/stat : 23715 (java) S 23681 23681 15751 0 -1 1077944384 13 199182 0 0 0 0 16319 61 20 0 22 0 418878061 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431673255456 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23716] ppid=23681 vsize=8283048 memory=1234563813 CPUtime=163.8 cores=0-7
/proc/23704/task/23716/stat : 23716 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878062 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431404819824 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23717] ppid=23681 vsize=8283048 memory=1770 CPUtime=163.8 cores=0-7
/proc/23704/task/23717/stat : 23717 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 22 0 418878064 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431030311248 140433025202075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23718] ppid=23681 vsize=8283048 memory=1728 CPUtime=163.9 cores=0-7
/proc/23704/task/23718/stat : 23718 (java) S 23681 23681 15751 0 -1 1077944384 640 199182 0 0 10 0 16319 61 20 0 22 0 418878064 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431849154928 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23719] ppid=23681 vsize=8283048 memory=0 CPUtime=163.87 cores=0-7
/proc/23704/task/23719/stat : 23719 (java) S 23681 23681 15751 0 -1 1077944384 425 199182 0 0 7 0 16319 61 20 0 22 0 418878064 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431848102128 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23720] ppid=23681 vsize=8283048 memory=-1 CPUtime=163.88 cores=0-7
/proc/23704/task/23720/stat : 23720 (java) S 23681 23681 15751 0 -1 1077944384 626 199182 0 0 8 0 16319 61 20 0 22 0 418878064 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431847049328 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23721] ppid=23681 vsize=8283048 memory=-1 CPUtime=164.03 cores=0-7
/proc/23704/task/23721/stat : 23721 (java) S 23681 23681 15751 0 -1 1077944384 978 199182 0 0 23 0 16319 61 20 0 22 0 418878064 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431845996528 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23722] ppid=23681 vsize=8283048 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23722/stat : 23722 (java) S 23681 23681 15751 0 -1 1077944384 3 199182 0 0 0 0 16319 61 20 0 22 0 418878064 8481841152 31596 33554432000 4194304 4196468 140729200737440 140430532406368 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23723] ppid=23681 vsize=8283048 memory=-1 CPUtime=163.81 cores=0-7
/proc/23704/task/23723/stat : 23723 (java) S 23681 23681 15751 0 -1 1077944384 3 199182 0 0 0 1 16319 61 20 0 22 0 418878065 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431844944944 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23725] ppid=23681 vsize=8283048 memory=-1 CPUtime=163.8 cores=0-7
/proc/23704/task/23725/stat : 23725 (java) S 23681 23681 15751 0 -1 1077944384 25 199182 0 0 0 0 16319 61 20 0 22 0 418878129 8481841152 31596 33554432000 4194304 4196468 140729200737440 140431836910352 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23729] ppid=23681 vsize=8283048 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23729/stat : 23729 (java) S 23681 23681 15751 0 -1 1077944384 13 199182 0 0 0 0 16319 61 20 0 22 0 418878132 8481841152 31596 33554432000 4194304 4196468 140729200737440 140429592879920 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
Current children cumulated CPU time: 171.34 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127860 KiB

[startup+25.1102 s]
/proc/loadavg: 4.24 1.94 2.08 3/213 23740
/proc/meminfo: memFree=30818388/32770624 swapFree=66947568/67108860
[pid=23681] ppid=23678 vsize=113128 memory=1476 CPUtime=6.2 cores=0-7
/proc/23681/stat : 23681 (scop.sh) S 23678 23681 15751 0 -1 4202496 583 27992 0 0 0 0 590 30 20 0 1 0 418877753 115843072 369 33554432000 4194304 5098028 140736366983216 140736366979960 139731965395580 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35155968 140736366986020 140736366986348 140736366986348 140736366989261 0
/proc/23681/statm: 28282 369 311 221 0 87 0
[pid=23704] ppid=23681 vsize=8151972 memory=134272 CPUtime=165.32 cores=0-7
/proc/23704/stat : 23704 (java) S 23681 23681 15751 0 -1 1077944320 21415 199182 0 0 143 9 16319 61 20 0 21 0 418878058 8347619328 33568 33554432000 4194304 4196468 140729200737440 140729200719984 140433025183479 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
/proc/23704/statm: 2037993 33568 3227 1 0 1999337 0
[pid=23704/tid=23705] ppid=23681 vsize=8151972 memory=529604 CPUtime=164.64 cores=0-7
/proc/23704/task/23705/stat : 23705 (java) S 23681 23681 15751 0 -1 1077944384 16671 199182 0 0 79 5 16319 61 20 0 21 0 418878058 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432997026960 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23706] ppid=23681 vsize=8151972 memory=119536 CPUtime=163.8 cores=0-7
/proc/23704/task/23706/stat : 23706 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878059 8347619328 33568 33554432000 4194304 4196468 140729200737440 140433029426320 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23707] ppid=23681 vsize=8151972 memory=1476 CPUtime=163.8 cores=0-7
/proc/23704/task/23707/stat : 23707 (java) S 23681 23681 15751 0 -1 1077944384 2 199182 0 0 0 0 16319 61 20 0 21 0 418878059 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432829594640 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23708] ppid=23681 vsize=8151972 memory=7523107478184158290 CPUtime=163.8 cores=0-7
/proc/23704/task/23708/stat : 23708 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878059 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432828541840 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23709] ppid=23681 vsize=8151972 memory=119536 CPUtime=163.8 cores=0-7
/proc/23704/task/23709/stat : 23709 (java) S 23681 23681 15751 0 -1 1077944384 3 199182 0 0 0 0 16319 61 20 0 21 0 418878059 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432827489040 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23710] ppid=23681 vsize=8151972 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23710/stat : 23710 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878060 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432826436240 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23711] ppid=23681 vsize=8151972 memory=7444847465905287530 CPUtime=163.8 cores=0-7
/proc/23704/task/23711/stat : 23711 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878060 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432825383440 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23712] ppid=23681 vsize=8151972 memory=1476 CPUtime=163.8 cores=0-7
/proc/23704/task/23712/stat : 23712 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878060 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432824330640 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23713] ppid=23681 vsize=8151972 memory=22400 CPUtime=163.8 cores=0-7
/proc/23704/task/23713/stat : 23713 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878060 8347619328 33568 33554432000 4194304 4196468 140729200737440 140432823277840 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23714] ppid=23681 vsize=8151972 memory=1476 CPUtime=163.8 cores=0-7
/proc/23704/task/23714/stat : 23714 (java) S 23681 23681 15751 0 -1 1077944384 7 199182 0 0 0 0 16319 61 20 0 21 0 418878061 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431850208320 140433025194626 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23715] ppid=23681 vsize=8151972 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23715/stat : 23715 (java) S 23681 23681 15751 0 -1 1077944384 13 199182 0 0 0 0 16319 61 20 0 21 0 418878061 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431673255456 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23716] ppid=23681 vsize=8151972 memory=0 CPUtime=163.8 cores=0-7
/proc/23704/task/23716/stat : 23716 (java) S 23681 23681 15751 0 -1 1077944384 1 199182 0 0 0 0 16319 61 20 0 21 0 418878062 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431404819824 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23717] ppid=23681 vsize=8151972 memory=1476 CPUtime=163.8 cores=0-7
/proc/23704/task/23717/stat : 23717 (java) S 23681 23681 15751 0 -1 1077944384 2 199182 0 0 0 0 16319 61 20 0 21 0 418878064 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431030310896 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23718] ppid=23681 vsize=8151972 memory=119536 CPUtime=163.9 cores=0-7
/proc/23704/task/23718/stat : 23718 (java) S 23681 23681 15751 0 -1 1077944384 650 199182 0 0 10 0 16319 61 20 0 21 0 418878064 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431849154928 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23719] ppid=23681 vsize=8151972 memory=446012 CPUtime=163.88 cores=0-7
/proc/23704/task/23719/stat : 23719 (java) S 23681 23681 15751 0 -1 1077944384 433 199182 0 0 8 0 16319 61 20 0 21 0 418878064 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431848102128 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23720] ppid=23681 vsize=8151972 memory=1180 CPUtime=163.9 cores=0-7
/proc/23704/task/23720/stat : 23720 (java) S 23681 23681 15751 0 -1 1077944384 638 199182 0 0 10 0 16319 61 20 0 21 0 418878064 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431847029808 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23721] ppid=23681 vsize=8151972 memory=4958 CPUtime=164.07 cores=0-7
/proc/23704/task/23721/stat : 23721 (java) S 23681 23681 15751 0 -1 1077944384 1066 199182 0 0 27 0 16319 61 20 0 21 0 418878064 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431845996528 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23722] ppid=23681 vsize=8151972 memory=279512177278704 CPUtime=163.8 cores=0-7
/proc/23704/task/23722/stat : 23722 (java) S 23681 23681 15751 0 -1 1077944384 3 199182 0 0 0 0 16319 61 20 0 21 0 418878064 8347619328 33568 33554432000 4194304 4196468 140729200737440 140430532406368 140433025193685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23725] ppid=23681 vsize=8151972 memory=242816 CPUtime=163.8 cores=0-7
/proc/23704/task/23725/stat : 23725 (java) S 23681 23681 15751 0 -1 1077944384 25 199182 0 0 0 0 16319 61 20 0 21 0 418878129 8347619328 33568 33554432000 4194304 4196468 140729200737440 140431836910352 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
[pid=23704/tid=23729] ppid=23681 vsize=8151972 memory=1476 CPUtime=163.8 cores=0-7
/proc/23704/task/23729/stat : 23729 (java) S 23681 23681 15751 0 -1 1077944384 13 199182 0 0 0 0 16319 61 20 0 21 0 418878132 8347619328 33568 33554432000 4194304 4196468 140729200737440 140429592879920 140433025194626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140729200739319 140729200739478 140729200739478 140729200742351 0
Current children cumulated CPU time: 171.52 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 135748 KiB

Child status: 0
Real time (s): 25.1203
CPU time (s): 171.552
CPU user time (s): 170.535
CPU system time (s): 1.01666
CPU usage (%): 682.922
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1269872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.535
system time used= 1.01666
maximum resident set size= 1271432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15585
involuntary context switches= 1870


# summary of solver processes directly reported to runsolver:
#   pid: 23681
#   total CPU time (s): 171.552
#   total CPU user time (s): 170.535
#   total CPU system time (s): 1.01666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.268467 second user time and 0.364348 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 04:48:36
IDJOB=4392643
IDBENCH=127781
IDSOLVER=2839
FILE ID=node117/4392643-1568429358
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

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

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

MD5SUM BENCH= 8967691277ed469002b27945208c5243
RANDOM SEED=1178539427

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30939080 kB
MemAvailable:   31864956 kB
Buffers:          145328 kB
Cached:          1046656 kB
SwapCached:        51556 kB
Active:           769044 kB
Inactive:         476980 kB
Active(anon):      19008 kB
Inactive(anon):    58976 kB
Active(file):     750036 kB
Inactive(file):   418004 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947568 kB
Dirty:             20244 kB
Writeback:             4 kB
AnonPages:        113480 kB
Mapped:            33500 kB
Shmem:             15488 kB
Slab:             175924 kB
SReclaimable:     147344 kB
SUnreclaim:        28580 kB
KernelStack:        3440 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498184 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:      118144 kB
DirectMap2M:    33427456 kB

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