Trace number 4392665

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-60-3-5.xml
MD5SUMbe3388c5d29b2a85b1452e4a694387b2
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 benchmark0.303618
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16409-serial-file.bin HOME/instance-4392665-1568433652.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 06:00:12 CEST 2019
0.66/0.56	c PID: 16412
0.66/0.56	c IP: 172.20.3.140
0.66/0.56	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.92	c (0,0) Parsing End
1.40/0.92	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) Constraint Name Generate Begin
1.40/0.93	c (0,0) Ctr:HOME/instance-4392665-1568433652.xml,Num:Var:WeightedSum
1.40/0.93	c (0,0) Constraint Name Generate End
1.40/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.93	c (0,0) CSP to CSPinCNF Begin
1.56/1.03	c (0,0) translated 6 (10%) constraints
1.56/1.04	c (0,0) translated 12 (20%) constraints
1.56/1.05	c (0,0) translated 18 (30%) constraints
1.56/1.06	c (0,0) translated 24 (40%) constraints
1.56/1.07	c (0,0) translated 30 (50%) constraints
1.56/1.08	c (0,0) translated 36 (60%) constraints
1.56/1.09	c (0,0) translated 42 (70%) constraints
1.56/1.09	c (0,0) translated 48 (80%) constraints
1.56/1.10	c (0,0) translated 54 (90%) constraints
1.56/1.11	c (0,0) translated 60 (100%) constraints
1.56/1.11	c (0,0) ===========================================
1.85/1.12	c (0,0) Hybrid: #OE=1, #LE=98
1.85/1.12	c (0,0) Hybrid
1.85/1.12	c (0,0) ===========================================
1.85/1.13	c (0,0) translated 6 (10%) constraints
1.85/1.14	c (0,0) translated 12 (20%) constraints
1.85/1.15	c (0,0) translated 18 (30%) constraints
1.85/1.15	c (0,0) translated 24 (40%) constraints
1.85/1.16	c (0,0) translated 30 (50%) constraints
1.85/1.16	c (0,0) translated 36 (60%) constraints
1.85/1.17	c (0,0) translated 42 (70%) constraints
1.85/1.17	c (0,0) translated 48 (80%) constraints
1.85/1.18	c (0,0) translated 54 (90%) constraints
1.85/1.18	c (0,0) translated 60 (100%) constraints
1.85/1.19	c (0,0) CSP to CSPinCNF End
1.85/1.19	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
1.85/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.85/1.19	c (0,0) CSPinCNF Propagation Begin
2.13/1.20	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.13/1.20	c (0,0) CSPinCNF Propagation End
2.13/1.20	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.13/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.13/1.21	c (0,0) Hybrid: #OE=1, #LE=98
2.13/1.21	c (0,0) Simplify CSPinCNF Begin
2.13/1.21	c (0,0) Simplify CSPinCNF End
2.13/1.21	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.13/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.13/1.21	c (0,0) Calculate Precise Domain Begin
2.13/1.22	c (0,0) 0 values are removed by re-calculation
2.13/1.22	c (0,0) Calculate Precise Domain End
2.13/1.22	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.13/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.13/1.22	c (0,0) CSPinCNF to SatSolver Begin
3.11/1.59	c (1,1) 12 (10 %) CSP clauses are encoded (0 SAT variables, 69404 SAT clauses)
3.42/1.71	c (1,1) 24 (20 %) CSP clauses are encoded (0 SAT variables, 126285 SAT clauses)
3.42/1.78	c (1,1) 36 (30 %) CSP clauses are encoded (0 SAT variables, 158728 SAT clauses)
3.57/1.88	c (1,1) 48 (40 %) CSP clauses are encoded (0 SAT variables, 205663 SAT clauses)
3.71/2.01	c (1,1) 60 (50 %) CSP clauses are encoded (0 SAT variables, 256825 SAT clauses)
3.94/2.12	c (1,1) 72 (60 %) CSP clauses are encoded (0 SAT variables, 311509 SAT clauses)
4.04/2.28	c (1,1) 84 (70 %) CSP clauses are encoded (0 SAT variables, 384698 SAT clauses)
4.27/2.40	c (1,1) 96 (80 %) CSP clauses are encoded (0 SAT variables, 440785 SAT clauses)
4.37/2.51	c (1,1) 108 (90 %) CSP clauses are encoded (0 SAT variables, 489659 SAT clauses)
4.48/2.61	c (2,2) 120 (100 %) CSP clauses are encoded (0 SAT variables, 540247 SAT clauses)
4.48/2.62	c (2,2) CSPinCNF to SatSolver End
4.48/2.62	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.48/2.62	c (2,2) 202754 bool, 545352 clause
4.48/2.62	c (2,2) Export Begin
4.64/2.75	c (2,2) Export to HOME/scop-16409-serial-file.bin
4.64/2.75	c (2,2) Export End
4.64/2.75	c (2,2) Export File Size: 0.09 MB
4.64/2.75	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
4.64/2.75	c END-Prog: Sat Sep 14 06:00:14 CEST 2019
4.64/2.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16409-serial-file.bin
5.35/3.23	c (0,0) Read Serial File Begin
5.35/3.23	c (0,0) HOME/scop-16409-serial-file.bin
5.62/3.48	c (0,0) Read Serial File End
5.90/3.50	
5.90/3.50	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.90/3.50	(Solving Process)
5.90/3.50	
5.90/3.52	c BEGIN-Prog: Sat Sep 14 06:00:15 CEST 2019
5.90/3.52	c PID: 16432
5.90/3.52	c IP: 172.20.3.140
5.90/3.52	c HOST: node140.alineos.net
5.90/3.52	c (0,0) SatSolver.solve Begin
5.90/3.52	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392665-1568433652.xml-scop-16412.cnf
5.90/3.55	c (0,0) c
5.90/3.55	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)
5.90/3.55	c (0,0) c
5.90/3.55	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.90/3.55	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.90/3.55	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.90/3.55	c (0,0) c |                                                                                                       |
6.14/3.80	c (0,0) c |  Number of variables:        202754                                                                   |
6.14/3.80	c (0,0) c |  Number of clauses:          545138                                                                   |
6.14/3.80	c (0,0) c |  Parse time:                   0.22 s                                                                 |
6.14/3.80	c (0,0) c |                                                                                                       |
7.08/4.54	c (1,0) c |  Simplification time:          0.73 s                                                                 |
7.08/4.54	c (1,0) c |                                                                                                       |
7.08/4.54	c (1,0) c |  Generating clones                                                                                    |
7.48/4.93	c (1,0) c |  all clones generated. Memory =   585.80Mb.                                                           |
7.48/4.93	c (1,0) c ========================================================================================================|
7.48/4.93	c (1,0) c
7.48/4.93	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.48/4.93	c (1,0) c
7.48/4.93	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.48/4.93	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.48/4.93	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.48/4.93	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.48/4.93	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.48/4.93	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.48/4.93	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.48/4.93	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.48/4.93	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.48/4.93	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.48/4.93	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.48/4.93	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.48/4.93	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.48/4.93	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.48/4.93	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.48/4.93	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.48/4.93	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.48/4.93	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.48/4.93	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c real time : 15.2108 s
112.68/18.76	c (15,0) c cpu time  : 105.662 s
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c | Conflicts     |          173654 |      21474 |      21254 |      21592 |      21533 |      21243 |      22140 |      22518 |      21900 |
112.68/18.76	c (15,0) c | Decisions     |          662891 |      73901 |      73911 |     135103 |      72733 |      75465 |      78787 |      77525 |      75466 |
112.68/18.76	c (15,0) c | Propagations  |       391280629 |   48575019 |   47902499 |   48331811 |   49669341 |   49518989 |   48337381 |   49812708 |   49132881 |
112.68/18.76	c (15,0) c | ReduceDBs     |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
112.68/18.76	c (15,0) c | SimpDBs       |             176 |         22 |         24 |         21 |         23 |         23 |         22 |         22 |         19 |
112.68/18.76	c (15,0) c | Restarts      |             581 |         70 |         89 |         58 |         81 |         75 |         73 |         76 |         59 |
112.68/18.76	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
112.68/18.76	c (15,0) c | PropBinClauses|       217690188 |   26720669 |   26682515 |   26801005 |   27871573 |   27529871 |   26958304 |   27809182 |   27317069 |
112.68/18.76	c (15,0) c | PropPreBlocker|       738042216 |   91512253 |   89944417 |   92472109 |   93001605 |   93289650 |   91387751 |   93548224 |   92886207 |
112.68/18.76	c (15,0) c | PropNotBlocker|       412101617 |   51111615 |   50146086 |   51568714 |   52543854 |   51973868 |   50998809 |   52268798 |   51489873 |
112.68/18.76	c (15,0) c | LitFullScans  |      2037276977 |  252169579 |  252193847 |  253993911 |  258113103 |  258365598 |  252191690 |  258166392 |  252082857 |
112.68/18.76	c (15,0) c | LitScanFracts |         1316423 |     158483 |     179898 |     116271 |     106092 |     357700 |     185155 |     150967 |      61857 |
112.68/18.76	c (15,0) c | DecisionLevel0|             930 |        106 |        134 |        102 |        129 |        121 |        114 |        131 |         93 |
112.68/18.76	c (15,0) c | Periods       |             339 |         42 |         42 |         42 |         43 |         43 |         42 |         43 |         42 |
112.68/18.76	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
112.68/18.76	c (15,0) c | Avg_Trail     |                 |      21152 |      20414 |      21417 |      20822 |      21094 |      20097 |      20043 |      21551 |
112.68/18.76	c (15,0) c | Avg_DL        |                 |         32 |         35 |         40 |         45 |         35 |         37 |         32 |         36 |
112.68/18.76	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
112.68/18.76	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c | Exported      |           34187 |       4423 |       4279 |       4165 |       4315 |       4097 |       4281 |       4405 |       4222 |
112.68/18.76	c (15,0) c | Imported      |          124333 |      14828 |      15795 |      16538 |      14760 |      15867 |      15683 |      15037 |      15825 |
112.68/18.76	c (15,0) c | Good          |           12440 |       1522 |       1570 |       1598 |       1527 |       1549 |       1571 |       1527 |       1576 |
112.68/18.76	c (15,0) c | Purge         |          111893 |      13306 |      14225 |      14940 |      13233 |      14318 |      14112 |      13510 |      14249 |
112.68/18.76	c (15,0) c | Promoted      |            6956 |        752 |        952 |        863 |        790 |        951 |        810 |       1012 |        826 |
112.68/18.76	c (15,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
112.68/18.76	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c | Unaries       |                 |         36 |         45 |         44 |         48 |         46 |         41 |         55 |         34 |
112.68/18.76	c (15,0) c | Binaries      |                 |        283 |        278 |        254 |        281 |        304 |        268 |        279 |        252 |
112.68/18.76	c (15,0) c | Glues         |                 |        897 |        917 |        831 |        907 |        871 |        922 |        915 |        802 |
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c | Orig_Seen     |            21 % |      91418 |      91814 |      97532 |      85200 |      92320 |      91938 |      98356 |      95373 |
112.68/18.76	c (15,0) c | Diff Orig seen|                 | -     6114 | -     5718 |      X     | -    12332 | -     5212 | -     5594 |        824 | -     2159 |
112.68/18.76	c (15,0) c | Hamming       |             8 % |      17963 |      18072 |      X     |      17409 |      17183 |      17718 |      18221 |      17886 |
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c | RunningTime   |                 |   13.8 100%|   13.4 100%|   13.0 100%|   13.1 100%|   13.2 100%|   13.1 100%|   13.1 100%|   13.4 100%|
112.68/18.76	c (15,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%|
112.68/18.76	c (15,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%|
112.68/18.76	c (15,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%|
112.68/18.76	c (15,0) c | SolvingTime   |                 |   13.8     |   13.4     |   13.0     |   13.1     |   13.2     |   13.1     |   13.1     |   13.4     |
112.68/18.76	c (15,0) c | PropagationTim|                 |   12.0  87%|   11.6  87%|   11.2  86%|   11.3  86%|   11.3  86%|   11.3  86%|   11.3  86%|   11.6  87%|
112.68/18.76	c (15,0) c | AnalysisTime  |                 |    0.6   4%|    0.6   4%|    0.7   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.6   5%|    0.7   5%|
112.68/18.76	c (15,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
112.68/18.76	c (15,0) c | SimplifyTime  |                 |    0.3   2%|    0.3   2%|    0.3   2%|    0.3   2%|    0.3   2%|    0.3   2%|    0.3   2%|    0.3   2%|
112.68/18.76	c (15,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%|
112.68/18.76	c (15,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%|
112.68/18.76	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c
112.68/18.76	c (15,0) c Threads : 8
112.68/18.76	c (15,0) c Winner : 2
112.68/18.76	c (15,0) c Conflicts_0 : 21474
112.68/18.76	c (15,0) c Conflicts_1 : 21254
112.68/18.76	c (15,0) c Conflicts_2 : 21592
112.68/18.76	c (15,0) c Conflicts_3 : 21533
112.68/18.76	c (15,0) c Conflicts_4 : 21243
112.68/18.76	c (15,0) c Conflicts_5 : 22140
112.68/18.76	c (15,0) c Conflicts_6 : 22518
112.68/18.76	c (15,0) c Conflicts_7 : 21900
112.68/18.76	c (15,0) c Conflicts_total : 173654
112.68/18.76	c (15,0) c Conflicts_winner : 21592
112.68/18.76	c (15,0) c Decisions_0 : 73901
112.68/18.76	c (15,0) c Decisions_1 : 73911
112.68/18.76	c (15,0) c Decisions_2 : 135103
112.68/18.76	c (15,0) c Decisions_3 : 72733
112.68/18.76	c (15,0) c Decisions_4 : 75465
112.68/18.76	c (15,0) c Decisions_5 : 78787
112.68/18.76	c (15,0) c Decisions_6 : 77525
112.68/18.76	c (15,0) c Decisions_7 : 75466
112.68/18.76	c (15,0) c Decisions_total : 662891
112.68/18.76	c (15,0) c Decisions_winner : 135103
112.68/18.76	c (15,0) c Propagations_0 : 48575019
112.68/18.76	c (15,0) c Propagations_1 : 47902499
112.68/18.76	c (15,0) c Propagations_2 : 48331811
112.68/18.76	c (15,0) c Propagations_3 : 49669341
112.68/18.76	c (15,0) c Propagations_4 : 49518989
112.68/18.76	c (15,0) c Propagations_5 : 48337381
112.68/18.76	c (15,0) c Propagations_6 : 49812708
112.68/18.76	c (15,0) c Propagations_7 : 49132881
112.68/18.76	c (15,0) c Propagations_total : 391280629
112.68/18.76	c (15,0) c Propagations_winner : 48331811
112.68/18.76	c (15,0) c ReduceDBs_0 : 3
112.68/18.76	c (15,0) c ReduceDBs_1 : 3
112.68/18.76	c (15,0) c ReduceDBs_2 : 3
112.68/18.76	c (15,0) c ReduceDBs_3 : 3
112.68/18.76	c (15,0) c ReduceDBs_4 : 3
112.68/18.76	c (15,0) c ReduceDBs_5 : 3
112.68/18.76	c (15,0) c ReduceDBs_6 : 3
112.68/18.76	c (15,0) c ReduceDBs_7 : 3
112.68/18.76	c (15,0) c ReduceDBs_total : 24
112.68/18.76	c (15,0) c ReduceDBs_winner : 3
112.68/18.76	c (15,0) c SimpDBs_0 : 22
112.68/18.76	c (15,0) c SimpDBs_1 : 24
112.68/18.76	c (15,0) c SimpDBs_2 : 21
112.68/18.76	c (15,0) c SimpDBs_3 : 23
112.68/18.76	c (15,0) c SimpDBs_4 : 23
112.68/18.76	c (15,0) c SimpDBs_5 : 22
112.68/18.76	c (15,0) c SimpDBs_6 : 22
112.68/18.76	c (15,0) c SimpDBs_7 : 19
112.68/18.76	c (15,0) c SimpDBs_total : 176
112.68/18.76	c (15,0) c SimpDBs_winner : 21
112.68/18.76	c (15,0) c Restarts_0 : 70
112.68/18.76	c (15,0) c Restarts_1 : 89
112.68/18.76	c (15,0) c Restarts_2 : 58
112.68/18.76	c (15,0) c Restarts_3 : 81
112.68/18.76	c (15,0) c Restarts_4 : 75
112.68/18.76	c (15,0) c Restarts_5 : 73
112.68/18.76	c (15,0) c Restarts_6 : 76
112.68/18.76	c (15,0) c Restarts_7 : 59
112.68/18.76	c (15,0) c Restarts_total : 581
112.68/18.76	c (15,0) c Restarts_winner : 58
112.68/18.76	c (15,0) c ForcedImports_0 : 0
112.68/18.76	c (15,0) c ForcedImports_1 : 0
112.68/18.76	c (15,0) c ForcedImports_2 : 0
112.68/18.76	c (15,0) c ForcedImports_3 : 0
112.68/18.76	c (15,0) c ForcedImports_4 : 0
112.68/18.76	c (15,0) c ForcedImports_5 : 0
112.68/18.76	c (15,0) c ForcedImports_6 : 0
112.68/18.76	c (15,0) c ForcedImports_7 : 0
112.68/18.76	c (15,0) c ForcedImports_total : 0
112.68/18.76	c (15,0) c ForcedImports_winner : 0
112.68/18.76	c (15,0) c PropsBinClauses_0 : 26720669
112.68/18.76	c (15,0) c PropsBinClauses_1 : 26682515
112.68/18.76	c (15,0) c PropsBinClauses_2 : 26801005
112.68/18.76	c (15,0) c PropsBinClauses_3 : 27871573
112.68/18.76	c (15,0) c PropsBinClauses_4 : 27529871
112.68/18.76	c (15,0) c PropsBinClauses_5 : 26958304
112.68/18.76	c (15,0) c PropsBinClauses_6 : 27809182
112.68/18.76	c (15,0) c PropsBinClauses_7 : 27317069
112.68/18.76	c (15,0) c PropsBinClauses_total : 217690188
112.68/18.76	c (15,0) c PropsBinClauses_winner : 26801005
112.68/18.76	c (15,0) c PropsPreBlocker_0 : 91512253
112.68/18.76	c (15,0) c PropsPreBlocker_1 : 89944417
112.68/18.76	c (15,0) c PropsPreBlocker_2 : 92472109
112.68/18.76	c (15,0) c PropsPreBlocker_3 : 93001605
112.68/18.76	c (15,0) c PropsPreBlocker_4 : 93289650
112.68/18.76	c (15,0) c PropsPreBlocker_5 : 91387751
112.68/18.76	c (15,0) c PropsPreBlocker_6 : 93548224
112.68/18.76	c (15,0) c PropsPreBlocker_7 : 92886207
112.68/18.76	c (15,0) c PropsPreBlocker_total : 738042216
112.68/18.76	c (15,0) c PropsPreBlocker_winner : 92472109
112.68/18.76	c (15,0) c PropsNotBlocker_0 : 51111615
112.68/18.76	c (15,0) c PropsNotBlocker_1 : 50146086
112.68/18.76	c (15,0) c PropsNotBlocker_2 : 51568714
112.68/18.76	c (15,0) c PropsNotBlocker_3 : 52543854
112.68/18.76	c (15,0) c PropsNotBlocker_4 : 51973868
112.68/18.76	c (15,0) c PropsNotBlocker_5 : 50998809
112.68/18.76	c (15,0) c PropsNotBlocker_6 : 52268798
112.68/18.76	c (15,0) c PropsNotBlocker_7 : 51489873
112.68/18.76	c (15,0) c PropsNotBlocker_total : 412101617
112.68/18.76	c (15,0) c PropsNotBlocker_winner : 51568714
112.68/18.76	c (15,0) c PropsLitFullScans_0 : 252169579
112.68/18.76	c (15,0) c PropsLitFullScans_1 : 252193847
112.68/18.76	c (15,0) c PropsLitFullScans_2 : 253993911
112.68/18.76	c (15,0) c PropsLitFullScans_3 : 258113103
112.68/18.76	c (15,0) c PropsLitFullScans_4 : 258365598
112.68/18.76	c (15,0) c PropsLitFullScans_5 : 252191690
112.68/18.76	c (15,0) c PropsLitFullScans_6 : 258166392
112.68/18.76	c (15,0) c PropsLitFullScans_7 : 252082857
112.68/18.76	c (15,0) c PropsLitFullScans_total : 2037276977
112.68/18.76	c (15,0) c PropsLitFullScans_winner : 253993911
112.68/18.76	c (15,0) c LitScanFractions_0 : 158483
112.68/18.76	c (15,0) c LitScanFractions_1 : 179898
112.68/18.76	c (15,0) c LitScanFractions_2 : 116271
112.68/18.76	c (15,0) c LitScanFractions_3 : 106092
112.68/18.76	c (15,0) c LitScanFractions_4 : 357700
112.68/18.76	c (15,0) c LitScanFractions_5 : 185155
112.68/18.76	c (15,0) c LitScanFractions_6 : 150967
112.68/18.76	c (15,0) c LitScanFractions_7 : 61857
112.68/18.76	c (15,0) c LitScanFractions_total : 1316423
112.68/18.76	c (15,0) c LitScanFractions_winner : 116271
112.68/18.76	c (15,0) c DecisionLevel0_0 : 106
112.68/18.76	c (15,0) c DecisionLevel0_1 : 134
112.68/18.76	c (15,0) c DecisionLevel0_2 : 102
112.68/18.77	c (15,0) c DecisionLevel0_3 : 129
112.68/18.77	c (15,0) c DecisionLevel0_4 : 121
112.68/18.77	c (15,0) c DecisionLevel0_5 : 114
112.68/18.77	c (15,0) c DecisionLevel0_6 : 131
112.68/18.77	c (15,0) c DecisionLevel0_7 : 93
112.68/18.77	c (15,0) c DecisionLevel0_total : 930
112.68/18.77	c (15,0) c DecisionLevel0_winner : 102
112.68/18.77	c (15,0) c Periods_0 : 42
112.68/18.77	c (15,0) c Periods_1 : 42
112.68/18.77	c (15,0) c Periods_2 : 42
112.68/18.77	c (15,0) c Periods_3 : 43
112.68/18.77	c (15,0) c Periods_4 : 43
112.68/18.77	c (15,0) c Periods_5 : 42
112.68/18.77	c (15,0) c Periods_6 : 43
112.68/18.77	c (15,0) c Periods_7 : 42
112.68/18.77	c (15,0) c Periods_total : 339
112.68/18.77	c (15,0) c Periods_winner : 42
112.68/18.77	c (15,0) c Margin_0 : 20
112.68/18.77	c (15,0) c Margin_1 : 20
112.68/18.77	c (15,0) c Margin_2 : 20
112.68/18.77	c (15,0) c Margin_3 : 20
112.68/18.77	c (15,0) c Margin_4 : 20
112.68/18.77	c (15,0) c Margin_5 : 20
112.68/18.77	c (15,0) c Margin_6 : 20
112.68/18.77	c (15,0) c Margin_7 : 20
112.68/18.77	c (15,0) c Margin_total : 160
112.68/18.77	c (15,0) c Margin_winner : 20
112.68/18.77	c (15,0) c Exported_0 : 4423
112.68/18.77	c (15,0) c Exported_1 : 4279
112.68/18.77	c (15,0) c Exported_2 : 4165
112.68/18.77	c (15,0) c Exported_3 : 4315
112.68/18.77	c (15,0) c Exported_4 : 4097
112.68/18.77	c (15,0) c Exported_5 : 4281
112.68/18.77	c (15,0) c Exported_6 : 4405
112.68/18.77	c (15,0) c Exported_7 : 4222
112.68/18.77	c (15,0) c Exported_total : 34187
112.68/18.77	c (15,0) c Exported_winner : 4165
112.68/18.77	c (15,0) c Imported_0 : 14828
112.68/18.77	c (15,0) c Imported_1 : 15795
112.68/18.77	c (15,0) c Imported_2 : 16538
112.68/18.77	c (15,0) c Imported_3 : 14760
112.68/18.77	c (15,0) c Imported_4 : 15867
112.68/18.77	c (15,0) c Imported_5 : 15683
112.68/18.77	c (15,0) c Imported_6 : 15037
112.68/18.77	c (15,0) c Imported_7 : 15825
112.68/18.77	c (15,0) c Imported_total : 124333
112.68/18.77	c (15,0) c Imported_winner : 16538
112.68/18.77	c (15,0) c Good_0 : 1522
112.68/18.77	c (15,0) c Good_1 : 1570
112.68/18.77	c (15,0) c Good_2 : 1598
112.68/18.77	c (15,0) c Good_3 : 1527
112.68/18.77	c (15,0) c Good_4 : 1549
112.68/18.77	c (15,0) c Good_5 : 1571
112.68/18.77	c (15,0) c Good_6 : 1527
112.68/18.77	c (15,0) c Good_7 : 1576
112.68/18.77	c (15,0) c Good_total : 12440
112.68/18.77	c (15,0) c Good_winner : 1598
112.68/18.77	c (15,0) c Purge_0 : 13306
112.68/18.77	c (15,0) c Purge_1 : 14225
112.68/18.77	c (15,0) c Purge_2 : 14940
112.68/18.77	c (15,0) c Purge_3 : 13233
112.68/18.77	c (15,0) c Purge_4 : 14318
112.68/18.77	c (15,0) c Purge_5 : 14112
112.68/18.77	c (15,0) c Purge_6 : 13510
112.68/18.77	c (15,0) c Purge_7 : 14249
112.68/18.77	c (15,0) c Purge_total : 111893
112.68/18.77	c (15,0) c Purge_winner : 14940
112.68/18.77	c (15,0) c Promoted_0 : 752
112.68/18.77	c (15,0) c Promoted_1 : 952
112.68/18.77	c (15,0) c Promoted_2 : 863
112.68/18.77	c (15,0) c Promoted_3 : 790
112.68/18.77	c (15,0) c Promoted_4 : 951
112.68/18.77	c (15,0) c Promoted_5 : 810
112.68/18.77	c (15,0) c Promoted_6 : 1012
112.68/18.77	c (15,0) c Promoted_7 : 826
112.68/18.77	c (15,0) c Promoted_total : 6956
112.68/18.77	c (15,0) c Promoted_winner : 863
112.68/18.77	c (15,0) c Remove_Imp_0 : 0
112.68/18.77	c (15,0) c Remove_Imp_1 : 0
112.68/18.77	c (15,0) c Remove_Imp_2 : 0
112.68/18.77	c (15,0) c Remove_Imp_3 : 0
112.68/18.77	c (15,0) c Remove_Imp_4 : 0
112.68/18.77	c (15,0) c Remove_Imp_5 : 0
112.68/18.77	c (15,0) c Remove_Imp_6 : 0
112.68/18.77	c (15,0) c Remove_Imp_7 : 0
112.68/18.77	c (15,0) c Remove_Imp_total : 0
112.68/18.77	c (15,0) c Remove_Imp_winner : 0
112.68/18.77	c (15,0) c Blocked_Reuse_0 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_1 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_2 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_3 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_4 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_5 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_6 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_7 : 0
112.68/18.77	c (15,0) c Blocked_Reuse_total : 0
112.68/18.77	c (15,0) c Blocked_Reuse_winner : 0
112.68/18.77	c (15,0) c Unaries_0 : 36
112.68/18.77	c (15,0) c Unaries_1 : 45
112.68/18.77	c (15,0) c Unaries_2 : 44
112.68/18.77	c (15,0) c Unaries_3 : 48
112.68/18.77	c (15,0) c Unaries_4 : 46
112.68/18.77	c (15,0) c Unaries_5 : 41
112.68/18.77	c (15,0) c Unaries_6 : 55
112.68/18.77	c (15,0) c Unaries_7 : 34
112.68/18.77	c (15,0) c Unaries_total : 349
112.68/18.77	c (15,0) c Unaries_winner : 44
112.68/18.77	c (15,0) c Binaries_0 : 283
112.68/18.77	c (15,0) c Binaries_1 : 278
112.68/18.77	c (15,0) c Binaries_2 : 254
112.68/18.77	c (15,0) c Binaries_3 : 281
112.68/18.77	c (15,0) c Binaries_4 : 304
112.68/18.77	c (15,0) c Binaries_5 : 268
112.68/18.77	c (15,0) c Binaries_6 : 279
112.68/18.77	c (15,0) c Binaries_7 : 252
112.68/18.77	c (15,0) c Binaries_total : 2199
112.68/18.77	c (15,0) c Binaries_winner : 254
112.68/18.77	c (15,0) c Glues_0 : 897
112.68/18.77	c (15,0) c Glues_1 : 917
112.68/18.77	c (15,0) c Glues_2 : 831
112.68/18.77	c (15,0) c Glues_3 : 907
112.68/18.77	c (15,0) c Glues_4 : 871
112.68/18.77	c (15,0) c Glues_5 : 922
112.68/18.77	c (15,0) c Glues_6 : 915
112.68/18.77	c (15,0) c Glues_7 : 802
112.68/18.77	c (15,0) c Glues_total : 7062
112.68/18.77	c (15,0) c Glues_winner : 831
112.68/18.77	c (15,0) c RunningTime_0 : 13.804507
112.68/18.77	c (15,0) c RunningTime_1 : 13.400090
112.68/18.77	c (15,0) c RunningTime_2 : 13.013986
112.68/18.77	c (15,0) c RunningTime_3 : 13.063179
112.68/18.77	c (15,0) c RunningTime_4 : 13.163499
112.68/18.77	c (15,0) c RunningTime_5 : 13.114054
112.68/18.77	c (15,0) c RunningTime_6 : 13.111813
112.68/18.77	c (15,0) c RunningTime_7 : 13.410066
112.68/18.77	c (15,0) c RunningTime_total : 106.081195
112.68/18.77	c (15,0) c RunningTime_winner : 13.013986
112.68/18.77	c (15,0) c WaitingTime_0 : 0.000043
112.68/18.77	c (15,0) c WaitingTime_1 : 0.000036
112.68/18.77	c (15,0) c WaitingTime_2 : 0.000033
112.68/18.77	c (15,0) c WaitingTime_3 : 0.000039
112.68/18.77	c (15,0) c WaitingTime_4 : 0.000041
112.68/18.77	c (15,0) c WaitingTime_5 : 0.000040
112.68/18.77	c (15,0) c WaitingTime_6 : 0.000045
112.68/18.77	c (15,0) c WaitingTime_7 : 0.000034
112.68/18.77	c (15,0) c WaitingTime_total : 0.000309
112.68/18.77	c (15,0) c WaitingTime_winner : 0.000033
112.68/18.77	c (15,0) c ExchangingTime_0 : 0.007829
112.68/18.77	c (15,0) c ExchangingTime_1 : 0.007534
112.68/18.77	c (15,0) c ExchangingTime_2 : 0.007826
112.68/18.77	c (15,0) c ExchangingTime_3 : 0.008050
112.68/18.77	c (15,0) c ExchangingTime_4 : 0.007974
112.68/18.77	c (15,0) c ExchangingTime_5 : 0.007853
112.68/18.77	c (15,0) c ExchangingTime_6 : 0.008076
112.68/18.77	c (15,0) c ExchangingTime_7 : 0.007711
112.68/18.77	c (15,0) c ExchangingTime_total : 0.062853
112.68/18.77	c (15,0) c ExchangingTime_winner : 0.007826
112.68/18.77	c (15,0) c PeriodProcTime_0 : 0.000389
112.68/18.77	c (15,0) c PeriodProcTime_1 : 0.000382
112.68/18.77	c (15,0) c PeriodProcTime_2 : 0.000381
112.68/18.77	c (15,0) c PeriodProcTime_3 : 0.000441
112.68/18.77	c (15,0) c PeriodProcTime_4 : 0.000417
112.68/18.77	c (15,0) c PeriodProcTime_5 : 0.000439
112.68/18.77	c (15,0) c PeriodProcTime_6 : 0.000406
112.68/18.77	c (15,0) c PeriodProcTime_7 : 0.000413
112.68/18.77	c (15,0) c PeriodProcTime_total : 0.003268
112.68/18.77	c (15,0) c PeriodProcTime_winner : 0.000381
112.68/18.77	c (15,0) c SolvingTime_0 : 13.812768
112.68/18.77	c (15,0) c SolvingTime_1 : 13.408042
112.68/18.77	c (15,0) c SolvingTime_2 : 13.022226
112.68/18.77	c (15,0) c SolvingTime_3 : 13.071709
112.68/18.77	c (15,0) c SolvingTime_4 : 13.171932
112.68/18.77	c (15,0) c SolvingTime_5 : 13.122386
112.68/18.77	c (15,0) c SolvingTime_6 : 13.120339
112.68/18.77	c (15,0) c SolvingTime_7 : 13.418225
112.68/18.77	c (15,0) c SolvingTime_total : 106.147625
112.68/18.77	c (15,0) c SolvingTime_winner : 13.022226
112.68/18.77	c (15,0) c PropagationTime_0 : 12.033259
112.68/18.77	c (15,0) c PropagationTime_1 : 11.628306
112.68/18.77	c (15,0) c PropagationTime_2 : 11.205669
112.68/18.77	c (15,0) c PropagationTime_3 : 11.287667
112.68/18.77	c (15,0) c PropagationTime_4 : 11.339863
112.68/18.77	c (15,0) c PropagationTime_5 : 11.304938
112.68/18.77	c (15,0) c PropagationTime_6 : 11.289595
112.68/18.77	c (15,0) c PropagationTime_7 : 11.609575
112.68/18.77	c (15,0) c PropagationTime_total : 91.698870
112.68/18.77	c (15,0) c PropagationTime_winner : 11.205669
112.68/18.77	c (15,0) c AnalysisTime_0 : 0.617471
112.68/18.77	c (15,0) c AnalysisTime_1 : 0.599802
112.68/18.77	c (15,0) c AnalysisTime_2 : 0.650118
112.68/18.77	c (15,0) c AnalysisTime_3 : 0.603308
112.68/18.77	c (15,0) c AnalysisTime_4 : 0.630847
112.68/18.77	c (15,0) c AnalysisTime_5 : 0.618339
112.68/18.77	c (15,0) c AnalysisTime_6 : 0.644910
112.68/18.77	c (15,0) c AnalysisTime_7 : 0.653130
112.68/18.77	c (15,0) c AnalysisTime_total : 5.017925
112.68/18.77	c (15,0) c AnalysisTime_winner : 0.650118
112.68/18.77	c (15,0) c ReductionTime_0 : 0.004233
112.68/18.77	c (15,0) c ReductionTime_1 : 0.004257
112.68/18.77	c (15,0) c ReductionTime_2 : 0.003740
112.68/18.77	c (15,0) c ReductionTime_3 : 0.003886
112.68/18.77	c (15,0) c ReductionTime_4 : 0.003712
112.68/18.77	c (15,0) c ReductionTime_5 : 0.003723
112.68/18.77	c (15,0) c ReductionTime_6 : 0.003623
112.68/18.77	c (15,0) c ReductionTime_7 : 0.004257
112.68/18.77	c (15,0) c ReductionTime_total : 0.031430
112.68/18.77	c (15,0) c ReductionTime_winner : 0.003740
112.68/18.77	c (15,0) c SimplifyTime_0 : 0.297909
112.68/18.77	c (15,0) c SimplifyTime_1 : 0.323067
112.68/18.77	c (15,0) c SimplifyTime_2 : 0.279424
112.68/18.77	c (15,0) c SimplifyTime_3 : 0.301203
112.68/18.77	c (15,0) c SimplifyTime_4 : 0.311475
112.68/18.77	c (15,0) c SimplifyTime_5 : 0.308913
112.68/18.77	c (15,0) c SimplifyTime_6 : 0.293123
112.68/18.77	c (15,0) c SimplifyTime_7 : 0.264220
112.68/18.77	c (15,0) c SimplifyTime_total : 2.379335
112.68/18.77	c (15,0) c SimplifyTime_winner : 0.279424
112.68/18.77	c (15,0) c UsedRateTime_0 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_1 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_2 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_3 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_4 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_5 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_6 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_7 : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_total : 0.000000
112.68/18.77	c (15,0) c UsedRateTime_winner : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_0 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_1 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_2 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_3 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_4 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_5 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_6 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_7 : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_total : 0.000000
112.68/18.77	c (15,0) c OverlapRateTime_winner : 0.000000
112.68/18.77	c (15,0) c
112.68/18.77	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
112.68/18.77	c (15,0) c
112.68/18.77	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.77	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
112.68/18.77	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.77	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
112.68/18.77	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
112.68/18.77	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
112.68/18.77	c (15,0) c | Initial random_seed   |  982210678 | 1850636469 | 2014272267 | 1060183588 | 2037918993 |  304943111 |  448924101 |  702809444 |
112.68/18.77	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
112.68/18.77	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
112.68/18.77	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
112.68/18.77	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
112.68/18.77	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
112.68/18.77	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
112.68/18.77	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
112.68/18.77	c (15,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |
112.68/18.77	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
112.68/18.77	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
112.68/18.77	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
112.68/18.77	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
112.68/18.77	c (15,0) 
112.68/18.77	c (15,0) s SATISFIABLE
113.14/18.92	c (15,0) SatSolver.solve End
113.14/18.92	c (15,0) Heap : 166 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
113.14/18.92	c (15,0) Show results Begin
113.34/19.02	c (15,0) x[0] = 7
113.34/19.02	c (15,0) x[1] = 17
113.34/19.02	c (15,0) x[2] = 19
113.34/19.02	c (15,0) x[3] = 13
113.34/19.02	c (15,0) x[4] = 7
113.34/19.02	c (15,0) x[5] = 13
113.34/19.02	c (15,0) x[6] = 17
113.34/19.02	c (15,0) x[7] = 5
113.34/19.02	c (15,0) x[8] = 29
113.34/19.02	c (15,0) x[9] = 3
113.34/19.02	c (15,0) x[10] = 5
113.34/19.02	c (15,0) x[11] = 19
113.34/19.02	c (15,0) x[12] = 2
113.34/19.02	c (15,0) x[13] = 29
113.34/19.02	c (15,0) x[14] = 7
113.34/19.02	c (15,0) x[15] = 17
113.34/19.02	c (15,0) x[16] = 2
113.34/19.02	c (15,0) x[17] = 17
113.34/19.02	c (15,0) x[18] = 5
113.34/19.02	c (15,0) x[19] = 17
113.34/19.02	c (15,0) x[20] = 3
113.34/19.02	c (15,0) x[21] = 23
113.34/19.02	c (15,0) x[22] = 19
113.34/19.02	c (15,0) x[23] = 29
113.34/19.02	c (15,0) x[24] = 5
113.34/19.02	c (15,0) x[25] = 2
113.34/19.02	c (15,0) x[26] = 5
113.34/19.02	c (15,0) x[27] = 7
113.34/19.02	c (15,0) x[28] = 19
113.34/19.02	c (15,0) x[29] = 13
113.34/19.02	c (15,0) x[30] = 29
113.34/19.02	c (15,0) x[31] = 5
113.34/19.02	c (15,0) x[32] = 5
113.34/19.02	c (15,0) x[33] = 23
113.34/19.02	c (15,0) x[34] = 29
113.34/19.02	c (15,0) x[35] = 19
113.34/19.02	c (15,0) x[36] = 9
113.34/19.02	c (15,0) x[37] = 17
113.34/19.02	c (15,0) x[38] = 3
113.34/19.02	c (15,0) x[39] = 5
113.34/19.02	c (15,0) x[40] = 29
113.34/19.02	c (15,0) x[41] = 7
113.34/19.02	c (15,0) x[42] = 3
113.34/19.02	c (15,0) x[43] = 29
113.34/19.02	c (15,0) x[44] = 11
113.34/19.02	c (15,0) x[45] = 19
113.34/19.02	c (15,0) x[46] = 23
113.34/19.02	c (15,0) x[47] = 11
113.34/19.02	c (15,0) x[48] = 13
113.34/19.02	c (15,0) x[49] = 2
113.34/19.02	c (15,0) x[50] = 7
113.34/19.02	c (15,0) x[51] = 17
113.34/19.02	c (15,0) x[52] = 10
113.34/19.02	c (15,0) x[53] = 2
113.34/19.02	c (15,0) x[54] = 17
113.34/19.02	c (15,0) x[55] = 7
113.34/19.02	c (15,0) x[56] = 5
113.34/19.02	c (15,0) x[57] = 2
113.34/19.02	c (15,0) x[58] = 17
113.34/19.02	c (15,0) x[59] = 3
113.34/19.02	c (15,0) x[60] = 13
113.34/19.02	c (15,0) x[61] = 13
113.34/19.02	c (15,0) x[62] = 11
113.34/19.02	c (15,0) x[63] = 19
113.34/19.02	c (15,0) x[64] = 17
113.34/19.02	c (15,0) x[65] = 13
113.34/19.02	c (15,0) x[66] = 17
113.34/19.02	c (15,0) x[67] = 29
113.34/19.02	c (15,0) x[68] = 7
113.34/19.02	c (15,0) x[69] = 19
113.34/19.02	c (15,0) x[70] = 11
113.34/19.02	c (15,0) x[71] = 13
113.34/19.02	c (15,0) x[72] = 5
113.34/19.02	c (15,0) x[73] = 13
113.34/19.02	c (15,0) x[74] = 11
113.34/19.02	c (15,0) x[75] = 19
113.34/19.02	c (15,0) x[76] = 11
113.34/19.02	c (15,0) x[78] = 7
113.34/19.02	c (15,0) x[79] = 2
113.34/19.02	c (15,0) x[80] = 19
113.34/19.02	c (15,0) x[81] = 23
113.34/19.02	c (15,0) x[82] = 17
113.34/19.02	c (15,0) x[83] = 23
113.34/19.02	c (15,0) x[84] = 23
113.34/19.02	c (15,0) x[85] = 11
113.34/19.02	c (15,0) x[86] = 7
113.34/19.03	c (15,0) x[87] = 3
113.34/19.03	c (15,0) x[88] = 11
113.34/19.03	c (15,0) x[89] = 29
113.34/19.03	c (15,0) x[90] = 5
113.34/19.03	c (15,0) x[91] = 2
113.34/19.03	c (15,0) x[92] = 17
113.34/19.03	c (15,0) x[93] = 23
113.34/19.03	c (15,0) x[94] = 29
113.34/19.03	c (15,0) x[95] = 5
113.34/19.03	c (15,0) x[96] = 17
113.34/19.03	c (15,0) x[97] = 17
113.34/19.03	c (15,0) x[98] = 11
113.34/19.03	c (15,0) x[99] = 29
113.34/19.03	s SATISFIABLE
113.34/19.04	v <instantiation>
113.34/19.04	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
113.34/19.04	v     <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 9 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 10 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29</values>
113.34/19.04	v </instantiation>
113.34/19.04	c (15,0) Show results End
113.34/19.04	c (15,0) Heap : 166 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
113.34/19.04	c (15,0) 15,15,STOP-AFTER(ALL)
113.34/19.04	c END-Prog: Sat Sep 14 06:00:30 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 (10576 MiB free)
  memory of node 1: 16384 MiB (13443 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100153 s]*
/proc/loadavg: 6.71 7.35 7.32 2/212 16431
/proc/meminfo: memFree=24500380/32770624 swapFree=66999300/67108860
[pid=16409] ppid=16406 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16409/stat : 16409 (scop.sh) S 16406 16409 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419303600 115843072 348 33554432000 4194304 5098028 140730521890256 140730521887512 140178417963644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17068032 140730521891620 140730521891948 140730521891948 140730521894861 0
/proc/16409/statm: 28282 348 296 221 0 87 0
[pid=16412] ppid=16409 vsize=27314120 memory=107640 CPUtime=0.1 cores=0-7
/proc/16412/stat : 16412 (java) S 16409 16409 14887 0 -1 1077944320 6413 0 0 0 8 2 0 0 20 0 20 0 419303600 27969658880 26910 33554432000 4194304 4196468 140723028715920 140723028698464 139953939709687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
/proc/16412/statm: 6828530 26910 2816 1 0 6790935 0
[pid=16412/tid=16413] ppid=16409 vsize=27314120 memory=7969852298701478808 CPUtime=0.09 cores=0-7
/proc/16412/task/16413/stat : 16413 (java) R 16409 16409 14887 0 -1 4202560 4506 0 0 0 7 2 0 0 20 0 20 0 419303600 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953911531968 139953931946814 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16414] ppid=16409 vsize=27314120 memory=732369825620380645 CPUtime=0 cores=0-7
/proc/16412/task/16414/stat : 16414 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953943952016 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16415] ppid=16409 vsize=27314120 memory=139687282927232 CPUtime=0 cores=0-7
/proc/16412/task/16415/stat : 16415 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953727347216 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16416] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16416/stat : 16416 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953726294416 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16417] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16417/stat : 16417 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953725241616 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16418] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16418/stat : 16418 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953359019152 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16419] ppid=16409 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16412/task/16419/stat : 16419 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953357966352 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16420] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16420/stat : 16420 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953356913552 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16421] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16421/stat : 16421 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 26910 33554432000 4194304 4196468 140723028715920 139953355860752 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16422] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16422/stat : 16422 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303604 27969658880 26910 33554432000 4194304 4196468 140723028715920 139952930118000 139953939720834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16423] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16423/stat : 16423 (java) S 16409 16409 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419303605 27969658880 26910 33554432000 4194304 4196468 140723028715920 139951911986208 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16424] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16424/stat : 16424 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303605 27969658880 26910 33554432000 4194304 4196468 140723028715920 139951643550576 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16425] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16425/stat : 16425 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139951269042000 139953939728283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16426] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16426/stat : 16426 (java) S 16409 16409 14887 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139952929065840 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16427] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16427/stat : 16427 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139952928013040 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16428] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16428/stat : 16428 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139952926960240 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16429] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16429/stat : 16429 (java) S 16409 16409 14887 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139952925907440 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16430] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16430/stat : 16430 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139950771137120 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16431] ppid=16409 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16412/task/16431/stat : 16431 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 26910 33554432000 4194304 4196468 140723028715920 139952924854832 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109032 KiB

