Trace number 4405196

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-033.xml
MD5SUM273a3a450a7af16ef80dfed9e1af494c
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 benchmark36.4974
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size288
Maximum domain size288
Distribution of domain sizes[{"size":288,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19416-serial-file.bin HOME/instance-4405196-1569338155.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:15:15 CEST 2019
0.65/0.57	c PID: 19419
0.65/0.57	c IP: 172.20.3.124
0.65/0.57	c HOST: node124.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.38/0.91	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 288
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.92	c (0,0) Ctr:HOME/instance-4405196-1569338155.xml,Le:NoOverlap:Num:Var
1.38/0.92	c (0,0) Constraint Name Generate End
1.38/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.92	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 6 (10%) constraints
1.38/1.00	c (0,0) translated 11 (20%) constraints
1.54/1.01	c (0,0) translated 16 (30%) constraints
1.54/1.01	c (0,0) translated 21 (40%) constraints
1.54/1.01	c (0,0) translated 26 (50%) constraints
1.54/1.01	c (0,0) translated 31 (60%) constraints
1.54/1.02	c (0,0) translated 36 (70%) constraints
1.54/1.02	c (0,0) translated 41 (80%) constraints
1.54/1.02	c (0,0) translated 46 (90%) constraints
2.15/1.27	c (0,0) translated 51 (100%) constraints
2.15/1.27	c (0,0) ===========================================
2.15/1.27	c (0,0) Order
2.15/1.27	c (0,0) ===========================================
2.15/1.28	c (0,0) translated 33 (10%) constraints
2.15/1.29	c (0,0) translated 66 (20%) constraints
2.15/1.29	c (0,0) translated 98 (30%) constraints
2.15/1.30	c (0,0) translated 131 (40%) constraints
2.49/1.30	c (0,0) translated 163 (50%) constraints
2.49/1.31	c (0,0) translated 196 (60%) constraints
2.49/1.31	c (0,0) translated 229 (70%) constraints
2.49/1.31	c (0,0) translated 261 (80%) constraints
2.49/1.32	c (0,0) translated 294 (90%) constraints
2.49/1.32	c (0,0) translated 326 (100%) constraints
2.49/1.33	c (0,0) CSP to CSPinCNF End
2.49/1.33	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 287
2.49/1.33	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.33	c (0,0) CSPinCNF Propagation Begin
2.49/1.36	c (0,0) 0 values, 10 unsatisfiable literals, and 49 valid clauses are removed
2.49/1.36	c (0,0) CSPinCNF Propagation End
2.49/1.36	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 287
2.49/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.36	c (0,0) Simplify CSPinCNF Begin
2.86/1.45	c (0,0) Simplify CSPinCNF End
2.86/1.45	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.86/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.45	c (0,0) Calculate Precise Domain Begin
2.86/1.45	c (0,0) 0 values are removed by re-calculation
2.86/1.45	c (0,0) Calculate Precise Domain End
2.86/1.45	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.86/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.86/1.45	c (0,0) CSPinCNF to SatSolver Begin
4.27/1.84	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 38094 SAT clauses)
4.67/1.98	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 64094 SAT clauses)
4.98/2.08	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 88663 SAT clauses)
5.11/2.17	c (1,1) 549 (40 %) CSP clauses are encoded (0 SAT variables, 112258 SAT clauses)
5.21/2.26	c (1,1) 686 (50 %) CSP clauses are encoded (0 SAT variables, 135989 SAT clauses)
5.32/2.35	c (1,1) 823 (60 %) CSP clauses are encoded (0 SAT variables, 158403 SAT clauses)
5.44/2.43	c (1,1) 960 (70 %) CSP clauses are encoded (0 SAT variables, 179871 SAT clauses)
5.54/2.51	c (1,1) 1097 (80 %) CSP clauses are encoded (0 SAT variables, 199686 SAT clauses)
5.54/2.57	c (2,2) 1234 (90 %) CSP clauses are encoded (0 SAT variables, 216911 SAT clauses)
5.66/2.62	c (2,2) 1371 (100 %) CSP clauses are encoded (0 SAT variables, 229298 SAT clauses)
5.66/2.62	c (2,2) CSPinCNF to SatSolver End
5.66/2.62	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.66/2.62	c (2,2) 12648 bool, 229362 clause
5.66/2.62	c (2,2) Export Begin
5.83/2.70	c (2,2) Export to HOME/scop-19416-serial-file.bin
5.83/2.70	c (2,2) Export End
5.83/2.71	c (2,2) Export File Size: 0.01 MB
5.83/2.71	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.83/2.71	c END-Prog: Tue Sep 24 17:15:17 CEST 2019
5.83/2.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19416-serial-file.bin
6.38/3.18	c (0,0) Read Serial File Begin
6.38/3.18	c (0,0) HOME/scop-19416-serial-file.bin
6.63/3.37	c (0,0) Read Serial File End
6.63/3.39	
6.99/3.70	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.99/3.70	(Solving Process)
6.99/3.70	
6.99/3.70	c BEGIN-Prog: Tue Sep 24 17:15:18 CEST 2019
6.99/3.70	c PID: 19439
6.99/3.70	c IP: 172.20.3.124
6.99/3.70	c HOST: node124.alineos.net
6.99/3.70	c (0,0) SatSolver.solve Begin
6.99/3.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405196-1569338155.xml-scop-19419.cnf
6.99/3.70	c (0,0) c
6.99/3.70	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.99/3.70	c (0,0) c
6.99/3.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.99/3.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.99/3.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.99/3.70	c (0,0) c |                                                                                                       |
6.99/3.77	c (0,0) c |  Number of variables:         12648                                                                   |
6.99/3.77	c (0,0) c |  Number of clauses:          229362                                                                   |
6.99/3.77	c (0,0) c |  Parse time:                   0.07 s                                                                 |
6.99/3.77	c (0,0) c |                                                                                                       |
7.29/4.01	c (0,0) c |  Simplification time:          0.23 s                                                                 |
7.29/4.01	c (0,0) c |                                                                                                       |
7.29/4.01	c (0,0) c |  Generating clones                                                                                    |
7.29/4.08	c (0,0) c |  all clones generated. Memory =   152.94Mb.                                                           |
7.29/4.08	c (0,0) c ========================================================================================================|
7.29/4.08	c (0,0) c
7.29/4.08	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.29/4.08	c (0,0) c
7.29/4.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.29/4.08	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.29/4.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.29/4.08	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.29/4.08	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.29/4.08	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.29/4.08	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.29/4.08	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.29/4.08	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.29/4.08	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.29/4.08	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.29/4.08	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.29/4.08	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.29/4.08	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.29/4.08	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.29/4.08	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.29/4.08	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.29/4.08	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.29/4.08	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c real time : 18.677 s
150.76/22.11	c (19,0) c cpu time  : 143.346 s
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c | Conflicts     |          510386 |      64511 |      63749 |      63378 |      65501 |      62028 |      65429 |      63496 |      62294 |
150.76/22.11	c (19,0) c | Decisions     |         1003868 |     125109 |     126668 |     127554 |     129640 |     121134 |     124658 |     125357 |     123748 |
150.76/22.11	c (19,0) c | Propagations  |       251632209 |   31574121 |   30768867 |   31529677 |   31995495 |   30782759 |   32511414 |   31523760 |   30946116 |
150.76/22.11	c (19,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
150.76/22.11	c (19,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
150.76/22.11	c (19,0) c | Restarts      |            2107 |        258 |        248 |        276 |        295 |        249 |        226 |        255 |        300 |
150.76/22.11	c (19,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
150.76/22.11	c (19,0) c | PropBinClauses|       304136965 |   37934635 |   37442848 |   38089085 |   38511671 |   37136713 |   39421623 |   38022289 |   37578101 |
150.76/22.11	c (19,0) c | PropPreBlocker|      3388056943 |  427593713 |  414800479 |  420593476 |  434118020 |  409571299 |  442013500 |  424425385 |  414941071 |
150.76/22.11	c (19,0) c | PropNotBlocker|      1142969960 |  142790871 |  138893096 |  141971857 |  144514062 |  139052173 |  149437392 |  144550907 |  141759602 |
150.76/22.11	c (19,0) c | LitFullScans  |      6642374145 |  839021559 |  809037184 |  822047712 |  851384519 |  804899797 |  865867601 |  834058208 |  816057565 |
150.76/22.11	c (19,0) c | LitScanFracts |          370114 |      37496 |      44550 |      31850 |      50830 |      61132 |      55975 |      43448 |      44833 |
150.76/22.11	c (19,0) c | DecisionLevel0|            2113 |        258 |        249 |        277 |        297 |        249 |        227 |        255 |        301 |
150.76/22.11	c (19,0) c | Periods       |            1104 |        139 |        134 |        137 |        141 |        134 |        144 |        139 |        136 |
150.76/22.11	c (19,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
150.76/22.11	c (19,0) c | Avg_Trail     |                 |       4882 |       4895 |       4890 |       4843 |       4817 |       4808 |       4870 |       4896 |
150.76/22.11	c (19,0) c | Avg_DL        |                 |         21 |         22 |         22 |         21 |         20 |         20 |         21 |         22 |
150.76/22.11	c (19,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
150.76/22.11	c (19,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c | Exported      |           80171 |      10339 |      10194 |       9907 |       9943 |      10167 |      10847 |       9437 |       9337 |
150.76/22.11	c (19,0) c | Imported      |          509167 |      63989 |      62078 |      63162 |      64944 |      62163 |      65253 |      64045 |      63533 |
150.76/22.11	c (19,0) c | Good          |             447 |         53 |         55 |         54 |         54 |         59 |         61 |         54 |         57 |
150.76/22.11	c (19,0) c | Purge         |          508720 |      63936 |      62023 |      63108 |      64890 |      62104 |      65192 |      63991 |      63476 |
150.76/22.11	c (19,0) c | Promoted      |           61727 |       7814 |       7567 |       7657 |       7979 |       7626 |       7895 |       7937 |       7252 |
150.76/22.11	c (19,0) c | Remove_Imp    |          212211 |      26293 |      25578 |      26864 |      26501 |      26950 |      26641 |      26974 |      26410 |
150.76/22.11	c (19,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c | Unaries       |                 |          0 |          1 |          1 |          2 |          0 |          1 |          0 |          1 |
150.76/22.11	c (19,0) c | Binaries      |                 |         13 |          8 |         10 |         13 |          5 |          7 |         10 |          7 |
150.76/22.11	c (19,0) c | Glues         |                 |        216 |        184 |        172 |        196 |        186 |        176 |        178 |        181 |
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c | Orig_Seen     |            20 % |      46614 |      49778 |      48020 |      46301 |      45543 |      43590 |      49007 |      47166 |
150.76/22.11	c (19,0) c | Diff Orig seen|                 | -     3164 |      X     | -     1758 | -     3477 | -     4235 | -     6188 | -      771 | -     2612 |
150.76/22.11	c (19,0) c | Hamming       |            30 % |       4779 |      X     |       3389 |       4111 |       3984 |       2054 |       3673 |       4999 |
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c | RunningTime   |                 |   18.0 100%|   17.9 100%|   18.0 100%|   18.0 100%|   18.0 100%|   17.9 100%|   18.0 100%|   18.0 100%|
150.76/22.11	c (19,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
150.76/22.11	c (19,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
150.76/22.11	c (19,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
150.76/22.11	c (19,0) c | SolvingTime   |                 |   18.0     |   18.0     |   18.0     |   18.0     |   18.0     |   18.0     |   18.0     |   18.0     |
150.76/22.11	c (19,0) c | PropagationTim|                 |   14.9  83%|   14.9  83%|   14.6  81%|   14.8  82%|   14.5  81%|   14.8  82%|   14.8  82%|   14.6  81%|
150.76/22.11	c (19,0) c | AnalysisTime  |                 |    2.4  13%|    2.3  13%|    2.7  15%|    2.5  14%|    2.8  16%|    2.5  14%|    2.5  14%|    2.7  15%|
150.76/22.11	c (19,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
150.76/22.11	c (19,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
150.76/22.11	c (19,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
150.76/22.11	c (19,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
150.76/22.11	c (19,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c
150.76/22.11	c (19,0) c Threads : 8
150.76/22.11	c (19,0) c Winner : 1
150.76/22.11	c (19,0) c Conflicts_0 : 64511
150.76/22.11	c (19,0) c Conflicts_1 : 63749
150.76/22.11	c (19,0) c Conflicts_2 : 63378
150.76/22.11	c (19,0) c Conflicts_3 : 65501
150.76/22.11	c (19,0) c Conflicts_4 : 62028
150.76/22.11	c (19,0) c Conflicts_5 : 65429
150.76/22.11	c (19,0) c Conflicts_6 : 63496
150.76/22.11	c (19,0) c Conflicts_7 : 62294
150.76/22.11	c (19,0) c Conflicts_total : 510386
150.76/22.11	c (19,0) c Conflicts_winner : 63749
150.76/22.11	c (19,0) c Decisions_0 : 125109
150.76/22.11	c (19,0) c Decisions_1 : 126668
150.76/22.11	c (19,0) c Decisions_2 : 127554
150.76/22.11	c (19,0) c Decisions_3 : 129640
150.76/22.11	c (19,0) c Decisions_4 : 121134
150.76/22.11	c (19,0) c Decisions_5 : 124658
150.76/22.11	c (19,0) c Decisions_6 : 125357
150.76/22.11	c (19,0) c Decisions_7 : 123748
150.76/22.11	c (19,0) c Decisions_total : 1003868
150.76/22.11	c (19,0) c Decisions_winner : 126668
150.76/22.11	c (19,0) c Propagations_0 : 31574121
150.76/22.12	c (19,0) c Propagations_1 : 30768867
150.76/22.12	c (19,0) c Propagations_2 : 31529677
150.76/22.12	c (19,0) c Propagations_3 : 31995495
150.76/22.12	c (19,0) c Propagations_4 : 30782759
150.76/22.12	c (19,0) c Propagations_5 : 32511414
150.76/22.12	c (19,0) c Propagations_6 : 31523760
150.76/22.12	c (19,0) c Propagations_7 : 30946116
150.76/22.12	c (19,0) c Propagations_total : 251632209
150.76/22.12	c (19,0) c Propagations_winner : 30768867
150.76/22.12	c (19,0) c ReduceDBs_0 : 6
150.76/22.12	c (19,0) c ReduceDBs_1 : 6
150.76/22.12	c (19,0) c ReduceDBs_2 : 6
150.76/22.12	c (19,0) c ReduceDBs_3 : 6
150.76/22.12	c (19,0) c ReduceDBs_4 : 6
150.76/22.12	c (19,0) c ReduceDBs_5 : 6
150.76/22.12	c (19,0) c ReduceDBs_6 : 6
150.76/22.12	c (19,0) c ReduceDBs_7 : 6
150.76/22.12	c (19,0) c ReduceDBs_total : 48
150.76/22.12	c (19,0) c ReduceDBs_winner : 6
150.76/22.12	c (19,0) c SimpDBs_0 : 4
150.76/22.12	c (19,0) c SimpDBs_1 : 4
150.76/22.12	c (19,0) c SimpDBs_2 : 4
150.76/22.12	c (19,0) c SimpDBs_3 : 4
150.76/22.12	c (19,0) c SimpDBs_4 : 4
150.76/22.12	c (19,0) c SimpDBs_5 : 4
150.76/22.12	c (19,0) c SimpDBs_6 : 4
150.76/22.12	c (19,0) c SimpDBs_7 : 4
150.76/22.12	c (19,0) c SimpDBs_total : 32
150.76/22.12	c (19,0) c SimpDBs_winner : 4
150.76/22.12	c (19,0) c Restarts_0 : 258
150.76/22.12	c (19,0) c Restarts_1 : 248
150.76/22.12	c (19,0) c Restarts_2 : 276
150.76/22.12	c (19,0) c Restarts_3 : 295
150.76/22.12	c (19,0) c Restarts_4 : 249
150.76/22.12	c (19,0) c Restarts_5 : 226
150.76/22.12	c (19,0) c Restarts_6 : 255
150.76/22.12	c (19,0) c Restarts_7 : 300
150.76/22.12	c (19,0) c Restarts_total : 2107
150.76/22.12	c (19,0) c Restarts_winner : 248
150.76/22.12	c (19,0) c ForcedImports_0 : 0
150.76/22.12	c (19,0) c ForcedImports_1 : 0
150.76/22.12	c (19,0) c ForcedImports_2 : 0
150.76/22.12	c (19,0) c ForcedImports_3 : 0
150.76/22.12	c (19,0) c ForcedImports_4 : 0
150.76/22.12	c (19,0) c ForcedImports_5 : 0
150.76/22.12	c (19,0) c ForcedImports_6 : 0
150.76/22.12	c (19,0) c ForcedImports_7 : 0
150.76/22.12	c (19,0) c ForcedImports_total : 0
150.76/22.12	c (19,0) c ForcedImports_winner : 0
150.76/22.12	c (19,0) c PropsBinClauses_0 : 37934635
150.76/22.12	c (19,0) c PropsBinClauses_1 : 37442848
150.76/22.12	c (19,0) c PropsBinClauses_2 : 38089085
150.76/22.12	c (19,0) c PropsBinClauses_3 : 38511671
150.76/22.12	c (19,0) c PropsBinClauses_4 : 37136713
150.76/22.12	c (19,0) c PropsBinClauses_5 : 39421623
150.76/22.12	c (19,0) c PropsBinClauses_6 : 38022289
150.76/22.12	c (19,0) c PropsBinClauses_7 : 37578101
150.76/22.12	c (19,0) c PropsBinClauses_total : 304136965
150.76/22.12	c (19,0) c PropsBinClauses_winner : 37442848
150.76/22.12	c (19,0) c PropsPreBlocker_0 : 427593713
150.76/22.12	c (19,0) c PropsPreBlocker_1 : 414800479
150.76/22.12	c (19,0) c PropsPreBlocker_2 : 420593476
150.76/22.12	c (19,0) c PropsPreBlocker_3 : 434118020
150.76/22.12	c (19,0) c PropsPreBlocker_4 : 409571299
150.76/22.12	c (19,0) c PropsPreBlocker_5 : 442013500
150.76/22.12	c (19,0) c PropsPreBlocker_6 : 424425385
150.76/22.12	c (19,0) c PropsPreBlocker_7 : 414941071
150.76/22.12	c (19,0) c PropsPreBlocker_total : 3388056943
150.76/22.12	c (19,0) c PropsPreBlocker_winner : 414800479
150.76/22.12	c (19,0) c PropsNotBlocker_0 : 142790871
150.76/22.12	c (19,0) c PropsNotBlocker_1 : 138893096
150.76/22.12	c (19,0) c PropsNotBlocker_2 : 141971857
150.76/22.12	c (19,0) c PropsNotBlocker_3 : 144514062
150.76/22.12	c (19,0) c PropsNotBlocker_4 : 139052173
150.76/22.12	c (19,0) c PropsNotBlocker_5 : 149437392
150.76/22.12	c (19,0) c PropsNotBlocker_6 : 144550907
150.76/22.12	c (19,0) c PropsNotBlocker_7 : 141759602
150.76/22.12	c (19,0) c PropsNotBlocker_total : 1142969960
150.76/22.12	c (19,0) c PropsNotBlocker_winner : 138893096
150.76/22.12	c (19,0) c PropsLitFullScans_0 : 839021559
150.76/22.12	c (19,0) c PropsLitFullScans_1 : 809037184
150.76/22.12	c (19,0) c PropsLitFullScans_2 : 822047712
150.76/22.12	c (19,0) c PropsLitFullScans_3 : 851384519
150.76/22.12	c (19,0) c PropsLitFullScans_4 : 804899797
150.76/22.12	c (19,0) c PropsLitFullScans_5 : 865867601
150.76/22.12	c (19,0) c PropsLitFullScans_6 : 834058208
150.76/22.12	c (19,0) c PropsLitFullScans_7 : 816057565
150.76/22.12	c (19,0) c PropsLitFullScans_total : 6642374145
150.76/22.12	c (19,0) c PropsLitFullScans_winner : 809037184
150.76/22.12	c (19,0) c LitScanFractions_0 : 37496
150.76/22.12	c (19,0) c LitScanFractions_1 : 44550
150.76/22.12	c (19,0) c LitScanFractions_2 : 31850
150.76/22.12	c (19,0) c LitScanFractions_3 : 50830
150.76/22.12	c (19,0) c LitScanFractions_4 : 61132
150.76/22.12	c (19,0) c LitScanFractions_5 : 55975
150.76/22.12	c (19,0) c LitScanFractions_6 : 43448
150.76/22.12	c (19,0) c LitScanFractions_7 : 44833
150.76/22.12	c (19,0) c LitScanFractions_total : 370114
150.76/22.12	c (19,0) c LitScanFractions_winner : 44550
150.76/22.12	c (19,0) c DecisionLevel0_0 : 258
150.76/22.12	c (19,0) c DecisionLevel0_1 : 249
150.76/22.12	c (19,0) c DecisionLevel0_2 : 277
150.76/22.12	c (19,0) c DecisionLevel0_3 : 297
150.76/22.12	c (19,0) c DecisionLevel0_4 : 249
150.76/22.12	c (19,0) c DecisionLevel0_5 : 227
150.76/22.12	c (19,0) c DecisionLevel0_6 : 255
150.76/22.12	c (19,0) c DecisionLevel0_7 : 301
150.76/22.12	c (19,0) c DecisionLevel0_total : 2113
150.76/22.12	c (19,0) c DecisionLevel0_winner : 249
150.76/22.12	c (19,0) c Periods_0 : 139
150.76/22.12	c (19,0) c Periods_1 : 134
150.76/22.12	c (19,0) c Periods_2 : 137
150.76/22.12	c (19,0) c Periods_3 : 141
150.76/22.12	c (19,0) c Periods_4 : 134
150.76/22.12	c (19,0) c Periods_5 : 144
150.76/22.12	c (19,0) c Periods_6 : 139
150.76/22.12	c (19,0) c Periods_7 : 136
150.76/22.12	c (19,0) c Periods_total : 1104
150.76/22.12	c (19,0) c Periods_winner : 134
150.76/22.12	c (19,0) c Margin_0 : 20
150.76/22.12	c (19,0) c Margin_1 : 20
150.76/22.12	c (19,0) c Margin_2 : 20
150.76/22.12	c (19,0) c Margin_3 : 20
150.76/22.12	c (19,0) c Margin_4 : 20
150.76/22.12	c (19,0) c Margin_5 : 20
150.76/22.12	c (19,0) c Margin_6 : 20
150.76/22.12	c (19,0) c Margin_7 : 20
150.76/22.12	c (19,0) c Margin_total : 160
150.76/22.12	c (19,0) c Margin_winner : 20
150.76/22.12	c (19,0) c Exported_0 : 10339
150.76/22.12	c (19,0) c Exported_1 : 10194
150.76/22.12	c (19,0) c Exported_2 : 9907
150.76/22.12	c (19,0) c Exported_3 : 9943
150.76/22.12	c (19,0) c Exported_4 : 10167
150.76/22.12	c (19,0) c Exported_5 : 10847
150.76/22.12	c (19,0) c Exported_6 : 9437
150.76/22.12	c (19,0) c Exported_7 : 9337
150.76/22.12	c (19,0) c Exported_total : 80171
150.76/22.12	c (19,0) c Exported_winner : 10194
150.76/22.12	c (19,0) c Imported_0 : 63989
150.76/22.12	c (19,0) c Imported_1 : 62078
150.76/22.12	c (19,0) c Imported_2 : 63162
150.76/22.12	c (19,0) c Imported_3 : 64944
150.76/22.12	c (19,0) c Imported_4 : 62163
150.76/22.12	c (19,0) c Imported_5 : 65253
150.76/22.12	c (19,0) c Imported_6 : 64045
150.76/22.12	c (19,0) c Imported_7 : 63533
150.76/22.12	c (19,0) c Imported_total : 509167
150.76/22.12	c (19,0) c Imported_winner : 62078
150.76/22.12	c (19,0) c Good_0 : 53
150.76/22.12	c (19,0) c Good_1 : 55
150.76/22.12	c (19,0) c Good_2 : 54
150.76/22.12	c (19,0) c Good_3 : 54
150.76/22.12	c (19,0) c Good_4 : 59
150.76/22.12	c (19,0) c Good_5 : 61
150.76/22.12	c (19,0) c Good_6 : 54
150.76/22.12	c (19,0) c Good_7 : 57
150.76/22.12	c (19,0) c Good_total : 447
150.76/22.12	c (19,0) c Good_winner : 55
150.76/22.12	c (19,0) c Purge_0 : 63936
150.76/22.12	c (19,0) c Purge_1 : 62023
150.76/22.12	c (19,0) c Purge_2 : 63108
150.76/22.12	c (19,0) c Purge_3 : 64890
150.76/22.12	c (19,0) c Purge_4 : 62104
150.76/22.12	c (19,0) c Purge_5 : 65192
150.76/22.12	c (19,0) c Purge_6 : 63991
150.76/22.12	c (19,0) c Purge_7 : 63476
150.76/22.12	c (19,0) c Purge_total : 508720
150.76/22.12	c (19,0) c Purge_winner : 62023
150.76/22.12	c (19,0) c Promoted_0 : 7814
150.76/22.12	c (19,0) c Promoted_1 : 7567
150.76/22.12	c (19,0) c Promoted_2 : 7657
150.76/22.12	c (19,0) c Promoted_3 : 7979
150.76/22.12	c (19,0) c Promoted_4 : 7626
150.76/22.12	c (19,0) c Promoted_5 : 7895
150.76/22.12	c (19,0) c Promoted_6 : 7937
150.76/22.12	c (19,0) c Promoted_7 : 7252
150.76/22.12	c (19,0) c Promoted_total : 61727
150.76/22.12	c (19,0) c Promoted_winner : 7567
150.76/22.12	c (19,0) c Remove_Imp_0 : 26293
150.76/22.12	c (19,0) c Remove_Imp_1 : 25578
150.76/22.12	c (19,0) c Remove_Imp_2 : 26864
150.76/22.12	c (19,0) c Remove_Imp_3 : 26501
150.76/22.12	c (19,0) c Remove_Imp_4 : 26950
150.76/22.12	c (19,0) c Remove_Imp_5 : 26641
150.76/22.12	c (19,0) c Remove_Imp_6 : 26974
150.76/22.12	c (19,0) c Remove_Imp_7 : 26410
150.76/22.12	c (19,0) c Remove_Imp_total : 212211
150.76/22.12	c (19,0) c Remove_Imp_winner : 25578
150.76/22.12	c (19,0) c Blocked_Reuse_0 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_1 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_2 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_3 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_4 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_5 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_6 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_7 : 0
150.76/22.12	c (19,0) c Blocked_Reuse_total : 0
150.76/22.12	c (19,0) c Blocked_Reuse_winner : 0
150.76/22.12	c (19,0) c Unaries_0 : 0
150.76/22.12	c (19,0) c Unaries_1 : 1
150.76/22.12	c (19,0) c Unaries_2 : 1
150.76/22.12	c (19,0) c Unaries_3 : 2
150.76/22.12	c (19,0) c Unaries_4 : 0
150.76/22.12	c (19,0) c Unaries_5 : 1
150.76/22.12	c (19,0) c Unaries_6 : 0
150.76/22.12	c (19,0) c Unaries_7 : 1
150.76/22.12	c (19,0) c Unaries_total : 6
150.76/22.12	c (19,0) c Unaries_winner : 1
150.76/22.12	c (19,0) c Binaries_0 : 13
150.76/22.12	c (19,0) c Binaries_1 : 8
150.76/22.12	c (19,0) c Binaries_2 : 10
150.76/22.12	c (19,0) c Binaries_3 : 13
150.76/22.12	c (19,0) c Binaries_4 : 5
150.76/22.12	c (19,0) c Binaries_5 : 7
150.76/22.12	c (19,0) c Binaries_6 : 10
150.76/22.12	c (19,0) c Binaries_7 : 7
150.76/22.12	c (19,0) c Binaries_total : 73
150.76/22.12	c (19,0) c Binaries_winner : 8
150.76/22.12	c (19,0) c Glues_0 : 216
150.76/22.12	c (19,0) c Glues_1 : 184
150.76/22.12	c (19,0) c Glues_2 : 172
150.76/22.12	c (19,0) c Glues_3 : 196
150.76/22.12	c (19,0) c Glues_4 : 186
150.76/22.12	c (19,0) c Glues_5 : 176
150.76/22.12	c (19,0) c Glues_6 : 178
150.76/22.12	c (19,0) c Glues_7 : 181
150.76/22.12	c (19,0) c Glues_total : 1489
150.76/22.12	c (19,0) c Glues_winner : 184
150.76/22.12	c (19,0) c RunningTime_0 : 17.953768
150.76/22.12	c (19,0) c RunningTime_1 : 17.937239
150.76/22.12	c (19,0) c RunningTime_2 : 17.995065
150.76/22.12	c (19,0) c RunningTime_3 : 17.966206
150.76/22.12	c (19,0) c RunningTime_4 : 17.951900
150.76/22.12	c (19,0) c RunningTime_5 : 17.937963
150.76/22.12	c (19,0) c RunningTime_6 : 17.957351
150.76/22.12	c (19,0) c RunningTime_7 : 17.967135
150.76/22.12	c (19,0) c RunningTime_total : 143.666627
150.76/22.12	c (19,0) c RunningTime_winner : 17.937239
150.76/22.12	c (19,0) c WaitingTime_0 : 0.000213
150.76/22.12	c (19,0) c WaitingTime_1 : 0.000118
150.76/22.12	c (19,0) c WaitingTime_2 : 0.000183
150.76/22.12	c (19,0) c WaitingTime_3 : 0.000190
150.76/22.12	c (19,0) c WaitingTime_4 : 0.000181
150.76/22.12	c (19,0) c WaitingTime_5 : 0.000207
150.76/22.12	c (19,0) c WaitingTime_6 : 0.000222
150.76/22.12	c (19,0) c WaitingTime_7 : 0.000203
150.76/22.12	c (19,0) c WaitingTime_total : 0.001517
150.76/22.12	c (19,0) c WaitingTime_winner : 0.000118
150.76/22.12	c (19,0) c ExchangingTime_0 : 0.025684
150.76/22.12	c (19,0) c ExchangingTime_1 : 0.025651
150.76/22.12	c (19,0) c ExchangingTime_2 : 0.026161
150.76/22.12	c (19,0) c ExchangingTime_3 : 0.029841
150.76/22.12	c (19,0) c ExchangingTime_4 : 0.026817
150.76/22.12	c (19,0) c ExchangingTime_5 : 0.025692
150.76/22.12	c (19,0) c ExchangingTime_6 : 0.027191
150.76/22.12	c (19,0) c ExchangingTime_7 : 0.025265
150.76/22.12	c (19,0) c ExchangingTime_total : 0.212302
150.76/22.12	c (19,0) c ExchangingTime_winner : 0.025651
150.76/22.12	c (19,0) c PeriodProcTime_0 : 0.001241
150.76/22.12	c (19,0) c PeriodProcTime_1 : 0.001220
150.76/22.12	c (19,0) c PeriodProcTime_2 : 0.001151
150.76/22.12	c (19,0) c PeriodProcTime_3 : 0.001301
150.76/22.12	c (19,0) c PeriodProcTime_4 : 0.001280
150.76/22.12	c (19,0) c PeriodProcTime_5 : 0.001255
150.76/22.12	c (19,0) c PeriodProcTime_6 : 0.001162
150.76/22.12	c (19,0) c PeriodProcTime_7 : 0.001249
150.76/22.12	c (19,0) c PeriodProcTime_total : 0.009858
150.76/22.13	c (19,0) c PeriodProcTime_winner : 0.001220
150.76/22.13	c (19,0) c SolvingTime_0 : 17.980906
150.76/22.13	c (19,0) c SolvingTime_1 : 17.964229
150.76/22.13	c (19,0) c SolvingTime_2 : 18.022560
150.76/22.13	c (19,0) c SolvingTime_3 : 17.997537
150.76/22.13	c (19,0) c SolvingTime_4 : 17.980178
150.76/22.13	c (19,0) c SolvingTime_5 : 17.965117
150.76/22.13	c (19,0) c SolvingTime_6 : 17.985926
150.76/22.13	c (19,0) c SolvingTime_7 : 17.993853
150.76/22.13	c (19,0) c SolvingTime_total : 143.890304
150.76/22.13	c (19,0) c SolvingTime_winner : 17.964229
150.76/22.13	c (19,0) c PropagationTime_0 : 14.866678
150.76/22.13	c (19,0) c PropagationTime_1 : 14.946891
150.76/22.13	c (19,0) c PropagationTime_2 : 14.600220
150.76/22.13	c (19,0) c PropagationTime_3 : 14.785704
150.76/22.13	c (19,0) c PropagationTime_4 : 14.476860
150.76/22.13	c (19,0) c PropagationTime_5 : 14.750527
150.76/22.13	c (19,0) c PropagationTime_6 : 14.778603
150.76/22.13	c (19,0) c PropagationTime_7 : 14.564358
150.76/22.13	c (19,0) c PropagationTime_total : 117.769840
150.76/22.13	c (19,0) c PropagationTime_winner : 14.946891
150.76/22.13	c (19,0) c AnalysisTime_0 : 2.408286
150.76/22.13	c (19,0) c AnalysisTime_1 : 2.301336
150.76/22.13	c (19,0) c AnalysisTime_2 : 2.701980
150.76/22.13	c (19,0) c AnalysisTime_3 : 2.499780
150.76/22.13	c (19,0) c AnalysisTime_4 : 2.806420
150.76/22.13	c (19,0) c AnalysisTime_5 : 2.515565
150.76/22.13	c (19,0) c AnalysisTime_6 : 2.493920
150.76/22.13	c (19,0) c AnalysisTime_7 : 2.716203
150.76/22.13	c (19,0) c AnalysisTime_total : 20.443489
150.76/22.13	c (19,0) c AnalysisTime_winner : 2.301336
150.76/22.13	c (19,0) c ReductionTime_0 : 0.130783
150.76/22.13	c (19,0) c ReductionTime_1 : 0.136137
150.76/22.13	c (19,0) c ReductionTime_2 : 0.135202
150.76/22.13	c (19,0) c ReductionTime_3 : 0.129186
150.76/22.13	c (19,0) c ReductionTime_4 : 0.135746
150.76/22.13	c (19,0) c ReductionTime_5 : 0.127129
150.76/22.13	c (19,0) c ReductionTime_6 : 0.136464
150.76/22.13	c (19,0) c ReductionTime_7 : 0.138948
150.76/22.13	c (19,0) c ReductionTime_total : 1.069595
150.76/22.13	c (19,0) c ReductionTime_winner : 0.136137
150.76/22.13	c (19,0) c SimplifyTime_0 : 0.027021
150.76/22.13	c (19,0) c SimplifyTime_1 : 0.026569
150.76/22.13	c (19,0) c SimplifyTime_2 : 0.024033
150.76/22.13	c (19,0) c SimplifyTime_3 : 0.025785
150.76/22.13	c (19,0) c SimplifyTime_4 : 0.024031
150.76/22.13	c (19,0) c SimplifyTime_5 : 0.026818
150.76/22.13	c (19,0) c SimplifyTime_6 : 0.023946
150.76/22.13	c (19,0) c SimplifyTime_7 : 0.024395
150.76/22.13	c (19,0) c SimplifyTime_total : 0.202597
150.76/22.13	c (19,0) c SimplifyTime_winner : 0.026569
150.76/22.13	c (19,0) c UsedRateTime_0 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_1 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_2 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_3 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_4 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_5 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_6 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_7 : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_total : 0.000000
150.76/22.13	c (19,0) c UsedRateTime_winner : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_0 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_1 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_2 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_3 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_4 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_5 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_6 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_7 : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_total : 0.000000
150.76/22.13	c (19,0) c OverlapRateTime_winner : 0.000000
150.76/22.13	c (19,0) c
150.76/22.13	c (19,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
150.76/22.13	c (19,0) c
150.76/22.13	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.13	c (19,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
150.76/22.13	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.13	c (19,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
150.76/22.13	c (19,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
150.76/22.13	c (19,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
150.76/22.13	c (19,0) c | Initial random_seed   | 1005086073 |  566292981 | 1273749810 |  297860338 |  480288249 |  708388453 | 2047615906 | 1513029223 |
150.76/22.13	c (19,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
150.76/22.13	c (19,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
150.76/22.13	c (19,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
150.76/22.13	c (19,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
150.76/22.13	c (19,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
150.76/22.13	c (19,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
150.76/22.13	c (19,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
150.76/22.13	c (19,0) c | var_decay             |     0.9200 |     0.9200 |     0.9200 |     0.9300 |     0.9200 |     0.9300 |     0.9200 |     0.9200 |
150.76/22.13	c (19,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
150.76/22.13	c (19,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
150.76/22.13	c (19,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
150.76/22.13	c (19,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
150.76/22.13	c (19,0) 
150.76/22.13	c (19,0) s SATISFIABLE
150.76/22.17	c (19,0) SatSolver.solve End
150.76/22.17	c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
150.76/22.17	c (19,0) Show results Begin
151.00/22.26	c (19,0) x[0] = 182
151.00/22.26	c (19,0) x[1] = 175
151.00/22.26	c (19,0) x[2] = 175
151.00/22.26	c (19,0) x[3] = 210
151.00/22.26	c (19,0) x[4] = 186
151.00/22.26	c (19,0) x[5] = 159
151.00/22.26	c (19,0) x[6] = 198
151.00/22.26	c (19,0) x[7] = 210
151.00/22.26	c (19,0) x[8] = 198
151.00/22.26	c (19,0) x[9] = 159
151.00/22.26	c (19,0) x[10] = 159
151.00/22.26	c (19,0) x[11] = 182
151.00/22.26	c (19,0) x[12] = 184
151.00/22.26	c (19,0) x[13] = 159
151.00/22.26	c (19,0) x[14] = 186
151.00/22.26	c (19,0) x[15] = 159
151.00/22.26	c (19,0) x[16] = 129
151.00/22.26	c (19,0) x[17] = 228
151.00/22.26	c (19,0) x[18] = 220
151.00/22.26	c (19,0) x[19] = 129
151.00/22.26	c (19,0) x[20] = 215
151.00/22.26	c (19,0) x[21] = 201
151.00/22.26	c (19,0) x[22] = 0
151.00/22.26	c (19,0) x[23] = 0
151.00/22.26	c (19,0) y[0] = 129
151.00/22.26	c (19,0) y[1] = 129
151.00/22.26	c (19,0) y[2] = 120
151.00/22.26	c (19,0) y[3] = 131
151.00/22.26	c (19,0) y[4] = 201
151.00/22.26	c (19,0) y[5] = 120
151.00/22.26	c (19,0) y[6] = 56
151.00/22.26	c (19,0) y[7] = 141
151.00/22.26	c (19,0) y[8] = 73
151.00/22.26	c (19,0) y[9] = 136
151.00/22.26	c (19,0) y[10] = 95
151.00/22.26	c (19,0) y[11] = 131
151.00/22.26	c (19,0) y[12] = 95
151.00/22.26	c (19,0) y[13] = 56
151.00/22.26	c (19,0) y[14] = 159
151.00/22.26	c (19,0) y[15] = 0
151.00/22.26	c (19,0) y[16] = 159
151.00/22.26	c (19,0) y[17] = 141
151.00/22.26	c (19,0) y[18] = 73
151.00/22.26	c (19,0) y[19] = 216
151.00/22.26	c (19,0) y[20] = 0
151.00/22.26	c (19,0) y[21] = 201
151.00/22.26	c (19,0) y[22] = 159
151.00/22.26	c (19,0) y[23] = 0
151.00/22.26	s SATISFIABLE
151.00/22.27	v <instantiation>
151.00/22.27	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] 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]</list>
151.00/22.27	v     <values>182 175 175 210 186 159 198 210 198 159 159 182 184 159 186 159 129 228 220 129 215 201 0 0 129 129 120 131 201 120 56 141 73 136 95 131 95 56 159 0 159 141 73 216 0 201 159 0</values>
151.00/22.27	v </instantiation>
151.00/22.27	c (19,0) Show results End
151.00/22.27	c (19,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
151.00/22.27	c (19,0) 19,19,STOP-AFTER(ALL)
151.00/22.27	c END-Prog: Tue Sep 24 17:15:37 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 (11255 MiB free)
  memory of node 1: 16384 MiB (12440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405196-1569338155/watcher-4405196-1569338155 -o /var/tmp/evaluation-result-4405196-1569338155/solver-4405196-1569338155 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405196-1569338155.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=19416, runsolver pid=19413
Current StackSize limit: 8192 KiB


[startup+0.100854 s]*
/proc/loadavg: 7.49 7.31 5.30 2/212 19438
/proc/meminfo: memFree=24172908/32770624 swapFree=66976772/67108860
[pid=19416] ppid=19413 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19416/stat : 19416 (scop.sh) S 19413 19416 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509755601 115843072 349 33554432000 4194304 5098028 140725154385680 140725154382936 140411468419708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35467264 140725154390781 140725154391128 140725154391128 140725154394057 0
/proc/19416/statm: 28282 349 296 221 0 87 0
[pid=19419] ppid=19416 vsize=27314120 memory=103172 CPUtime=0.1 cores=0-7
/proc/19419/stat : 19419 (java) S 19416 19416 19095 0 -1 1077944320 6349 0 0 0 7 3 0 0 20 0 20 0 509755601 27969658880 25793 33554432000 4194304 4196468 140737104182096 140737104164640 140448777600759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
/proc/19419/statm: 6828530 25793 2769 1 0 6790935 0
[pid=19419/tid=19420] ppid=19416 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19419/task/19420/stat : 19420 (java) R 19416 19416 19095 0 -1 4202560 4474 0 0 0 6 2 0 0 20 0 20 0 509755601 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448749432960 140448777622106 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19421] ppid=19416 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19419/task/19421/stat : 19421 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448781843216 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19422] ppid=19416 vsize=27314120 memory=139793028220544 CPUtime=0 cores=0-7
/proc/19419/task/19422/stat : 19422 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448595999632 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19423] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19423/stat : 19423 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448594947088 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19424] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19424/stat : 19424 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448593894544 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19425] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19425/stat : 19425 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448592840976 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19426] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19426/stat : 19426 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 25793 33554432000 4194304 4196468 140737104182096 140448591788432 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19427] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19427/stat : 19427 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 26305 33554432000 4194304 4196468 140737104182096 140448590735888 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19428] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19428/stat : 19428 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 26305 33554432000 4194304 4196468 140737104182096 140448589683344 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19429] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19429/stat : 19429 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509755605 27969658880 26305 33554432000 4194304 4196468 140737104182096 140447767804400 140448777611906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19430] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19430/stat : 19430 (java) S 19416 19416 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509755606 27969658880 26305 33554432000 4194304 4196468 140737104182096 140446638532000 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19431] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19431/stat : 19431 (java) S 19416 19416 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509755606 27969658880 26305 33554432000 4194304 4196468 140737104182096 140446504310256 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19432] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19432/stat : 19432 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755608 27969658880 26305 33554432000 4194304 4196468 140737104182096 140446129806032 140448777619355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19433] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19433/stat : 19433 (java) S 19416 19416 19095 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 26305 33554432000 4194304 4196468 140737104182096 140447766751216 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19434] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19434/stat : 19434 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 26305 33554432000 4194304 4196468 140737104182096 140447765698672 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19435] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19435/stat : 19435 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 26305 33554432000 4194304 4196468 140737104182096 140447764646128 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19436] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19436/stat : 19436 (java) R 19416 19416 19095 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 26305 33554432000 4194304 4196468 140737104182096 140447763593584 140448756542296 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19437] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19437/stat : 19437 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755610 27969658880 26305 33554432000 4194304 4196468 140737104182096 140445631900384 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19438] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19438/stat : 19438 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755610 27969658880 26305 33554432000 4194304 4196468 140737104182096 140447762541488 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104568 KiB

[startup+0.210286 s]*
/proc/loadavg: 7.49 7.31 5.30 3/212 19438
/proc/meminfo: memFree=24150100/32770624 swapFree=66976772/67108860
[pid=19416] ppid=19413 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19416/stat : 19416 (scop.sh) S 19413 19416 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509755601 115843072 349 33554432000 4194304 5098028 140725154385680 140725154382936 140411468419708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35467264 140725154390781 140725154391128 140725154391128 140725154394057 0
/proc/19416/statm: 28282 349 296 221 0 87 0
[pid=19419] ppid=19416 vsize=27314120 memory=124676 CPUtime=0.24 cores=0-7
/proc/19419/stat : 19419 (java) S 19416 19416 19095 0 -1 1077944320 12084 0 0 0 19 5 0 0 20 0 20 0 509755601 27969658880 31169 33554432000 4194304 4196468 140737104182096 140737104164640 140448777600759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
/proc/19419/statm: 6828530 31169 2935 1 0 6790935 0
[pid=19419/tid=19420] ppid=19416 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19419/task/19420/stat : 19420 (java) R 19416 19416 19095 0 -1 4202560 9792 0 0 0 15 4 0 0 20 0 20 0 509755601 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448749408320 140448777622685 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19421] ppid=19416 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/19419/task/19421/stat : 19421 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448781843216 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19422] ppid=19416 vsize=27314120 memory=288370169179932288 CPUtime=0 cores=0-7
/proc/19419/task/19422/stat : 19422 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448595999632 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19423] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19423/stat : 19423 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448594947088 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19424] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19424/stat : 19424 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448593894544 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19425] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19425/stat : 19425 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448592840976 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19426] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19426/stat : 19426 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448591788432 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19427] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19427/stat : 19427 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448590735888 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19428] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19428/stat : 19428 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 31169 33554432000 4194304 4196468 140737104182096 140448589683344 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19429] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19429/stat : 19429 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509755605 27969658880 31169 33554432000 4194304 4196468 140737104182096 140447767804400 140448777611906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19430] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19430/stat : 19430 (java) S 19416 19416 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509755606 27969658880 31169 33554432000 4194304 4196468 140737104182096 140446638532000 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19431] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19431/stat : 19431 (java) S 19416 19416 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509755606 27969658880 31169 33554432000 4194304 4196468 140737104182096 140446504310256 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19432] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19432/stat : 19432 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755608 27969658880 31169 33554432000 4194304 4196468 140737104182096 140446129806032 140448777619355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19433] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19433/stat : 19433 (java) S 19416 19416 19095 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 31169 33554432000 4194304 4196468 140737104182096 140447766751216 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19434] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19434/stat : 19434 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 31169 33554432000 4194304 4196468 140737104182096 140447765698672 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19435] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19435/stat : 19435 (java) S 19416 19416 19095 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 509755609 27969658880 31169 33554432000 4194304 4196468 140737104182096 140447764646128 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19436] ppid=19416 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19419/task/19436/stat : 19436 (java) S 19416 19416 19095 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 509755609 27969658880 31169 33554432000 4194304 4196468 140737104182096 140447763593584 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19437] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19437/stat : 19437 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755610 27969658880 31169 33554432000 4194304 4196468 140737104182096 140445631900384 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19438] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19438/stat : 19438 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755610 27969658880 31169 33554432000 4194304 4196468 140737104182096 140447762541488 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126072 KiB

