Trace number 4392658

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16200-serial-file.bin HOME/instance-4392658-1568439043.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 07:30:07 CEST 2019
0.65/0.56	c PID: 16203
0.65/0.56	c IP: 172.20.3.148
0.65/0.56	c HOST: node148.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.59/1.11	c (0,0) Parsing End
2.59/1.11	c (0,0) CSP: 75 int (0 aux), 1 bool (0 aux), 350 ctr, max domain size 1001
2.59/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.59/1.11	c (0,0) Constraint Name Generate Begin
2.59/1.12	c (0,0) Ctr:HOME/instance-4392658-1568439043.xml,ExtensionConflict:ExtensionSupport:Var
2.59/1.12	c (0,0) Constraint Name Generate End
2.59/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.59/1.12	c (0,0) CSP to CSPinCNF Begin
4.18/1.63	c (1,1) translated 35 (10%) constraints
4.60/1.75	c (1,1) translated 70 (20%) constraints
5.00/1.83	c (1,1) translated 105 (30%) constraints
5.40/1.90	c (1,1) translated 140 (40%) constraints
5.40/1.96	c (1,1) translated 175 (50%) constraints
5.71/2.03	c (1,1) translated 210 (60%) constraints
5.71/2.09	c (1,1) translated 245 (70%) constraints
6.06/2.15	c (1,1) translated 280 (80%) constraints
90.95/80.44	c (79,79) translated 315 (90%) constraints
116.41/102.05	c (101,100) translated 350 (100%) constraints
116.41/102.05	c (101,100) ===========================================
116.85/102.38	c (101,101) Hybrid: #OE=9111, #LE=0
116.85/102.38	c (101,101) Hybrid
116.85/102.38	c (101,101) ===========================================
124.53/104.93	c (104,102) translated 78986 (10%) constraints
126.57/106.80	c (106,104) translated 157972 (20%) constraints
128.41/108.66	c (108,106) translated 236957 (30%) constraints
130.33/110.52	c (109,108) translated 315943 (40%) constraints
132.14/112.38	c (111,110) translated 394928 (50%) constraints
134.05/114.24	c (113,112) translated 473914 (60%) constraints
135.96/116.11	c (115,114) translated 552900 (70%) constraints
137.76/117.98	c (117,116) translated 631885 (80%) constraints
139.66/119.86	c (119,117) translated 710871 (90%) constraints
141.56/121.73	c (121,119) translated 789856 (100%) constraints
141.56/121.73	c (121,119) CSP to CSPinCNF End
141.56/121.74	c (121,119) CSP: 75 int (0 aux), 9036 bool (9035 aux), 789856 ctr, max domain size 180
141.56/121.74	c (121,119) Heap : 6250 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
141.56/121.74	c (121,119) CSPinCNF Propagation Begin
173.43/141.68	c (141,138) 668 values, 271462 unsatisfiable literals, and 211441 valid clauses are removed
173.43/141.68	c (141,138) CSPinCNF Propagation End
173.43/141.69	c (141,138) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
173.43/141.69	c (141,138) Heap : 2095 MiB used (max 20881 MiB), NonHeap : 29 MiB used (max 0 MiB)
173.76/141.94	c (141,138) Hybrid: #OE=9111, #LE=0
173.76/141.94	c (141,138) Simplify CSPinCNF Begin
175.33/143.35	c (142,139) Simplify CSPinCNF End
175.33/143.35	c (142,139) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
175.33/143.35	c (142,139) Heap : 2802 MiB used (max 20881 MiB), NonHeap : 29 MiB used (max 0 MiB)
175.33/143.35	c (142,139) Calculate Precise Domain Begin
175.33/143.36	c (142,139) 0 values are removed by re-calculation
175.33/143.36	c (142,139) Calculate Precise Domain End
175.33/143.36	c (142,139) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
175.33/143.36	c (142,139) Heap : 2802 MiB used (max 20881 MiB), NonHeap : 29 MiB used (max 0 MiB)
175.33/143.36	c (142,139) CSPinCNF to SatSolver Begin
177.65/144.39	c (143,140) 57842 (10 %) CSP clauses are encoded (0 SAT variables, 62811 SAT clauses)
178.49/145.15	c (144,141) 115683 (20 %) CSP clauses are encoded (0 SAT variables, 120652 SAT clauses)
179.19/145.90	c (145,142) 173525 (30 %) CSP clauses are encoded (0 SAT variables, 178494 SAT clauses)
179.99/146.64	c (146,143) 231366 (40 %) CSP clauses are encoded (0 SAT variables, 236335 SAT clauses)
185.52/147.98	c (147,143) 289208 (50 %) CSP clauses are encoded (0 SAT variables, 294177 SAT clauses)
186.32/148.74	c (148,144) 347049 (60 %) CSP clauses are encoded (0 SAT variables, 352018 SAT clauses)
187.02/149.47	c (148,145) 404891 (70 %) CSP clauses are encoded (0 SAT variables, 409860 SAT clauses)
187.73/150.19	c (149,146) 462732 (80 %) CSP clauses are encoded (0 SAT variables, 467701 SAT clauses)
188.52/150.94	c (150,146) 520574 (90 %) CSP clauses are encoded (0 SAT variables, 525543 SAT clauses)
189.23/151.62	c (151,147) 578415 (100 %) CSP clauses are encoded (0 SAT variables, 583384 SAT clauses)
189.23/151.62	c (151,147) CSPinCNF to SatSolver End
189.23/151.62	c (151,147) Heap : 4525 MiB used (max 21231 MiB), NonHeap : 31 MiB used (max 0 MiB)
189.23/151.62	c (151,147) 13565 bool, 583385 clause
189.23/151.62	c (151,147) Export Begin
189.43/151.73	c (151,147) Export to HOME/scop-16200-serial-file.bin
189.43/151.73	c (151,147) Export End
189.43/151.73	c (151,147) Export File Size: 0.05 MB
189.43/151.73	c (151,147) 0,0,121,141,142,142,151,STOP-AFTER(DIMACS)
189.43/151.73	c END-Prog: Sat Sep 14 07:32:38 CEST 2019
189.43/151.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16200-serial-file.bin
190.10/152.36	c (0,0) Read Serial File Begin
190.10/152.36	c (0,0) HOME/scop-16200-serial-file.bin
190.37/152.59	c (0,0) Read Serial File End
190.55/152.61	
190.55/152.61	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
190.55/152.61	(Solving Process)
190.55/152.61	
190.55/152.63	c BEGIN-Prog: Sat Sep 14 07:32:39 CEST 2019
190.55/152.63	c PID: 16231
190.55/152.63	c IP: 172.20.3.148
190.55/152.63	c HOST: node148.alineos.net
190.55/152.63	c (0,0) SatSolver.solve Begin
190.55/152.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392658-1568439043.xml-scop-16203.cnf
190.55/152.66	c (0,0) c
190.55/152.66	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)
190.55/152.66	c (0,0) c
190.55/152.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
190.55/152.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
190.55/152.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
190.55/152.66	c (0,0) c |                                                                                                       |
190.81/152.80	c (0,0) c |  Number of variables:         13565                                                                   |
190.81/152.80	c (0,0) c |  Number of clauses:          159207                                                                   |
190.81/152.80	c (0,0) c |  Parse time:                   0.13 s                                                                 |
190.81/152.80	c (0,0) c |                                                                                                       |
193.65/155.58	c (3,0) c |  Simplification time:          2.78 s                                                                 |
193.65/155.58	c (3,0) c |                                                                                                       |
193.65/155.58	c (3,0) c |  Generating clones                                                                                    |
193.74/155.64	c (3,0) c |  all clones generated. Memory =   128.07Mb.                                                           |
193.74/155.64	c (3,0) c ========================================================================================================|
193.74/155.64	c (3,0) c
193.74/155.64	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
193.74/155.64	c (3,0) c
193.74/155.64	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
193.74/155.64	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
193.74/155.64	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
193.74/155.64	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
193.74/155.64	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
193.74/155.64	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
193.74/155.64	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
193.74/155.64	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
193.74/155.64	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
193.74/155.64	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
193.74/155.64	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
193.74/155.64	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
193.74/155.64	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
193.74/155.64	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
193.74/155.64	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
193.74/155.64	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
193.74/155.64	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
193.74/155.64	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
193.74/155.64	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c real time : 14.4532 s
278.94/167.11	c (14,0) c cpu time  : 87.5258 s
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c | Conflicts     |          432424 |      54206 |      56067 |      53036 |      50687 |      54234 |      53909 |      56216 |      54069 |
278.94/167.11	c (14,0) c | Decisions     |         1631742 |     205919 |     190676 |     193499 |     212652 |     210832 |     198464 |     205965 |     213735 |
278.94/167.11	c (14,0) c | Propagations  |       193997257 |   24029991 |   26082779 |   24339290 |   22390857 |   24340313 |   23330001 |   25457339 |   24026687 |
278.94/167.11	c (14,0) c | ReduceDBs     |              47 |          6 |          6 |          6 |          5 |          6 |          6 |          6 |          6 |
278.94/167.11	c (14,0) c | SimpDBs       |             155 |         20 |         20 |         19 |         18 |         19 |         19 |         21 |         19 |
278.94/167.11	c (14,0) c | Restarts      |            2419 |        301 |        251 |        258 |        353 |        332 |        291 |        302 |        331 |
278.94/167.11	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
278.94/167.11	c (14,0) c | PropBinClauses|       374424691 |   44595294 |   52118198 |   47520730 |   42727999 |   47364848 |   45910102 |   49239829 |   44947691 |
278.94/167.11	c (14,0) c | PropPreBlocker|      1452288536 |  186129831 |  193448538 |  181984939 |  163094062 |  176461966 |  178807411 |  189505177 |  182856612 |
278.94/167.11	c (14,0) c | PropNotBlocker|       437614947 |   53482676 |   59682401 |   53957272 |   50573629 |   56185279 |   53733472 |   56303885 |   53696333 |
278.94/167.11	c (14,0) c | LitFullScans  |      6868880054 |  853507854 |  855299522 |  885294616 |  855087694 |  858274933 |  854864126 |  853411294 |  853140015 |
278.94/167.11	c (14,0) c | LitScanFracts |        24887691 |    1382865 |    3176744 |   10787947 |    2963006 |    1542967 |    2745355 |    1281946 |    1006861 |
278.94/167.11	c (14,0) c | DecisionLevel0|            2865 |        368 |        302 |        304 |        423 |        382 |        363 |        349 |        374 |
278.94/167.11	c (14,0) c | Periods       |            1139 |        142 |        142 |        145 |        142 |        142 |        142 |        142 |        142 |
278.94/167.11	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
278.94/167.11	c (14,0) c | Avg_Trail     |                 |       7665 |       7572 |       7451 |       7477 |       7823 |       7453 |       7406 |       7541 |
278.94/167.11	c (14,0) c | Avg_DL        |                 |         46 |         43 |         51 |         57 |         49 |         44 |         51 |         54 |
278.94/167.11	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
278.94/167.11	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c | Exported      |           81783 |      10587 |      10595 |       9952 |       9918 |       9353 |      10232 |      10934 |      10212 |
278.94/167.11	c (14,0) c | Imported      |          518987 |      64208 |      64196 |      66293 |      65077 |      65981 |      64517 |      64097 |      64618 |
278.94/167.11	c (14,0) c | Good          |           70260 |       8628 |       8894 |       8943 |       8676 |       8952 |       8933 |       8606 |       8628 |
278.94/167.11	c (14,0) c | Purge         |          448727 |      55580 |      55302 |      57350 |      56401 |      57029 |      55584 |      55491 |      55990 |
278.94/167.11	c (14,0) c | Promoted      |           31469 |       3715 |       4033 |       3998 |       3967 |       4475 |       4003 |       3704 |       3574 |
278.94/167.11	c (14,0) c | Remove_Imp    |          269479 |      33699 |      33218 |      37750 |      27775 |      35928 |      34575 |      31586 |      34948 |
278.94/167.11	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c | Unaries       |                 |         67 |         51 |         46 |         70 |         50 |         72 |         47 |         43 |
278.94/167.11	c (14,0) c | Binaries      |                 |       1421 |       1155 |       1119 |       1378 |       1109 |       1118 |       1454 |       1423 |
278.94/167.11	c (14,0) c | Glues         |                 |       2214 |       1921 |       1891 |       2108 |       1953 |       1863 |       2180 |       2089 |
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c | Orig_Seen     |            47 % |      60598 |      59340 |      61064 |      63439 |      64516 |      59041 |      60489 |      61421 |
278.94/167.11	c (14,0) c | Diff Orig seen|                 | -     3918 | -     5176 | -     3452 | -     1077 |      X     | -     5475 | -     4027 | -     3095 |
278.94/167.11	c (14,0) c | Hamming       |             5 % |        750 |        680 |        684 |        826 |      X     |        871 |        721 |       1018 |
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c | RunningTime   |                 |   10.5 100%|   10.8 100%|   10.4 100%|   10.9 100%|   10.4 100%|   10.5 100%|   10.6 100%|   11.4 100%|
278.94/167.11	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%|
278.94/167.11	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%|
278.94/167.11	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%|
278.94/167.11	c (14,0) c | SolvingTime   |                 |   10.6     |   10.8     |   10.4     |   10.9     |   10.4     |   10.5     |   10.6     |   11.5     |
278.94/167.11	c (14,0) c | PropagationTim|                 |    6.9  65%|    7.2  66%|    6.8  66%|    7.1  65%|    6.8  65%|    6.7  64%|    7.0  66%|    7.5  66%|
278.94/167.11	c (14,0) c | AnalysisTime  |                 |    3.1  29%|    3.1  28%|    3.0  29%|    3.2  29%|    3.0  29%|    3.2  31%|    3.0  28%|    3.3  29%|
278.94/167.11	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%|
278.94/167.11	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%|
278.94/167.11	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%|
278.94/167.11	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%|
278.94/167.11	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c
278.94/167.11	c (14,0) c Threads : 8
278.94/167.11	c (14,0) c Winner : 4
278.94/167.11	c (14,0) c Conflicts_0 : 54206
278.94/167.11	c (14,0) c Conflicts_1 : 56067
278.94/167.11	c (14,0) c Conflicts_2 : 53036
278.94/167.11	c (14,0) c Conflicts_3 : 50687
278.94/167.11	c (14,0) c Conflicts_4 : 54234
278.94/167.11	c (14,0) c Conflicts_5 : 53909
278.94/167.11	c (14,0) c Conflicts_6 : 56216
278.94/167.12	c (14,0) c Conflicts_7 : 54069
278.94/167.12	c (14,0) c Conflicts_total : 432424
278.94/167.12	c (14,0) c Conflicts_winner : 54234
278.94/167.12	c (14,0) c Decisions_0 : 205919
278.94/167.12	c (14,0) c Decisions_1 : 190676
278.94/167.12	c (14,0) c Decisions_2 : 193499
278.94/167.12	c (14,0) c Decisions_3 : 212652
278.94/167.12	c (14,0) c Decisions_4 : 210832
278.94/167.12	c (14,0) c Decisions_5 : 198464
278.94/167.12	c (14,0) c Decisions_6 : 205965
278.94/167.12	c (14,0) c Decisions_7 : 213735
278.94/167.12	c (14,0) c Decisions_total : 1631742
278.94/167.12	c (14,0) c Decisions_winner : 210832
278.94/167.12	c (14,0) c Propagations_0 : 24029991
278.94/167.12	c (14,0) c Propagations_1 : 26082779
278.94/167.12	c (14,0) c Propagations_2 : 24339290
278.94/167.12	c (14,0) c Propagations_3 : 22390857
278.94/167.12	c (14,0) c Propagations_4 : 24340313
278.94/167.12	c (14,0) c Propagations_5 : 23330001
278.94/167.12	c (14,0) c Propagations_6 : 25457339
278.94/167.12	c (14,0) c Propagations_7 : 24026687
278.94/167.12	c (14,0) c Propagations_total : 193997257
278.94/167.12	c (14,0) c Propagations_winner : 24340313
278.94/167.12	c (14,0) c ReduceDBs_0 : 6
278.94/167.12	c (14,0) c ReduceDBs_1 : 6
278.94/167.12	c (14,0) c ReduceDBs_2 : 6
278.94/167.12	c (14,0) c ReduceDBs_3 : 5
278.94/167.12	c (14,0) c ReduceDBs_4 : 6
278.94/167.12	c (14,0) c ReduceDBs_5 : 6
278.94/167.12	c (14,0) c ReduceDBs_6 : 6
278.94/167.12	c (14,0) c ReduceDBs_7 : 6
278.94/167.12	c (14,0) c ReduceDBs_total : 47
278.94/167.12	c (14,0) c ReduceDBs_winner : 6
278.94/167.12	c (14,0) c SimpDBs_0 : 20
278.94/167.12	c (14,0) c SimpDBs_1 : 20
278.94/167.12	c (14,0) c SimpDBs_2 : 19
278.94/167.12	c (14,0) c SimpDBs_3 : 18
278.94/167.12	c (14,0) c SimpDBs_4 : 19
278.94/167.12	c (14,0) c SimpDBs_5 : 19
278.94/167.12	c (14,0) c SimpDBs_6 : 21
278.94/167.12	c (14,0) c SimpDBs_7 : 19
278.94/167.12	c (14,0) c SimpDBs_total : 155
278.94/167.12	c (14,0) c SimpDBs_winner : 19
278.94/167.12	c (14,0) c Restarts_0 : 301
278.94/167.12	c (14,0) c Restarts_1 : 251
278.94/167.12	c (14,0) c Restarts_2 : 258
278.94/167.12	c (14,0) c Restarts_3 : 353
278.94/167.12	c (14,0) c Restarts_4 : 332
278.94/167.12	c (14,0) c Restarts_5 : 291
278.94/167.12	c (14,0) c Restarts_6 : 302
278.94/167.12	c (14,0) c Restarts_7 : 331
278.94/167.12	c (14,0) c Restarts_total : 2419
278.94/167.12	c (14,0) c Restarts_winner : 332
278.94/167.12	c (14,0) c ForcedImports_0 : 0
278.94/167.12	c (14,0) c ForcedImports_1 : 0
278.94/167.12	c (14,0) c ForcedImports_2 : 0
278.94/167.12	c (14,0) c ForcedImports_3 : 0
278.94/167.12	c (14,0) c ForcedImports_4 : 0
278.94/167.12	c (14,0) c ForcedImports_5 : 0
278.94/167.12	c (14,0) c ForcedImports_6 : 0
278.94/167.12	c (14,0) c ForcedImports_7 : 0
278.94/167.12	c (14,0) c ForcedImports_total : 0
278.94/167.12	c (14,0) c ForcedImports_winner : 0
278.94/167.12	c (14,0) c PropsBinClauses_0 : 44595294
278.94/167.12	c (14,0) c PropsBinClauses_1 : 52118198
278.94/167.12	c (14,0) c PropsBinClauses_2 : 47520730
278.94/167.12	c (14,0) c PropsBinClauses_3 : 42727999
278.94/167.12	c (14,0) c PropsBinClauses_4 : 47364848
278.94/167.12	c (14,0) c PropsBinClauses_5 : 45910102
278.94/167.12	c (14,0) c PropsBinClauses_6 : 49239829
278.94/167.12	c (14,0) c PropsBinClauses_7 : 44947691
278.94/167.12	c (14,0) c PropsBinClauses_total : 374424691
278.94/167.12	c (14,0) c PropsBinClauses_winner : 47364848
278.94/167.12	c (14,0) c PropsPreBlocker_0 : 186129831
278.94/167.12	c (14,0) c PropsPreBlocker_1 : 193448538
278.94/167.12	c (14,0) c PropsPreBlocker_2 : 181984939
278.94/167.12	c (14,0) c PropsPreBlocker_3 : 163094062
278.94/167.12	c (14,0) c PropsPreBlocker_4 : 176461966
278.94/167.12	c (14,0) c PropsPreBlocker_5 : 178807411
278.94/167.12	c (14,0) c PropsPreBlocker_6 : 189505177
278.94/167.12	c (14,0) c PropsPreBlocker_7 : 182856612
278.94/167.12	c (14,0) c PropsPreBlocker_total : 1452288536
278.94/167.12	c (14,0) c PropsPreBlocker_winner : 176461966
278.94/167.12	c (14,0) c PropsNotBlocker_0 : 53482676
278.94/167.12	c (14,0) c PropsNotBlocker_1 : 59682401
278.94/167.12	c (14,0) c PropsNotBlocker_2 : 53957272
278.94/167.12	c (14,0) c PropsNotBlocker_3 : 50573629
278.94/167.12	c (14,0) c PropsNotBlocker_4 : 56185279
278.94/167.12	c (14,0) c PropsNotBlocker_5 : 53733472
278.94/167.12	c (14,0) c PropsNotBlocker_6 : 56303885
278.94/167.12	c (14,0) c PropsNotBlocker_7 : 53696333
278.94/167.12	c (14,0) c PropsNotBlocker_total : 437614947
278.94/167.12	c (14,0) c PropsNotBlocker_winner : 56185279
278.94/167.12	c (14,0) c PropsLitFullScans_0 : 853507854
278.94/167.12	c (14,0) c PropsLitFullScans_1 : 855299522
278.94/167.12	c (14,0) c PropsLitFullScans_2 : 885294616
278.94/167.12	c (14,0) c PropsLitFullScans_3 : 855087694
278.94/167.12	c (14,0) c PropsLitFullScans_4 : 858274933
278.94/167.12	c (14,0) c PropsLitFullScans_5 : 854864126
278.94/167.12	c (14,0) c PropsLitFullScans_6 : 853411294
278.94/167.12	c (14,0) c PropsLitFullScans_7 : 853140015
278.94/167.12	c (14,0) c PropsLitFullScans_total : 6868880054
278.94/167.12	c (14,0) c PropsLitFullScans_winner : 858274933
278.94/167.12	c (14,0) c LitScanFractions_0 : 1382865
278.94/167.12	c (14,0) c LitScanFractions_1 : 3176744
278.94/167.12	c (14,0) c LitScanFractions_2 : 10787947
278.94/167.12	c (14,0) c LitScanFractions_3 : 2963006
278.94/167.12	c (14,0) c LitScanFractions_4 : 1542967
278.94/167.12	c (14,0) c LitScanFractions_5 : 2745355
278.94/167.12	c (14,0) c LitScanFractions_6 : 1281946
278.94/167.12	c (14,0) c LitScanFractions_7 : 1006861
278.94/167.12	c (14,0) c LitScanFractions_total : 24887691
278.94/167.12	c (14,0) c LitScanFractions_winner : 1542967
278.94/167.12	c (14,0) c DecisionLevel0_0 : 368
278.94/167.12	c (14,0) c DecisionLevel0_1 : 302
278.94/167.12	c (14,0) c DecisionLevel0_2 : 304
278.94/167.12	c (14,0) c DecisionLevel0_3 : 423
278.94/167.12	c (14,0) c DecisionLevel0_4 : 382
278.94/167.12	c (14,0) c DecisionLevel0_5 : 363
278.94/167.12	c (14,0) c DecisionLevel0_6 : 349
278.94/167.12	c (14,0) c DecisionLevel0_7 : 374
278.94/167.12	c (14,0) c DecisionLevel0_total : 2865
278.94/167.12	c (14,0) c DecisionLevel0_winner : 382
278.94/167.12	c (14,0) c Periods_0 : 142
278.94/167.12	c (14,0) c Periods_1 : 142
278.94/167.12	c (14,0) c Periods_2 : 145
278.94/167.12	c (14,0) c Periods_3 : 142
278.94/167.12	c (14,0) c Periods_4 : 142
278.94/167.12	c (14,0) c Periods_5 : 142
278.94/167.12	c (14,0) c Periods_6 : 142
278.94/167.12	c (14,0) c Periods_7 : 142
278.94/167.12	c (14,0) c Periods_total : 1139
278.94/167.12	c (14,0) c Periods_winner : 142
278.94/167.12	c (14,0) c Margin_0 : 20
278.94/167.12	c (14,0) c Margin_1 : 20
278.94/167.12	c (14,0) c Margin_2 : 20
278.94/167.12	c (14,0) c Margin_3 : 20
278.94/167.12	c (14,0) c Margin_4 : 20
278.94/167.12	c (14,0) c Margin_5 : 20
278.94/167.12	c (14,0) c Margin_6 : 20
278.94/167.12	c (14,0) c Margin_7 : 20
278.94/167.12	c (14,0) c Margin_total : 160
278.94/167.12	c (14,0) c Margin_winner : 20
278.94/167.12	c (14,0) c Exported_0 : 10587
278.94/167.12	c (14,0) c Exported_1 : 10595
278.94/167.12	c (14,0) c Exported_2 : 9952
278.94/167.12	c (14,0) c Exported_3 : 9918
278.94/167.12	c (14,0) c Exported_4 : 9353
278.94/167.12	c (14,0) c Exported_5 : 10232
278.94/167.12	c (14,0) c Exported_6 : 10934
278.94/167.12	c (14,0) c Exported_7 : 10212
278.94/167.12	c (14,0) c Exported_total : 81783
278.94/167.12	c (14,0) c Exported_winner : 9353
278.94/167.12	c (14,0) c Imported_0 : 64208
278.94/167.12	c (14,0) c Imported_1 : 64196
278.94/167.12	c (14,0) c Imported_2 : 66293
278.94/167.12	c (14,0) c Imported_3 : 65077
278.94/167.12	c (14,0) c Imported_4 : 65981
278.94/167.12	c (14,0) c Imported_5 : 64517
278.94/167.12	c (14,0) c Imported_6 : 64097
278.94/167.12	c (14,0) c Imported_7 : 64618
278.94/167.12	c (14,0) c Imported_total : 518987
278.94/167.12	c (14,0) c Imported_winner : 65981
278.94/167.12	c (14,0) c Good_0 : 8628
278.94/167.12	c (14,0) c Good_1 : 8894
278.94/167.12	c (14,0) c Good_2 : 8943
278.94/167.12	c (14,0) c Good_3 : 8676
278.94/167.12	c (14,0) c Good_4 : 8952
278.94/167.12	c (14,0) c Good_5 : 8933
278.94/167.12	c (14,0) c Good_6 : 8606
278.94/167.12	c (14,0) c Good_7 : 8628
278.94/167.12	c (14,0) c Good_total : 70260
278.94/167.12	c (14,0) c Good_winner : 8952
278.94/167.12	c (14,0) c Purge_0 : 55580
278.94/167.12	c (14,0) c Purge_1 : 55302
278.94/167.12	c (14,0) c Purge_2 : 57350
278.94/167.12	c (14,0) c Purge_3 : 56401
278.94/167.12	c (14,0) c Purge_4 : 57029
278.94/167.12	c (14,0) c Purge_5 : 55584
278.94/167.12	c (14,0) c Purge_6 : 55491
278.94/167.12	c (14,0) c Purge_7 : 55990
278.94/167.12	c (14,0) c Purge_total : 448727
278.94/167.12	c (14,0) c Purge_winner : 57029
278.94/167.12	c (14,0) c Promoted_0 : 3715
278.94/167.12	c (14,0) c Promoted_1 : 4033
278.94/167.12	c (14,0) c Promoted_2 : 3998
278.94/167.12	c (14,0) c Promoted_3 : 3967
278.94/167.12	c (14,0) c Promoted_4 : 4475
278.94/167.12	c (14,0) c Promoted_5 : 4003
278.94/167.12	c (14,0) c Promoted_6 : 3704
278.94/167.12	c (14,0) c Promoted_7 : 3574
278.94/167.12	c (14,0) c Promoted_total : 31469
278.94/167.12	c (14,0) c Promoted_winner : 4475
278.94/167.12	c (14,0) c Remove_Imp_0 : 33699
278.94/167.12	c (14,0) c Remove_Imp_1 : 33218
278.94/167.12	c (14,0) c Remove_Imp_2 : 37750
278.94/167.12	c (14,0) c Remove_Imp_3 : 27775
278.94/167.12	c (14,0) c Remove_Imp_4 : 35928
278.94/167.12	c (14,0) c Remove_Imp_5 : 34575
278.94/167.12	c (14,0) c Remove_Imp_6 : 31586
278.94/167.12	c (14,0) c Remove_Imp_7 : 34948
278.94/167.12	c (14,0) c Remove_Imp_total : 269479
278.94/167.12	c (14,0) c Remove_Imp_winner : 35928
278.94/167.12	c (14,0) c Blocked_Reuse_0 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_1 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_2 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_3 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_4 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_5 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_6 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_7 : 0
278.94/167.12	c (14,0) c Blocked_Reuse_total : 0
278.94/167.12	c (14,0) c Blocked_Reuse_winner : 0
278.94/167.12	c (14,0) c Unaries_0 : 67
278.94/167.12	c (14,0) c Unaries_1 : 51
278.94/167.12	c (14,0) c Unaries_2 : 46
278.94/167.12	c (14,0) c Unaries_3 : 70
278.94/167.12	c (14,0) c Unaries_4 : 50
278.94/167.12	c (14,0) c Unaries_5 : 72
278.94/167.12	c (14,0) c Unaries_6 : 47
278.94/167.12	c (14,0) c Unaries_7 : 43
278.94/167.12	c (14,0) c Unaries_total : 446
278.94/167.12	c (14,0) c Unaries_winner : 50
278.94/167.12	c (14,0) c Binaries_0 : 1421
278.94/167.12	c (14,0) c Binaries_1 : 1155
278.94/167.12	c (14,0) c Binaries_2 : 1119
278.94/167.12	c (14,0) c Binaries_3 : 1378
278.94/167.12	c (14,0) c Binaries_4 : 1109
278.94/167.12	c (14,0) c Binaries_5 : 1118
278.94/167.12	c (14,0) c Binaries_6 : 1454
278.94/167.12	c (14,0) c Binaries_7 : 1423
278.94/167.12	c (14,0) c Binaries_total : 10177
278.94/167.12	c (14,0) c Binaries_winner : 1109
278.94/167.12	c (14,0) c Glues_0 : 2214
278.94/167.12	c (14,0) c Glues_1 : 1921
278.94/167.12	c (14,0) c Glues_2 : 1891
278.94/167.12	c (14,0) c Glues_3 : 2108
278.94/167.12	c (14,0) c Glues_4 : 1953
278.94/167.12	c (14,0) c Glues_5 : 1863
278.94/167.12	c (14,0) c Glues_6 : 2180
278.94/167.12	c (14,0) c Glues_7 : 2089
278.94/167.12	c (14,0) c Glues_total : 16219
278.94/167.12	c (14,0) c Glues_winner : 1953
278.94/167.12	c (14,0) c RunningTime_0 : 10.525710
278.94/167.12	c (14,0) c RunningTime_1 : 10.802340
278.94/167.12	c (14,0) c RunningTime_2 : 10.384516
278.94/167.12	c (14,0) c RunningTime_3 : 10.854201
278.94/167.12	c (14,0) c RunningTime_4 : 10.379500
278.94/167.12	c (14,0) c RunningTime_5 : 10.450144
278.94/167.12	c (14,0) c RunningTime_6 : 10.578258
278.94/167.12	c (14,0) c RunningTime_7 : 11.430235
278.94/167.12	c (14,0) c RunningTime_total : 85.404903
278.94/167.12	c (14,0) c RunningTime_winner : 10.379500
278.94/167.12	c (14,0) c WaitingTime_0 : 0.000171
278.94/167.12	c (14,0) c WaitingTime_1 : 0.000206
278.94/167.12	c (14,0) c WaitingTime_2 : 0.000180
278.94/167.12	c (14,0) c WaitingTime_3 : 0.000197
278.94/167.12	c (14,0) c WaitingTime_4 : 0.000196
278.94/167.12	c (14,0) c WaitingTime_5 : 0.000149
278.94/167.12	c (14,0) c WaitingTime_6 : 0.000170
278.94/167.12	c (14,0) c WaitingTime_7 : 0.000143
278.94/167.12	c (14,0) c WaitingTime_total : 0.001411
278.94/167.12	c (14,0) c WaitingTime_winner : 0.000196
278.94/167.12	c (14,0) c ExchangingTime_0 : 0.025214
278.94/167.12	c (14,0) c ExchangingTime_1 : 0.024647
278.94/167.12	c (14,0) c ExchangingTime_2 : 0.030240
278.94/167.12	c (14,0) c ExchangingTime_3 : 0.032109
278.94/167.12	c (14,0) c ExchangingTime_4 : 0.026681
278.94/167.12	c (14,0) c ExchangingTime_5 : 0.025276
278.94/167.12	c (14,0) c ExchangingTime_6 : 0.028558
278.94/167.12	c (14,0) c ExchangingTime_7 : 0.033667
278.94/167.12	c (14,0) c ExchangingTime_total : 0.226391
278.94/167.12	c (14,0) c ExchangingTime_winner : 0.026681
278.94/167.13	c (14,0) c PeriodProcTime_0 : 0.000974
278.94/167.13	c (14,0) c PeriodProcTime_1 : 0.000972
278.94/167.13	c (14,0) c PeriodProcTime_2 : 0.001032
278.94/167.13	c (14,0) c PeriodProcTime_3 : 0.001034
278.94/167.13	c (14,0) c PeriodProcTime_4 : 0.000933
278.94/167.13	c (14,0) c PeriodProcTime_5 : 0.000983
278.94/167.13	c (14,0) c PeriodProcTime_6 : 0.001127
278.94/167.13	c (14,0) c PeriodProcTime_7 : 0.001059
278.94/167.13	c (14,0) c PeriodProcTime_total : 0.008114
278.94/167.13	c (14,0) c PeriodProcTime_winner : 0.000933
278.94/167.13	c (14,0) c SolvingTime_0 : 10.552068
278.94/167.13	c (14,0) c SolvingTime_1 : 10.828165
278.94/167.13	c (14,0) c SolvingTime_2 : 10.415968
278.94/167.13	c (14,0) c SolvingTime_3 : 10.887540
278.94/167.13	c (14,0) c SolvingTime_4 : 10.407311
278.94/167.13	c (14,0) c SolvingTime_5 : 10.476552
278.94/167.13	c (14,0) c SolvingTime_6 : 10.608112
278.94/167.13	c (14,0) c SolvingTime_7 : 11.465104
278.94/167.13	c (14,0) c SolvingTime_total : 85.640820
278.94/167.13	c (14,0) c SolvingTime_winner : 10.407311
278.94/167.13	c (14,0) c PropagationTime_0 : 6.864962
278.94/167.13	c (14,0) c PropagationTime_1 : 7.176123
278.94/167.13	c (14,0) c PropagationTime_2 : 6.829246
278.94/167.13	c (14,0) c PropagationTime_3 : 7.078960
278.94/167.13	c (14,0) c PropagationTime_4 : 6.761730
278.94/167.13	c (14,0) c PropagationTime_5 : 6.663222
278.94/167.13	c (14,0) c PropagationTime_6 : 7.026193
278.94/167.13	c (14,0) c PropagationTime_7 : 7.512043
278.94/167.13	c (14,0) c PropagationTime_total : 55.912481
278.94/167.13	c (14,0) c PropagationTime_winner : 6.761730
278.94/167.13	c (14,0) c AnalysisTime_0 : 3.097888
278.94/167.13	c (14,0) c AnalysisTime_1 : 3.066317
278.94/167.13	c (14,0) c AnalysisTime_2 : 2.974678
278.94/167.13	c (14,0) c AnalysisTime_3 : 3.206079
278.94/167.13	c (14,0) c AnalysisTime_4 : 3.038782
278.94/167.13	c (14,0) c AnalysisTime_5 : 3.245340
278.94/167.13	c (14,0) c AnalysisTime_6 : 2.969086
278.94/167.13	c (14,0) c AnalysisTime_7 : 3.287439
278.94/167.13	c (14,0) c AnalysisTime_total : 24.885607
278.94/167.13	c (14,0) c AnalysisTime_winner : 3.038782
278.94/167.13	c (14,0) c ReductionTime_0 : 0.102795
278.94/167.13	c (14,0) c ReductionTime_1 : 0.106352
278.94/167.13	c (14,0) c ReductionTime_2 : 0.109617
278.94/167.13	c (14,0) c ReductionTime_3 : 0.085785
278.94/167.13	c (14,0) c ReductionTime_4 : 0.110826
278.94/167.13	c (14,0) c ReductionTime_5 : 0.104516
278.94/167.13	c (14,0) c ReductionTime_6 : 0.106961
278.94/167.13	c (14,0) c ReductionTime_7 : 0.115869
278.94/167.13	c (14,0) c ReductionTime_total : 0.842721
278.94/167.13	c (14,0) c ReductionTime_winner : 0.110826
278.94/167.13	c (14,0) c SimplifyTime_0 : 0.103537
278.94/167.13	c (14,0) c SimplifyTime_1 : 0.104110
278.94/167.13	c (14,0) c SimplifyTime_2 : 0.104893
278.94/167.13	c (14,0) c SimplifyTime_3 : 0.110193
278.94/167.13	c (14,0) c SimplifyTime_4 : 0.103515
278.94/167.13	c (14,0) c SimplifyTime_5 : 0.103187
278.94/167.13	c (14,0) c SimplifyTime_6 : 0.112852
278.94/167.13	c (14,0) c SimplifyTime_7 : 0.113816
278.94/167.13	c (14,0) c SimplifyTime_total : 0.856102
278.94/167.13	c (14,0) c SimplifyTime_winner : 0.103515
278.94/167.13	c (14,0) c UsedRateTime_0 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_1 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_2 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_3 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_4 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_5 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_6 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_7 : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_total : 0.000000
278.94/167.13	c (14,0) c UsedRateTime_winner : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_0 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_1 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_2 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_3 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_4 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_5 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_6 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_7 : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_total : 0.000000
278.94/167.13	c (14,0) c OverlapRateTime_winner : 0.000000
278.94/167.13	c (14,0) c
278.94/167.13	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
278.94/167.13	c (14,0) c
278.94/167.13	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.13	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
278.94/167.13	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.13	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
278.94/167.13	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
278.94/167.13	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
278.94/167.13	c (14,0) c | Initial random_seed   | 1854694466 | 1131072333 | 2104006551 | 1062904153 |   19433003 | 2123293133 | 1874794175 |   40500316 |
278.94/167.13	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
278.94/167.13	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
278.94/167.13	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
278.94/167.13	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
278.94/167.13	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
278.94/167.13	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
278.94/167.13	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
278.94/167.13	c (14,0) c | var_decay             |     0.9000 |     0.9100 |     0.9000 |     0.9000 |     0.9000 |     0.9000 |     0.9100 |     0.9000 |
278.94/167.13	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
278.94/167.13	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
278.94/167.13	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
278.94/167.13	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
278.94/167.13	c (14,0) 
278.94/167.13	c (14,0) s SATISFIABLE
278.94/167.16	c (14,0) SatSolver.solve End
278.94/167.16	c (14,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
278.94/167.16	c (14,0) Show results Begin
279.19/167.25	c (14,0) w3 = 180
279.19/167.25	c (14,0) w4 = 0
279.19/167.25	c (14,0) x[0] = 12
279.19/167.25	c (14,0) x[1] = 23
279.19/167.25	c (14,0) x[2] = 24
279.19/167.25	c (14,0) x[3] = 10
279.19/167.25	c (14,0) x[4] = 3
279.19/167.25	c (14,0) x[5] = 15
279.19/167.25	c (14,0) x[6] = 8
279.19/167.25	c (14,0) x[7] = 14
279.19/167.25	c (14,0) x[8] = 7
279.19/167.25	c (14,0) x[9] = 4
279.19/167.25	c (14,0) x[10] = 1
279.19/167.25	c (14,0) x[11] = 21
279.19/167.25	c (14,0) x[12] = 25
279.19/167.25	c (14,0) x[13] = 13
279.19/167.25	c (14,0) x[14] = 19
279.19/167.25	c (14,0) x[15] = 22
279.19/167.25	c (14,0) x[16] = 9
279.19/167.25	c (14,0) x[17] = 20
279.19/167.25	c (14,0) x[18] = 5
279.19/167.25	c (14,0) x[19] = 2
279.19/167.25	c (14,0) x[20] = 11
279.19/167.25	c (14,0) x[21] = 6
279.19/167.25	c (14,0) x[22] = 17
279.19/167.25	c (14,0) x[23] = 16
279.19/167.25	c (14,0) x[24] = 18
279.19/167.25	c (14,0) y[0] = 4
279.19/167.25	c (14,0) y[1] = 8
279.19/167.25	c (14,0) y[2] = 21
279.19/167.25	c (14,0) y[3] = 8
279.19/167.25	c (14,0) y[4] = 18
279.19/167.25	c (14,0) y[5] = 19
279.19/167.25	c (14,0) y[6] = 16
279.19/167.25	c (14,0) y[7] = 0
279.19/167.25	c (14,0) y[8] = 8
279.19/167.25	c (14,0) y[9] = 2
279.19/167.25	c (14,0) y[10] = 3
279.19/167.25	c (14,0) y[11] = 9
279.19/167.25	c (14,0) y[12] = 1
279.19/167.25	c (14,0) y[13] = 10
279.19/167.25	c (14,0) y[14] = 8
279.19/167.25	c (14,0) y[15] = 0
279.19/167.25	c (14,0) y[16] = 5
279.19/167.25	c (14,0) y[17] = 1
279.19/167.25	c (14,0) y[18] = 20
279.19/167.25	c (14,0) y[19] = 1
279.19/167.25	c (14,0) y[20] = 0
279.19/167.25	c (14,0) y[21] = 6
279.19/167.25	c (14,0) y[22] = 6
279.19/167.25	c (14,0) y[23] = 5
279.19/167.25	c (14,0) y[24] = 1
279.19/167.25	c (14,0) z[0] = 12
279.19/167.25	c (14,0) z[1] = 33
279.19/167.25	c (14,0) z[2] = 41
279.19/167.25	c (14,0) z[3] = 59
279.19/167.25	c (14,0) z[4] = 78
279.19/167.25	c (14,0) z[5] = 94
279.19/167.25	c (14,0) z[6] = 94
279.19/167.25	c (14,0) z[7] = 102
279.19/167.25	c (14,0) z[8] = 104
279.19/167.25	c (14,0) z[9] = 107
279.19/167.25	c (14,0) z[10] = 116
279.19/167.25	c (14,0) z[11] = 117
279.19/167.25	c (14,0) z[12] = 127
279.19/167.25	c (14,0) z[13] = 135
279.19/167.25	c (14,0) z[14] = 135
279.19/167.25	c (14,0) z[15] = 140
279.19/167.25	c (14,0) z[16] = 141
279.19/167.25	c (14,0) z[17] = 161
279.19/167.25	c (14,0) z[18] = 162
279.19/167.25	c (14,0) z[19] = 162
279.19/167.25	c (14,0) z[20] = 168
279.19/167.25	c (14,0) z[21] = 174
279.19/167.25	c (14,0) z[22] = 179
279.19/167.25	c (14,0) z[23] = 180
279.19/167.25	s SATISFIABLE
279.19/167.26	v <instantiation>
279.19/167.26	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>
279.19/167.26	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>
279.19/167.26	v </instantiation>
279.19/167.26	c (14,0) Show results End
279.19/167.26	c (14,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
279.19/167.26	c (14,0) 14,14,STOP-AFTER(ALL)
279.19/167.26	c END-Prog: Sat Sep 14 07:32:54 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 (15098 MiB free)
  memory of node 1: 16384 MiB (15695 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100153 s]*
/proc/loadavg: 8.17 8.18 7.94 2/212 16222
/proc/meminfo: memFree=31437136/32770624 swapFree=67004232/67108860
[pid=16200] ppid=16197 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16200/stat : 16200 (scop.sh) S 16197 16200 11928 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420065891 115843072 349 33554432000 4194304 5098028 140725752656656 140725752653912 139700152115836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26849280 140725752664868 140725752665196 140725752665196 140725752668109 0
/proc/16200/statm: 28282 349 296 221 0 87 0
[pid=16203] ppid=16200 vsize=27314120 memory=106956 CPUtime=0.1 cores=0-7
/proc/16203/stat : 16203 (java) S 16200 16200 11928 0 -1 1077944320 6792 0 0 0 8 2 0 0 20 0 20 0 420065892 27969658880 26739 33554432000 4194304 4196468 140726084847648 140726084830192 140439802453751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
/proc/16203/statm: 6828530 26739 2803 1 0 6790935 0
[pid=16203/tid=16204] ppid=16200 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/16203/task/16204/stat : 16204 (java) R 16200 16200 11928 0 -1 4202560 4904 0 0 0 7 2 0 0 20 0 20 0 420065892 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439774272128 140439786534164 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16205] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16205/stat : 16205 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439806696208 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16206] ppid=16200 vsize=27314120 memory=140160627888792 CPUtime=0 cores=0-7
/proc/16203/task/16206/stat : 16206 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439620852624 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16207] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16207/stat : 16207 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439619800080 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16208] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16208/stat : 16208 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439618747536 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16209] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16209/stat : 16209 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439617693968 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16210] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16210/stat : 16210 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439616641424 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16211] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16211/stat : 16211 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439615588880 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16212] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16212/stat : 16212 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 26739 33554432000 4194304 4196468 140726084847648 140439614536336 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16213] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16213/stat : 16213 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420065896 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437967399408 140439802464898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16214] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16214/stat : 16214 (java) S 16200 16200 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420065897 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437713053088 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16215] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16215/stat : 16215 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065897 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437444617712 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16216] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16216/stat : 16216 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437070109392 140439802472347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16217] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16217/stat : 16217 (java) S 16200 16200 11928 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437966346224 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16218] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16218/stat : 16218 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437965293680 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16219] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16219/stat : 16219 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437964241136 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16220] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16220/stat : 16220 (java) S 16200 16200 11928 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437963188592 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16221] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16221/stat : 16221 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 26739 33554432000 4194304 4196468 140726084847648 140436572203744 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16222] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16222/stat : 16222 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065900 27969658880 26739 33554432000 4194304 4196468 140726084847648 140437962136496 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108352 KiB