[startup+0.210534 s]*
/proc/loadavg: 6.71 7.35 7.32 2/212 16431
/proc/meminfo: memFree=24478224/32770624 swapFree=66999300/67108860
[pid=16409] ppid=16406 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16409/stat : 16409 (scop.sh) S 16406 16409 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419303600 115843072 348 33554432000 4194304 5098028 140730521890256 140730521887512 140178417963644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17068032 140730521891620 140730521891948 140730521891948 140730521894861 0
/proc/16409/statm: 28282 348 296 221 0 87 0
[pid=16412] ppid=16409 vsize=27314120 memory=126608 CPUtime=0.25 cores=0-7
/proc/16412/stat : 16412 (java) S 16409 16409 14887 0 -1 1077944320 11888 0 0 0 21 4 0 0 20 0 20 0 419303600 27969658880 31652 33554432000 4194304 4196468 140723028715920 140723028698464 139953939709687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
/proc/16412/statm: 6828530 31652 2922 1 0 6790935 0
[pid=16412/tid=16413] ppid=16409 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/16412/task/16413/stat : 16413 (java) R 16409 16409 14887 0 -1 4202560 9599 0 0 0 16 3 0 0 20 0 20 0 419303600 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953911518608 139953921273197 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16414] ppid=16409 vsize=27314120 memory=732369825620380645 CPUtime=0 cores=0-7
/proc/16412/task/16414/stat : 16414 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953943952016 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16415] ppid=16409 vsize=27314120 memory=139687282927232 CPUtime=0 cores=0-7
/proc/16412/task/16415/stat : 16415 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953727347216 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16416] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16416/stat : 16416 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953726294416 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16417] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16417/stat : 16417 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953725241616 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16418] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16418/stat : 16418 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953359019152 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16419] ppid=16409 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16412/task/16419/stat : 16419 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953357966352 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16420] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16420/stat : 16420 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953356913552 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16421] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16421/stat : 16421 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 31652 33554432000 4194304 4196468 140723028715920 139953355860752 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16422] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16422/stat : 16422 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303604 27969658880 31652 33554432000 4194304 4196468 140723028715920 139952930118000 139953939720834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16423] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16423/stat : 16423 (java) S 16409 16409 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419303605 27969658880 31652 33554432000 4194304 4196468 140723028715920 139951911986208 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16424] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16424/stat : 16424 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303605 27969658880 31652 33554432000 4194304 4196468 140723028715920 139951643550576 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16425] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16425/stat : 16425 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139951269042000 139953939728283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16426] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16426/stat : 16426 (java) S 16409 16409 14887 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139952929065840 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16427] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16427/stat : 16427 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139952928013040 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16428] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16428/stat : 16428 (java) S 16409 16409 14887 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139952926960240 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16429] ppid=16409 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16412/task/16429/stat : 16429 (java) S 16409 16409 14887 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139952925907440 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16430] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16430/stat : 16430 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139950771137120 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16431] ppid=16409 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16412/task/16431/stat : 16431 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 31652 33554432000 4194304 4196468 140723028715920 139952924854832 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128000 KiB