[startup+0.310343 s]*
/proc/loadavg: 7.49 7.31 5.30 2/212 19438
/proc/meminfo: memFree=24148164/32770624 swapFree=66976772/67108860
[pid=19416] ppid=19413 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19416/stat : 19416 (scop.sh) S 19413 19416 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509755601 115843072 349 33554432000 4194304 5098028 140725154385680 140725154382936 140411468419708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35467264 140725154390781 140725154391128 140725154391128 140725154394057 0
/proc/19416/statm: 28282 349 296 221 0 87 0
[pid=19419] ppid=19416 vsize=27314120 memory=128556 CPUtime=0.42 cores=0-7
/proc/19419/stat : 19419 (java) S 19416 19416 19095 0 -1 1077944320 12960 0 0 0 36 6 0 0 20 0 20 0 509755601 27969658880 32139 33554432000 4194304 4196468 140737104182096 140737104164640 140448777600759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
/proc/19419/statm: 6828530 32139 3054 1 0 6790935 0
[pid=19419/tid=19420] ppid=19416 vsize=27314120 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/19419/task/19420/stat : 19420 (java) R 19416 19416 19095 0 -1 4202560 10480 0 0 0 24 4 0 0 20 0 20 0 509755601 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448749430832 140448760787550 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19421] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19421/stat : 19421 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448781843216 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19422] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19422/stat : 19422 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448595999632 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19423] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19423/stat : 19423 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448594947088 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19424] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19424/stat : 19424 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448593894544 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19425] ppid=19416 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/19419/task/19425/stat : 19425 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448592840976 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19426] ppid=19416 vsize=27314120 memory=139792931189679 CPUtime=0 cores=0-7
/proc/19419/task/19426/stat : 19426 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448591788432 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19427] ppid=19416 vsize=27314120 memory=139792931191984 CPUtime=0 cores=0-7
/proc/19419/task/19427/stat : 19427 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448590735888 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19428] ppid=19416 vsize=27314120 memory=139792931194288 CPUtime=0 cores=0-7
/proc/19419/task/19428/stat : 19428 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27969658880 32139 33554432000 4194304 4196468 140737104182096 140448589683344 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19429] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19429/stat : 19429 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509755605 27969658880 32139 33554432000 4194304 4196468 140737104182096 140447767804400 140448777611906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19430] ppid=19416 vsize=27314120 memory=279585862395536 CPUtime=0 cores=0-7
/proc/19419/task/19430/stat : 19430 (java) S 19416 19416 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509755606 27969658880 32139 33554432000 4194304 4196468 140737104182096 140446638532000 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19431] ppid=19416 vsize=27314120 memory=279585862402448 CPUtime=0 cores=0-7
/proc/19419/task/19431/stat : 19431 (java) S 19416 19416 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509755606 27969658880 32139 33554432000 4194304 4196468 140737104182096 140446504310256 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19432] ppid=19416 vsize=27314120 memory=279585862343728 CPUtime=0 cores=0-7
/proc/19419/task/19432/stat : 19432 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755608 27969658880 32139 33554432000 4194304 4196468 140737104182096 140446129806032 140448777619355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19433] ppid=19416 vsize=27314120 memory=279585862416272 CPUtime=0.01 cores=0-7
/proc/19419/task/19433/stat : 19433 (java) S 19416 19416 19095 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 509755609 27969658880 32139 33554432000 4194304 4196468 140737104182096 140447766751216 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19434] ppid=19416 vsize=27314120 memory=279585862423184 CPUtime=0.01 cores=0-7
/proc/19419/task/19434/stat : 19434 (java) S 19416 19416 19095 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 509755609 27969658880 32139 33554432000 4194304 4196468 140737104182096 140447765698672 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19435] ppid=19416 vsize=27314120 memory=279585862420880 CPUtime=0.01 cores=0-7
/proc/19419/task/19435/stat : 19435 (java) S 19416 19416 19095 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 509755609 27969658880 32139 33554432000 4194304 4196468 140737104182096 140447764646128 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19436] ppid=19416 vsize=27314120 memory=279585862437040 CPUtime=0.07 cores=0-7
/proc/19419/task/19436/stat : 19436 (java) S 19416 19416 19095 0 -1 1077944384 478 0 0 0 7 0 0 0 20 0 20 0 509755609 27969658880 32139 33554432000 4194304 4196468 140737104182096 140447763593584 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19437] ppid=19416 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19437/stat : 19437 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509755610 27969658880 32139 33554432000 4194304 4196468 140737104182096 140445631900384 140448777610965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19438] ppid=19416 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19419/task/19438/stat : 19438 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755610 27969658880 32139 33554432000 4194304 4196468 140737104182096 140447762541488 140448777611906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129952 KiB