[startup+0.20992 s]*
/proc/loadavg: 8.17 8.18 7.94 3/212 16222
/proc/meminfo: memFree=31418236/32770624 swapFree=67004232/67108860
[pid=16200] ppid=16197 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16200/stat : 16200 (scop.sh) S 16197 16200 11928 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420065891 115843072 349 33554432000 4194304 5098028 140725752656656 140725752653912 139700152115836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26849280 140725752664868 140725752665196 140725752665196 140725752668109 0
/proc/16200/statm: 28282 349 296 221 0 87 0
[pid=16203] ppid=16200 vsize=27314120 memory=123840 CPUtime=0.25 cores=0-7
/proc/16203/stat : 16203 (java) S 16200 16200 11928 0 -1 1077944320 11814 0 0 0 21 4 0 0 20 0 20 0 420065892 27969658880 30960 33554432000 4194304 4196468 140726084847648 140726084830192 140439802453751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
/proc/16203/statm: 6828530 30960 2927 1 0 6790935 0
[pid=16203/tid=16204] ppid=16200 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/16203/task/16204/stat : 16204 (java) R 16200 16200 11928 0 -1 4202560 9534 0 0 0 16 3 0 0 20 0 20 0 420065892 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439774253136 140439784017326 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16205] ppid=16200 vsize=27314120 memory=14965 CPUtime=0 cores=0-7
/proc/16203/task/16205/stat : 16205 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439806696208 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16206] ppid=16200 vsize=27314120 memory=288370536779585152 CPUtime=0 cores=0-7
/proc/16203/task/16206/stat : 16206 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439620852624 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16207] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16207/stat : 16207 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439619800080 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16208] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16208/stat : 16208 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439618747536 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16209] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16209/stat : 16209 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439617693968 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16210] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16210/stat : 16210 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439616641424 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16211] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16211/stat : 16211 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439615588880 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16212] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16212/stat : 16212 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 30960 33554432000 4194304 4196468 140726084847648 140439614536336 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16213] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16213/stat : 16213 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420065896 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437967399408 140439802464898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16214] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16214/stat : 16214 (java) S 16200 16200 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420065897 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437713053088 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16215] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16215/stat : 16215 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065897 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437444617712 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16216] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16216/stat : 16216 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437070109392 140439802472347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16217] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16217/stat : 16217 (java) S 16200 16200 11928 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437966346224 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16218] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16218/stat : 16218 (java) S 16200 16200 11928 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437965293680 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16219] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16219/stat : 16219 (java) S 16200 16200 11928 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437964241136 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16220] ppid=16200 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16203/task/16220/stat : 16220 (java) S 16200 16200 11928 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 420065899 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437963188592 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16221] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16221/stat : 16221 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 30960 33554432000 4194304 4196468 140726084847648 140436572203744 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16222] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16222/stat : 16222 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065900 27969658880 30960 33554432000 4194304 4196468 140726084847648 140437962136496 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125236 KiB