[startup+0.310631 s]*
/proc/loadavg: 6.71 7.35 7.32 2/212 16431
/proc/meminfo: memFree=24475804/32770624 swapFree=66999300/67108860
[pid=16409] ppid=16406 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16409/stat : 16409 (scop.sh) S 16406 16409 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419303600 115843072 348 33554432000 4194304 5098028 140730521890256 140730521887512 140178417963644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17068032 140730521891620 140730521891948 140730521891948 140730521894861 0
/proc/16409/statm: 28282 348 296 221 0 87 0
[pid=16412] ppid=16409 vsize=27314120 memory=130020 CPUtime=0.42 cores=0-7
/proc/16412/stat : 16412 (java) S 16409 16409 14887 0 -1 1077944320 12841 0 0 0 38 4 0 0 20 0 20 0 419303600 27969658880 32505 33554432000 4194304 4196468 140723028715920 140723028698464 139953939709687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
/proc/16412/statm: 6828530 32505 3029 1 0 6790935 0
[pid=16412/tid=16413] ppid=16409 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16412/task/16413/stat : 16413 (java) R 16409 16409 14887 0 -1 4202560 10401 0 0 0 26 3 0 0 20 0 20 0 419303600 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953911500336 139953939721622 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16414] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16414/stat : 16414 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953943952016 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16415] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16415/stat : 16415 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953727347216 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16416] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16416/stat : 16416 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953726294416 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16417] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16417/stat : 16417 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953725241616 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16418] ppid=16409 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16412/task/16418/stat : 16418 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953359019152 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16419] ppid=16409 vsize=27314120 memory=139687167620015 CPUtime=0 cores=0-7
/proc/16412/task/16419/stat : 16419 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953357966352 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16420] ppid=16409 vsize=27314120 memory=139687167622320 CPUtime=0 cores=0-7
/proc/16412/task/16420/stat : 16420 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953356913552 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16421] ppid=16409 vsize=27314120 memory=139687167624624 CPUtime=0 cores=0-7
/proc/16412/task/16421/stat : 16421 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303603 27969658880 32505 33554432000 4194304 4196468 140723028715920 139953355860752 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16422] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16422/stat : 16422 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303604 27969658880 32505 33554432000 4194304 4196468 140723028715920 139952930118000 139953939720834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16423] ppid=16409 vsize=27314120 memory=279374335256208 CPUtime=0 cores=0-7
/proc/16412/task/16423/stat : 16423 (java) S 16409 16409 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419303605 27969658880 32505 33554432000 4194304 4196468 140723028715920 139951911986208 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16424] ppid=16409 vsize=27314120 memory=279374335263120 CPUtime=0 cores=0-7
/proc/16412/task/16424/stat : 16424 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303605 27969658880 32505 33554432000 4194304 4196468 140723028715920 139951643550576 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16425] ppid=16409 vsize=27314120 memory=279374335204272 CPUtime=0 cores=0-7
/proc/16412/task/16425/stat : 16425 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139951269042000 139953939728283 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16426] ppid=16409 vsize=27314120 memory=279374335276944 CPUtime=0 cores=0-7
/proc/16412/task/16426/stat : 16426 (java) S 16409 16409 14887 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139952929065840 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16427] ppid=16409 vsize=27314120 memory=279374335283856 CPUtime=0 cores=0-7
/proc/16412/task/16427/stat : 16427 (java) R 16409 16409 14887 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139952928013040 139953932694729 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16428] ppid=16409 vsize=27314120 memory=279374335281552 CPUtime=0.02 cores=0-7
/proc/16412/task/16428/stat : 16428 (java) S 16409 16409 14887 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139952926960240 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16429] ppid=16409 vsize=27314120 memory=279374335297712 CPUtime=0.07 cores=0-7
/proc/16412/task/16429/stat : 16429 (java) S 16409 16409 14887 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139952925907440 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16430] ppid=16409 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16412/task/16430/stat : 16430 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139950771137120 139953939719893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16431] ppid=16409 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16412/task/16431/stat : 16431 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303608 27969658880 32505 33554432000 4194304 4196468 140723028715920 139952924854832 139953939720834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131412 KiB