[startup+0.700975 s]
/proc/loadavg: 7.49 7.31 5.30 3/212 19438
/proc/meminfo: memFree=24127056/32770624 swapFree=66976772/67108860
[pid=19416] ppid=19413 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19416/stat : 19416 (scop.sh) S 19413 19416 19095 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509755601 115843072 349 33554432000 4194304 5098028 140725154385680 140725154382936 140411468419708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35467264 140725154390781 140725154391128 140725154391128 140725154394057 0
/proc/19416/statm: 28282 349 296 221 0 87 0
[pid=19419] ppid=19416 vsize=27320392 memory=163516 CPUtime=0.98 cores=0-7
/proc/19419/stat : 19419 (java) S 19416 19416 19095 0 -1 1077944320 20023 0 0 0 90 8 0 0 20 0 20 0 509755601 27976081408 40879 33554432000 4194304 4196468 140737104182096 140737104164640 140448777600759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
/proc/19419/statm: 6830098 40879 3187 1 0 6791447 0
[pid=19419/tid=19420] ppid=19416 vsize=27320392 memory=279585862794928 CPUtime=0.66 cores=0-7
/proc/19419/task/19420/stat : 19420 (java) R 19416 19416 19095 0 -1 4202560 16973 0 0 0 60 6 0 0 20 0 20 0 509755601 27976081408 40879 33554432000 4194304 4196468 140737104182096 140448749438448 140448763337963 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19421] ppid=19416 vsize=27320392 memory=139792931398512 CPUtime=0 cores=0-7
/proc/19419/task/19421/stat : 19421 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27976081408 40879 33554432000 4194304 4196468 140737104182096 140448781843216 140448777610965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19422] ppid=19416 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19419/task/19422/stat : 19422 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27976081408 40879 33554432000 4194304 4196468 140737104182096 140448595999632 140448777610965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0
[pid=19419/tid=19423] ppid=19416 vsize=27320392 memory=1060 CPUtime=0 cores=0-7
/proc/19419/task/19423/stat : 19423 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509755604 27976081408 40879 33554432000 4194304 4196468 140737104182096 140448594947088 140448777610965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140737104188103 140737104188550 140737104188550 140737104191439 0

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

