Trace number 4392358

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s25/
TravellingSalesman-25-715_X2.xml
MD5SUM0286d8cb8f351d75271acd0c64dfc747
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 benchmark3.29109
Satisfiable
(Un)Satisfiability was proved
Number of variables76
Number of constraints350
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":25,"count":25},{"size":181,"count":24},{"size":1001,"count":25}]
Minimum variable degree1
Maximum variable degree25
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":49},{"degree":25,"count":25}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":325},{"arity":3,"count":25}]
Number of extensional constraints350
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":350}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-594-serial-file.bin HOME/instance-4392358-1568439041.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 07:30:00 CEST 2019
0.65/0.56	c PID: 602
0.65/0.56	c IP: 172.20.3.137
0.65/0.56	c HOST: node137.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.54/1.11	c (0,0) Parsing End
2.54/1.11	c (0,0) CSP: 75 int (0 aux), 1 bool (0 aux), 350 ctr, max domain size 1001
2.54/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.54/1.11	c (0,0) Constraint Name Generate Begin
2.54/1.12	c (0,0) Ctr:HOME/instance-4392358-1568439041.xml,ExtensionConflict:ExtensionSupport:Var
2.54/1.12	c (0,0) Constraint Name Generate End
2.54/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.54/1.12	c (0,0) CSP to CSPinCNF Begin
4.11/1.62	c (1,1) translated 35 (10%) constraints
4.53/1.74	c (1,1) translated 70 (20%) constraints
4.92/1.83	c (1,1) translated 105 (30%) constraints
5.31/1.90	c (1,1) translated 140 (40%) constraints
5.31/1.96	c (1,1) translated 175 (50%) constraints
5.61/2.04	c (1,1) translated 210 (60%) constraints
5.61/2.10	c (1,1) translated 245 (70%) constraints
5.92/2.15	c (1,1) translated 280 (80%) constraints
93.96/82.55	c (82,81) translated 315 (90%) constraints
119.79/104.68	c (104,103) translated 350 (100%) constraints
119.79/104.68	c (104,103) ===========================================
119.79/104.68	c (104,103) Order
119.79/104.68	c (104,103) ===========================================
122.51/106.55	c (106,105) translated 78986 (10%) constraints
129.55/109.00	c (108,106) translated 157972 (20%) constraints
131.49/110.81	c (110,108) translated 236957 (30%) constraints
133.31/112.60	c (112,110) translated 315943 (40%) constraints
135.01/114.38	c (113,112) translated 394928 (50%) constraints
136.82/116.17	c (115,114) translated 473914 (60%) constraints
138.62/117.96	c (117,115) translated 552900 (70%) constraints
140.42/119.76	c (119,117) translated 631885 (80%) constraints
142.22/121.57	c (121,119) translated 710871 (90%) constraints
144.02/123.37	c (122,121) translated 789856 (100%) constraints
144.02/123.37	c (122,121) CSP to CSPinCNF End
144.02/123.38	c (122,121) CSP: 75 int (0 aux), 9036 bool (9035 aux), 789856 ctr, max domain size 180
144.02/123.38	c (122,121) Heap : 5702 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
144.02/123.38	c (122,121) CSPinCNF Propagation Begin
175.24/142.27	c (141,138) 668 values, 271462 unsatisfiable literals, and 211441 valid clauses are removed
175.24/142.27	c (141,138) CSPinCNF Propagation End
175.24/142.28	c (141,138) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
175.24/142.28	c (141,138) Heap : 1603 MiB used (max 20858 MiB), NonHeap : 29 MiB used (max 0 MiB)
175.24/142.28	c (141,138) Simplify CSPinCNF Begin
176.99/143.77	c (143,140) Simplify CSPinCNF End
176.99/143.77	c (143,140) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
176.99/143.77	c (143,140) Heap : 2287 MiB used (max 20858 MiB), NonHeap : 29 MiB used (max 0 MiB)
176.99/143.77	c (143,140) Calculate Precise Domain Begin
176.99/143.78	c (143,140) 0 values are removed by re-calculation
176.99/143.78	c (143,140) Calculate Precise Domain End
176.99/143.78	c (143,140) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
176.99/143.78	c (143,140) Heap : 2287 MiB used (max 20858 MiB), NonHeap : 29 MiB used (max 0 MiB)
176.99/143.78	c (143,140) CSPinCNF to SatSolver Begin
179.52/144.82	c (144,141) 57842 (10 %) CSP clauses are encoded (0 SAT variables, 62811 SAT clauses)
180.25/145.55	c (145,141) 115683 (20 %) CSP clauses are encoded (0 SAT variables, 120652 SAT clauses)
180.96/146.28	c (145,142) 173525 (30 %) CSP clauses are encoded (0 SAT variables, 178494 SAT clauses)
181.66/147.00	c (146,143) 231366 (40 %) CSP clauses are encoded (0 SAT variables, 236335 SAT clauses)
182.46/147.72	c (147,144) 289208 (50 %) CSP clauses are encoded (0 SAT variables, 294177 SAT clauses)
187.89/149.06	c (148,144) 347049 (60 %) CSP clauses are encoded (0 SAT variables, 352018 SAT clauses)
188.58/149.79	c (149,145) 404891 (70 %) CSP clauses are encoded (0 SAT variables, 409860 SAT clauses)
189.39/150.50	c (149,146) 462732 (80 %) CSP clauses are encoded (0 SAT variables, 467701 SAT clauses)
190.08/151.23	c (150,147) 520574 (90 %) CSP clauses are encoded (0 SAT variables, 525543 SAT clauses)
190.83/151.90	c (151,147) 578415 (100 %) CSP clauses are encoded (0 SAT variables, 583384 SAT clauses)
190.83/151.90	c (151,147) CSPinCNF to SatSolver End
190.83/151.90	c (151,147) Heap : 4059 MiB used (max 21224 MiB), NonHeap : 31 MiB used (max 0 MiB)
190.83/151.90	c (151,147) 13565 bool, 583385 clause
190.83/151.90	c (151,147) Export Begin
191.03/152.01	c (151,147) Export to HOME/scop-594-serial-file.bin
191.03/152.01	c (151,147) Export End
191.03/152.02	c (151,147) Export File Size: 0.05 MB
191.03/152.02	c (151,147) 0,0,122,141,143,143,151,STOP-AFTER(DIMACS)
191.03/152.02	c END-Prog: Sat Sep 14 07:32:31 CEST 2019
191.03/152.07	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-594-serial-file.bin
191.14/152.54	c (0,0) Read Serial File Begin
191.14/152.54	c (0,0) HOME/scop-594-serial-file.bin
191.14/152.78	c (0,0) Read Serial File End
191.14/152.80	
191.14/152.80	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
191.14/152.80	(Solving Process)
191.14/152.80	
191.14/152.82	c BEGIN-Prog: Sat Sep 14 07:32:32 CEST 2019
191.14/152.82	c PID: 650
191.14/152.82	c IP: 172.20.3.137
191.14/152.82	c HOST: node137.alineos.net
191.14/152.82	c (0,0) SatSolver.solve Begin
191.14/152.82	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392358-1568439041.xml-scop-602.cnf
191.14/152.85	c (0,0) c
191.14/152.85	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)
191.14/152.85	c (0,0) c
191.14/152.85	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
191.14/152.85	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
191.14/152.85	c (0,0) c ========================================[ Problem Statistics ]===========================================
191.14/152.85	c (0,0) c |                                                                                                       |
191.14/152.99	c (0,0) c |  Number of variables:         13565                                                                   |
191.14/152.99	c (0,0) c |  Number of clauses:          159207                                                                   |
191.14/152.99	c (0,0) c |  Parse time:                   0.14 s                                                                 |
191.14/152.99	c (0,0) c |                                                                                                       |
195.23/155.77	c (3,0) c |  Simplification time:          2.78 s                                                                 |
195.23/155.77	c (3,0) c |                                                                                                       |
195.23/155.77	c (3,0) c |  Generating clones                                                                                    |
195.32/155.83	c (3,0) c |  all clones generated. Memory =   128.07Mb.                                                           |
195.32/155.83	c (3,0) c ========================================================================================================|
195.32/155.83	c (3,0) c
195.32/155.83	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
195.32/155.83	c (3,0) c
195.32/155.83	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.32/155.83	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
195.32/155.83	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
195.32/155.83	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
195.32/155.83	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
195.32/155.83	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
195.32/155.83	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
195.32/155.83	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
195.32/155.83	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
195.32/155.83	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
195.32/155.83	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
195.32/155.83	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
195.32/155.83	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
195.32/155.83	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
195.32/155.83	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
195.32/155.83	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
195.32/155.83	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
195.32/155.83	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
195.32/155.83	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c real time : 13.975 s
280.24/166.82	c (14,0) c cpu time  : 87.2937 s
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c | Conflicts     |          436095 |      54206 |      56067 |      53036 |      53286 |      54234 |      54799 |      56398 |      54069 |
280.24/166.82	c (14,0) c | Decisions     |         1641393 |     205919 |     190676 |     193499 |     219592 |     210832 |     200562 |     206578 |     213735 |
280.24/166.82	c (14,0) c | Propagations  |       195848386 |   24029991 |   26082779 |   24339290 |   23780274 |   24340313 |   23659011 |   25590041 |   24026687 |
280.24/166.82	c (14,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
280.24/166.82	c (14,0) c | SimpDBs       |             155 |         20 |         20 |         19 |         18 |         19 |         19 |         21 |         19 |
280.24/166.82	c (14,0) c | Restarts      |            2438 |        301 |        251 |        258 |        371 |        332 |        291 |        303 |        331 |
280.24/166.82	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
280.24/166.82	c (14,0) c | PropBinClauses|       378608568 |   44595294 |   52118198 |   47520730 |   45815726 |   47364848 |   46718918 |   49527163 |   44947691 |
280.24/166.82	c (14,0) c | PropPreBlocker|      1467584457 |  186129831 |  193448538 |  181984939 |  174304337 |  176461966 |  181810096 |  190588138 |  182856612 |
280.24/166.82	c (14,0) c | PropNotBlocker|       441847946 |   53482676 |   59682401 |   53957272 |   53737205 |   56185279 |   54478527 |   56628253 |   53696333 |
280.24/166.82	c (14,0) c | LitFullScans  |      6930821062 |  853507854 |  855299522 |  885294616 |  901462595 |  858274933 |  866880334 |  856961193 |  853140015 |
280.24/166.82	c (14,0) c | LitScanFracts |        24908819 |    1382865 |    3176744 |   10787947 |    2967068 |    1542967 |    2762421 |    1281946 |    1006861 |
280.24/166.82	c (14,0) c | DecisionLevel0|            2884 |        368 |        302 |        304 |        441 |        382 |        363 |        350 |        374 |
280.24/166.82	c (14,0) c | Periods       |            1148 |        142 |        142 |        145 |        149 |        142 |        144 |        142 |        142 |
280.24/166.82	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
280.24/166.82	c (14,0) c | Avg_Trail     |                 |       7665 |       7572 |       7451 |       7476 |       7823 |       7436 |       7407 |       7541 |
280.24/166.82	c (14,0) c | Avg_DL        |                 |         46 |         43 |         51 |         56 |         49 |         44 |         51 |         54 |
280.24/166.82	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
280.24/166.82	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c | Exported      |           82357 |      10587 |      10595 |       9952 |      10266 |       9353 |      10417 |      10975 |      10212 |
280.24/166.82	c (14,0) c | Imported      |          521148 |      64208 |      64196 |      66293 |      66965 |      65981 |      64517 |      64370 |      64618 |
280.24/166.82	c (14,0) c | Good          |           70295 |       8628 |       8894 |       8943 |       8707 |       8952 |       8933 |       8610 |       8628 |
280.24/166.82	c (14,0) c | Purge         |          450853 |      55580 |      55302 |      57350 |      58258 |      57029 |      55584 |      55760 |      55990 |
280.24/166.82	c (14,0) c | Promoted      |           31648 |       3715 |       4033 |       3998 |       4090 |       4475 |       4043 |       3720 |       3574 |
280.24/166.82	c (14,0) c | Remove_Imp    |          280134 |      33699 |      33218 |      37750 |      38430 |      35928 |      34575 |      31586 |      34948 |
280.24/166.82	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c | Unaries       |                 |         67 |         51 |         46 |         70 |         50 |         72 |         47 |         43 |
280.24/166.82	c (14,0) c | Binaries      |                 |       1421 |       1155 |       1119 |       1384 |       1109 |       1118 |       1454 |       1423 |
280.24/166.82	c (14,0) c | Glues         |                 |       2214 |       1921 |       1891 |       2127 |       1953 |       1882 |       2181 |       2089 |
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c | Orig_Seen     |            47 % |      60598 |      59340 |      61064 |      63562 |      64516 |      59074 |      60494 |      61421 |
280.24/166.82	c (14,0) c | Diff Orig seen|                 | -     3918 | -     5176 | -     3452 | -      954 |      X     | -     5442 | -     4022 | -     3095 |
280.24/166.82	c (14,0) c | Hamming       |             6 % |        750 |        680 |        684 |       1256 |      X     |        845 |        708 |       1018 |
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c | RunningTime   |                 |   10.7 100%|   11.0 100%|   10.5 100%|   10.6 100%|   10.5 100%|   10.6 100%|   10.5 100%|   10.8 100%|
280.24/166.82	c (14,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%|
280.24/166.82	c (14,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%|
280.24/166.82	c (14,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%|
280.24/166.82	c (14,0) c | SolvingTime   |                 |   10.7     |   11.0     |   10.6     |   10.6     |   10.6     |   10.6     |   10.6     |   10.8     |
280.24/166.82	c (14,0) c | PropagationTim|                 |    7.1  66%|    7.3  67%|    7.0  66%|    6.7  63%|    6.9  65%|    6.7  63%|    7.0  66%|    7.0  65%|
280.24/166.82	c (14,0) c | AnalysisTime  |                 |    3.1  29%|    3.0  28%|    3.0  28%|    3.3  31%|    3.1  29%|    3.3  31%|    3.0  28%|    3.2  30%|
280.24/166.82	c (14,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
280.24/166.82	c (14,0) c | SimplifyTime  |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
280.24/166.82	c (14,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%|
280.24/166.82	c (14,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%|
280.24/166.82	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c
280.24/166.82	c (14,0) c Threads : 8
280.24/166.82	c (14,0) c Winner : 4
280.24/166.82	c (14,0) c Conflicts_0 : 54206
280.24/166.82	c (14,0) c Conflicts_1 : 56067
280.24/166.82	c (14,0) c Conflicts_2 : 53036
280.24/166.82	c (14,0) c Conflicts_3 : 53286
280.24/166.82	c (14,0) c Conflicts_4 : 54234
280.24/166.82	c (14,0) c Conflicts_5 : 54799
280.24/166.82	c (14,0) c Conflicts_6 : 56398
280.24/166.82	c (14,0) c Conflicts_7 : 54069
280.24/166.82	c (14,0) c Conflicts_total : 436095
280.24/166.82	c (14,0) c Conflicts_winner : 54234
280.24/166.82	c (14,0) c Decisions_0 : 205919
280.24/166.82	c (14,0) c Decisions_1 : 190676
280.24/166.82	c (14,0) c Decisions_2 : 193499
280.24/166.82	c (14,0) c Decisions_3 : 219592
280.24/166.82	c (14,0) c Decisions_4 : 210832
280.24/166.82	c (14,0) c Decisions_5 : 200562
280.24/166.82	c (14,0) c Decisions_6 : 206578
280.24/166.82	c (14,0) c Decisions_7 : 213735
280.24/166.82	c (14,0) c Decisions_total : 1641393
280.24/166.82	c (14,0) c Decisions_winner : 210832
280.24/166.82	c (14,0) c Propagations_0 : 24029991
280.24/166.82	c (14,0) c Propagations_1 : 26082779
280.24/166.82	c (14,0) c Propagations_2 : 24339290
280.24/166.82	c (14,0) c Propagations_3 : 23780274
280.24/166.82	c (14,0) c Propagations_4 : 24340313
280.24/166.82	c (14,0) c Propagations_5 : 23659011
280.24/166.83	c (14,0) c Propagations_6 : 25590041
280.24/166.83	c (14,0) c Propagations_7 : 24026687
280.24/166.83	c (14,0) c Propagations_total : 195848386
280.24/166.83	c (14,0) c Propagations_winner : 24340313
280.24/166.83	c (14,0) c ReduceDBs_0 : 6
280.24/166.83	c (14,0) c ReduceDBs_1 : 6
280.24/166.83	c (14,0) c ReduceDBs_2 : 6
280.24/166.83	c (14,0) c ReduceDBs_3 : 6
280.24/166.83	c (14,0) c ReduceDBs_4 : 6
280.24/166.83	c (14,0) c ReduceDBs_5 : 6
280.24/166.83	c (14,0) c ReduceDBs_6 : 6
280.24/166.83	c (14,0) c ReduceDBs_7 : 6
280.24/166.83	c (14,0) c ReduceDBs_total : 48
280.24/166.83	c (14,0) c ReduceDBs_winner : 6
280.24/166.83	c (14,0) c SimpDBs_0 : 20
280.24/166.83	c (14,0) c SimpDBs_1 : 20
280.24/166.83	c (14,0) c SimpDBs_2 : 19
280.24/166.83	c (14,0) c SimpDBs_3 : 18
280.24/166.83	c (14,0) c SimpDBs_4 : 19
280.24/166.83	c (14,0) c SimpDBs_5 : 19
280.24/166.83	c (14,0) c SimpDBs_6 : 21
280.24/166.83	c (14,0) c SimpDBs_7 : 19
280.24/166.83	c (14,0) c SimpDBs_total : 155
280.24/166.83	c (14,0) c SimpDBs_winner : 19
280.24/166.83	c (14,0) c Restarts_0 : 301
280.24/166.83	c (14,0) c Restarts_1 : 251
280.24/166.83	c (14,0) c Restarts_2 : 258
280.24/166.83	c (14,0) c Restarts_3 : 371
280.24/166.83	c (14,0) c Restarts_4 : 332
280.24/166.83	c (14,0) c Restarts_5 : 291
280.24/166.83	c (14,0) c Restarts_6 : 303
280.24/166.83	c (14,0) c Restarts_7 : 331
280.24/166.83	c (14,0) c Restarts_total : 2438
280.24/166.83	c (14,0) c Restarts_winner : 332
280.24/166.83	c (14,0) c ForcedImports_0 : 0
280.24/166.83	c (14,0) c ForcedImports_1 : 0
280.24/166.83	c (14,0) c ForcedImports_2 : 0
280.24/166.83	c (14,0) c ForcedImports_3 : 0
280.24/166.83	c (14,0) c ForcedImports_4 : 0
280.24/166.83	c (14,0) c ForcedImports_5 : 0
280.24/166.83	c (14,0) c ForcedImports_6 : 0
280.24/166.83	c (14,0) c ForcedImports_7 : 0
280.24/166.83	c (14,0) c ForcedImports_total : 0
280.24/166.83	c (14,0) c ForcedImports_winner : 0
280.24/166.83	c (14,0) c PropsBinClauses_0 : 44595294
280.24/166.83	c (14,0) c PropsBinClauses_1 : 52118198
280.24/166.83	c (14,0) c PropsBinClauses_2 : 47520730
280.24/166.83	c (14,0) c PropsBinClauses_3 : 45815726
280.24/166.83	c (14,0) c PropsBinClauses_4 : 47364848
280.24/166.83	c (14,0) c PropsBinClauses_5 : 46718918
280.24/166.83	c (14,0) c PropsBinClauses_6 : 49527163
280.24/166.83	c (14,0) c PropsBinClauses_7 : 44947691
280.24/166.83	c (14,0) c PropsBinClauses_total : 378608568
280.24/166.83	c (14,0) c PropsBinClauses_winner : 47364848
280.24/166.83	c (14,0) c PropsPreBlocker_0 : 186129831
280.24/166.83	c (14,0) c PropsPreBlocker_1 : 193448538
280.24/166.83	c (14,0) c PropsPreBlocker_2 : 181984939
280.24/166.83	c (14,0) c PropsPreBlocker_3 : 174304337
280.24/166.83	c (14,0) c PropsPreBlocker_4 : 176461966
280.24/166.83	c (14,0) c PropsPreBlocker_5 : 181810096
280.24/166.83	c (14,0) c PropsPreBlocker_6 : 190588138
280.24/166.83	c (14,0) c PropsPreBlocker_7 : 182856612
280.24/166.83	c (14,0) c PropsPreBlocker_total : 1467584457
280.24/166.83	c (14,0) c PropsPreBlocker_winner : 176461966
280.24/166.83	c (14,0) c PropsNotBlocker_0 : 53482676
280.24/166.83	c (14,0) c PropsNotBlocker_1 : 59682401
280.24/166.83	c (14,0) c PropsNotBlocker_2 : 53957272
280.24/166.83	c (14,0) c PropsNotBlocker_3 : 53737205
280.24/166.83	c (14,0) c PropsNotBlocker_4 : 56185279
280.24/166.83	c (14,0) c PropsNotBlocker_5 : 54478527
280.24/166.83	c (14,0) c PropsNotBlocker_6 : 56628253
280.24/166.83	c (14,0) c PropsNotBlocker_7 : 53696333
280.24/166.83	c (14,0) c PropsNotBlocker_total : 441847946
280.24/166.83	c (14,0) c PropsNotBlocker_winner : 56185279
280.24/166.83	c (14,0) c PropsLitFullScans_0 : 853507854
280.24/166.83	c (14,0) c PropsLitFullScans_1 : 855299522
280.24/166.83	c (14,0) c PropsLitFullScans_2 : 885294616
280.24/166.83	c (14,0) c PropsLitFullScans_3 : 901462595
280.24/166.83	c (14,0) c PropsLitFullScans_4 : 858274933
280.24/166.83	c (14,0) c PropsLitFullScans_5 : 866880334
280.24/166.83	c (14,0) c PropsLitFullScans_6 : 856961193
280.24/166.83	c (14,0) c PropsLitFullScans_7 : 853140015
280.24/166.83	c (14,0) c PropsLitFullScans_total : 6930821062
280.24/166.83	c (14,0) c PropsLitFullScans_winner : 858274933
280.24/166.83	c (14,0) c LitScanFractions_0 : 1382865
280.24/166.83	c (14,0) c LitScanFractions_1 : 3176744
280.24/166.83	c (14,0) c LitScanFractions_2 : 10787947
280.24/166.83	c (14,0) c LitScanFractions_3 : 2967068
280.24/166.83	c (14,0) c LitScanFractions_4 : 1542967
280.24/166.83	c (14,0) c LitScanFractions_5 : 2762421
280.24/166.83	c (14,0) c LitScanFractions_6 : 1281946
280.24/166.83	c (14,0) c LitScanFractions_7 : 1006861
280.24/166.83	c (14,0) c LitScanFractions_total : 24908819
280.24/166.83	c (14,0) c LitScanFractions_winner : 1542967
280.24/166.83	c (14,0) c DecisionLevel0_0 : 368
280.24/166.83	c (14,0) c DecisionLevel0_1 : 302
280.24/166.83	c (14,0) c DecisionLevel0_2 : 304
280.24/166.83	c (14,0) c DecisionLevel0_3 : 441
280.24/166.83	c (14,0) c DecisionLevel0_4 : 382
280.24/166.83	c (14,0) c DecisionLevel0_5 : 363
280.24/166.83	c (14,0) c DecisionLevel0_6 : 350
280.24/166.83	c (14,0) c DecisionLevel0_7 : 374
280.24/166.83	c (14,0) c DecisionLevel0_total : 2884
280.24/166.83	c (14,0) c DecisionLevel0_winner : 382
280.24/166.83	c (14,0) c Periods_0 : 142
280.24/166.83	c (14,0) c Periods_1 : 142
280.24/166.83	c (14,0) c Periods_2 : 145
280.24/166.83	c (14,0) c Periods_3 : 149
280.24/166.83	c (14,0) c Periods_4 : 142
280.24/166.83	c (14,0) c Periods_5 : 144
280.24/166.83	c (14,0) c Periods_6 : 142
280.24/166.83	c (14,0) c Periods_7 : 142
280.24/166.83	c (14,0) c Periods_total : 1148
280.24/166.83	c (14,0) c Periods_winner : 142
280.24/166.83	c (14,0) c Margin_0 : 20
280.24/166.83	c (14,0) c Margin_1 : 20
280.24/166.83	c (14,0) c Margin_2 : 20
280.24/166.83	c (14,0) c Margin_3 : 20
280.24/166.83	c (14,0) c Margin_4 : 20
280.24/166.83	c (14,0) c Margin_5 : 20
280.24/166.83	c (14,0) c Margin_6 : 20
280.24/166.83	c (14,0) c Margin_7 : 20
280.24/166.83	c (14,0) c Margin_total : 160
280.24/166.83	c (14,0) c Margin_winner : 20
280.24/166.83	c (14,0) c Exported_0 : 10587
280.24/166.83	c (14,0) c Exported_1 : 10595
280.24/166.83	c (14,0) c Exported_2 : 9952
280.24/166.83	c (14,0) c Exported_3 : 10266
280.24/166.83	c (14,0) c Exported_4 : 9353
280.24/166.83	c (14,0) c Exported_5 : 10417
280.24/166.83	c (14,0) c Exported_6 : 10975
280.24/166.83	c (14,0) c Exported_7 : 10212
280.24/166.83	c (14,0) c Exported_total : 82357
280.24/166.83	c (14,0) c Exported_winner : 9353
280.24/166.83	c (14,0) c Imported_0 : 64208
280.24/166.83	c (14,0) c Imported_1 : 64196
280.24/166.83	c (14,0) c Imported_2 : 66293
280.24/166.83	c (14,0) c Imported_3 : 66965
280.24/166.83	c (14,0) c Imported_4 : 65981
280.24/166.83	c (14,0) c Imported_5 : 64517
280.24/166.83	c (14,0) c Imported_6 : 64370
280.24/166.83	c (14,0) c Imported_7 : 64618
280.24/166.83	c (14,0) c Imported_total : 521148
280.24/166.83	c (14,0) c Imported_winner : 65981
280.24/166.83	c (14,0) c Good_0 : 8628
280.24/166.83	c (14,0) c Good_1 : 8894
280.24/166.83	c (14,0) c Good_2 : 8943
280.24/166.83	c (14,0) c Good_3 : 8707
280.24/166.83	c (14,0) c Good_4 : 8952
280.24/166.83	c (14,0) c Good_5 : 8933
280.24/166.83	c (14,0) c Good_6 : 8610
280.24/166.83	c (14,0) c Good_7 : 8628
280.24/166.83	c (14,0) c Good_total : 70295
280.24/166.83	c (14,0) c Good_winner : 8952
280.24/166.83	c (14,0) c Purge_0 : 55580
280.24/166.83	c (14,0) c Purge_1 : 55302
280.24/166.83	c (14,0) c Purge_2 : 57350
280.24/166.83	c (14,0) c Purge_3 : 58258
280.24/166.83	c (14,0) c Purge_4 : 57029
280.24/166.83	c (14,0) c Purge_5 : 55584
280.24/166.83	c (14,0) c Purge_6 : 55760
280.24/166.83	c (14,0) c Purge_7 : 55990
280.24/166.83	c (14,0) c Purge_total : 450853
280.24/166.83	c (14,0) c Purge_winner : 57029
280.24/166.83	c (14,0) c Promoted_0 : 3715
280.24/166.83	c (14,0) c Promoted_1 : 4033
280.24/166.83	c (14,0) c Promoted_2 : 3998
280.24/166.83	c (14,0) c Promoted_3 : 4090
280.24/166.83	c (14,0) c Promoted_4 : 4475
280.24/166.83	c (14,0) c Promoted_5 : 4043
280.24/166.83	c (14,0) c Promoted_6 : 3720
280.24/166.83	c (14,0) c Promoted_7 : 3574
280.24/166.83	c (14,0) c Promoted_total : 31648
280.24/166.83	c (14,0) c Promoted_winner : 4475
280.24/166.83	c (14,0) c Remove_Imp_0 : 33699
280.24/166.83	c (14,0) c Remove_Imp_1 : 33218
280.24/166.83	c (14,0) c Remove_Imp_2 : 37750
280.24/166.83	c (14,0) c Remove_Imp_3 : 38430
280.24/166.83	c (14,0) c Remove_Imp_4 : 35928
280.24/166.83	c (14,0) c Remove_Imp_5 : 34575
280.24/166.83	c (14,0) c Remove_Imp_6 : 31586
280.24/166.83	c (14,0) c Remove_Imp_7 : 34948
280.24/166.83	c (14,0) c Remove_Imp_total : 280134
280.24/166.83	c (14,0) c Remove_Imp_winner : 35928
280.24/166.83	c (14,0) c Blocked_Reuse_0 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_1 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_2 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_3 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_4 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_5 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_6 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_7 : 0
280.24/166.83	c (14,0) c Blocked_Reuse_total : 0
280.24/166.83	c (14,0) c Blocked_Reuse_winner : 0
280.24/166.83	c (14,0) c Unaries_0 : 67
280.24/166.84	c (14,0) c Unaries_1 : 51
280.24/166.84	c (14,0) c Unaries_2 : 46
280.24/166.84	c (14,0) c Unaries_3 : 70
280.24/166.84	c (14,0) c Unaries_4 : 50
280.24/166.84	c (14,0) c Unaries_5 : 72
280.24/166.84	c (14,0) c Unaries_6 : 47
280.24/166.84	c (14,0) c Unaries_7 : 43
280.24/166.84	c (14,0) c Unaries_total : 446
280.24/166.84	c (14,0) c Unaries_winner : 50
280.24/166.84	c (14,0) c Binaries_0 : 1421
280.24/166.84	c (14,0) c Binaries_1 : 1155
280.24/166.84	c (14,0) c Binaries_2 : 1119
280.24/166.84	c (14,0) c Binaries_3 : 1384
280.24/166.84	c (14,0) c Binaries_4 : 1109
280.24/166.84	c (14,0) c Binaries_5 : 1118
280.24/166.84	c (14,0) c Binaries_6 : 1454
280.24/166.84	c (14,0) c Binaries_7 : 1423
280.24/166.84	c (14,0) c Binaries_total : 10183
280.24/166.84	c (14,0) c Binaries_winner : 1109
280.24/166.84	c (14,0) c Glues_0 : 2214
280.24/166.84	c (14,0) c Glues_1 : 1921
280.24/166.84	c (14,0) c Glues_2 : 1891
280.24/166.84	c (14,0) c Glues_3 : 2127
280.24/166.84	c (14,0) c Glues_4 : 1953
280.24/166.84	c (14,0) c Glues_5 : 1882
280.24/166.84	c (14,0) c Glues_6 : 2181
280.24/166.84	c (14,0) c Glues_7 : 2089
280.24/166.84	c (14,0) c Glues_total : 16258
280.24/166.84	c (14,0) c Glues_winner : 1953
280.24/166.84	c (14,0) c RunningTime_0 : 10.714505
280.24/166.84	c (14,0) c RunningTime_1 : 10.956417
280.24/166.84	c (14,0) c RunningTime_2 : 10.534235
280.24/166.84	c (14,0) c RunningTime_3 : 10.553651
280.24/166.84	c (14,0) c RunningTime_4 : 10.536472
280.24/166.84	c (14,0) c RunningTime_5 : 10.595483
280.24/166.84	c (14,0) c RunningTime_6 : 10.542186
280.24/166.84	c (14,0) c RunningTime_7 : 10.799924
280.24/166.84	c (14,0) c RunningTime_total : 85.232874
280.24/166.84	c (14,0) c RunningTime_winner : 10.536472
280.24/166.84	c (14,0) c WaitingTime_0 : 0.000147
280.24/166.84	c (14,0) c WaitingTime_1 : 0.000185
280.24/166.84	c (14,0) c WaitingTime_2 : 0.000182
280.24/166.84	c (14,0) c WaitingTime_3 : 0.000196
280.24/166.84	c (14,0) c WaitingTime_4 : 0.000193
280.24/166.84	c (14,0) c WaitingTime_5 : 0.000184
280.24/166.84	c (14,0) c WaitingTime_6 : 0.000187
280.24/166.84	c (14,0) c WaitingTime_7 : 0.000145
280.24/166.84	c (14,0) c WaitingTime_total : 0.001419
280.24/166.84	c (14,0) c WaitingTime_winner : 0.000193
280.24/166.84	c (14,0) c ExchangingTime_0 : 0.025852
280.24/166.84	c (14,0) c ExchangingTime_1 : 0.024931
280.24/166.84	c (14,0) c ExchangingTime_2 : 0.030023
280.24/166.84	c (14,0) c ExchangingTime_3 : 0.029320
280.24/166.84	c (14,0) c ExchangingTime_4 : 0.026419
280.24/166.84	c (14,0) c ExchangingTime_5 : 0.025219
280.24/166.84	c (14,0) c ExchangingTime_6 : 0.029789
280.24/166.84	c (14,0) c ExchangingTime_7 : 0.032939
280.24/166.84	c (14,0) c ExchangingTime_total : 0.224492
280.24/166.84	c (14,0) c ExchangingTime_winner : 0.026419
280.24/166.84	c (14,0) c PeriodProcTime_0 : 0.000978
280.24/166.84	c (14,0) c PeriodProcTime_1 : 0.001106
280.24/166.84	c (14,0) c PeriodProcTime_2 : 0.000906
280.24/166.84	c (14,0) c PeriodProcTime_3 : 0.000940
280.24/166.84	c (14,0) c PeriodProcTime_4 : 0.001078
280.24/166.84	c (14,0) c PeriodProcTime_5 : 0.000913
280.24/166.84	c (14,0) c PeriodProcTime_6 : 0.001038
280.24/166.84	c (14,0) c PeriodProcTime_7 : 0.001234
280.24/166.84	c (14,0) c PeriodProcTime_total : 0.008193
280.24/166.84	c (14,0) c PeriodProcTime_winner : 0.001078
280.24/166.84	c (14,0) c SolvingTime_0 : 10.741482
280.24/166.84	c (14,0) c SolvingTime_1 : 10.982640
280.24/166.84	c (14,0) c SolvingTime_2 : 10.565346
280.24/166.84	c (14,0) c SolvingTime_3 : 10.584107
280.24/166.84	c (14,0) c SolvingTime_4 : 10.564162
280.24/166.84	c (14,0) c SolvingTime_5 : 10.621799
280.24/166.84	c (14,0) c SolvingTime_6 : 10.573200
280.24/166.84	c (14,0) c SolvingTime_7 : 10.834242
280.24/166.84	c (14,0) c SolvingTime_total : 85.466979
280.24/166.84	c (14,0) c SolvingTime_winner : 10.564162
280.24/166.84	c (14,0) c PropagationTime_0 : 7.060241
280.24/166.84	c (14,0) c PropagationTime_1 : 7.342759
280.24/166.84	c (14,0) c PropagationTime_2 : 7.001667
280.24/166.84	c (14,0) c PropagationTime_3 : 6.707978
280.24/166.84	c (14,0) c PropagationTime_4 : 6.894580
280.24/166.84	c (14,0) c PropagationTime_5 : 6.736269
280.24/166.84	c (14,0) c PropagationTime_6 : 6.980311
280.24/166.84	c (14,0) c PropagationTime_7 : 6.988406
280.24/166.84	c (14,0) c PropagationTime_total : 55.712211
280.24/166.84	c (14,0) c PropagationTime_winner : 6.894580
280.24/166.84	c (14,0) c AnalysisTime_0 : 3.088675
280.24/166.84	c (14,0) c AnalysisTime_1 : 3.042791
280.24/166.84	c (14,0) c AnalysisTime_2 : 2.976881
280.24/166.84	c (14,0) c AnalysisTime_3 : 3.271781
280.24/166.84	c (14,0) c AnalysisTime_4 : 3.052568
280.24/166.84	c (14,0) c AnalysisTime_5 : 3.311687
280.24/166.84	c (14,0) c AnalysisTime_6 : 2.979702
280.24/166.84	c (14,0) c AnalysisTime_7 : 3.223356
280.24/166.84	c (14,0) c AnalysisTime_total : 24.947441
280.24/166.84	c (14,0) c AnalysisTime_winner : 3.052568
280.24/166.84	c (14,0) c ReductionTime_0 : 0.101284
280.24/166.84	c (14,0) c ReductionTime_1 : 0.109621
280.24/166.84	c (14,0) c ReductionTime_2 : 0.107213
280.24/166.84	c (14,0) c ReductionTime_3 : 0.107299
280.24/166.84	c (14,0) c ReductionTime_4 : 0.108665
280.24/166.84	c (14,0) c ReductionTime_5 : 0.106652
280.24/166.84	c (14,0) c ReductionTime_6 : 0.110476
280.24/166.84	c (14,0) c ReductionTime_7 : 0.121236
280.24/166.84	c (14,0) c ReductionTime_total : 0.872446
280.24/166.84	c (14,0) c ReductionTime_winner : 0.108665
280.24/166.84	c (14,0) c SimplifyTime_0 : 0.100888
280.24/166.84	c (14,0) c SimplifyTime_1 : 0.105404
280.24/166.84	c (14,0) c SimplifyTime_2 : 0.103703
280.24/166.84	c (14,0) c SimplifyTime_3 : 0.098560
280.24/166.84	c (14,0) c SimplifyTime_4 : 0.104839
280.24/166.84	c (14,0) c SimplifyTime_5 : 0.102154
280.24/166.84	c (14,0) c SimplifyTime_6 : 0.114410
280.24/166.84	c (14,0) c SimplifyTime_7 : 0.104815
280.24/166.84	c (14,0) c SimplifyTime_total : 0.834772
280.24/166.84	c (14,0) c SimplifyTime_winner : 0.104839
280.24/166.84	c (14,0) c UsedRateTime_0 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_1 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_2 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_3 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_4 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_5 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_6 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_7 : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_total : 0.000000
280.24/166.84	c (14,0) c UsedRateTime_winner : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_0 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_1 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_2 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_3 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_4 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_5 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_6 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_7 : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_total : 0.000000
280.24/166.84	c (14,0) c OverlapRateTime_winner : 0.000000
280.24/166.84	c (14,0) c
280.24/166.84	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
280.24/166.84	c (14,0) c
280.24/166.84	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.84	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
280.24/166.84	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.84	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
280.24/166.84	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
280.24/166.84	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
280.24/166.84	c (14,0) c | Initial random_seed   | 1854694466 | 1131072333 | 2104006551 |  939959138 |   19433003 |  574231207 | 2070498575 |   40500316 |
280.24/166.84	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
280.24/166.84	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
280.24/166.84	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
280.24/166.84	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
280.24/166.84	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
280.24/166.84	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
280.24/166.84	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
280.24/166.84	c (14,0) c | var_decay             |     0.9000 |     0.9100 |     0.9000 |     0.9000 |     0.9000 |     0.9000 |     0.9100 |     0.9000 |
280.24/166.84	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
280.24/166.84	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
280.24/166.84	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
280.24/166.84	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
280.24/166.84	c (14,0) 
280.24/166.84	c (14,0) s SATISFIABLE
280.24/166.87	c (14,0) SatSolver.solve End
280.24/166.87	c (14,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
280.24/166.87	c (14,0) Show results Begin
280.50/166.97	c (14,0) w3 = 180
280.50/166.97	c (14,0) w4 = 0
280.50/166.97	c (14,0) x[0] = 12
280.50/166.97	c (14,0) x[1] = 23
280.50/166.97	c (14,0) x[2] = 24
280.50/166.97	c (14,0) x[3] = 10
280.50/166.97	c (14,0) x[4] = 3
280.50/166.97	c (14,0) x[5] = 15
280.50/166.97	c (14,0) x[6] = 8
280.50/166.97	c (14,0) x[7] = 14
280.50/166.97	c (14,0) x[8] = 7
280.50/166.97	c (14,0) x[9] = 4
280.50/166.97	c (14,0) x[10] = 1
280.50/166.97	c (14,0) x[11] = 21
280.50/166.97	c (14,0) x[12] = 25
280.50/166.97	c (14,0) x[13] = 13
280.50/166.97	c (14,0) x[14] = 19
280.50/166.97	c (14,0) x[15] = 22
280.50/166.97	c (14,0) x[16] = 9
280.50/166.97	c (14,0) x[17] = 20
280.50/166.97	c (14,0) x[18] = 5
280.50/166.97	c (14,0) x[19] = 2
280.50/166.97	c (14,0) x[20] = 11
280.50/166.97	c (14,0) x[21] = 6
280.50/166.97	c (14,0) x[22] = 17
280.50/166.97	c (14,0) x[23] = 16
280.50/166.97	c (14,0) x[24] = 18
280.50/166.97	c (14,0) y[0] = 4
280.50/166.97	c (14,0) y[1] = 8
280.50/166.97	c (14,0) y[2] = 21
280.50/166.97	c (14,0) y[3] = 8
280.50/166.97	c (14,0) y[4] = 18
280.50/166.97	c (14,0) y[5] = 19
280.50/166.97	c (14,0) y[6] = 16
280.50/166.97	c (14,0) y[7] = 0
280.50/166.97	c (14,0) y[8] = 8
280.50/166.97	c (14,0) y[9] = 2
280.50/166.97	c (14,0) y[10] = 3
280.50/166.97	c (14,0) y[11] = 9
280.50/166.97	c (14,0) y[12] = 1
280.50/166.97	c (14,0) y[13] = 10
280.50/166.97	c (14,0) y[14] = 8
280.50/166.97	c (14,0) y[15] = 0
280.50/166.97	c (14,0) y[16] = 5
280.50/166.97	c (14,0) y[17] = 1
280.50/166.97	c (14,0) y[18] = 20
280.50/166.97	c (14,0) y[19] = 1
280.50/166.97	c (14,0) y[20] = 0
280.50/166.97	c (14,0) y[21] = 6
280.50/166.97	c (14,0) y[22] = 6
280.50/166.97	c (14,0) y[23] = 5
280.50/166.97	c (14,0) y[24] = 1
280.50/166.97	c (14,0) z[0] = 12
280.50/166.97	c (14,0) z[1] = 33
280.50/166.97	c (14,0) z[2] = 41
280.50/166.97	c (14,0) z[3] = 59
280.50/166.97	c (14,0) z[4] = 78
280.50/166.97	c (14,0) z[5] = 94
280.50/166.97	c (14,0) z[6] = 94
280.50/166.97	c (14,0) z[7] = 102
280.50/166.97	c (14,0) z[8] = 104
280.50/166.97	c (14,0) z[9] = 107
280.50/166.97	c (14,0) z[10] = 116
280.50/166.97	c (14,0) z[11] = 117
280.50/166.97	c (14,0) z[12] = 127
280.50/166.97	c (14,0) z[13] = 135
280.50/166.97	c (14,0) z[14] = 135
280.50/166.97	c (14,0) z[15] = 140
280.50/166.97	c (14,0) z[16] = 141
280.50/166.97	c (14,0) z[17] = 161
280.50/166.97	c (14,0) z[18] = 162
280.50/166.97	c (14,0) z[19] = 162
280.50/166.97	c (14,0) z[20] = 168
280.50/166.97	c (14,0) z[21] = 174
280.50/166.97	c (14,0) z[22] = 179
280.50/166.97	c (14,0) z[23] = 180
280.50/166.97	s SATISFIABLE
280.50/166.97	v <instantiation>
280.50/166.97	v     <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] z[19] z[20] z[21] z[22] z[23]</list>
280.50/166.97	v     <values>180 0 12 23 24 10 3 15 8 14 7 4 1 21 25 13 19 22 9 20 5 2 11 6 17 16 18 4 8 21 8 18 19 16 0 8 2 3 9 1 10 8 0 5 1 20 1 0 6 6 5 1 12 33 41 59 78 94 94 102 104 107 116 117 127 135 135 140 141 161 162 162 168 174 179 180</values>
280.50/166.97	v </instantiation>
280.50/166.97	c (14,0) Show results End
280.50/166.97	c (14,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
280.50/166.97	c (14,0) 14,14,STOP-AFTER(ALL)
280.50/166.97	c END-Prog: Sat Sep 14 07:32:46 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 (14853 MiB free)
  memory of node 1: 16384 MiB (15032 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100161 s]*
/proc/loadavg: 7.14 7.27 7.66 2/211 630
/proc/meminfo: memFree=30507764/32770624 swapFree=66927260/67108860
[pid=594] ppid=591 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/594/stat : 594 (scop.sh) S 591 594 31706 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420151503 115843072 349 33554432000 4194304 5098028 140725497058768 140725497056024 140497047040636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25071616 140725497066277 140725497066604 140725497066604 140725497069517 0
/proc/594/statm: 28282 349 296 221 0 87 0
[pid=602] ppid=594 vsize=27314120 memory=107436 CPUtime=0.1 cores=0-7
/proc/602/stat : 602 (java) S 594 594 31706 0 -1 1077944320 6436 0 0 0 8 2 0 0 20 0 20 0 420151503 27969658880 26859 33554432000 4194304 4196468 140730325765808 140730325748352 140696676347639 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
/proc/602/statm: 6828530 26859 2758 1 0 6790935 0
[pid=602/tid=603] ppid=594 vsize=27314120 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/602/task/603/stat : 603 (java) R 594 594 31706 0 -1 4202560 4588 0 0 0 7 2 0 0 20 0 20 0 420151504 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696648170688 140696660428126 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=605] ppid=594 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/602/task/605/stat : 605 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696680590224 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=606] ppid=594 vsize=27314120 memory=140117771270361 CPUtime=0 cores=0-7
/proc/602/task/606/stat : 606 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696494746384 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=607] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/607/stat : 607 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696493694096 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=608] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/608/stat : 608 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696492641296 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=609] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/609/stat : 609 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696491587984 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=610] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/610/stat : 610 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696490535184 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=617] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/617/stat : 617 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696489482896 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=618] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/618/stat : 618 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 26924 33554432000 4194304 4196468 140730325765808 140696488430096 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=619] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/619/stat : 619 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694928697968 140696676358786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=620] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/620/stat : 620 (java) S 594 594 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694605784352 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=621] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/621/stat : 621 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694337349232 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=623] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/623/stat : 623 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140693962840656 140696676366235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=624] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/624/stat : 624 (java) S 594 594 31706 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694927644784 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=625] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/625/stat : 625 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694926591984 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=626] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/626/stat : 626 (java) S 594 594 31706 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694925539696 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=627] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/627/stat : 627 (java) S 594 594 31706 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694924486896 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=628] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/628/stat : 628 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140693464935264 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=630] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/630/stat : 630 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 26924 33554432000 4194304 4196468 140730325765808 140694923434800 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108832 KiB