[startup+0.704642 s]
/proc/loadavg: 6.71 7.35 7.32 2/212 16431
/proc/meminfo: memFree=24455452/32770624 swapFree=66999300/67108860
[pid=16409] ppid=16406 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16409/stat : 16409 (scop.sh) S 16406 16409 14887 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419303600 115843072 348 33554432000 4194304 5098028 140730521890256 140730521887512 140178417963644 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17068032 140730521891620 140730521891948 140730521891948 140730521894861 0
/proc/16409/statm: 28282 348 296 221 0 87 0
[pid=16412] ppid=16409 vsize=27322516 memory=165800 CPUtime=1 cores=0-7
/proc/16412/stat : 16412 (java) S 16409 16409 14887 0 -1 1077944320 20069 0 0 0 94 6 0 0 20 0 20 0 419303600 27978256384 41450 33554432000 4194304 4196468 140723028715920 140723028698464 139953939709687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
/proc/16412/statm: 6830629 41450 3196 1 0 6791959 0
[pid=16412/tid=16413] ppid=16409 vsize=27322516 memory=279374335592640 CPUtime=0.68 cores=0-7
/proc/16412/task/16413/stat : 16413 (java) R 16409 16409 14887 0 -1 4202560 17048 0 0 0 63 5 0 0 20 0 20 0 419303600 27978256384 41450 33554432000 4194304 4196468 140723028715920 139953911541424 139953923790174 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16414] ppid=16409 vsize=27322516 memory=1540 CPUtime=0 cores=0-7
/proc/16412/task/16414/stat : 16414 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27978256384 41450 33554432000 4194304 4196468 140723028715920 139953943952016 139953939719893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16415] ppid=16409 vsize=27322516 memory=772 CPUtime=0 cores=0-7
/proc/16412/task/16415/stat : 16415 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419303603 27978256384 41450 33554432000 4194304 4196468 140723028715920 139953727347216 139953939719893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0
[pid=16412/tid=16416] ppid=16409 vsize=27322516 memory=10596 CPUtime=0 cores=0-7
/proc/16412/task/16416/stat : 16416 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419303603 27978256384 41450 33554432000 4194304 4196468 140723028715920 139953726294416 139953939719893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10764288 140723028718314 140723028718742 140723028718742 140723028721615 0

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