/proc/19439/task/19451/stat : 19451 (java) S 19416 19416 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509755877 8616062976 29900 33554432000 4194304 4196468 140730503994688 140716416160752 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19452] ppid=19416 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/19439/task/19452/stat : 19452 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140716041656528 140718145226651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19453] ppid=19416 vsize=8414124 memory=6944656592387989600 CPUtime=0.06 cores=0-7
/proc/19439/task/19453/stat : 19453 (java) S 19416 19416 19095 0 -1 1077944384 747 0 0 0 6 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717439027696 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19454] ppid=19416 vsize=8414124 memory=3636 CPUtime=0.03 cores=0-7
/proc/19439/task/19454/stat : 19454 (java) S 19416 19416 19095 0 -1 1077944384 70 0 0 0 3 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717437975152 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19455] ppid=19416 vsize=8414124 memory=776 CPUtime=0.07 cores=0-7
/proc/19439/task/19455/stat : 19455 (java) S 19416 19416 19095 0 -1 1077944384 261 0 0 0 7 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717436922608 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19456] ppid=19416 vsize=8414124 memory=1564 CPUtime=0.18 cores=0-7
/proc/19439/task/19456/stat : 19456 (java) S 19416 19416 19095 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717435870064 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19457] ppid=19416 vsize=8414124 memory=6116 CPUtime=0 cores=0-7
/proc/19439/task/19457/stat : 19457 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509755880 8616062976 29900 33554432000 4194304 4196468 140730503994688 140715543750880 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19458] ppid=19416 vsize=8414124 memory=1060 CPUtime=0.01 cores=0-7
/proc/19439/task/19458/stat : 19458 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509755880 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717434816944 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19460] ppid=19416 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/19439/task/19460/stat : 19460 (java) S 19416 19416 19095 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509755945 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717426783424 140718145232665 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19462] ppid=19416 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/19439/task/19462/stat : 19462 (java) S 19416 19416 19095 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509755945 8616062976 29900 33554432000 4194304 4196468 140730503994688 140714872651536 140718145229981 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19463] ppid=19416 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/19439/task/19463/stat : 19463 (java) S 19416 19416 19095 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509755945 8616062976 29900 33554432000 4194304 4196468 140730503994688 140715141087120 140718145229981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19464] ppid=19416 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/19439/task/19464/stat : 19464 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509755947 8616062976 29900 33554432000 4194304 4196468 140730503994688 140714604224176 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
Current children cumulated CPU time: 146.97 s
Current children cumulated vsize: 9273828 KiB
Current children cumulated memory: 537892 KiB