[startup+0.309465 s]*
/proc/loadavg: 8.17 8.18 7.94 2/212 16222
/proc/meminfo: memFree=31415312/32770624 swapFree=67004232/67108860
[pid=16200] ppid=16197 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16200/stat : 16200 (scop.sh) S 16197 16200 11928 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420065891 115843072 349 33554432000 4194304 5098028 140725752656656 140725752653912 139700152115836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26849280 140725752664868 140725752665196 140725752665196 140725752668109 0
/proc/16200/statm: 28282 349 296 221 0 87 0
[pid=16203] ppid=16200 vsize=27314120 memory=127544 CPUtime=0.41 cores=0-7
/proc/16203/stat : 16203 (java) S 16200 16200 11928 0 -1 1077944320 12519 0 0 0 37 4 0 0 20 0 20 0 420065892 27969658880 31886 33554432000 4194304 4196468 140726084847648 140726084830192 140439802453751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
/proc/16203/statm: 6828530 31886 3030 1 0 6790935 0
[pid=16203/tid=16204] ppid=16200 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16203/task/16204/stat : 16204 (java) R 16200 16200 11928 0 -1 4202560 10058 0 0 0 26 3 0 0 20 0 20 0 420065892 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439774236768 140439802467655 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16205] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16205/stat : 16205 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439806696208 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16206] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16206/stat : 16206 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439620852624 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16207] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16207/stat : 16207 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439619800080 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16208] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16208/stat : 16208 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439618747536 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16209] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16209/stat : 16209 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065894 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439617693968 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16210] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16210/stat : 16210 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439616641424 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16211] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16211/stat : 16211 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439615588880 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16212] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16212/stat : 16212 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065895 27969658880 31886 33554432000 4194304 4196468 140726084847648 140439614536336 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16213] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16213/stat : 16213 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420065896 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437967399408 140439802464898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16214] ppid=16200 vsize=27314120 memory=280320972889472 CPUtime=0 cores=0-7
/proc/16203/task/16214/stat : 16214 (java) S 16200 16200 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420065897 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437713053088 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16215] ppid=16200 vsize=27314120 memory=280320972894080 CPUtime=0 cores=0-7
/proc/16203/task/16215/stat : 16215 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065897 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437444617712 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16216] ppid=16200 vsize=27314120 memory=280320972898688 CPUtime=0 cores=0-7
/proc/16203/task/16216/stat : 16216 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437070109392 140439802472347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16217] ppid=16200 vsize=27314120 memory=280320972903296 CPUtime=0.01 cores=0-7
/proc/16203/task/16217/stat : 16217 (java) S 16200 16200 11928 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 420065899 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437966346224 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16218] ppid=16200 vsize=27314120 memory=280320972907904 CPUtime=0.01 cores=0-7
/proc/16203/task/16218/stat : 16218 (java) R 16200 16200 11928 0 -1 4202560 37 0 0 0 1 0 0 0 20 0 20 0 420065899 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437965293680 140439781692209 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16219] ppid=16200 vsize=27314120 memory=280320972912512 CPUtime=0.01 cores=0-7
/proc/16203/task/16219/stat : 16219 (java) S 16200 16200 11928 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 420065899 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437964241136 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16220] ppid=16200 vsize=27314120 memory=280320972917120 CPUtime=0.07 cores=0-7
/proc/16203/task/16220/stat : 16220 (java) S 16200 16200 11928 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 420065899 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437963188592 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16221] ppid=16200 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16221/stat : 16221 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420065899 27969658880 31886 33554432000 4194304 4196468 140726084847648 140436572203744 140439802463957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16222] ppid=16200 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16203/task/16222/stat : 16222 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065900 27969658880 31886 33554432000 4194304 4196468 140726084847648 140437962136496 140439802464898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128940 KiB