/proc/16432/task/16436/stat : 16436 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 30500 33554432000 4194304 4196468 140735219098272 140108145208208 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16437] ppid=16409 vsize=8414124 memory=7813006917249362027 CPUtime=0 cores=0-7
/proc/16432/task/16437/stat : 16437 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 30500 33554432000 4194304 4196468 140735219098272 140108144155408 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16438] ppid=16409 vsize=8414124 memory=8028631073110250065 CPUtime=0 cores=0-7
/proc/16432/task/16438/stat : 16438 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 30500 33554432000 4194304 4196468 140735219098272 140108143102608 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16439] ppid=16409 vsize=8414124 memory=6010431287837024361 CPUtime=0 cores=0-7
/proc/16432/task/16439/stat : 16439 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107808668176 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16440] ppid=16409 vsize=8414124 memory=7649399384264947249 CPUtime=0 cores=0-7
/proc/16432/task/16440/stat : 16440 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107807615376 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16441] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16441/stat : 16441 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107806562576 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16442] ppid=16409 vsize=8414124 memory=49060 CPUtime=0 cores=0-7
/proc/16432/task/16442/stat : 16442 (java) S 16409 16409 14887 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419303881 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107622751088 140108327873154 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16443] ppid=16409 vsize=8414124 memory=7661019251723821157 CPUtime=0 cores=0-7
/proc/16432/task/16443/stat : 16443 (java) S 16409 16409 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419303881 8616062976 30500 33554432000 4194304 4196468 140735219098272 140106732135968 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16444] ppid=16409 vsize=8414124 memory=6296406565455291498 CPUtime=0 cores=0-7
/proc/16432/task/16444/stat : 16444 (java) S 16409 16409 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419303882 8616062976 30500 33554432000 4194304 4196468 140735219098272 140106597913968 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16445] ppid=16409 vsize=8414124 memory=7301850588498192740 CPUtime=0 cores=0-7
/proc/16432/task/16445/stat : 16445 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140106223409488 140108327880603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16446] ppid=16409 vsize=8414124 memory=1472 CPUtime=0.1 cores=0-7
/proc/16432/task/16446/stat : 16446 (java) S 16409 16409 14887 0 -1 1077944384 668 0 0 0 10 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107621697904 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16447] ppid=16409 vsize=8414124 memory=1472 CPUtime=0.07 cores=0-7
/proc/16432/task/16447/stat : 16447 (java) S 16409 16409 14887 0 -1 1077944384 191 0 0 0 7 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107620645104 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16448] ppid=16409 vsize=8414124 memory=122000 CPUtime=0.1 cores=0-7
/proc/16432/task/16448/stat : 16448 (java) S 16409 16409 14887 0 -1 1077944384 619 0 0 0 10 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107619592304 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16449] ppid=16409 vsize=8414124 memory=646256 CPUtime=0.23 cores=0-7
/proc/16432/task/16449/stat : 16449 (java) S 16409 16409 14887 0 -1 1077944384 656 0 0 0 23 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107618539504 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16450] ppid=16409 vsize=8414124 memory=7686721470267234713 CPUtime=0 cores=0-7
/proc/16432/task/16450/stat : 16450 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140105725504608 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16451] ppid=16409 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/16432/task/16451/stat : 16451 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303884 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107617487920 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16453] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16453/stat : 16453 (java) S 16409 16409 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419303955 8616062976 30500 33554432000 4194304 4196468 140735219098272 140107609454144 140108327886617 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16455] ppid=16409 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16432/task/16455/stat : 16455 (java) S 16409 16409 14887 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419303955 8616062976 30500 33554432000 4194304 4196468 140735219098272 140105054404272 140108327883933 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16456] ppid=16409 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16432/task/16456/stat : 16456 (java) S 16409 16409 14887 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419303955 8616062976 30500 33554432000 4194304 4196468 140735219098272 140105322839600 140108327883933 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16457] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16457/stat : 16457 (java) S 16409 16409 14887 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419303957 8616062976 30500 33554432000 4194304 4196468 140735219098272 140104785976368 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
Current children cumulated CPU time: 112.38 s
Current children cumulated vsize: 9721992 KiB
Current children cumulated memory: 769148 KiB