[startup+22.0042 s]*
/proc/loadavg: 7.00 7.19 5.31 9/226 19475
/proc/meminfo: memFree=23732780/32770624 swapFree=66976772/67108860
[pid=19416] ppid=19413 vsize=113128 memory=1476 CPUtime=5.86 cores=0-7
/proc/19416/stat : 19416 (scop.sh) S 19413 19416 19095 0 -1 4202496 582 26904 0 0 0 0 557 29 20 0 1 0 509755601 115843072 369 33554432000 4194304 5098028 140725154385680 140725154382424 140411468419708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35467264 140725154390781 140725154391128 140725154391128 140725154394057 0
/proc/19416/statm: 28282 369 311 221 0 87 0
[pid=19439] ppid=19416 vsize=8414124 memory=119600 CPUtime=1.15 cores=0-7
/proc/19439/stat : 19439 (java) S 19416 19416 19095 0 -1 1077944320 20403 0 0 0 108 7 0 0 20 0 24 0 509755873 8616062976 29900 33554432000 4194304 4196468 140730503994688 140730503977232 140718145208055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
/proc/19439/statm: 2103531 29900 3201 1 0 2064875 0
[pid=19459] ppid=19439 vsize=746576 memory=420224 CPUtime=143.24 cores=0-7
/proc/19459/stat : 19459 (manyglucose-4.1) S 19439 19416 19095 0 -1 1077944320 157794 0 0 0 14283 41 0 0 20 0 9 0 509755944 764493824 105056 33554432000 4194304 4454172 140723328373904 140723328372304 140378536192642 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 26 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
/proc/19459/statm: 186644 105056 407 64 0 182312 0
[pid=19459/tid=19465] ppid=19439 vsize=746576 memory=0 CPUtime=17.91 cores=0-7
/proc/19459/task/19465/stat : 19465 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 19172 0 0 0 1786 5 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378507869032 4351531 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19466] ppid=19439 vsize=746576 memory=0 CPUtime=17.9 cores=0-7
/proc/19459/task/19466/stat : 19466 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 17855 0 0 0 1786 4 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378499476328 4353764 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19467] ppid=19439 vsize=746576 memory=139793028220544 CPUtime=17.89 cores=0-7
/proc/19459/task/19467/stat : 19467 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 17154 0 0 0 1786 3 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378491083624 4351758 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19468] ppid=19439 vsize=746576 memory=0 CPUtime=17.91 cores=0-7
/proc/19459/task/19468/stat : 19468 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 14828 0 0 0 1786 5 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378482691000 4350293 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19469] ppid=19439 vsize=746576 memory=0 CPUtime=17.46 cores=0-7
/proc/19459/task/19469/stat : 19469 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 16208 0 0 0 1744 2 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378474298216 4350367 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19470] ppid=19439 vsize=746576 memory=0 CPUtime=17.89 cores=0-7
/proc/19459/task/19470/stat : 19470 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 15993 0 0 0 1784 5 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378465905592 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19471] ppid=19439 vsize=746576 memory=-1 CPUtime=17.9 cores=0-7
/proc/19459/task/19471/stat : 19471 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 15189 0 0 0 1787 3 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378457512888 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19459/tid=19472] ppid=19439 vsize=746576 memory=0 CPUtime=17.9 cores=0-7
/proc/19459/task/19472/stat : 19472 (manyglucose-4.1) R 19439 19416 19095 0 -1 4202560 18151 0 0 0 1786 4 0 0 20 0 9 0 509756009 764493824 105056 33554432000 4194304 4454172 140723328373904 140378314902776 4353764 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 8626176 140723328381773 140723328381980 140723328381980 140723328384950 0
[pid=19439/tid=19440] ppid=19416 vsize=8414124 memory=7686721470384675228 CPUtime=0.73 cores=0-7
/proc/19439/task/19440/stat : 19440 (java) S 19416 19416 19095 0 -1 1077944384 17381 0 0 0 69 4 0 0 20 0 24 0 509755873 8616062976 29900 33554432000 4194304 4196468 140730503994688 140718117048224 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19441] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19441/stat : 19441 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140718149450000 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19442] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19442/stat : 19442 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717963606416 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19443] ppid=19416 vsize=8414124 memory=4627829660337606006 CPUtime=0 cores=0-7
/proc/19439/task/19443/stat : 19443 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717962553872 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19444] ppid=19416 vsize=8414124 memory=8514726395714820750 CPUtime=0 cores=0-7
/proc/19439/task/19444/stat : 19444 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717961501328 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19445] ppid=19416 vsize=8414124 memory=2314885432475345739 CPUtime=0 cores=0-7
/proc/19439/task/19445/stat : 19445 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717626915600 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19446] ppid=19416 vsize=8414124 memory=3047711591739858828 CPUtime=0 cores=0-7
/proc/19439/task/19446/stat : 19446 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717625863056 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19447] ppid=19416 vsize=8414124 memory=-7818637599280297152 CPUtime=0 cores=0-7
/proc/19439/task/19447/stat : 19447 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717624810512 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19448] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19448/stat : 19448 (java) S 19416 19416 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509755875 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717623757968 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19449] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19449/stat : 19449 (java) S 19416 19416 19095 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509755876 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717440079856 140718145219202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19450] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19450/stat : 19450 (java) S 19416 19416 19095 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509755877 8616062976 29900 33554432000 4194304 4196468 140730503994688 140716550382496 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19451] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19451/stat : 19451 (java) S 19416 19416 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509755877 8616062976 29900 33554432000 4194304 4196468 140730503994688 140716416160752 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19452] ppid=19416 vsize=8414124 memory=279585864793376 CPUtime=0 cores=0-7
/proc/19439/task/19452/stat : 19452 (java) S 19416 19416 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140716041656528 140718145226651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19453] ppid=19416 vsize=8414124 memory=576574510189602056 CPUtime=0.06 cores=0-7
/proc/19439/task/19453/stat : 19453 (java) S 19416 19416 19095 0 -1 1077944384 747 0 0 0 6 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717439027696 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19454] ppid=19416 vsize=8414124 memory=1967153 CPUtime=0.03 cores=0-7
/proc/19439/task/19454/stat : 19454 (java) S 19416 19416 19095 0 -1 1077944384 70 0 0 0 3 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717437975152 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19455] ppid=19416 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/19439/task/19455/stat : 19455 (java) S 19416 19416 19095 0 -1 1077944384 261 0 0 0 7 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717436922608 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19456] ppid=19416 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/19439/task/19456/stat : 19456 (java) S 19416 19416 19095 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 24 0 509755879 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717435870064 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19457] ppid=19416 vsize=8414124 memory=3256112677255342443 CPUtime=0 cores=0-7
/proc/19439/task/19457/stat : 19457 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509755880 8616062976 29900 33554432000 4194304 4196468 140730503994688 140715543750880 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19458] ppid=19416 vsize=8414124 memory=-1 CPUtime=0.01 cores=0-7
/proc/19439/task/19458/stat : 19458 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 509755880 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717434816944 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19460] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19460/stat : 19460 (java) S 19416 19416 19095 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509755945 8616062976 29900 33554432000 4194304 4196468 140730503994688 140717426783424 140718145232665 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19462] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19462/stat : 19462 (java) S 19416 19416 19095 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509755945 8616062976 29900 33554432000 4194304 4196468 140730503994688 140714872651536 140718145229981 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19463] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19463/stat : 19463 (java) S 19416 19416 19095 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509755945 8616062976 29900 33554432000 4194304 4196468 140730503994688 140715141087120 140718145229981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19464] ppid=19416 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19439/task/19464/stat : 19464 (java) S 19416 19416 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509755947 8616062976 29900 33554432000 4194304 4196468 140730503994688 140714604224176 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
Current children cumulated CPU time: 150.25 s
Current children cumulated vsize: 9273828 KiB
Current children cumulated memory: 541300 KiB