[startup+0.210389 s]*
/proc/loadavg: 6.65 7.17 7.62 2/211 630
/proc/meminfo: memFree=30489452/32770624 swapFree=66927260/67108860
[pid=594] ppid=591 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/594/stat : 594 (scop.sh) S 591 594 31706 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420151503 115843072 349 33554432000 4194304 5098028 140725497058768 140725497056024 140497047040636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25071616 140725497066277 140725497066604 140725497066604 140725497069517 0
/proc/594/statm: 28282 349 296 221 0 87 0
[pid=602] ppid=594 vsize=27314120 memory=124540 CPUtime=0.24 cores=0-7
/proc/602/stat : 602 (java) S 594 594 31706 0 -1 1077944320 11474 0 0 0 20 4 0 0 20 0 20 0 420151503 27969658880 31135 33554432000 4194304 4196468 140730325765808 140730325748352 140696676347639 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
/proc/602/statm: 6828530 31135 2932 1 0 6790935 0
[pid=602/tid=603] ppid=594 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/602/task/603/stat : 603 (java) R 594 594 31706 0 -1 4202560 9199 0 0 0 16 3 0 0 20 0 20 0 420151504 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696648147024 140696656623019 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=605] ppid=594 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/602/task/605/stat : 605 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696680590224 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=606] ppid=594 vsize=27314120 memory=140117771270361 CPUtime=0 cores=0-7
/proc/602/task/606/stat : 606 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696494746384 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=607] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/607/stat : 607 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696493694096 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=608] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/608/stat : 608 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696492641296 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=609] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/609/stat : 609 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696491587984 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=610] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/610/stat : 610 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696490535184 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=617] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/617/stat : 617 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696489482896 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=618] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/618/stat : 618 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 31135 33554432000 4194304 4196468 140730325765808 140696488430096 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=619] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/619/stat : 619 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694928697968 140696676358786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=620] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/620/stat : 620 (java) S 594 594 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694605784352 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=621] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/621/stat : 621 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694337349232 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=623] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/623/stat : 623 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140693962840656 140696676366235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=624] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/624/stat : 624 (java) S 594 594 31706 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694927644784 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=625] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/625/stat : 625 (java) S 594 594 31706 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694926591984 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=626] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/626/stat : 626 (java) S 594 594 31706 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694925539696 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=627] ppid=594 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/602/task/627/stat : 627 (java) S 594 594 31706 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694924486896 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=628] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/628/stat : 628 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140693464935264 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=630] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/630/stat : 630 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 31135 33554432000 4194304 4196468 140730325765808 140694923434800 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125936 KiB