[startup+0.70087 s]
/proc/loadavg: 8.17 8.18 7.94 2/212 16222
/proc/meminfo: memFree=31392684/32770624 swapFree=67004232/67108860
[pid=16200] ppid=16197 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16200/stat : 16200 (scop.sh) S 16197 16200 11928 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420065891 115843072 349 33554432000 4194304 5098028 140725752656656 140725752653912 139700152115836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26849280 140725752664868 140725752665196 140725752665196 140725752668109 0
/proc/16200/statm: 28282 349 296 221 0 87 0
[pid=16203] ppid=16200 vsize=27320392 memory=165672 CPUtime=1.02 cores=0-7
/proc/16203/stat : 16203 (java) S 16200 16200 11928 0 -1 1077944320 20483 0 0 0 95 7 0 0 20 0 20 0 420065892 27976081408 41418 33554432000 4194304 4196468 140726084847648 140726084830192 140439802453751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
/proc/16203/statm: 6830098 41418 3191 1 0 6791447 0
[pid=16203/tid=16204] ppid=16200 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/16203/task/16204/stat : 16204 (java) R 16200 16200 11928 0 -1 4202560 17394 0 0 0 61 6 0 0 20 0 20 0 420065892 27976081408 41418 33554432000 4194304 4196468 140726084847648 140439774291184 140439802475773 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16205] ppid=16200 vsize=27320392 memory=140160486646656 CPUtime=0 cores=0-7
/proc/16203/task/16205/stat : 16205 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27976081408 41418 33554432000 4194304 4196468 140726084847648 140439806696208 140439802463957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16206] ppid=16200 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16203/task/16206/stat : 16206 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27976081408 41418 33554432000 4194304 4196468 140726084847648 140439620852624 140439802463957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0
[pid=16203/tid=16207] ppid=16200 vsize=27320392 memory=1052 CPUtime=0 cores=0-7
/proc/16203/task/16207/stat : 16207 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420065894 27976081408 41418 33554432000 4194304 4196468 140726084847648 140439619800080 140439802463957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7131136 140726084854506 140726084854934 140726084854934 140726084857807 0

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