[startup+22.2011 s]
/proc/loadavg: 7.00 7.19 5.31 9/226 19475
/proc/meminfo: memFree=23732780/32770624 swapFree=66976772/67108860
[pid=19416] ppid=19413 vsize=113128 memory=1476 CPUtime=5.86 cores=0-7
/proc/19416/stat : 19416 (scop.sh) S 19413 19416 19095 0 -1 4202496 582 26904 0 0 0 0 557 29 20 0 1 0 509755601 115843072 369 33554432000 4194304 5098028 140725154385680 140725154382424 140411468419708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35467264 140725154390781 140725154391128 140725154391128 140725154394057 0
/proc/19416/statm: 28282 369 311 221 0 87 0
[pid=19439] ppid=19416 vsize=8283048 memory=126432 CPUtime=145.14 cores=0-7
/proc/19439/stat : 19439 (java) S 19416 19416 19095 0 -1 1077944320 22172 157946 0 0 131 7 14334 42 20 0 22 0 509755873 8481841152 31608 33554432000 4194304 4196468 140730503994688 140730503977232 140718145208055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
/proc/19439/statm: 2070762 31608 3221 1 0 2032106 0
[pid=19439/tid=19440] ppid=19416 vsize=8283048 memory=6944656591647563856 CPUtime=144.53 cores=0-7
/proc/19439/task/19440/stat : 19440 (java) R 19416 19416 19095 0 -1 4202560 17533 157946 0 0 72 5 14334 42 20 0 22 0 509755873 8481841152 31608 33554432000 4194304 4196468 140730503994688 140718117043984 140718126614354 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19441] ppid=19416 vsize=8283048 memory=7089317155528784491 CPUtime=143.76 cores=0-7
/proc/19439/task/19441/stat : 19441 (java) S 19416 19416 19095 0 -1 1077944384 2 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140718149450000 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19442] ppid=19416 vsize=8283048 memory=8292148140386801351 CPUtime=143.76 cores=0-7
/proc/19439/task/19442/stat : 19442 (java) S 19416 19416 19095 0 -1 1077944384 3 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717963606416 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19443] ppid=19416 vsize=8283048 memory=8292088564187963537 CPUtime=143.76 cores=0-7
/proc/19439/task/19443/stat : 19443 (java) S 19416 19416 19095 0 -1 1077944384 3 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717962553872 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19444] ppid=19416 vsize=8283048 memory=-9001733975035308135 CPUtime=143.76 cores=0-7
/proc/19439/task/19444/stat : 19444 (java) S 19416 19416 19095 0 -1 1077944384 1 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717961501328 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19445] ppid=19416 vsize=8283048 memory=7682744562830902074 CPUtime=143.76 cores=0-7
/proc/19439/task/19445/stat : 19445 (java) S 19416 19416 19095 0 -1 1077944384 2 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717626915600 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19446] ppid=19416 vsize=8283048 memory=7679937539659563795 CPUtime=143.76 cores=0-7
/proc/19439/task/19446/stat : 19446 (java) S 19416 19416 19095 0 -1 1077944384 1 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717625863056 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19447] ppid=19416 vsize=8283048 memory=7679937539659563834 CPUtime=143.76 cores=0-7
/proc/19439/task/19447/stat : 19447 (java) S 19416 19416 19095 0 -1 1077944384 2 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717624810512 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19448] ppid=19416 vsize=8283048 memory=85750757021418 CPUtime=143.76 cores=0-7
/proc/19439/task/19448/stat : 19448 (java) S 19416 19416 19095 0 -1 1077944384 2 157946 0 0 0 0 14334 42 20 0 22 0 509755875 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717623757968 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19449] ppid=19416 vsize=8283048 memory=1274249833 CPUtime=143.76 cores=0-7
/proc/19439/task/19449/stat : 19449 (java) S 19416 19416 19095 0 -1 1077944384 8 157946 0 0 0 0 14334 42 20 0 22 0 509755876 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717440079856 140718145219202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19450] ppid=19416 vsize=8283048 memory=0 CPUtime=143.76 cores=0-7
/proc/19439/task/19450/stat : 19450 (java) S 19416 19416 19095 0 -1 1077944384 13 157946 0 0 0 0 14334 42 20 0 22 0 509755877 8481841152 31608 33554432000 4194304 4196468 140730503994688 140716550382496 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19451] ppid=19416 vsize=8283048 memory=0 CPUtime=143.76 cores=0-7
/proc/19439/task/19451/stat : 19451 (java) S 19416 19416 19095 0 -1 1077944384 21 157946 0 0 0 0 14334 42 20 0 22 0 509755877 8481841152 31608 33554432000 4194304 4196468 140730503994688 140716416160752 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19452] ppid=19416 vsize=8283048 memory=0 CPUtime=143.76 cores=0-7
/proc/19439/task/19452/stat : 19452 (java) S 19416 19416 19095 0 -1 1077944384 1 157946 0 0 0 0 14334 42 20 0 22 0 509755879 8481841152 31608 33554432000 4194304 4196468 140730503994688 140716041656528 140718145226651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19453] ppid=19416 vsize=8283048 memory=0 CPUtime=143.85 cores=0-7
/proc/19439/task/19453/stat : 19453 (java) R 19416 19416 19095 0 -1 1077944384 919 157946 0 0 9 0 14334 42 20 0 22 0 509755879 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717439027696 140718145219202 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19454] ppid=19416 vsize=8283048 memory=0 CPUtime=143.82 cores=0-7
/proc/19439/task/19454/stat : 19454 (java) S 19416 19416 19095 0 -1 1077944384 290 157946 0 0 6 0 14334 42 20 0 22 0 509755879 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717437975152 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19455] ppid=19416 vsize=8283048 memory=0 CPUtime=143.87 cores=0-7
/proc/19439/task/19455/stat : 19455 (java) S 19416 19416 19095 0 -1 1077944384 448 157946 0 0 11 0 14334 42 20 0 22 0 509755879 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717436922608 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19456] ppid=19416 vsize=8283048 memory=0 CPUtime=143.99 cores=0-7
/proc/19439/task/19456/stat : 19456 (java) S 19416 19416 19095 0 -1 1077944384 1009 157946 0 0 23 0 14334 42 20 0 22 0 509755879 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717435870064 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19457] ppid=19416 vsize=8283048 memory=0 CPUtime=143.76 cores=0-7
/proc/19439/task/19457/stat : 19457 (java) S 19416 19416 19095 0 -1 1077944384 3 157946 0 0 0 0 14334 42 20 0 22 0 509755880 8481841152 31608 33554432000 4194304 4196468 140730503994688 140715543750880 140718145218261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19458] ppid=19416 vsize=8283048 memory=0 CPUtime=143.77 cores=0-7
/proc/19439/task/19458/stat : 19458 (java) S 19416 19416 19095 0 -1 1077944384 3 157946 0 0 0 1 14334 42 20 0 22 0 509755880 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717434816944 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19460] ppid=19416 vsize=8283048 memory=0 CPUtime=143.76 cores=0-7
/proc/19439/task/19460/stat : 19460 (java) S 19416 19416 19095 0 -1 1077944384 25 157946 0 0 0 0 14334 42 20 0 22 0 509755945 8481841152 31608 33554432000 4194304 4196468 140730503994688 140717426782608 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
[pid=19439/tid=19464] ppid=19416 vsize=8283048 memory=0 CPUtime=143.76 cores=0-7
/proc/19439/task/19464/stat : 19464 (java) S 19416 19416 19095 0 -1 1077944384 8 157946 0 0 0 0 14334 42 20 0 22 0 509755947 8481841152 31608 33554432000 4194304 4196468 140730503994688 140714604225968 140718145219202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37761024 140730504000479 140730504000646 140730504000646 140730504003535 0
Current children cumulated CPU time: 151 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127908 KiB