[startup+0.309732 s]*
/proc/loadavg: 6.65 7.17 7.62 2/211 630
/proc/meminfo: memFree=30486164/32770624 swapFree=66927260/67108860
[pid=594] ppid=591 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/594/stat : 594 (scop.sh) S 591 594 31706 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420151503 115843072 349 33554432000 4194304 5098028 140725497058768 140725497056024 140497047040636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25071616 140725497066277 140725497066604 140725497066604 140725497069517 0
/proc/594/statm: 28282 349 296 221 0 87 0
[pid=602] ppid=594 vsize=27314120 memory=128208 CPUtime=0.41 cores=0-7
/proc/602/stat : 602 (java) S 594 594 31706 0 -1 1077944320 12399 0 0 0 37 4 0 0 20 0 20 0 420151503 27969658880 32052 33554432000 4194304 4196468 140730325765808 140730325748352 140696676347639 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
/proc/602/statm: 6828530 32052 3023 1 0 6790935 0
[pid=602/tid=603] ppid=594 vsize=27314120 memory=0 CPUtime=0.3 cores=0-7
/proc/602/task/603/stat : 603 (java) R 594 594 31706 0 -1 4202560 9964 0 0 0 26 4 0 0 20 0 20 0 420151504 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696648177712 140696676361488 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=605] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/605/stat : 605 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696680590224 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=606] ppid=594 vsize=27314120 memory=140117771242896 CPUtime=0 cores=0-7
/proc/602/task/606/stat : 606 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696494746384 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=607] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/607/stat : 607 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696493694096 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=608] ppid=594 vsize=27314120 memory=814090 CPUtime=0 cores=0-7
/proc/602/task/608/stat : 608 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696492641296 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=609] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/609/stat : 609 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696491587984 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=610] ppid=594 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/602/task/610/stat : 610 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696490535184 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=617] ppid=594 vsize=27314120 memory=3762811597505167391 CPUtime=0 cores=0-7
/proc/602/task/617/stat : 617 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696489482896 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=618] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/618/stat : 618 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27969658880 32052 33554432000 4194304 4196468 140730325765808 140696488430096 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=619] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/619/stat : 619 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694928697968 140696676358786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=620] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/620/stat : 620 (java) S 594 594 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694605784352 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=621] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/621/stat : 621 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151508 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694337349232 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=623] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/623/stat : 623 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140693962840656 140696676366235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=624] ppid=594 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/602/task/624/stat : 624 (java) S 594 594 31706 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694927644784 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=625] ppid=594 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/602/task/625/stat : 625 (java) S 594 594 31706 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694926591984 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=626] ppid=594 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/602/task/626/stat : 626 (java) R 594 594 31706 0 -1 4202560 414 0 0 0 1 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694925539696 140696657047936 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=627] ppid=594 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/602/task/627/stat : 627 (java) S 594 594 31706 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694924486896 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=628] ppid=594 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/602/task/628/stat : 628 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140693464935264 140696676357845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=630] ppid=594 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/602/task/630/stat : 630 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151511 27969658880 32052 33554432000 4194304 4196468 140730325765808 140694923434800 140696676358786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129604 KiB