/proc/16231/task/16236/stat : 16236 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670600174224 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16237] ppid=16200 vsize=8414124 memory=359464 CPUtime=0 cores=0-7
/proc/16231/task/16237/stat : 16237 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670599121680 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16238] ppid=16200 vsize=8414124 memory=3312 CPUtime=0 cores=0-7
/proc/16231/task/16238/stat : 16238 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670598069136 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16239] ppid=16200 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16231/task/16239/stat : 16239 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670597016592 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16240] ppid=16200 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16231/task/16240/stat : 16240 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670595964048 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16241] ppid=16200 vsize=8414124 memory=40828 CPUtime=0 cores=0-7
/proc/16231/task/16241/stat : 16241 (java) S 16200 16200 11928 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420081085 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669890775024 140670797879938 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16242] ppid=16200 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/16231/task/16242/stat : 16242 (java) S 16200 16200 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420081085 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669372851104 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16243] ppid=16200 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/16231/task/16243/stat : 16243 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081085 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669104415728 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16244] ppid=16200 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/16231/task/16244/stat : 16244 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140668729907408 140670797887387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16245] ppid=16200 vsize=8414124 memory=288230574492221466 CPUtime=0.06 cores=0-7
/proc/16231/task/16245/stat : 16245 (java) S 16200 16200 11928 0 -1 1077944384 656 0 0 0 6 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669889722864 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16246] ppid=16200 vsize=8414124 memory=288230621803970871 CPUtime=0.07 cores=0-7
/proc/16231/task/16246/stat : 16246 (java) S 16200 16200 11928 0 -1 1077944384 292 0 0 0 7 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669888670320 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16247] ppid=16200 vsize=8414124 memory=15262527902714418 CPUtime=0.07 cores=0-7
/proc/16231/task/16247/stat : 16247 (java) S 16200 16200 11928 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669887617776 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16248] ppid=16200 vsize=8414124 memory=1940 CPUtime=0.22 cores=0-7
/proc/16231/task/16248/stat : 16248 (java) S 16200 16200 11928 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669886565232 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16249] ppid=16200 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/16231/task/16249/stat : 16249 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140668232001760 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16250] ppid=16200 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/16231/task/16250/stat : 16250 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420081089 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669885512112 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16252] ppid=16200 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/16231/task/16252/stat : 16252 (java) S 16200 16200 11928 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420081158 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669878035648 140670797893401 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16254] ppid=16200 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/16231/task/16254/stat : 16254 (java) S 16200 16200 11928 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 420081158 8616062976 30722 33554432000 4194304 4196468 140723157475856 140667829337872 140670797890717 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16255] ppid=16200 vsize=8414124 memory=3124 CPUtime=0 cores=0-7
/proc/16231/task/16255/stat : 16255 (java) S 16200 16200 11928 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420081158 8616062976 30722 33554432000 4194304 4196468 140723157475856 140667560902544 140670797890717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16256] ppid=16200 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/16231/task/16256/stat : 16256 (java) S 16200 16200 11928 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 420081160 8616062976 30722 33554432000 4194304 4196468 140723157475856 140667292475056 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
Current children cumulated CPU time: 278.02 s
Current children cumulated vsize: 9282416 KiB
Current children cumulated memory: 499592 KiB