[startup+18.8016 s]
/proc/loadavg: 6.64 7.29 7.30 8/224 16465
/proc/meminfo: memFree=23829936/32770624 swapFree=66999300/67108860
[pid=16409] ppid=16406 vsize=113128 memory=1472 CPUtime=4.8 cores=0-7
/proc/16409/stat : 16409 (scop.sh) S 16406 16409 14887 0 -1 4202496 582 25382 0 0 0 0 450 30 20 0 1 0 419303600 115843072 368 33554432000 4194304 5098028 140730521890256 140730521887000 140178417963644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17068032 140730521891620 140730521891948 140730521891948 140730521894861 0
/proc/16409/statm: 28282 368 311 221 0 87 0
[pid=16432] ppid=16409 vsize=8414124 memory=128964 CPUtime=1.48 cores=0-7
/proc/16432/stat : 16432 (java) S 16409 16409 14887 0 -1 1077944320 22257 0 0 0 138 10 0 0 20 0 24 0 419303878 8616062976 32241 33554432000 4194304 4196468 140735219098272 140735219080816 140108327862007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
/proc/16432/statm: 2103531 32241 3224 1 0 2064875 0
[pid=16452] ppid=16432 vsize=1162288 memory=645720 CPUtime=106.6 cores=0-7
/proc/16452/stat : 16452 (manyglucose-4.1) R 16432 16409 14887 0 -1 4202496 514191 0 0 0 10568 92 0 0 20 0 1 0 419303955 1190182912 161430 33554432000 4194304 4454172 140729790342992 140729790339712 140426492148861 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552832 6554400 31932416 140729790346089 140729790346288 140729790346288 140729790349242 0
/proc/16452/statm: 290572 161430 422 64 0 286240 0
[pid=16432/tid=16433] ppid=16409 vsize=8414124 memory=0 CPUtime=0.8 cores=0-7
/proc/16432/task/16433/stat : 16433 (java) S 16409 16409 14887 0 -1 1077944384 17938 0 0 0 73 7 0 0 20 0 24 0 419303878 8616062976 32241 33554432000 4194304 4196468 140735219098272 140108299702176 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16434] ppid=16409 vsize=8414124 memory=7661019251723821157 CPUtime=0 cores=0-7
/proc/16432/task/16434/stat : 16434 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140108332104848 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16435] ppid=16409 vsize=8414124 memory=5866056628085745002 CPUtime=0 cores=0-7
/proc/16432/task/16435/stat : 16435 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140108146261008 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16436] ppid=16409 vsize=8414124 memory=6935651454800449616 CPUtime=0 cores=0-7
/proc/16432/task/16436/stat : 16436 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140108145208208 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16437] ppid=16409 vsize=8414124 memory=279374335987448 CPUtime=0 cores=0-7
/proc/16432/task/16437/stat : 16437 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140108144155408 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16438] ppid=16409 vsize=8414124 memory=4629800032605997412 CPUtime=0 cores=0-7
/proc/16432/task/16438/stat : 16438 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140108143102608 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16439] ppid=16409 vsize=8414124 memory=6944613755328037015 CPUtime=0 cores=0-7
/proc/16432/task/16439/stat : 16439 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107808668176 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16440] ppid=16409 vsize=8414124 memory=-7523151519275136091 CPUtime=0 cores=0-7
/proc/16432/task/16440/stat : 16440 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107807615376 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16441] ppid=16409 vsize=8414124 memory=-6352457607007735254 CPUtime=0 cores=0-7
/proc/16432/task/16441/stat : 16441 (java) S 16409 16409 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303879 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107806562576 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16442] ppid=16409 vsize=8414124 memory=-7022732075966906513 CPUtime=0 cores=0-7
/proc/16432/task/16442/stat : 16442 (java) S 16409 16409 14887 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419303881 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107622751088 140108327873154 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16443] ppid=16409 vsize=8414124 memory=-7824251494390989921 CPUtime=0 cores=0-7
/proc/16432/task/16443/stat : 16443 (java) S 16409 16409 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419303881 8616062976 32241 33554432000 4194304 4196468 140735219098272 140106732135968 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16444] ppid=16409 vsize=8414124 memory=122000 CPUtime=0 cores=0-7
/proc/16432/task/16444/stat : 16444 (java) S 16409 16409 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419303882 8616062976 32241 33554432000 4194304 4196468 140735219098272 140106597913968 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16445] ppid=16409 vsize=8414124 memory=647508 CPUtime=0 cores=0-7
/proc/16432/task/16445/stat : 16445 (java) S 16409 16409 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140106223409488 140108327880603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16446] ppid=16409 vsize=8414124 memory=7309178807760937305 CPUtime=0.11 cores=0-7
/proc/16432/task/16446/stat : 16446 (java) S 16409 16409 14887 0 -1 1077944384 671 0 0 0 11 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107621697904 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16447] ppid=16409 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/16432/task/16447/stat : 16447 (java) R 16409 16409 14887 0 -1 4202560 508 0 0 0 10 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107620630984 140108309386365 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16448] ppid=16409 vsize=8414124 memory=7956019342284947518 CPUtime=0.12 cores=0-7
/proc/16432/task/16448/stat : 16448 (java) R 16409 16409 14887 0 -1 4202560 622 0 0 0 12 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107619592304 140108312985616 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16449] ppid=16409 vsize=8414124 memory=6655300316396806240 CPUtime=0.25 cores=0-7
/proc/16432/task/16449/stat : 16449 (java) S 16409 16409 14887 0 -1 1077944384 1090 0 0 0 25 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107618539504 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16450] ppid=16409 vsize=8414124 memory=3905525999160539899 CPUtime=0 cores=0-7
/proc/16432/task/16450/stat : 16450 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140105725504608 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16451] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16451/stat : 16451 (java) S 16409 16409 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303884 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107617487920 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16453] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16453/stat : 16453 (java) S 16409 16409 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419303955 8616062976 32241 33554432000 4194304 4196468 140735219098272 140107609454144 140108327886617 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16455] ppid=16409 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/16432/task/16455/stat : 16455 (java) R 16409 16409 14887 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 24 0 419303955 8616062976 32241 33554432000 4194304 4196468 140735219098272 140105054404240 140108327883933 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16456] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16456/stat : 16456 (java) S 16409 16409 14887 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419303955 8616062976 32241 33554432000 4194304 4196468 140735219098272 140105322839600 140108327883933 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16457] ppid=16409 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16432/task/16457/stat : 16457 (java) S 16409 16409 14887 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419303957 8616062976 32241 33554432000 4194304 4196468 140735219098272 140104785976368 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
Current children cumulated CPU time: 112.88 s
Current children cumulated vsize: 9689540 KiB
Current children cumulated memory: 776156 KiB