[startup+0.700964 s]
/proc/loadavg: 6.65 7.17 7.62 2/211 630
/proc/meminfo: memFree=30461840/32770624 swapFree=66927260/67108860
[pid=594] ppid=591 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/594/stat : 594 (scop.sh) S 591 594 31706 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420151503 115843072 349 33554432000 4194304 5098028 140725497058768 140725497056024 140497047040636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25071616 140725497066277 140725497066604 140725497066604 140725497069517 0
/proc/594/statm: 28282 349 296 221 0 87 0
[pid=602] ppid=594 vsize=27320392 memory=165500 CPUtime=1.01 cores=0-7
/proc/602/stat : 602 (java) S 594 594 31706 0 -1 1077944320 19991 0 0 0 95 6 0 0 20 0 20 0 420151503 27976081408 41375 33554432000 4194304 4196468 140730325765808 140730325748352 140696676347639 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
/proc/602/statm: 6830098 41375 3180 1 0 6791447 0
[pid=602/tid=603] ppid=594 vsize=27320392 memory=988 CPUtime=0.67 cores=0-7
/proc/602/task/603/stat : 603 (java) R 594 594 31706 0 -1 4202560 16906 0 0 0 62 5 0 0 20 0 20 0 420151504 27976081408 41375 33554432000 4194304 4196468 140730325765808 140696648186496 140696676369565 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=605] ppid=594 vsize=27320392 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/602/task/605/stat : 605 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27976081408 41375 33554432000 4194304 4196468 140730325765808 140696680590224 140696676357845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=606] ppid=594 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/602/task/606/stat : 606 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420151506 27976081408 41375 33554432000 4194304 4196468 140730325765808 140696494746384 140696676357845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0
[pid=602/tid=607] ppid=594 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/602/task/607/stat : 607 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420151506 27976081408 41375 33554432000 4194304 4196468 140730325765808 140696493694096 140696676357845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23093248 140730325766893 140730325767318 140730325767318 140730325770191 0

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