[startup+166.801 s]
/proc/loadavg: 2.29 5.35 6.88 9/225 16266
/proc/meminfo: memFree=31044792/32770624 swapFree=67004232/67108860
[pid=16200] ppid=16197 vsize=113128 memory=1476 CPUtime=189.58 cores=0-7
/proc/16200/stat : 16200 (scop.sh) S 16197 16200 11928 0 -1 4202496 584 79073 0 0 0 0 18208 750 20 0 1 0 420065891 115843072 369 33554432000 4194304 5098028 140725752656656 140725752653400 139700152115836 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26849280 140725752664868 140725752665196 140725752665196 140725752668109 0
/proc/16200/statm: 28282 369 311 221 0 87 0
[pid=16231] ppid=16200 vsize=8414124 memory=122888 CPUtime=1.24 cores=0-7
/proc/16231/stat : 16231 (java) S 16200 16200 11928 0 -1 1077944320 20674 0 0 0 116 8 0 0 20 0 24 0 420081069 8616062976 30722 33554432000 4194304 4196468 140723157475856 140723157458400 140670797868791 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
/proc/16231/statm: 2103531 30722 3213 1 0 2064875 0
[pid=16251] ppid=16231 vsize=711900 memory=365160 CPUtime=87.81 cores=0-7
/proc/16251/stat : 16251 (manyglucose-4.1) S 16231 16200 11928 0 -1 1077944320 130153 0 0 0 8721 60 0 0 20 0 2 0 420081157 728985600 91290 33554432000 4194304 4454172 140723916393040 140723916391424 140593441578743 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 38518784 140723916399465 140723916399664 140723916399664 140723916402618 0
/proc/16251/statm: 177975 91290 422 64 0 173643 0
[pid=16251/tid=16264] ppid=16231 vsize=711900 memory=56 CPUtime=11.01 cores=0-7
/proc/16251/task/16264/stat : 16264 (manyglucose-4.1) R 16231 16200 11928 0 -1 4202560 11841 0 0 0 1092 9 0 0 20 0 2 0 420081456 728985600 91290 33554432000 4194304 4454172 140723916393040 140593271401720 4351552 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 38518784 140723916399465 140723916399664 140723916399664 140723916402618 0
[pid=16231/tid=16232] ppid=16200 vsize=8414124 memory=288230621803970871 CPUtime=0.78 cores=0-7
/proc/16231/task/16232/stat : 16232 (java) S 16200 16200 11928 0 -1 1077944384 17391 0 0 0 72 6 0 0 20 0 24 0 420081070 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670769708960 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16233] ppid=16200 vsize=8414124 memory=15262527902714418 CPUtime=0 cores=0-7
/proc/16231/task/16233/stat : 16233 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670802110736 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16234] ppid=16200 vsize=8414124 memory=7686721470250456985 CPUtime=0 cores=0-7
/proc/16231/task/16234/stat : 16234 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670602279312 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16235] ppid=16200 vsize=8414124 memory=280320974974944 CPUtime=0 cores=0-7
/proc/16231/task/16235/stat : 16235 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670601226768 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16236] ppid=16200 vsize=8414124 memory=3472468456715625456 CPUtime=0 cores=0-7
/proc/16231/task/16236/stat : 16236 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670600174224 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16237] ppid=16200 vsize=8414124 memory=-8097686078499412841 CPUtime=0 cores=0-7
/proc/16231/task/16237/stat : 16237 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670599121680 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16238] ppid=16200 vsize=8414124 memory=-6660924714419469973 CPUtime=0 cores=0-7
/proc/16231/task/16238/stat : 16238 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670598069136 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16239] ppid=16200 vsize=8414124 memory=-7306101227418573677 CPUtime=0 cores=0-7
/proc/16231/task/16239/stat : 16239 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670597016592 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16240] ppid=16200 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16231/task/16240/stat : 16240 (java) S 16200 16200 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420081083 8616062976 30722 33554432000 4194304 4196468 140723157475856 140670595964048 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16241] ppid=16200 vsize=8414124 memory=7686721470250456985 CPUtime=0 cores=0-7
/proc/16231/task/16241/stat : 16241 (java) S 16200 16200 11928 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420081085 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669890775024 140670797879938 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16242] ppid=16200 vsize=8414124 memory=122888 CPUtime=0 cores=0-7
/proc/16231/task/16242/stat : 16242 (java) S 16200 16200 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420081085 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669372851104 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16243] ppid=16200 vsize=8414124 memory=351032 CPUtime=0 cores=0-7
/proc/16231/task/16243/stat : 16243 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081085 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669104415728 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16244] ppid=16200 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16231/task/16244/stat : 16244 (java) S 16200 16200 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140668729907408 140670797887387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16245] ppid=16200 vsize=8414124 memory=6 CPUtime=0.06 cores=0-7
/proc/16231/task/16245/stat : 16245 (java) S 16200 16200 11928 0 -1 1077944384 656 0 0 0 6 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669889722864 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16246] ppid=16200 vsize=8414124 memory=7 CPUtime=0.07 cores=0-7
/proc/16231/task/16246/stat : 16246 (java) S 16200 16200 11928 0 -1 1077944384 292 0 0 0 7 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669888670320 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16247] ppid=16200 vsize=8414124 memory=7 CPUtime=0.07 cores=0-7
/proc/16231/task/16247/stat : 16247 (java) S 16200 16200 11928 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669887617776 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16248] ppid=16200 vsize=8414124 memory=22 CPUtime=0.22 cores=0-7
/proc/16231/task/16248/stat : 16248 (java) S 16200 16200 11928 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669886565232 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16249] ppid=16200 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16231/task/16249/stat : 16249 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420081088 8616062976 30722 33554432000 4194304 4196468 140723157475856 140668232001760 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16250] ppid=16200 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16231/task/16250/stat : 16250 (java) S 16200 16200 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420081089 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669885512112 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16252] ppid=16200 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/16231/task/16252/stat : 16252 (java) S 16200 16200 11928 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420081158 8616062976 30722 33554432000 4194304 4196468 140723157475856 140669878035648 140670797893401 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16254] ppid=16200 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/16231/task/16254/stat : 16254 (java) S 16200 16200 11928 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 420081158 8616062976 30722 33554432000 4194304 4196468 140723157475856 140667829337872 140670797890717 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16255] ppid=16200 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16231/task/16255/stat : 16255 (java) S 16200 16200 11928 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420081158 8616062976 30722 33554432000 4194304 4196468 140723157475856 140667560902544 140670797890717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16256] ppid=16200 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/16231/task/16256/stat : 16256 (java) S 16200 16200 11928 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 24 0 420081160 8616062976 30722 33554432000 4194304 4196468 140723157475856 140667292475056 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
Current children cumulated CPU time: 278.63 s
Current children cumulated vsize: 9239152 KiB
Current children cumulated memory: 489524 KiB