[startup+19.001 s]*
/proc/loadavg: 6.64 7.29 7.30 2/214 16465
/proc/meminfo: memFree=24426916/32770624 swapFree=66999300/67108860
[pid=16409] ppid=16406 vsize=113128 memory=1472 CPUtime=4.8 cores=0-7
/proc/16409/stat : 16409 (scop.sh) S 16406 16409 14887 0 -1 4202496 582 25382 0 0 0 0 450 30 20 0 1 0 419303600 115843072 368 33554432000 4194304 5098028 140730521890256 140730521887000 140178417963644 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17068032 140730521891620 140730521891948 140730521891948 140730521894861 0
/proc/16409/statm: 28282 368 311 221 0 87 0
[pid=16432] ppid=16409 vsize=8283048 memory=169996 CPUtime=108.54 cores=0-7
/proc/16432/stat : 16432 (java) S 16409 16409 14887 0 -1 1077944320 22782 514197 0 0 177 11 10570 96 20 0 22 0 419303878 8481841152 42499 33554432000 4194304 4196468 140735219098272 140735219080816 140108327862007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
/proc/16432/statm: 2070762 42499 3233 1 0 2032106 0
[pid=16432/tid=16433] ppid=16409 vsize=8283048 memory=288355116380323867 CPUtime=107.54 cores=0-7
/proc/16432/task/16433/stat : 16433 (java) R 16409 16409 14887 0 -1 4202560 18183 514197 0 0 81 7 10570 96 20 0 22 0 419303878 8481841152 42499 33554432000 4194304 4196468 140735219098272 140108299700432 140108327873942 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16434] ppid=16409 vsize=8283048 memory=302304349200350181 CPUtime=106.66 cores=0-7
/proc/16432/task/16434/stat : 16434 (java) S 16409 16409 14887 0 -1 1077944384 2 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140108332104848 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16435] ppid=16409 vsize=8283048 memory=139687282940703 CPUtime=106.66 cores=0-7
/proc/16432/task/16435/stat : 16435 (java) S 16409 16409 14887 0 -1 1077944384 3 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140108146261008 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16436] ppid=16409 vsize=8283048 memory=-1 CPUtime=106.66 cores=0-7
/proc/16432/task/16436/stat : 16436 (java) S 16409 16409 14887 0 -1 1077944384 2 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140108145208208 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16437] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16437/stat : 16437 (java) S 16409 16409 14887 0 -1 1077944384 1 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140108144155408 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16438] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16438/stat : 16438 (java) S 16409 16409 14887 0 -1 1077944384 2 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140108143102608 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16439] ppid=16409 vsize=8283048 memory=-1 CPUtime=106.66 cores=0-7
/proc/16432/task/16439/stat : 16439 (java) S 16409 16409 14887 0 -1 1077944384 1 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107808668176 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16440] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16440/stat : 16440 (java) S 16409 16409 14887 0 -1 1077944384 2 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107807615376 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16441] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16441/stat : 16441 (java) S 16409 16409 14887 0 -1 1077944384 2 514197 0 0 0 0 10570 96 20 0 22 0 419303879 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107806562576 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16442] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16442/stat : 16442 (java) S 16409 16409 14887 0 -1 1077944384 7 514197 0 0 0 0 10570 96 20 0 22 0 419303881 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107622751088 140108327873154 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16443] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16443/stat : 16443 (java) S 16409 16409 14887 0 -1 1077944384 13 514197 0 0 0 0 10570 96 20 0 22 0 419303881 8481841152 42499 33554432000 4194304 4196468 140735219098272 140106732135968 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16444] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16444/stat : 16444 (java) S 16409 16409 14887 0 -1 1077944384 21 514197 0 0 0 0 10570 96 20 0 22 0 419303882 8481841152 42499 33554432000 4194304 4196468 140735219098272 140106597913968 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16445] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16445/stat : 16445 (java) S 16409 16409 14887 0 -1 1077944384 1 514197 0 0 0 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140106223409488 140108327880603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16446] ppid=16409 vsize=8283048 memory=0 CPUtime=106.81 cores=0-7
/proc/16432/task/16446/stat : 16446 (java) S 16409 16409 14887 0 -1 1077944384 684 514197 0 0 15 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107621697904 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16447] ppid=16409 vsize=8283048 memory=0 CPUtime=106.8 cores=0-7
/proc/16432/task/16447/stat : 16447 (java) S 16409 16409 14887 0 -1 1077944384 522 514197 0 0 14 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107620645104 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16448] ppid=16409 vsize=8283048 memory=0 CPUtime=106.84 cores=0-7
/proc/16432/task/16448/stat : 16448 (java) S 16409 16409 14887 0 -1 1077944384 657 514197 0 0 18 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107619592304 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16449] ppid=16409 vsize=8283048 memory=0 CPUtime=106.98 cores=0-7
/proc/16432/task/16449/stat : 16449 (java) R 16409 16409 14887 0 -1 4202560 1242 514197 0 0 32 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107618539504 140108320958843 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16450] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16450/stat : 16450 (java) S 16409 16409 14887 0 -1 1077944384 3 514197 0 0 0 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140105725504608 140108327872213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16451] ppid=16409 vsize=8283048 memory=0 CPUtime=106.66 cores=0-7
/proc/16432/task/16451/stat : 16451 (java) S 16409 16409 14887 0 -1 1077944384 3 514197 0 0 0 0 10570 96 20 0 22 0 419303884 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107617487920 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16453] ppid=16409 vsize=8283048 memory=-1 CPUtime=106.66 cores=0-7
/proc/16432/task/16453/stat : 16453 (java) S 16409 16409 14887 0 -1 1077944384 24 514197 0 0 0 0 10570 96 20 0 22 0 419303955 8481841152 42499 33554432000 4194304 4196468 140735219098272 140107609453328 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
[pid=16432/tid=16457] ppid=16409 vsize=8283048 memory=-1 CPUtime=106.66 cores=0-7
/proc/16432/task/16457/stat : 16457 (java) S 16409 16409 14887 0 -1 1077944384 11 514197 0 0 0 0 10570 96 20 0 22 0 419303957 8481841152 42499 33554432000 4194304 4196468 140735219098272 140104785978160 140108327873154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17035264 140735219106807 140735219106966 140735219106966 140735219109839 0
Current children cumulated CPU time: 113.34 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 171468 KiB