/proc/650/task/656/stat : 656 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123990809616 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=657] ppid=594 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/650/task/657/stat : 657 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123989756304 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=658] ppid=594 vsize=8414124 memory=120668 CPUtime=0 cores=0-7
/proc/650/task/658/stat : 658 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123988703504 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=659] ppid=594 vsize=8414124 memory=358964 CPUtime=0 cores=0-7
/proc/650/task/659/stat : 659 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123987651216 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=660] ppid=594 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/650/task/660/stat : 660 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123986598416 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=661] ppid=594 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/650/task/661/stat : 661 (java) S 594 594 31706 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420166714 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123013515888 140124188514946 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=662] ppid=594 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/650/task/662/stat : 662 (java) S 594 594 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420166715 8616062976 30167 33554432000 4194304 4196468 140729426005424 140122838263072 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=663] ppid=594 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/650/task/663/stat : 663 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166715 8616062976 30167 33554432000 4194304 4196468 140729426005424 140122569827952 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=664] ppid=594 vsize=8414124 memory=1700 CPUtime=0 cores=0-7
/proc/650/task/664/stat : 664 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140122195319376 140124188522395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=665] ppid=594 vsize=8414124 memory=832 CPUtime=0.07 cores=0-7
/proc/650/task/665/stat : 665 (java) S 594 594 31706 0 -1 1077944384 673 0 0 0 7 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123012462704 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=666] ppid=594 vsize=8414124 memory=1440 CPUtime=0.07 cores=0-7
/proc/650/task/666/stat : 666 (java) S 594 594 31706 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123011409904 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=667] ppid=594 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/650/task/667/stat : 667 (java) S 594 594 31706 0 -1 1077944384 202 0 0 0 5 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123010357616 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=668] ppid=594 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/650/task/668/stat : 668 (java) S 594 594 31706 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123009304816 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=669] ppid=594 vsize=8414124 memory=120668 CPUtime=0 cores=0-7
/proc/650/task/669/stat : 669 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140121697413984 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=670] ppid=594 vsize=8414124 memory=181060 CPUtime=0 cores=0-7
/proc/650/task/670/stat : 670 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123008252720 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=672] ppid=594 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/650/task/672/stat : 672 (java) S 594 594 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420166788 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123000219456 140124188528409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=674] ppid=594 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/650/task/674/stat : 674 (java) S 594 594 31706 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420166788 8616062976 30167 33554432000 4194304 4196468 140729426005424 140121026313616 140124188525725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=675] ppid=594 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/650/task/675/stat : 675 (java) S 594 594 31706 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420166788 8616062976 30167 33554432000 4194304 4196468 140729426005424 140121294748944 140124188525725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=676] ppid=594 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/650/task/676/stat : 676 (java) S 594 594 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420166790 8616062976 30167 33554432000 4194304 4196468 140729426005424 140120757886256 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
Current children cumulated CPU time: 279.28 s
Current children cumulated vsize: 9263824 KiB
Current children cumulated memory: 472480 KiB