[startup+167.201 s]
/proc/loadavg: 2.59 5.36 6.88 2/218 16266
/proc/meminfo: memFree=31041344/32770624 swapFree=67004232/67108860
[pid=16200] ppid=16197 vsize=113128 memory=1476 CPUtime=189.58 cores=0-7
/proc/16200/stat : 16200 (scop.sh) S 16197 16200 11928 0 -1 4202496 584 79073 0 0 0 0 18208 750 20 0 1 0 420065891 115843072 369 33554432000 4194304 5098028 140725752656656 140725752653400 139700152115836 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26849280 140725752664868 140725752665196 140725752665196 140725752668109 0
/proc/16200/statm: 28282 369 311 221 0 87 0
[pid=16231] ppid=16200 vsize=8283048 memory=132224 CPUtime=89.61 cores=0-7
/proc/16231/stat : 16231 (java) S 16200 16200 11928 0 -1 1077944320 21533 130167 0 0 139 9 8752 61 20 0 22 0 420081069 8481841152 33056 33554432000 4194304 4196468 140723157475856 140723157458400 140670797868791 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
/proc/16231/statm: 2070762 33056 3225 1 0 2032106 0
[pid=16231/tid=16232] ppid=16200 vsize=8283048 memory=1476 CPUtime=88.95 cores=0-7
/proc/16231/task/16232/stat : 16232 (java) R 16200 16200 11928 0 -1 4202560 17525 130167 0 0 76 6 8752 61 20 0 22 0 420081070 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670769707504 140670262128407 0 4 2 25189581 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16233] ppid=16200 vsize=8283048 memory=122888 CPUtime=88.13 cores=0-7
/proc/16231/task/16233/stat : 16233 (java) S 16200 16200 11928 0 -1 1077944384 2 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670802110736 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16234] ppid=16200 vsize=8283048 memory=1940 CPUtime=88.13 cores=0-7
/proc/16231/task/16234/stat : 16234 (java) S 16200 16200 11928 0 -1 1077944384 1 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670602279312 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16235] ppid=16200 vsize=8283048 memory=1416 CPUtime=88.13 cores=0-7
/proc/16231/task/16235/stat : 16235 (java) S 16200 16200 11928 0 -1 1077944384 3 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670601226768 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16236] ppid=16200 vsize=8283048 memory=1556 CPUtime=88.13 cores=0-7
/proc/16231/task/16236/stat : 16236 (java) S 16200 16200 11928 0 -1 1077944384 1 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670600174224 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16237] ppid=16200 vsize=8283048 memory=740 CPUtime=88.13 cores=0-7
/proc/16231/task/16237/stat : 16237 (java) S 16200 16200 11928 0 -1 1077944384 1 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670599121680 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16238] ppid=16200 vsize=8283048 memory=1052 CPUtime=88.13 cores=0-7
/proc/16231/task/16238/stat : 16238 (java) S 16200 16200 11928 0 -1 1077944384 2 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670598069136 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16239] ppid=16200 vsize=8283048 memory=7548 CPUtime=88.13 cores=0-7
/proc/16231/task/16239/stat : 16239 (java) S 16200 16200 11928 0 -1 1077944384 1 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670597016592 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16240] ppid=16200 vsize=8283048 memory=1556 CPUtime=88.13 cores=0-7
/proc/16231/task/16240/stat : 16240 (java) S 16200 16200 11928 0 -1 1077944384 2 130167 0 0 0 0 8752 61 20 0 22 0 420081083 8481841152 33056 33554432000 4194304 4196468 140723157475856 140670595964048 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16241] ppid=16200 vsize=8283048 memory=740 CPUtime=88.13 cores=0-7
/proc/16231/task/16241/stat : 16241 (java) S 16200 16200 11928 0 -1 1077944384 6 130167 0 0 0 0 8752 61 20 0 22 0 420081085 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669890775024 140670797879938 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16242] ppid=16200 vsize=8283048 memory=1052 CPUtime=88.13 cores=0-7
/proc/16231/task/16242/stat : 16242 (java) S 16200 16200 11928 0 -1 1077944384 13 130167 0 0 0 0 8752 61 20 0 22 0 420081085 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669372851104 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16243] ppid=16200 vsize=8283048 memory=7548 CPUtime=88.13 cores=0-7
/proc/16231/task/16243/stat : 16243 (java) S 16200 16200 11928 0 -1 1077944384 1 130167 0 0 0 0 8752 61 20 0 22 0 420081085 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669104415728 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16244] ppid=16200 vsize=8283048 memory=4004 CPUtime=88.13 cores=0-7
/proc/16231/task/16244/stat : 16244 (java) S 16200 16200 11928 0 -1 1077944384 1 130167 0 0 0 0 8752 61 20 0 22 0 420081088 8481841152 33056 33554432000 4194304 4196468 140723157475856 140668729907408 140670797887387 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16245] ppid=16200 vsize=8283048 memory=1476 CPUtime=88.23 cores=0-7
/proc/16231/task/16245/stat : 16245 (java) S 16200 16200 11928 0 -1 1077944384 916 130167 0 0 10 0 8752 61 20 0 22 0 420081088 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669889722864 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16246] ppid=16200 vsize=8283048 memory=7686721470250456985 CPUtime=88.22 cores=0-7
/proc/16231/task/16246/stat : 16246 (java) S 16200 16200 11928 0 -1 1077944384 312 130167 0 0 9 0 8752 61 20 0 22 0 420081088 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669888670320 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16247] ppid=16200 vsize=8283048 memory=1692 CPUtime=88.22 cores=0-7
/proc/16231/task/16247/stat : 16247 (java) S 16200 16200 11928 0 -1 1077944384 277 130167 0 0 9 0 8752 61 20 0 22 0 420081088 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669887617776 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16248] ppid=16200 vsize=8283048 memory=792 CPUtime=88.4 cores=0-7
/proc/16231/task/16248/stat : 16248 (java) R 16200 16200 11928 0 -1 4202560 915 130167 0 0 27 0 8752 61 20 0 22 0 420081088 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669886565232 140670790965627 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16249] ppid=16200 vsize=8283048 memory=1448 CPUtime=88.13 cores=0-7
/proc/16231/task/16249/stat : 16249 (java) S 16200 16200 11928 0 -1 1077944384 3 130167 0 0 0 0 8752 61 20 0 22 0 420081088 8481841152 33056 33554432000 4194304 4196468 140723157475856 140668232001760 140670797878997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16250] ppid=16200 vsize=8283048 memory=1964 CPUtime=88.13 cores=0-7
/proc/16231/task/16250/stat : 16250 (java) S 16200 16200 11928 0 -1 1077944384 3 130167 0 0 0 0 8752 61 20 0 22 0 420081089 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669885512112 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16252] ppid=16200 vsize=8283048 memory=2456 CPUtime=88.13 cores=0-7
/proc/16231/task/16252/stat : 16252 (java) S 16200 16200 11928 0 -1 1077944384 25 130167 0 0 0 0 8752 61 20 0 22 0 420081158 8481841152 33056 33554432000 4194304 4196468 140723157475856 140669878034832 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
[pid=16231/tid=16256] ppid=16200 vsize=8283048 memory=804 CPUtime=88.13 cores=0-7
/proc/16231/task/16256/stat : 16256 (java) S 16200 16200 11928 0 -1 1077944384 140 130167 0 0 0 0 8752 61 20 0 22 0 420081160 8481841152 33056 33554432000 4194304 4196468 140723157475856 140667292476848 140670797879938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7159808 140723157484535 140723157484694 140723157484694 140723157487567 0
Current children cumulated CPU time: 279.19 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 133700 KiB