Child status: 0
Real time (s): 19.0526
CPU time (s): 113.446
CPU user time (s): 112.045
CPU system time (s): 1.40119
CPU usage (%): 595.438
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1146944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112.045
system time used= 1.40119
maximum resident set size= 1148576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16850
involuntary context switches= 1183


# summary of solver processes directly reported to runsolver:
#   pid: 16409
#   total CPU time (s): 113.446
#   total CPU user time (s): 112.045
#   total CPU system time (s): 1.40119

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.194037 second user time and 0.293062 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 06:00:11
IDJOB=4392665
IDBENCH=133432
IDSOLVER=2839
FILE ID=node140/4392665-1568433652
RUNJOBID= node140-1568430400-14914
PBS_JOBID= 21702310
Free space on /tmp= 58140 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-5.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392665-1568433652/watcher-4392665-1568433652 -o /tmp/evaluation-result-4392665-1568433652/solver-4392665-1568433652 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392665-1568433652.xml

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

MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2
RANDOM SEED=1391910122

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24596704 kB
MemAvailable:   31855952 kB
Buffers:          173704 kB
Cached:          7293144 kB
SwapCached:         2724 kB
Active:          1525368 kB
Inactive:        5949572 kB
Active(anon):       4232 kB
Inactive(anon):    44556 kB
Active(file):    1521136 kB
Inactive(file):  5905016 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999300 kB
Dirty:             20580 kB
Writeback:             0 kB
AnonPages:        113256 kB
Mapped:            44464 kB
Shmem:             32276 kB
Slab:             291336 kB
SReclaimable:     261556 kB
SUnreclaim:        29780 kB
KernelStack:        3696 kB
PageTables:         5620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58120 MiB
End job on node140 at 2019-09-14 06:00:30