[startup+166.801 s]
/proc/loadavg: 2.64 4.91 6.67 9/226 686
/proc/meminfo: memFree=30118504/32770624 swapFree=66927260/67108860
[pid=594] ppid=591 vsize=113128 memory=1476 CPUtime=191.14 cores=0-7
/proc/594/stat : 594 (scop.sh) S 591 594 31706 0 -1 4202496 583 84191 0 0 0 0 18369 745 20 0 1 0 420151503 115843072 369 33554432000 4194304 5098028 140725497058768 140725497055512 140497047040636 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25071616 140725497066277 140725497066604 140725497066604 140725497069517 0
/proc/594/statm: 28282 369 311 221 0 87 0
[pid=650] ppid=594 vsize=8414124 memory=120668 CPUtime=1.25 cores=0-7
/proc/650/stat : 650 (java) S 594 594 31706 0 -1 1077944320 20153 0 0 0 117 8 0 0 20 0 24 0 420166711 8616062976 30167 33554432000 4194304 4196468 140729426005424 140729425987968 140124188503799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
/proc/650/statm: 2103531 30167 3211 1 0 2064875 0
[pid=671] ppid=650 vsize=736572 memory=353136 CPUtime=87.85 cores=0-7
/proc/671/stat : 671 (manyglucose-4.1) S 650 594 31706 0 -1 1077944320 130295 0 0 0 8727 58 0 0 20 0 2 0 420166788 754249728 88284 33554432000 4194304 4454172 140720429454464 140720429452848 139727149113079 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 22482944 140720429462379 140720429462576 140720429462576 140720429465530 0
/proc/671/statm: 184143 88284 421 64 0 179811 0
[pid=671/tid=678] ppid=650 vsize=736572 memory=4638798121089984850 CPUtime=10.86 cores=0-7
/proc/671/task/678/stat : 678 (manyglucose-4.1) R 650 594 31706 0 -1 4202560 15402 0 0 0 1081 5 0 0 20 0 2 0 420167086 754249728 88284 33554432000 4194304 4454172 140720429454464 139727104736360 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 22482944 140720429462379 140720429462576 140720429462576 140720429465530 0
[pid=650/tid=651] ppid=594 vsize=8414124 memory=-7003737579269690708 CPUtime=0.79 cores=0-7
/proc/650/task/651/stat : 651 (java) S 594 594 31706 0 -1 1077944384 16997 0 0 0 74 5 0 0 20 0 24 0 420166711 8616062976 30167 33554432000 4194304 4196468 140729426005424 140124160343968 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=653] ppid=594 vsize=8414124 memory=120668 CPUtime=0 cores=0-7
/proc/650/task/653/stat : 653 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140124192746384 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=654] ppid=594 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/650/task/654/stat : 654 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123992914704 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=655] ppid=594 vsize=8414124 memory=41264 CPUtime=0 cores=0-7
/proc/650/task/655/stat : 655 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123991862416 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=656] ppid=594 vsize=8414124 memory=2028 CPUtime=0 cores=0-7
/proc/650/task/656/stat : 656 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123990809616 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=657] ppid=594 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/650/task/657/stat : 657 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123989756304 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=658] ppid=594 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/650/task/658/stat : 658 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123988703504 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=659] ppid=594 vsize=8414124 memory=7969432 CPUtime=0 cores=0-7
/proc/650/task/659/stat : 659 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123987651216 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=660] ppid=594 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/650/task/660/stat : 660 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166713 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123986598416 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=661] ppid=594 vsize=8414124 memory=7967820 CPUtime=0 cores=0-7
/proc/650/task/661/stat : 661 (java) S 594 594 31706 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420166714 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123013515888 140124188514946 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=662] ppid=594 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/650/task/662/stat : 662 (java) S 594 594 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420166715 8616062976 30167 33554432000 4194304 4196468 140729426005424 140122838263072 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=663] ppid=594 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/650/task/663/stat : 663 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166715 8616062976 30167 33554432000 4194304 4196468 140729426005424 140122569827952 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=664] ppid=594 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/650/task/664/stat : 664 (java) S 594 594 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140122195319376 140124188522395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=665] ppid=594 vsize=8414124 memory=22340 CPUtime=0.07 cores=0-7
/proc/650/task/665/stat : 665 (java) S 594 594 31706 0 -1 1077944384 673 0 0 0 7 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123012462704 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=666] ppid=594 vsize=8414124 memory=14068 CPUtime=0.07 cores=0-7
/proc/650/task/666/stat : 666 (java) S 594 594 31706 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123011409904 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=667] ppid=594 vsize=8414124 memory=528 CPUtime=0.05 cores=0-7
/proc/650/task/667/stat : 667 (java) S 594 594 31706 0 -1 1077944384 202 0 0 0 5 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123010357616 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=668] ppid=594 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/650/task/668/stat : 668 (java) S 594 594 31706 0 -1 1077944384 571 0 0 0 21 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123009304816 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=669] ppid=594 vsize=8414124 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/650/task/669/stat : 669 (java) S 594 594 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140121697413984 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=670] ppid=594 vsize=8414124 memory=-1598831814710746722 CPUtime=0 cores=0-7
/proc/650/task/670/stat : 670 (java) S 594 594 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420166718 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123008252720 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=672] ppid=594 vsize=8414124 memory=-2893623298589923098 CPUtime=0 cores=0-7
/proc/650/task/672/stat : 672 (java) S 594 594 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420166788 8616062976 30167 33554432000 4194304 4196468 140729426005424 140123000219456 140124188528409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=674] ppid=594 vsize=8414124 memory=-7169539485663701033 CPUtime=0 cores=0-7
/proc/650/task/674/stat : 674 (java) S 594 594 31706 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420166788 8616062976 30167 33554432000 4194304 4196468 140729426005424 140121026313616 140124188525725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=675] ppid=594 vsize=8414124 memory=-2897801490638248215 CPUtime=0 cores=0-7
/proc/650/task/675/stat : 675 (java) S 594 594 31706 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420166788 8616062976 30167 33554432000 4194304 4196468 140729426005424 140121294748944 140124188525725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=676] ppid=594 vsize=8414124 memory=-6800859132029471843 CPUtime=0 cores=0-7
/proc/650/task/676/stat : 676 (java) S 594 594 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420166790 8616062976 30167 33554432000 4194304 4196468 140729426005424 140120757886256 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
Current children cumulated CPU time: 280.24 s
Current children cumulated vsize: 9263824 KiB
Current children cumulated memory: 475280 KiB