Child status: 0
Real time (s): 22.2902
CPU time (s): 151.207
CPU user time (s): 150.387
CPU system time (s): 0.819654
CPU usage (%): 678.355
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1032644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.387
system time used= 0.819654
maximum resident set size= 1034072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207884
page faults= 0
swaps= 0
block input operations= 8
block output operations= 9064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16065
involuntary context switches= 1746


# summary of solver processes directly reported to runsolver:
#   pid: 19416
#   total CPU time (s): 151.207
#   total CPU user time (s): 150.387
#   total CPU system time (s): 0.819654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.231212 second user time and 0.334976 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-24 17:15:14
IDJOB=4405196
IDBENCH=127865
IDSOLVER=2867
FILE ID=node124/4405196-1569338155
RUNJOBID= node124-1569335938-19122
PBS_JOBID= 21705061
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c
RANDOM SEED=969539028

node124.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.47
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.47
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.47
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.47
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:        24265064 kB
MemAvailable:   31813936 kB
Buffers:          133196 kB
Cached:          7500396 kB
SwapCached:        29076 kB
Active:          3792004 kB
Inactive:        3876500 kB
Active(anon):       2096 kB
Inactive(anon):    90604 kB
Active(file):    3789908 kB
Inactive(file):  3785896 kB
Unevictable:      108336 kB
Mlocked:          108336 kB
SwapTotal:      67108860 kB
SwapFree:       66976772 kB
Dirty:             20368 kB
Writeback:            20 kB
AnonPages:        115948 kB
Mapped:            57420 kB
Shmem:             49092 kB
Slab:             429900 kB
SReclaimable:     401528 kB
SUnreclaim:        28372 kB
KernelStack:        3376 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node124 at 2019-09-24 17:15:37