Child status: 0
Real time (s): 167.271
CPU time (s): 279.368
CPU user time (s): 271.139
CPU system time (s): 8.22893
CPU usage (%): 167.015
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8191840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.139
system time used= 8.22893
maximum resident set size= 8191016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50018
involuntary context switches= 1346


# summary of solver processes directly reported to runsolver:
#   pid: 16200
#   total CPU time (s): 279.368
#   total CPU user time (s): 271.139
#   total CPU system time (s): 8.22893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08527 second user time and 1.7201 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 07:30:06
IDJOB=4392658
IDBENCH=135702
IDSOLVER=2839
FILE ID=node148/4392658-1568439043
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392658-1568439043/watcher-4392658-1568439043 -o /tmp/evaluation-result-4392658-1568439043/solver-4392658-1568439043 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392658-1568439043.xml

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

MD5SUM BENCH= 0286d8cb8f351d75271acd0c64dfc747
RANDOM SEED=1718478436

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31533172 kB
MemAvailable:   31909524 kB
Buffers:           98304 kB
Cached:           573812 kB
SwapCached:         3812 kB
Active:           410696 kB
Inactive:         268340 kB
Active(anon):       4120 kB
Inactive(anon):    43744 kB
Active(file):     406576 kB
Inactive(file):   224596 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             20524 kB
Writeback:             0 kB
AnonPages:        112884 kB
Mapped:            44488 kB
Shmem:             32352 kB
Slab:             150272 kB
SReclaimable:     122028 kB
SUnreclaim:        28244 kB
KernelStack:        3392 kB
PageTables:         5904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61288 MiB
End job on node148 at 2019-09-14 07:32:54