[startup+166.902 s]
/proc/loadavg: 2.64 4.91 6.67 9/226 686
/proc/meminfo: memFree=30118504/32770624 swapFree=66927260/67108860
[pid=594] ppid=591 vsize=113128 memory=1476 CPUtime=191.14 cores=0-7
/proc/594/stat : 594 (scop.sh) S 591 594 31706 0 -1 4202496 583 84191 0 0 0 0 18369 745 20 0 1 0 420151503 115843072 369 33554432000 4194304 5098028 140725497058768 140725497055512 140497047040636 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25071616 140725497066277 140725497066604 140725497066604 140725497069517 0
/proc/594/statm: 28282 369 311 221 0 87 0
[pid=650] ppid=594 vsize=8283048 memory=130152 CPUtime=89.36 cores=0-7
/proc/650/stat : 650 (java) S 594 594 31706 0 -1 1077944320 20964 130308 0 0 138 9 8729 60 20 0 22 0 420166711 8481841152 32538 33554432000 4194304 4196468 140729426005424 140729425987968 140124188503799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
/proc/650/statm: 2070762 32538 3223 1 0 2032106 0
[pid=650/tid=651] ppid=594 vsize=8283048 memory=1476 CPUtime=88.7 cores=0-7
/proc/650/task/651/stat : 651 (java) R 594 594 31706 0 -1 4202560 17123 130308 0 0 76 5 8729 60 20 0 22 0 420166711 8481841152 32538 33554432000 4194304 4196468 140729426005424 140124160338920 140123660441438 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=653] ppid=594 vsize=8283048 memory=120668 CPUtime=87.89 cores=0-7
/proc/650/task/653/stat : 653 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140124192746384 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=654] ppid=594 vsize=8283048 memory=1716 CPUtime=87.89 cores=0-7
/proc/650/task/654/stat : 654 (java) S 594 594 31706 0 -1 1077944384 2 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123992914704 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=655] ppid=594 vsize=8283048 memory=3204 CPUtime=87.89 cores=0-7
/proc/650/task/655/stat : 655 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123991862416 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=656] ppid=594 vsize=8283048 memory=4872558044660077418 CPUtime=87.89 cores=0-7
/proc/650/task/656/stat : 656 (java) S 594 594 31706 0 -1 1077944384 2 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123990809616 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=657] ppid=594 vsize=8283048 memory=1396 CPUtime=87.89 cores=0-7
/proc/650/task/657/stat : 657 (java) S 594 594 31706 0 -1 1077944384 3 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123989756304 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=658] ppid=594 vsize=8283048 memory=1396 CPUtime=87.89 cores=0-7
/proc/650/task/658/stat : 658 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123988703504 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=659] ppid=594 vsize=8283048 memory=7600804 CPUtime=87.89 cores=0-7
/proc/650/task/659/stat : 659 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123987651216 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=660] ppid=594 vsize=8283048 memory=1396 CPUtime=87.89 cores=0-7
/proc/650/task/660/stat : 660 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166713 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123986598416 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=661] ppid=594 vsize=8283048 memory=6176860 CPUtime=87.89 cores=0-7
/proc/650/task/661/stat : 661 (java) S 594 594 31706 0 -1 1077944384 5 130308 0 0 0 0 8729 60 20 0 22 0 420166714 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123013515888 140124188514946 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=662] ppid=594 vsize=8283048 memory=1476 CPUtime=87.89 cores=0-7
/proc/650/task/662/stat : 662 (java) S 594 594 31706 0 -1 1077944384 13 130308 0 0 0 0 8729 60 20 0 22 0 420166715 8481841152 32538 33554432000 4194304 4196468 140729426005424 140122838263072 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=663] ppid=594 vsize=8283048 memory=120668 CPUtime=87.89 cores=0-7
/proc/650/task/663/stat : 663 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166715 8481841152 32538 33554432000 4194304 4196468 140729426005424 140122569827952 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=664] ppid=594 vsize=8283048 memory=2832 CPUtime=87.89 cores=0-7
/proc/650/task/664/stat : 664 (java) S 594 594 31706 0 -1 1077944384 1 130308 0 0 0 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140122195319376 140124188522395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=665] ppid=594 vsize=8283048 memory=1412 CPUtime=87.98 cores=0-7
/proc/650/task/665/stat : 665 (java) S 594 594 31706 0 -1 1077944384 685 130308 0 0 9 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123012462704 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=666] ppid=594 vsize=8283048 memory=7969432 CPUtime=88 cores=0-7
/proc/650/task/666/stat : 666 (java) S 594 594 31706 0 -1 1077944384 444 130308 0 0 11 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123011409904 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=667] ppid=594 vsize=8283048 memory=7733996 CPUtime=87.96 cores=0-7
/proc/650/task/667/stat : 667 (java) S 594 594 31706 0 -1 1077944384 255 130308 0 0 7 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123010357616 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=668] ppid=594 vsize=8283048 memory=7733996 CPUtime=88.14 cores=0-7
/proc/650/task/668/stat : 668 (java) R 594 594 31706 0 -1 4202560 1005 130308 0 0 25 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123009304816 140124188515734 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=669] ppid=594 vsize=8283048 memory=1436 CPUtime=87.89 cores=0-7
/proc/650/task/669/stat : 669 (java) S 594 594 31706 0 -1 1077944384 3 130308 0 0 0 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140121697413984 140124188514005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=670] ppid=594 vsize=8283048 memory=1476 CPUtime=87.89 cores=0-7
/proc/650/task/670/stat : 670 (java) S 594 594 31706 0 -1 1077944384 2 130308 0 0 0 0 8729 60 20 0 22 0 420166718 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123008252720 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=672] ppid=594 vsize=8283048 memory=120668 CPUtime=87.89 cores=0-7
/proc/650/task/672/stat : 672 (java) S 594 594 31706 0 -1 1077944384 24 130308 0 0 0 0 8729 60 20 0 22 0 420166788 8481841152 32538 33554432000 4194304 4196468 140729426005424 140123000218640 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
[pid=650/tid=676] ppid=594 vsize=8283048 memory=1396 CPUtime=87.89 cores=0-7
/proc/650/task/676/stat : 676 (java) S 594 594 31706 0 -1 1077944384 13 130308 0 0 0 0 8729 60 20 0 22 0 420166790 8481841152 32538 33554432000 4194304 4196468 140729426005424 140120757888048 140124188514946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140729426007033 140729426007190 140729426007190 140729426010063 0
Current children cumulated CPU time: 280.5 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131628 KiB

Child status: 0
Real time (s): 166.987
CPU time (s): 280.706
CPU user time (s): 272.54
CPU system time (s): 8.16593
CPU usage (%): 168.101
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8195688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.54
system time used= 8.16593
maximum resident set size= 8194772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47044
involuntary context switches= 1422


# summary of solver processes directly reported to runsolver:
#   pid: 594
#   total CPU time (s): 280.706
#   total CPU user time (s): 272.54
#   total CPU system time (s): 8.16593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21413 second user time and 1.62077 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 07:29:59
IDJOB=4392358
IDBENCH=135702
IDSOLVER=2838
FILE ID=node137/4392358-1568439041
RUNJOBID= node137-1568437903-31733
PBS_JOBID= 21702324
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s25/TravellingSalesman-25-715_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392358-1568439041/watcher-4392358-1568439041 -o /tmp/evaluation-result-4392358-1568439041/solver-4392358-1568439041 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392358-1568439041.xml

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

MD5SUM BENCH= 0286d8cb8f351d75271acd0c64dfc747
RANDOM SEED=1311096224

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        30603624 kB
MemAvailable:   31818864 kB
Buffers:           93072 kB
Cached:          1401992 kB
SwapCached:        77548 kB
Active:          1427128 kB
Inactive:         149512 kB
Active(anon):       4608 kB
Inactive(anon):   118296 kB
Active(file):    1422520 kB
Inactive(file):    31216 kB
Unevictable:      108700 kB
Mlocked:          108700 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             20392 kB
Writeback:             0 kB
AnonPages:        125180 kB
Mapped:            44928 kB
Shmem:             32772 kB
Slab:             183764 kB
SReclaimable:     154680 kB
SUnreclaim:        29084 kB
KernelStack:        3712 kB
PageTables:         5648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 61408 MiB
End job on node137 at 2019-09-14 07:32:46