Trace number 4405218

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s25/
TravellingSalesman-25-715_X2.xml
MD5SUM0286d8cb8f351d75271acd0c64dfc747
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.29109
Satisfiable
(Un)Satisfiability was proved
Number of variables76
Number of constraints350
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":25,"count":25},{"size":181,"count":24},{"size":1001,"count":25}]
Minimum variable degree1
Maximum variable degree25
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":49},{"degree":25,"count":25}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":325},{"arity":3,"count":25}]
Number of extensional constraints350
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":350}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20506-serial-file.bin HOME/instance-4405218-1569355812.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 22:12:26 CEST 2019
0.66/0.56	c PID: 20509
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.15/1.10	c (0,0) Parsing End
2.57/1.11	c (0,0) CSP: 75 int (0 aux), 1 bool (0 aux), 350 ctr, max domain size 1001
2.57/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.57/1.11	c (0,0) Constraint Name Generate Begin
2.57/1.12	c (0,0) Ctr:HOME/instance-4405218-1569355812.xml,ExtensionConflict:ExtensionSupport:Var
2.57/1.12	c (0,0) Constraint Name Generate End
2.57/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.57/1.12	c (0,0) CSP to CSPinCNF Begin
4.03/1.61	c (1,1) translated 35 (10%) constraints
4.44/1.73	c (1,1) translated 70 (20%) constraints
4.84/1.82	c (1,1) translated 105 (30%) constraints
4.84/1.90	c (1,1) translated 140 (40%) constraints
5.23/1.96	c (1,1) translated 175 (50%) constraints
5.57/2.03	c (1,1) translated 210 (60%) constraints
5.57/2.09	c (1,1) translated 245 (70%) constraints
5.86/2.15	c (1,1) translated 280 (80%) constraints
91.07/81.21	c (80,79) translated 315 (90%) constraints
117.16/103.48	c (102,101) translated 350 (100%) constraints
117.16/103.48	c (102,101) ===========================================
117.16/103.49	c (102,101) Order
117.16/103.49	c (102,101) ===========================================
124.50/105.93	c (105,103) translated 78986 (10%) constraints
126.42/107.71	c (107,105) translated 157972 (20%) constraints
128.16/109.50	c (108,107) translated 236957 (30%) constraints
129.98/111.28	c (110,108) translated 315943 (40%) constraints
131.79/113.05	c (112,110) translated 394928 (50%) constraints
133.58/114.83	c (114,112) translated 473914 (60%) constraints
135.38/116.61	c (116,114) translated 552900 (70%) constraints
137.18/118.41	c (117,116) translated 631885 (80%) constraints
138.99/120.20	c (119,117) translated 710871 (90%) constraints
140.69/121.99	c (121,119) translated 789856 (100%) constraints
140.69/121.99	c (121,119) CSP to CSPinCNF End
140.69/122.00	c (121,119) CSP: 75 int (0 aux), 9036 bool (9035 aux), 789856 ctr, max domain size 180
140.69/122.00	c (121,119) Heap : 5877 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
140.69/122.00	c (121,119) CSPinCNF Propagation Begin
173.03/141.47	c (140,137) 668 values, 271462 unsatisfiable literals, and 211441 valid clauses are removed
173.03/141.47	c (140,137) CSPinCNF Propagation End
173.03/141.47	c (140,137) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
173.03/141.47	c (140,137) Heap : 1699 MiB used (max 20857 MiB), NonHeap : 28 MiB used (max 0 MiB)
173.03/141.47	c (140,137) Simplify CSPinCNF Begin
174.77/142.93	c (142,138) Simplify CSPinCNF End
174.77/142.93	c (142,138) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
174.77/142.93	c (142,138) Heap : 2478 MiB used (max 20857 MiB), NonHeap : 29 MiB used (max 0 MiB)
174.77/142.93	c (142,138) Calculate Precise Domain Begin
174.77/142.93	c (142,138) 0 values are removed by re-calculation
174.77/142.93	c (142,138) Calculate Precise Domain End
174.77/142.93	c (142,138) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
174.77/142.93	c (142,138) Heap : 2478 MiB used (max 20857 MiB), NonHeap : 29 MiB used (max 0 MiB)
174.77/142.93	c (142,138) CSPinCNF to SatSolver Begin
177.34/143.99	c (143,139) 57842 (10 %) CSP clauses are encoded (0 SAT variables, 62811 SAT clauses)
178.18/144.72	c (144,140) 115683 (20 %) CSP clauses are encoded (0 SAT variables, 120652 SAT clauses)
178.89/145.47	c (144,141) 173525 (30 %) CSP clauses are encoded (0 SAT variables, 178494 SAT clauses)
179.68/146.22	c (145,142) 231366 (40 %) CSP clauses are encoded (0 SAT variables, 236335 SAT clauses)
180.39/146.95	c (146,142) 289208 (50 %) CSP clauses are encoded (0 SAT variables, 294177 SAT clauses)
186.27/148.38	c (147,143) 347049 (60 %) CSP clauses are encoded (0 SAT variables, 352018 SAT clauses)
187.08/149.11	c (148,144) 404891 (70 %) CSP clauses are encoded (0 SAT variables, 409860 SAT clauses)
187.77/149.84	c (149,145) 462732 (80 %) CSP clauses are encoded (0 SAT variables, 467701 SAT clauses)
188.47/150.58	c (150,145) 520574 (90 %) CSP clauses are encoded (0 SAT variables, 525543 SAT clauses)
189.18/151.26	c (150,146) 578415 (100 %) CSP clauses are encoded (0 SAT variables, 583384 SAT clauses)
189.18/151.26	c (150,146) CSPinCNF to SatSolver End
189.18/151.26	c (150,146) Heap : 4240 MiB used (max 21223 MiB), NonHeap : 30 MiB used (max 0 MiB)
189.18/151.26	c (150,146) 13565 bool, 583385 clause
189.18/151.26	c (150,146) Export Begin
189.34/151.38	c (150,146) Export to HOME/scop-20506-serial-file.bin
189.34/151.38	c (150,146) Export End
189.34/151.38	c (150,146) Export File Size: 0.05 MB
189.34/151.38	c (150,146) 0,0,121,140,142,142,150,STOP-AFTER(DIMACS)
189.34/151.38	c END-Prog: Tue Sep 24 22:14:57 CEST 2019
0.00/151.43	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20506-serial-file.bin
189.57/151.89	c (0,0) Read Serial File Begin
190.18/152.01	c (0,0) HOME/scop-20506-serial-file.bin
190.44/152.25	c (0,0) Read Serial File End
190.44/152.26	
190.44/152.26	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
190.44/152.26	(Solving Process)
190.44/152.26	
190.44/152.29	c BEGIN-Prog: Tue Sep 24 22:14:58 CEST 2019
190.44/152.29	c PID: 20537
190.44/152.29	c IP: 172.20.3.139
190.44/152.29	c HOST: node139.alineos.net
190.44/152.29	c (0,0) SatSolver.solve Begin
190.44/152.29	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405218-1569355812.xml-scop-20509.cnf
190.63/152.32	c (0,0) c
190.63/152.32	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.63/152.32	c (0,0) c
190.63/152.32	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
190.63/152.32	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
190.63/152.32	c (0,0) c ========================================[ Problem Statistics ]===========================================
190.63/152.32	c (0,0) c |                                                                                                       |
190.80/152.46	c (0,0) c |  Number of variables:         13565                                                                   |
190.80/152.46	c (0,0) c |  Number of clauses:          159207                                                                   |
190.80/152.46	c (0,0) c |  Parse time:                   0.13 s                                                                 |
190.80/152.46	c (0,0) c |                                                                                                       |
193.69/155.24	c (3,0) c |  Simplification time:          2.78 s                                                                 |
193.69/155.24	c (3,0) c |                                                                                                       |
193.69/155.24	c (3,0) c |  Generating clones                                                                                    |
193.78/155.30	c (3,0) c |  all clones generated. Memory =   128.06Mb.                                                           |
193.78/155.30	c (3,0) c ========================================================================================================|
193.78/155.30	c (3,0) c
193.78/155.30	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
193.78/155.30	c (3,0) c
193.78/155.30	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
193.78/155.30	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
193.78/155.30	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
193.78/155.30	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
193.78/155.30	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
193.78/155.30	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
193.78/155.30	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
193.78/155.30	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
193.78/155.30	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
193.78/155.30	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
193.78/155.30	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
193.78/155.30	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
193.78/155.30	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
193.78/155.30	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
193.78/155.30	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
193.78/155.30	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
193.78/155.30	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
193.78/155.30	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
193.78/155.30	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c real time : 14.3259 s
279.52/166.64	c (14,0) c cpu time  : 88.1902 s
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c | Conflicts     |          437989 |      55202 |      56067 |      54907 |      52533 |      54234 |      54342 |      56635 |      54069 |
279.52/166.64	c (14,0) c | Decisions     |         1647950 |     208481 |     190676 |     199703 |     217680 |     210832 |     199331 |     207512 |     213735 |
279.52/166.64	c (14,0) c | Propagations  |       196912033 |   24444198 |   26082779 |   25380847 |   23387534 |   24340313 |   23497182 |   25752493 |   24026687 |
279.52/166.64	c (14,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
279.52/166.64	c (14,0) c | SimpDBs       |             156 |         20 |         20 |         20 |         18 |         19 |         19 |         21 |         19 |
279.52/166.64	c (14,0) c | Restarts      |            2462 |        306 |        251 |        276 |        369 |        332 |        291 |        306 |        331 |
279.52/166.64	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.52/166.64	c (14,0) c | PropBinClauses|       380928300 |   45555793 |   52118198 |   49758641 |   44980660 |   47364848 |   46322331 |   49880138 |   44947691 |
279.52/166.64	c (14,0) c | PropPreBlocker|      1476358162 |  190078836 |  193448538 |  190077446 |  171226307 |  176461966 |  180410754 |  191797703 |  182856612 |
279.52/166.64	c (14,0) c | PropNotBlocker|       444498798 |   54564702 |   59682401 |   56322506 |   52913748 |   56185279 |   54142441 |   56991388 |   53696333 |
279.52/166.64	c (14,0) c | LitFullScans  |      6961519288 |  871511116 |  855299522 |  916692425 |  885085748 |  858274933 |  860888019 |  860627510 |  853140015 |
279.52/166.64	c (14,0) c | LitScanFracts |        24939634 |    1390570 |    3176744 |   10811687 |    2966580 |    1542967 |    2762231 |    1281994 |    1006861 |
279.52/166.64	c (14,0) c | DecisionLevel0|            2910 |        373 |        302 |        323 |        439 |        382 |        363 |        354 |        374 |
279.52/166.64	c (14,0) c | Periods       |            1154 |        145 |        142 |        150 |        147 |        142 |        143 |        143 |        142 |
279.52/166.64	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
279.52/166.64	c (14,0) c | Avg_Trail     |                 |       7673 |       7572 |       7448 |       7469 |       7823 |       7445 |       7402 |       7541 |
279.52/166.64	c (14,0) c | Avg_DL        |                 |         46 |         43 |         51 |         56 |         49 |         44 |         51 |         54 |
279.52/166.64	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.52/166.64	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c | Exported      |           82504 |      10684 |      10595 |      10225 |      10136 |       9353 |      10294 |      11005 |      10212 |
279.52/166.64	c (14,0) c | Imported      |          522516 |      64790 |      64196 |      67366 |      66401 |      65981 |      64517 |      64647 |      64618 |
279.52/166.64	c (14,0) c | Good          |           70312 |       8634 |       8894 |       8963 |       8696 |       8952 |       8933 |       8612 |       8628 |
279.52/166.64	c (14,0) c | Purge         |          452204 |      56156 |      55302 |      58403 |      57705 |      57029 |      55584 |      56035 |      55990 |
279.52/166.64	c (14,0) c | Promoted      |           31819 |       3773 |       4033 |       4108 |       4070 |       4475 |       4032 |       3754 |       3574 |
279.52/166.64	c (14,0) c | Remove_Imp    |          280134 |      33699 |      33218 |      37750 |      38430 |      35928 |      34575 |      31586 |      34948 |
279.52/166.64	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c | Unaries       |                 |         67 |         51 |         47 |         70 |         50 |         72 |         48 |         43 |
279.52/166.64	c (14,0) c | Binaries      |                 |       1422 |       1155 |       1121 |       1382 |       1109 |       1118 |       1454 |       1423 |
279.52/166.64	c (14,0) c | Glues         |                 |       2217 |       1921 |       1901 |       2122 |       1953 |       1866 |       2181 |       2089 |
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c | Orig_Seen     |            47 % |      60643 |      59340 |      61297 |      63512 |      64516 |      59056 |      60502 |      61421 |
279.52/166.64	c (14,0) c | Diff Orig seen|                 | -     3873 | -     5176 | -     3219 | -     1004 |      X     | -     5460 | -     4014 | -     3095 |
279.52/166.64	c (14,0) c | Hamming       |             6 % |        781 |        680 |        638 |        996 |      X     |        977 |        835 |       1018 |
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c | RunningTime   |                 |   10.7 100%|   11.3 100%|   10.7 100%|   10.7 100%|   10.6 100%|   10.7 100%|   10.6 100%|   10.7 100%|
279.52/166.64	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%|
279.52/166.64	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%|
279.52/166.64	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%|
279.52/166.64	c (14,0) c | SolvingTime   |                 |   10.7     |   11.3     |   10.7     |   10.7     |   10.7     |   10.7     |   10.7     |   10.7     |
279.52/166.64	c (14,0) c | PropagationTim|                 |    6.9  65%|    7.6  67%|    7.0  66%|    6.9  64%|    7.0  66%|    6.9  64%|    7.1  66%|    6.9  65%|
279.52/166.64	c (14,0) c | AnalysisTime  |                 |    3.2  30%|    3.1  27%|    3.1  29%|    3.2  30%|    3.1  29%|    3.3  31%|    3.0  28%|    3.2  30%|
279.52/166.64	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%|
279.52/166.64	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%|
279.52/166.64	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%|
279.52/166.64	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%|
279.52/166.64	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c
279.52/166.64	c (14,0) c Threads : 8
279.52/166.64	c (14,0) c Winner : 4
279.52/166.64	c (14,0) c Conflicts_0 : 55202
279.52/166.64	c (14,0) c Conflicts_1 : 56067
279.52/166.64	c (14,0) c Conflicts_2 : 54907
279.52/166.64	c (14,0) c Conflicts_3 : 52533
279.52/166.64	c (14,0) c Conflicts_4 : 54234
279.52/166.64	c (14,0) c Conflicts_5 : 54342
279.52/166.64	c (14,0) c Conflicts_6 : 56635
279.52/166.64	c (14,0) c Conflicts_7 : 54069
279.52/166.64	c (14,0) c Conflicts_total : 437989
279.52/166.64	c (14,0) c Conflicts_winner : 54234
279.52/166.64	c (14,0) c Decisions_0 : 208481
279.52/166.64	c (14,0) c Decisions_1 : 190676
279.52/166.64	c (14,0) c Decisions_2 : 199703
279.52/166.64	c (14,0) c Decisions_3 : 217680
279.52/166.64	c (14,0) c Decisions_4 : 210832
279.52/166.64	c (14,0) c Decisions_5 : 199331
279.52/166.64	c (14,0) c Decisions_6 : 207512
279.52/166.64	c (14,0) c Decisions_7 : 213735
279.52/166.64	c (14,0) c Decisions_total : 1647950
279.52/166.64	c (14,0) c Decisions_winner : 210832
279.52/166.64	c (14,0) c Propagations_0 : 24444198
279.52/166.64	c (14,0) c Propagations_1 : 26082779
279.52/166.64	c (14,0) c Propagations_2 : 25380847
279.52/166.64	c (14,0) c Propagations_3 : 23387534
279.52/166.64	c (14,0) c Propagations_4 : 24340313
279.52/166.64	c (14,0) c Propagations_5 : 23497182
279.52/166.65	c (14,0) c Propagations_6 : 25752493
279.52/166.65	c (14,0) c Propagations_7 : 24026687
279.52/166.65	c (14,0) c Propagations_total : 196912033
279.52/166.65	c (14,0) c Propagations_winner : 24340313
279.52/166.65	c (14,0) c ReduceDBs_0 : 6
279.52/166.65	c (14,0) c ReduceDBs_1 : 6
279.52/166.65	c (14,0) c ReduceDBs_2 : 6
279.52/166.65	c (14,0) c ReduceDBs_3 : 6
279.52/166.65	c (14,0) c ReduceDBs_4 : 6
279.52/166.65	c (14,0) c ReduceDBs_5 : 6
279.52/166.65	c (14,0) c ReduceDBs_6 : 6
279.52/166.65	c (14,0) c ReduceDBs_7 : 6
279.52/166.65	c (14,0) c ReduceDBs_total : 48
279.52/166.65	c (14,0) c ReduceDBs_winner : 6
279.52/166.65	c (14,0) c SimpDBs_0 : 20
279.52/166.65	c (14,0) c SimpDBs_1 : 20
279.52/166.65	c (14,0) c SimpDBs_2 : 20
279.52/166.65	c (14,0) c SimpDBs_3 : 18
279.52/166.65	c (14,0) c SimpDBs_4 : 19
279.52/166.65	c (14,0) c SimpDBs_5 : 19
279.52/166.65	c (14,0) c SimpDBs_6 : 21
279.52/166.65	c (14,0) c SimpDBs_7 : 19
279.52/166.65	c (14,0) c SimpDBs_total : 156
279.52/166.65	c (14,0) c SimpDBs_winner : 19
279.52/166.65	c (14,0) c Restarts_0 : 306
279.52/166.65	c (14,0) c Restarts_1 : 251
279.52/166.65	c (14,0) c Restarts_2 : 276
279.52/166.65	c (14,0) c Restarts_3 : 369
279.52/166.65	c (14,0) c Restarts_4 : 332
279.52/166.65	c (14,0) c Restarts_5 : 291
279.52/166.65	c (14,0) c Restarts_6 : 306
279.52/166.65	c (14,0) c Restarts_7 : 331
279.52/166.65	c (14,0) c Restarts_total : 2462
279.52/166.65	c (14,0) c Restarts_winner : 332
279.52/166.65	c (14,0) c ForcedImports_0 : 0
279.52/166.65	c (14,0) c ForcedImports_1 : 0
279.52/166.65	c (14,0) c ForcedImports_2 : 0
279.52/166.65	c (14,0) c ForcedImports_3 : 0
279.52/166.65	c (14,0) c ForcedImports_4 : 0
279.52/166.65	c (14,0) c ForcedImports_5 : 0
279.52/166.65	c (14,0) c ForcedImports_6 : 0
279.52/166.65	c (14,0) c ForcedImports_7 : 0
279.52/166.65	c (14,0) c ForcedImports_total : 0
279.52/166.65	c (14,0) c ForcedImports_winner : 0
279.52/166.65	c (14,0) c PropsBinClauses_0 : 45555793
279.52/166.65	c (14,0) c PropsBinClauses_1 : 52118198
279.52/166.65	c (14,0) c PropsBinClauses_2 : 49758641
279.52/166.65	c (14,0) c PropsBinClauses_3 : 44980660
279.52/166.65	c (14,0) c PropsBinClauses_4 : 47364848
279.52/166.65	c (14,0) c PropsBinClauses_5 : 46322331
279.52/166.65	c (14,0) c PropsBinClauses_6 : 49880138
279.52/166.65	c (14,0) c PropsBinClauses_7 : 44947691
279.52/166.65	c (14,0) c PropsBinClauses_total : 380928300
279.52/166.65	c (14,0) c PropsBinClauses_winner : 47364848
279.52/166.65	c (14,0) c PropsPreBlocker_0 : 190078836
279.52/166.65	c (14,0) c PropsPreBlocker_1 : 193448538
279.52/166.65	c (14,0) c PropsPreBlocker_2 : 190077446
279.52/166.65	c (14,0) c PropsPreBlocker_3 : 171226307
279.52/166.65	c (14,0) c PropsPreBlocker_4 : 176461966
279.52/166.65	c (14,0) c PropsPreBlocker_5 : 180410754
279.52/166.65	c (14,0) c PropsPreBlocker_6 : 191797703
279.52/166.65	c (14,0) c PropsPreBlocker_7 : 182856612
279.52/166.65	c (14,0) c PropsPreBlocker_total : 1476358162
279.52/166.65	c (14,0) c PropsPreBlocker_winner : 176461966
279.52/166.65	c (14,0) c PropsNotBlocker_0 : 54564702
279.52/166.65	c (14,0) c PropsNotBlocker_1 : 59682401
279.52/166.65	c (14,0) c PropsNotBlocker_2 : 56322506
279.52/166.65	c (14,0) c PropsNotBlocker_3 : 52913748
279.52/166.65	c (14,0) c PropsNotBlocker_4 : 56185279
279.52/166.65	c (14,0) c PropsNotBlocker_5 : 54142441
279.52/166.65	c (14,0) c PropsNotBlocker_6 : 56991388
279.52/166.65	c (14,0) c PropsNotBlocker_7 : 53696333
279.52/166.65	c (14,0) c PropsNotBlocker_total : 444498798
279.52/166.65	c (14,0) c PropsNotBlocker_winner : 56185279
279.52/166.65	c (14,0) c PropsLitFullScans_0 : 871511116
279.52/166.65	c (14,0) c PropsLitFullScans_1 : 855299522
279.52/166.65	c (14,0) c PropsLitFullScans_2 : 916692425
279.52/166.65	c (14,0) c PropsLitFullScans_3 : 885085748
279.52/166.65	c (14,0) c PropsLitFullScans_4 : 858274933
279.52/166.65	c (14,0) c PropsLitFullScans_5 : 860888019
279.52/166.65	c (14,0) c PropsLitFullScans_6 : 860627510
279.52/166.65	c (14,0) c PropsLitFullScans_7 : 853140015
279.52/166.65	c (14,0) c PropsLitFullScans_total : 6961519288
279.52/166.65	c (14,0) c PropsLitFullScans_winner : 858274933
279.52/166.65	c (14,0) c LitScanFractions_0 : 1390570
279.52/166.65	c (14,0) c LitScanFractions_1 : 3176744
279.52/166.65	c (14,0) c LitScanFractions_2 : 10811687
279.52/166.65	c (14,0) c LitScanFractions_3 : 2966580
279.52/166.65	c (14,0) c LitScanFractions_4 : 1542967
279.52/166.65	c (14,0) c LitScanFractions_5 : 2762231
279.52/166.65	c (14,0) c LitScanFractions_6 : 1281994
279.52/166.65	c (14,0) c LitScanFractions_7 : 1006861
279.52/166.65	c (14,0) c LitScanFractions_total : 24939634
279.52/166.65	c (14,0) c LitScanFractions_winner : 1542967
279.52/166.65	c (14,0) c DecisionLevel0_0 : 373
279.52/166.65	c (14,0) c DecisionLevel0_1 : 302
279.52/166.65	c (14,0) c DecisionLevel0_2 : 323
279.52/166.65	c (14,0) c DecisionLevel0_3 : 439
279.52/166.65	c (14,0) c DecisionLevel0_4 : 382
279.52/166.65	c (14,0) c DecisionLevel0_5 : 363
279.52/166.65	c (14,0) c DecisionLevel0_6 : 354
279.52/166.65	c (14,0) c DecisionLevel0_7 : 374
279.52/166.65	c (14,0) c DecisionLevel0_total : 2910
279.52/166.65	c (14,0) c DecisionLevel0_winner : 382
279.52/166.65	c (14,0) c Periods_0 : 145
279.52/166.65	c (14,0) c Periods_1 : 142
279.52/166.65	c (14,0) c Periods_2 : 150
279.52/166.65	c (14,0) c Periods_3 : 147
279.52/166.65	c (14,0) c Periods_4 : 142
279.52/166.65	c (14,0) c Periods_5 : 143
279.52/166.65	c (14,0) c Periods_6 : 143
279.52/166.65	c (14,0) c Periods_7 : 142
279.52/166.65	c (14,0) c Periods_total : 1154
279.52/166.65	c (14,0) c Periods_winner : 142
279.52/166.65	c (14,0) c Margin_0 : 20
279.52/166.65	c (14,0) c Margin_1 : 20
279.52/166.65	c (14,0) c Margin_2 : 20
279.52/166.65	c (14,0) c Margin_3 : 20
279.52/166.65	c (14,0) c Margin_4 : 20
279.52/166.65	c (14,0) c Margin_5 : 20
279.52/166.65	c (14,0) c Margin_6 : 20
279.52/166.65	c (14,0) c Margin_7 : 20
279.52/166.65	c (14,0) c Margin_total : 160
279.52/166.65	c (14,0) c Margin_winner : 20
279.52/166.65	c (14,0) c Exported_0 : 10684
279.52/166.65	c (14,0) c Exported_1 : 10595
279.52/166.65	c (14,0) c Exported_2 : 10225
279.52/166.65	c (14,0) c Exported_3 : 10136
279.52/166.65	c (14,0) c Exported_4 : 9353
279.52/166.65	c (14,0) c Exported_5 : 10294
279.52/166.65	c (14,0) c Exported_6 : 11005
279.52/166.65	c (14,0) c Exported_7 : 10212
279.52/166.65	c (14,0) c Exported_total : 82504
279.52/166.65	c (14,0) c Exported_winner : 9353
279.52/166.65	c (14,0) c Imported_0 : 64790
279.52/166.65	c (14,0) c Imported_1 : 64196
279.52/166.65	c (14,0) c Imported_2 : 67366
279.52/166.65	c (14,0) c Imported_3 : 66401
279.52/166.65	c (14,0) c Imported_4 : 65981
279.52/166.65	c (14,0) c Imported_5 : 64517
279.52/166.65	c (14,0) c Imported_6 : 64647
279.52/166.65	c (14,0) c Imported_7 : 64618
279.52/166.65	c (14,0) c Imported_total : 522516
279.52/166.65	c (14,0) c Imported_winner : 65981
279.52/166.65	c (14,0) c Good_0 : 8634
279.52/166.65	c (14,0) c Good_1 : 8894
279.52/166.65	c (14,0) c Good_2 : 8963
279.52/166.65	c (14,0) c Good_3 : 8696
279.52/166.65	c (14,0) c Good_4 : 8952
279.52/166.65	c (14,0) c Good_5 : 8933
279.52/166.65	c (14,0) c Good_6 : 8612
279.52/166.65	c (14,0) c Good_7 : 8628
279.52/166.65	c (14,0) c Good_total : 70312
279.52/166.65	c (14,0) c Good_winner : 8952
279.52/166.65	c (14,0) c Purge_0 : 56156
279.52/166.65	c (14,0) c Purge_1 : 55302
279.52/166.65	c (14,0) c Purge_2 : 58403
279.52/166.65	c (14,0) c Purge_3 : 57705
279.52/166.65	c (14,0) c Purge_4 : 57029
279.52/166.65	c (14,0) c Purge_5 : 55584
279.52/166.65	c (14,0) c Purge_6 : 56035
279.52/166.65	c (14,0) c Purge_7 : 55990
279.52/166.65	c (14,0) c Purge_total : 452204
279.52/166.65	c (14,0) c Purge_winner : 57029
279.52/166.65	c (14,0) c Promoted_0 : 3773
279.52/166.65	c (14,0) c Promoted_1 : 4033
279.52/166.65	c (14,0) c Promoted_2 : 4108
279.52/166.65	c (14,0) c Promoted_3 : 4070
279.52/166.65	c (14,0) c Promoted_4 : 4475
279.52/166.65	c (14,0) c Promoted_5 : 4032
279.52/166.65	c (14,0) c Promoted_6 : 3754
279.52/166.65	c (14,0) c Promoted_7 : 3574
279.52/166.65	c (14,0) c Promoted_total : 31819
279.52/166.65	c (14,0) c Promoted_winner : 4475
279.52/166.65	c (14,0) c Remove_Imp_0 : 33699
279.52/166.65	c (14,0) c Remove_Imp_1 : 33218
279.52/166.65	c (14,0) c Remove_Imp_2 : 37750
279.52/166.65	c (14,0) c Remove_Imp_3 : 38430
279.52/166.65	c (14,0) c Remove_Imp_4 : 35928
279.52/166.65	c (14,0) c Remove_Imp_5 : 34575
279.52/166.65	c (14,0) c Remove_Imp_6 : 31586
279.52/166.65	c (14,0) c Remove_Imp_7 : 34948
279.52/166.65	c (14,0) c Remove_Imp_total : 280134
279.52/166.65	c (14,0) c Remove_Imp_winner : 35928
279.52/166.65	c (14,0) c Blocked_Reuse_0 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_1 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_2 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_3 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_4 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_5 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_6 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_7 : 0
279.52/166.65	c (14,0) c Blocked_Reuse_total : 0
279.52/166.65	c (14,0) c Blocked_Reuse_winner : 0
279.52/166.65	c (14,0) c Unaries_0 : 67
279.52/166.65	c (14,0) c Unaries_1 : 51
279.52/166.65	c (14,0) c Unaries_2 : 47
279.52/166.65	c (14,0) c Unaries_3 : 70
279.52/166.65	c (14,0) c Unaries_4 : 50
279.52/166.65	c (14,0) c Unaries_5 : 72
279.52/166.65	c (14,0) c Unaries_6 : 48
279.52/166.65	c (14,0) c Unaries_7 : 43
279.52/166.65	c (14,0) c Unaries_total : 448
279.52/166.65	c (14,0) c Unaries_winner : 50
279.52/166.65	c (14,0) c Binaries_0 : 1422
279.52/166.65	c (14,0) c Binaries_1 : 1155
279.52/166.65	c (14,0) c Binaries_2 : 1121
279.52/166.65	c (14,0) c Binaries_3 : 1382
279.52/166.65	c (14,0) c Binaries_4 : 1109
279.52/166.65	c (14,0) c Binaries_5 : 1118
279.52/166.65	c (14,0) c Binaries_6 : 1454
279.52/166.65	c (14,0) c Binaries_7 : 1423
279.52/166.65	c (14,0) c Binaries_total : 10184
279.52/166.65	c (14,0) c Binaries_winner : 1109
279.52/166.65	c (14,0) c Glues_0 : 2217
279.52/166.65	c (14,0) c Glues_1 : 1921
279.52/166.65	c (14,0) c Glues_2 : 1901
279.52/166.65	c (14,0) c Glues_3 : 2122
279.52/166.65	c (14,0) c Glues_4 : 1953
279.52/166.65	c (14,0) c Glues_5 : 1866
279.52/166.65	c (14,0) c Glues_6 : 2181
279.52/166.65	c (14,0) c Glues_7 : 2089
279.52/166.65	c (14,0) c Glues_total : 16250
279.52/166.65	c (14,0) c Glues_winner : 1953
279.52/166.65	c (14,0) c RunningTime_0 : 10.691721
279.52/166.65	c (14,0) c RunningTime_1 : 11.306392
279.52/166.65	c (14,0) c RunningTime_2 : 10.676250
279.52/166.65	c (14,0) c RunningTime_3 : 10.668169
279.52/166.65	c (14,0) c RunningTime_4 : 10.640217
279.52/166.65	c (14,0) c RunningTime_5 : 10.708689
279.52/166.65	c (14,0) c RunningTime_6 : 10.648019
279.52/166.65	c (14,0) c RunningTime_7 : 10.701470
279.52/166.65	c (14,0) c RunningTime_total : 86.040926
279.52/166.65	c (14,0) c RunningTime_winner : 10.640217
279.52/166.65	c (14,0) c WaitingTime_0 : 0.000196
279.52/166.65	c (14,0) c WaitingTime_1 : 0.000146
279.52/166.65	c (14,0) c WaitingTime_2 : 0.000216
279.52/166.65	c (14,0) c WaitingTime_3 : 0.000180
279.52/166.65	c (14,0) c WaitingTime_4 : 0.000171
279.52/166.65	c (14,0) c WaitingTime_5 : 0.000175
279.52/166.65	c (14,0) c WaitingTime_6 : 0.000193
279.52/166.65	c (14,0) c WaitingTime_7 : 0.000165
279.52/166.65	c (14,0) c WaitingTime_total : 0.001441
279.52/166.65	c (14,0) c WaitingTime_winner : 0.000171
279.52/166.65	c (14,0) c ExchangingTime_0 : 0.025599
279.52/166.65	c (14,0) c ExchangingTime_1 : 0.025427
279.52/166.65	c (14,0) c ExchangingTime_2 : 0.028948
279.52/166.65	c (14,0) c ExchangingTime_3 : 0.029132
279.52/166.65	c (14,0) c ExchangingTime_4 : 0.026044
279.52/166.65	c (14,0) c ExchangingTime_5 : 0.025317
279.52/166.65	c (14,0) c ExchangingTime_6 : 0.029824
279.52/166.65	c (14,0) c ExchangingTime_7 : 0.030683
279.52/166.65	c (14,0) c ExchangingTime_total : 0.220972
279.52/166.65	c (14,0) c ExchangingTime_winner : 0.026044
279.52/166.65	c (14,0) c PeriodProcTime_0 : 0.000990
279.52/166.65	c (14,0) c PeriodProcTime_1 : 0.001258
279.52/166.65	c (14,0) c PeriodProcTime_2 : 0.000936
279.52/166.65	c (14,0) c PeriodProcTime_3 : 0.001185
279.52/166.65	c (14,0) c PeriodProcTime_4 : 0.000866
279.52/166.65	c (14,0) c PeriodProcTime_5 : 0.001072
279.52/166.65	c (14,0) c PeriodProcTime_6 : 0.000878
279.52/166.65	c (14,0) c PeriodProcTime_7 : 0.001061
279.52/166.65	c (14,0) c PeriodProcTime_total : 0.008247
279.52/166.65	c (14,0) c PeriodProcTime_winner : 0.000866
279.52/166.65	c (14,0) c SolvingTime_0 : 10.718505
279.52/166.65	c (14,0) c SolvingTime_1 : 11.333222
279.52/166.65	c (14,0) c SolvingTime_2 : 10.706350
279.52/166.65	c (14,0) c SolvingTime_3 : 10.698666
279.52/166.66	c (14,0) c SolvingTime_4 : 10.667297
279.52/166.66	c (14,0) c SolvingTime_5 : 10.735252
279.52/166.66	c (14,0) c SolvingTime_6 : 10.678914
279.52/166.66	c (14,0) c SolvingTime_7 : 10.733378
279.52/166.66	c (14,0) c SolvingTime_total : 86.271585
279.52/166.66	c (14,0) c SolvingTime_winner : 10.667297
279.52/166.66	c (14,0) c PropagationTime_0 : 6.945557
279.52/166.66	c (14,0) c PropagationTime_1 : 7.646793
279.52/166.66	c (14,0) c PropagationTime_2 : 7.012800
279.52/166.66	c (14,0) c PropagationTime_3 : 6.880742
279.52/166.66	c (14,0) c PropagationTime_4 : 7.004272
279.52/166.66	c (14,0) c PropagationTime_5 : 6.852724
279.52/166.66	c (14,0) c PropagationTime_6 : 7.088542
279.52/166.66	c (14,0) c PropagationTime_7 : 6.939441
279.52/166.66	c (14,0) c PropagationTime_total : 56.370871
279.52/166.66	c (14,0) c PropagationTime_winner : 7.004272
279.52/166.66	c (14,0) c AnalysisTime_0 : 3.175049
279.52/166.66	c (14,0) c AnalysisTime_1 : 3.075056
279.52/166.66	c (14,0) c AnalysisTime_2 : 3.090322
279.52/166.66	c (14,0) c AnalysisTime_3 : 3.214214
279.52/166.66	c (14,0) c AnalysisTime_4 : 3.052831
279.52/166.66	c (14,0) c AnalysisTime_5 : 3.304060
279.52/166.66	c (14,0) c AnalysisTime_6 : 2.979853
279.52/166.66	c (14,0) c AnalysisTime_7 : 3.189289
279.52/166.66	c (14,0) c AnalysisTime_total : 25.080674
279.52/166.66	c (14,0) c AnalysisTime_winner : 3.052831
279.52/166.66	c (14,0) c ReductionTime_0 : 0.104990
279.52/166.66	c (14,0) c ReductionTime_1 : 0.110284
279.52/166.66	c (14,0) c ReductionTime_2 : 0.109635
279.52/166.66	c (14,0) c ReductionTime_3 : 0.111886
279.52/166.66	c (14,0) c ReductionTime_4 : 0.107993
279.52/166.66	c (14,0) c ReductionTime_5 : 0.106316
279.52/166.66	c (14,0) c ReductionTime_6 : 0.106527
279.52/166.66	c (14,0) c ReductionTime_7 : 0.109023
279.52/166.66	c (14,0) c ReductionTime_total : 0.866654
279.52/166.66	c (14,0) c ReductionTime_winner : 0.107993
279.52/166.66	c (14,0) c SimplifyTime_0 : 0.104585
279.52/166.66	c (14,0) c SimplifyTime_1 : 0.107033
279.52/166.66	c (14,0) c SimplifyTime_2 : 0.111267
279.52/166.66	c (14,0) c SimplifyTime_3 : 0.101519
279.52/166.66	c (14,0) c SimplifyTime_4 : 0.103015
279.52/166.66	c (14,0) c SimplifyTime_5 : 0.103941
279.52/166.66	c (14,0) c SimplifyTime_6 : 0.112291
279.52/166.66	c (14,0) c SimplifyTime_7 : 0.104202
279.52/166.66	c (14,0) c SimplifyTime_total : 0.847854
279.52/166.66	c (14,0) c SimplifyTime_winner : 0.103015
279.52/166.66	c (14,0) c UsedRateTime_0 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_1 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_2 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_3 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_4 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_5 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_6 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_7 : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_total : 0.000000
279.52/166.66	c (14,0) c UsedRateTime_winner : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_0 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_1 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_2 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_3 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_4 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_5 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_6 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_7 : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_total : 0.000000
279.52/166.66	c (14,0) c OverlapRateTime_winner : 0.000000
279.52/166.66	c (14,0) c
279.52/166.66	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
279.52/166.66	c (14,0) c
279.52/166.66	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.66	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
279.52/166.66	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.66	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
279.52/166.66	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
279.52/166.66	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
279.52/166.66	c (14,0) c | Initial random_seed   |  494699434 | 1131072333 | 1660198740 |  615043050 |   19433003 | 1239868808 |  954085230 |   40500316 |
279.52/166.66	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
279.52/166.66	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
279.52/166.66	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
279.52/166.66	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
279.52/166.66	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
279.52/166.66	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
279.52/166.66	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
279.52/166.66	c (14,0) c | var_decay             |     0.9100 |     0.9100 |     0.9000 |     0.9000 |     0.9000 |     0.9000 |     0.9100 |     0.9000 |
279.52/166.66	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
279.52/166.66	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
279.52/166.66	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
279.52/166.66	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
279.52/166.66	c (14,0) 
279.52/166.66	c (14,0) s SATISFIABLE
279.52/166.69	c (14,0) SatSolver.solve End
279.52/166.69	c (14,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
279.52/166.69	c (14,0) Show results Begin
279.78/166.78	c (14,0) w3 = 180
279.78/166.78	c (14,0) w4 = 0
279.78/166.78	c (14,0) x[0] = 12
279.78/166.78	c (14,0) x[1] = 23
279.78/166.78	c (14,0) x[2] = 24
279.78/166.78	c (14,0) x[3] = 10
279.78/166.78	c (14,0) x[4] = 3
279.78/166.78	c (14,0) x[5] = 15
279.78/166.78	c (14,0) x[6] = 8
279.78/166.78	c (14,0) x[7] = 14
279.78/166.78	c (14,0) x[8] = 7
279.78/166.78	c (14,0) x[9] = 4
279.78/166.78	c (14,0) x[10] = 1
279.78/166.78	c (14,0) x[11] = 21
279.78/166.78	c (14,0) x[12] = 25
279.78/166.78	c (14,0) x[13] = 13
279.78/166.78	c (14,0) x[14] = 19
279.78/166.78	c (14,0) x[15] = 22
279.78/166.78	c (14,0) x[16] = 9
279.78/166.78	c (14,0) x[17] = 20
279.78/166.78	c (14,0) x[18] = 5
279.78/166.78	c (14,0) x[19] = 2
279.78/166.78	c (14,0) x[20] = 11
279.78/166.78	c (14,0) x[21] = 6
279.78/166.78	c (14,0) x[22] = 17
279.78/166.78	c (14,0) x[23] = 16
279.78/166.78	c (14,0) x[24] = 18
279.78/166.78	c (14,0) y[0] = 4
279.78/166.78	c (14,0) y[1] = 8
279.78/166.78	c (14,0) y[2] = 21
279.78/166.78	c (14,0) y[3] = 8
279.78/166.78	c (14,0) y[4] = 18
279.78/166.78	c (14,0) y[5] = 19
279.78/166.78	c (14,0) y[6] = 16
279.78/166.78	c (14,0) y[7] = 0
279.78/166.78	c (14,0) y[8] = 8
279.78/166.78	c (14,0) y[9] = 2
279.78/166.78	c (14,0) y[10] = 3
279.78/166.78	c (14,0) y[11] = 9
279.78/166.78	c (14,0) y[12] = 1
279.78/166.78	c (14,0) y[13] = 10
279.78/166.78	c (14,0) y[14] = 8
279.78/166.78	c (14,0) y[15] = 0
279.78/166.78	c (14,0) y[16] = 5
279.78/166.78	c (14,0) y[17] = 1
279.78/166.78	c (14,0) y[18] = 20
279.78/166.78	c (14,0) y[19] = 1
279.78/166.78	c (14,0) y[20] = 0
279.78/166.78	c (14,0) y[21] = 6
279.78/166.78	c (14,0) y[22] = 6
279.78/166.78	c (14,0) y[23] = 5
279.78/166.78	c (14,0) y[24] = 1
279.78/166.78	c (14,0) z[0] = 12
279.78/166.78	c (14,0) z[1] = 33
279.78/166.78	c (14,0) z[2] = 41
279.78/166.78	c (14,0) z[3] = 59
279.78/166.78	c (14,0) z[4] = 78
279.78/166.78	c (14,0) z[5] = 94
279.78/166.78	c (14,0) z[6] = 94
279.78/166.78	c (14,0) z[7] = 102
279.78/166.78	c (14,0) z[8] = 104
279.78/166.78	c (14,0) z[9] = 107
279.78/166.78	c (14,0) z[10] = 116
279.78/166.78	c (14,0) z[11] = 117
279.78/166.78	c (14,0) z[12] = 127
279.78/166.78	c (14,0) z[13] = 135
279.78/166.78	c (14,0) z[14] = 135
279.78/166.78	c (14,0) z[15] = 140
279.78/166.78	c (14,0) z[16] = 141
279.78/166.78	c (14,0) z[17] = 161
279.78/166.78	c (14,0) z[18] = 162
279.78/166.78	c (14,0) z[19] = 162
279.78/166.78	c (14,0) z[20] = 168
279.78/166.78	c (14,0) z[21] = 174
279.78/166.78	c (14,0) z[22] = 179
279.78/166.78	c (14,0) z[23] = 180
279.78/166.78	s SATISFIABLE
279.78/166.79	v <instantiation>
279.78/166.79	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.78/166.79	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.78/166.79	v </instantiation>
279.78/166.79	c (14,0) Show results End
279.78/166.79	c (14,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
279.78/166.79	c (14,0) 14,14,STOP-AFTER(ALL)
279.78/166.79	c END-Prog: Tue Sep 24 22:15:12 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 (13194 MiB free)
  memory of node 1: 16384 MiB (11624 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100133 s]*
/proc/loadavg: 7.43 7.89 8.09 2/210 20528
/proc/meminfo: memFree=25320228/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511851990 115843072 349 33554432000 4194304 5098028 140729516556704 140729516553960 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 349 296 221 0 87 0
[pid=20509] ppid=20506 vsize=27314120 memory=106684 CPUtime=0.11 cores=0-7
/proc/20509/stat : 20509 (java) S 20506 20506 18063 0 -1 1077944320 6189 0 0 0 8 3 0 0 20 0 20 0 511851990 27969658880 26671 33554432000 4194304 4196468 140734122795504 140734122778048 139895788625655 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
/proc/20509/statm: 6828530 26671 2817 1 0 6790935 0
[pid=20509/tid=20510] ppid=20506 vsize=27314120 memory=8040222142390772375 CPUtime=0.08 cores=0-7
/proc/20509/task/20510/stat : 20510 (java) R 20506 20506 18063 0 -1 4202560 4282 0 0 0 6 2 0 0 20 0 20 0 511851991 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895760457856 139895781722531 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20511] ppid=20506 vsize=27314120 memory=732370051500018661 CPUtime=0 cores=0-7
/proc/20509/task/20511/stat : 20511 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895792867856 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20512] ppid=20506 vsize=27314120 memory=139913162565248 CPUtime=0 cores=0-7
/proc/20509/task/20512/stat : 20512 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895610956432 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20513] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20513/stat : 20513 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895609903376 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20514] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20514/stat : 20514 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895608850832 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20515] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20515/stat : 20515 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895208049680 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20516] ppid=20506 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20509/task/20516/stat : 20516 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895206997136 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20517] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20517/stat : 20517 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895205944080 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20518] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20518/stat : 20518 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 27183 33554432000 4194304 4196468 140734122795504 139895204891536 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20519] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20519/stat : 20519 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893907552496 139895788636802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20520] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20520/stat : 20520 (java) S 20506 20506 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893728601248 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20521] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20521/stat : 20521 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893460165360 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20522] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20522/stat : 20522 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893085657040 139895788644251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20523] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20523/stat : 20523 (java) S 20506 20506 18063 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893906500336 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20524] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20524/stat : 20524 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893905447792 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20525] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20525/stat : 20525 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893904394736 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20526] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20526/stat : 20526 (java) S 20506 20506 18063 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893903342192 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20527] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20527/stat : 20527 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139892587751904 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20528] ppid=20506 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20509/task/20528/stat : 20528 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 27183 33554432000 4194304 4196468 140734122795504 139893902289584 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108080 KiB

[startup+0.210638 s]*
/proc/loadavg: 7.43 7.89 8.09 3/210 20528
/proc/meminfo: memFree=25298400/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511851990 115843072 349 33554432000 4194304 5098028 140729516556704 140729516553960 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 349 296 221 0 87 0
[pid=20509] ppid=20506 vsize=27314120 memory=125492 CPUtime=0.25 cores=0-7
/proc/20509/stat : 20509 (java) S 20506 20506 18063 0 -1 1077944320 11781 0 0 0 20 5 0 0 20 0 20 0 511851990 27969658880 31373 33554432000 4194304 4196468 140734122795504 140734122778048 139895788625655 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
/proc/20509/statm: 6828530 31373 2922 1 0 6790935 0
[pid=20509/tid=20510] ppid=20506 vsize=27314120 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/20509/task/20510/stat : 20510 (java) R 20506 20506 18063 0 -1 4202560 9493 0 0 0 16 4 0 0 20 0 20 0 511851991 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895760446560 139895770189207 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20511] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20511/stat : 20511 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895792867856 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20512] ppid=20506 vsize=27314120 memory=139913166289723 CPUtime=0 cores=0-7
/proc/20509/task/20512/stat : 20512 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895610956432 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20513] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20513/stat : 20513 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895609903376 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20514] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20514/stat : 20514 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895608850832 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20515] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20515/stat : 20515 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895208049680 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20516] ppid=20506 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20509/task/20516/stat : 20516 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895206997136 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20517] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20517/stat : 20517 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895205944080 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20518] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20518/stat : 20518 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 31373 33554432000 4194304 4196468 140734122795504 139895204891536 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20519] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20519/stat : 20519 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893907552496 139895788636802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20520] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20520/stat : 20520 (java) S 20506 20506 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893728601248 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20521] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20521/stat : 20521 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893460165360 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20522] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20522/stat : 20522 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893085657040 139895788644251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20523] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20523/stat : 20523 (java) S 20506 20506 18063 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893906500336 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20524] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20524/stat : 20524 (java) S 20506 20506 18063 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893905447792 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20525] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20525/stat : 20525 (java) S 20506 20506 18063 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893904394736 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20526] ppid=20506 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20509/task/20526/stat : 20526 (java) S 20506 20506 18063 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893903342192 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20527] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20527/stat : 20527 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139892587751904 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20528] ppid=20506 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20509/task/20528/stat : 20528 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 31373 33554432000 4194304 4196468 140734122795504 139893902289584 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126888 KiB

[startup+0.31041 s]*
/proc/loadavg: 7.43 7.89 8.09 2/210 20528
/proc/meminfo: memFree=25295972/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511851990 115843072 349 33554432000 4194304 5098028 140729516556704 140729516553960 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 349 296 221 0 87 0
[pid=20509] ppid=20506 vsize=27314120 memory=129556 CPUtime=0.42 cores=0-7
/proc/20509/stat : 20509 (java) S 20506 20506 18063 0 -1 1077944320 12294 0 0 0 37 5 0 0 20 0 20 0 511851990 27969658880 32389 33554432000 4194304 4196468 140734122795504 140734122778048 139895788625655 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
/proc/20509/statm: 6828530 32389 3015 1 0 6790935 0
[pid=20509/tid=20510] ppid=20506 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20509/task/20510/stat : 20510 (java) R 20506 20506 18063 0 -1 4202560 9797 0 0 0 26 4 0 0 20 0 20 0 511851991 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895760439520 139895770189169 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20511] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20511/stat : 20511 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895792867856 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20512] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20512/stat : 20512 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895610956432 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20513] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20513/stat : 20513 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895609903376 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20514] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20514/stat : 20514 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895608850832 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20515] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20515/stat : 20515 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895208049680 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20516] ppid=20506 vsize=27314120 memory=139913056053935 CPUtime=0 cores=0-7
/proc/20509/task/20516/stat : 20516 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895206997136 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20517] ppid=20506 vsize=27314120 memory=139913056056240 CPUtime=0 cores=0-7
/proc/20509/task/20517/stat : 20517 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895205944080 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20518] ppid=20506 vsize=27314120 memory=139913056058544 CPUtime=0 cores=0-7
/proc/20509/task/20518/stat : 20518 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27969658880 32389 33554432000 4194304 4196468 140734122795504 139895204891536 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20519] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20519/stat : 20519 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893907552496 139895788636802 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20520] ppid=20506 vsize=27314120 memory=279826112130960 CPUtime=0 cores=0-7
/proc/20509/task/20520/stat : 20520 (java) S 20506 20506 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893728601248 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20521] ppid=20506 vsize=27314120 memory=279826112128656 CPUtime=0 cores=0-7
/proc/20509/task/20521/stat : 20521 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851995 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893460165360 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20522] ppid=20506 vsize=27314120 memory=279826112135568 CPUtime=0 cores=0-7
/proc/20509/task/20522/stat : 20522 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893085657040 139895788644251 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20523] ppid=20506 vsize=27314120 memory=279826112076848 CPUtime=0.01 cores=0-7
/proc/20509/task/20523/stat : 20523 (java) S 20506 20506 18063 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893906500336 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20524] ppid=20506 vsize=27314120 memory=279826112149392 CPUtime=0.01 cores=0-7
/proc/20509/task/20524/stat : 20524 (java) S 20506 20506 18063 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893905447792 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20525] ppid=20506 vsize=27314120 memory=279826112156304 CPUtime=0.01 cores=0-7
/proc/20509/task/20525/stat : 20525 (java) R 20506 20506 18063 0 -1 4202560 60 0 0 0 1 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893904394736 139895780915104 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20526] ppid=20506 vsize=27314120 memory=279826112154000 CPUtime=0.07 cores=0-7
/proc/20509/task/20526/stat : 20526 (java) S 20506 20506 18063 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893903342192 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20527] ppid=20506 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20527/stat : 20527 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139892587751904 139895788635861 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20528] ppid=20506 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20509/task/20528/stat : 20528 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851998 27969658880 32389 33554432000 4194304 4196468 140734122795504 139893902289584 139895788636802 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130952 KiB

[startup+0.702564 s]
/proc/loadavg: 7.43 7.89 8.09 2/210 20528
/proc/meminfo: memFree=25274888/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511851990 115843072 349 33554432000 4194304 5098028 140729516556704 140729516553960 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 349 296 221 0 87 0
[pid=20509] ppid=20506 vsize=27320392 memory=165524 CPUtime=1.01 cores=0-7
/proc/20509/stat : 20509 (java) S 20506 20506 18063 0 -1 1077944320 19968 0 0 0 93 8 0 0 20 0 20 0 511851990 27976081408 41381 33554432000 4194304 4196468 140734122795504 140734122778048 139895788625655 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
/proc/20509/statm: 6830098 41381 3195 1 0 6791447 0
[pid=20509/tid=20510] ppid=20506 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/20509/task/20510/stat : 20510 (java) R 20506 20506 18063 0 -1 4202560 16884 0 0 0 61 6 0 0 20 0 20 0 511851991 27976081408 41381 33554432000 4194304 4196468 140734122795504 139895760455504 139895788647581 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20511] ppid=20506 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/20509/task/20511/stat : 20511 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27976081408 41381 33554432000 4194304 4196468 140734122795504 139895792867856 139895788635861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20512] ppid=20506 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20509/task/20512/stat : 20512 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27976081408 41381 33554432000 4194304 4196468 140734122795504 139895610956432 139895788635861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0
[pid=20509/tid=20513] ppid=20506 vsize=27320392 memory=10728 CPUtime=0 cores=0-7
/proc/20509/task/20513/stat : 20513 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511851993 27976081408 41381 33554432000 4194304 4196468 140734122795504 139895609903376 139895788635861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16711680 140734122799851 140734122800278 140734122800278 140734122803151 0

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

[pid=20537/tid=20561] ppid=20506 vsize=8414124 memory=279900 CPUtime=0 cores=0-7
/proc/20537/task/20561/stat : 20561 (java) S 20506 20506 18063 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158271733392 140161160438941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20562] ppid=20506 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/20537/task/20562/stat : 20562 (java) S 20506 20506 18063 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511867224 8616062976 30636 33554432000 4194304 4196468 140720910181216 140157734869936 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
Current children cumulated CPU time: 269.26 s
Current children cumulated vsize: 9282552 KiB
Current children cumulated memory: 470240 KiB

[startup+165.601 s]
/proc/loadavg: 2.59 5.25 7.03 9/222 20570
/proc/meminfo: memFree=24930396/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1476 CPUtime=189.57 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 582 73577 0 0 0 0 18193 764 20 0 1 0 511851990 115843072 369 33554432000 4194304 5098028 140729516556704 140729516553448 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 369 311 221 0 87 0
[pid=20537] ppid=20506 vsize=8414124 memory=122544 CPUtime=1.24 cores=0-7
/proc/20537/stat : 20537 (java) S 20506 20506 18063 0 -1 1077944320 20610 0 0 0 117 7 0 0 20 0 24 0 511867133 8616062976 30636 33554432000 4194304 4196468 140720910181216 140720910163760 140161160417015 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
/proc/20537/statm: 2103531 30636 3208 1 0 2064875 0
[pid=20557] ppid=20537 vsize=736624 memory=350176 CPUtime=84.83 cores=0-7
/proc/20557/stat : 20557 (manyglucose-4.1) S 20537 20506 18063 0 -1 1077944320 132149 0 0 0 8426 57 0 0 20 0 9 0 511867222 754302976 87544 33554432000 4194304 4454172 140732315081488 140732315079888 139816908462722 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
/proc/20557/statm: 184156 87544 407 64 0 179824 0
[pid=20557/tid=20563] ppid=20537 vsize=736624 memory=99 CPUtime=10.25 cores=0-7
/proc/20557/task/20563/stat : 20563 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 17775 0 0 0 1020 5 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816872467624 4352052 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20564] ppid=20537 vsize=736624 memory=663 CPUtime=10.04 cores=0-7
/proc/20557/task/20564/stat : 20564 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 12695 0 0 0 998 6 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816864074856 4351289 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20565] ppid=20537 vsize=736624 memory=10728 CPUtime=10.25 cores=0-7
/proc/20557/task/20565/stat : 20565 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 15082 0 0 0 1019 6 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816855681896 4350902 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20566] ppid=20537 vsize=736624 memory=1552 CPUtime=10.25 cores=0-7
/proc/20557/task/20566/stat : 20566 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 11860 0 0 0 1018 7 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816847289448 4351145 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20567] ppid=20537 vsize=736624 memory=3984 CPUtime=10.25 cores=0-7
/proc/20557/task/20567/stat : 20567 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 13516 0 0 0 1020 5 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816838896744 4321839 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20568] ppid=20537 vsize=736624 memory=2832 CPUtime=10.25 cores=0-7
/proc/20557/task/20568/stat : 20568 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 12283 0 0 0 1018 7 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816830504040 4351311 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20569] ppid=20537 vsize=736624 memory=784 CPUtime=10.24 cores=0-7
/proc/20557/task/20569/stat : 20569 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 14424 0 0 0 1019 5 0 0 20 0 9 0 511867520 754302976 87544 33554432000 4194304 4454172 140732315081488 139816822111400 4349843 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20557/tid=20570] ppid=20537 vsize=736624 memory=1060 CPUtime=10.22 cores=0-7
/proc/20557/task/20570/stat : 20570 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 14386 0 0 0 1014 8 0 0 20 0 9 0 511867521 754302976 87544 33554432000 4194304 4454172 140732315081488 139816687627368 4351321 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20537/tid=20538] ppid=20506 vsize=8414124 memory=1724 CPUtime=0.79 cores=0-7
/proc/20537/task/20538/stat : 20538 (java) S 20506 20506 18063 0 -1 1077944384 17465 0 0 0 74 5 0 0 20 0 24 0 511867134 8616062976 30636 33554432000 4194304 4196468 140720910181216 140161132257184 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20539] ppid=20506 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/20537/task/20539/stat : 20539 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140161164659728 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20540] ppid=20506 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/20537/task/20540/stat : 20540 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160964828304 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20541] ppid=20506 vsize=8414124 memory=6144 CPUtime=0 cores=0-7
/proc/20537/task/20541/stat : 20541 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160963775248 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20542] ppid=20506 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/20537/task/20542/stat : 20542 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160962722704 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20543] ppid=20506 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/20537/task/20543/stat : 20543 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160961669648 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20544] ppid=20506 vsize=8414124 memory=33704 CPUtime=0 cores=0-7
/proc/20537/task/20544/stat : 20544 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160960617104 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20545] ppid=20506 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/20537/task/20545/stat : 20545 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160959564048 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20546] ppid=20506 vsize=8414124 memory=3388 CPUtime=0 cores=0-7
/proc/20537/task/20546/stat : 20546 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160958511504 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20547] ppid=20506 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20537/task/20547/stat : 20547 (java) S 20506 20506 18063 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511867137 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159918430960 140161160428162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20548] ppid=20506 vsize=8414124 memory=122544 CPUtime=0 cores=0-7
/proc/20537/task/20548/stat : 20548 (java) S 20506 20506 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511867137 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159815247520 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20549] ppid=20506 vsize=8414124 memory=358776 CPUtime=0 cores=0-7
/proc/20537/task/20549/stat : 20549 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867137 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159546811632 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20550] ppid=20506 vsize=8414124 memory=7686721470351121043 CPUtime=0 cores=0-7
/proc/20537/task/20550/stat : 20550 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159172303312 140161160435611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20551] ppid=20506 vsize=8414124 memory=-7003737579269690708 CPUtime=0.07 cores=0-7
/proc/20537/task/20551/stat : 20551 (java) S 20506 20506 18063 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159917377776 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20552] ppid=20506 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/20537/task/20552/stat : 20552 (java) S 20506 20506 18063 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159916325232 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20553] ppid=20506 vsize=8414124 memory=542 CPUtime=0.06 cores=0-7
/proc/20537/task/20553/stat : 20553 (java) S 20506 20506 18063 0 -1 1077944384 303 0 0 0 6 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159915272176 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20554] ppid=20506 vsize=8414124 memory=79 CPUtime=0.21 cores=0-7
/proc/20537/task/20554/stat : 20554 (java) S 20506 20506 18063 0 -1 1077944384 557 0 0 0 21 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159914219632 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20555] ppid=20506 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20537/task/20555/stat : 20555 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158674398176 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20556] ppid=20506 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20537/task/20556/stat : 20556 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867141 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159913168048 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20558] ppid=20506 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20537/task/20558/stat : 20558 (java) S 20506 20506 18063 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159905134016 140161160441625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20560] ppid=20506 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20537/task/20560/stat : 20560 (java) S 20506 20506 18063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158003297808 140161160438941 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20561] ppid=20506 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20537/task/20561/stat : 20561 (java) S 20506 20506 18063 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158271733392 140161160438941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20562] ppid=20506 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20537/task/20562/stat : 20562 (java) S 20506 20506 18063 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511867224 8616062976 30636 33554432000 4194304 4196468 140720910181216 140157734869936 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
Current children cumulated CPU time: 275.64 s
Current children cumulated vsize: 9263876 KiB
Current children cumulated memory: 474196 KiB

[startup+166.401 s]
/proc/loadavg: 2.59 5.25 7.03 7/220 20571
/proc/meminfo: memFree=24928540/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1476 CPUtime=189.57 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 582 73577 0 0 0 0 18193 764 20 0 1 0 511851990 115843072 369 33554432000 4194304 5098028 140729516556704 140729516553448 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 369 311 221 0 87 0
[pid=20537] ppid=20506 vsize=8414124 memory=122544 CPUtime=1.24 cores=0-7
/proc/20537/stat : 20537 (java) S 20506 20506 18063 0 -1 1077944320 20610 0 0 0 117 7 0 0 20 0 24 0 511867133 8616062976 30636 33554432000 4194304 4196468 140720910181216 140720910163760 140161160417015 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
/proc/20537/statm: 2103531 30636 3208 1 0 2064875 0
[pid=20557] ppid=20537 vsize=736624 memory=358880 CPUtime=88.51 cores=0-7
/proc/20557/stat : 20557 (manyglucose-4.1) S 20537 20506 18063 0 -1 1077944320 133574 0 0 0 8794 57 0 0 20 0 2 0 511867222 754302976 89720 33554432000 4194304 4454172 140732315081488 140732315079872 139816908451575 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
/proc/20557/statm: 184156 89720 420 64 0 179824 0
[pid=20557/tid=20564] ppid=20537 vsize=736624 memory=988 CPUtime=10.83 cores=0-7
/proc/20557/task/20564/stat : 20564 (manyglucose-4.1) R 20537 20506 18063 0 -1 4202560 13254 0 0 0 1077 6 0 0 20 0 2 0 511867520 754302976 89720 33554432000 4194304 4454172 140732315081488 139816864074600 4351289 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 22392832 140732315083625 140732315083824 140732315083824 140732315086778 0
[pid=20537/tid=20538] ppid=20506 vsize=8414124 memory=2016 CPUtime=0.79 cores=0-7
/proc/20537/task/20538/stat : 20538 (java) S 20506 20506 18063 0 -1 1077944384 17465 0 0 0 74 5 0 0 20 0 24 0 511867134 8616062976 30636 33554432000 4194304 4196468 140720910181216 140161132257184 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20539] ppid=20506 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/20537/task/20539/stat : 20539 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140161164659728 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20540] ppid=20506 vsize=8414124 memory=63320 CPUtime=0 cores=0-7
/proc/20537/task/20540/stat : 20540 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160964828304 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20541] ppid=20506 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20537/task/20541/stat : 20541 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160963775248 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20542] ppid=20506 vsize=8414124 memory=7310424 CPUtime=0 cores=0-7
/proc/20537/task/20542/stat : 20542 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160962722704 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20543] ppid=20506 vsize=8414124 memory=6144 CPUtime=0 cores=0-7
/proc/20537/task/20543/stat : 20543 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160961669648 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20544] ppid=20506 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/20537/task/20544/stat : 20544 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160960617104 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20545] ppid=20506 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/20537/task/20545/stat : 20545 (java) S 20506 20506 18063 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160959564048 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20546] ppid=20506 vsize=8414124 memory=139913056029048 CPUtime=0 cores=0-7
/proc/20537/task/20546/stat : 20546 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867135 8616062976 30636 33554432000 4194304 4196468 140720910181216 140160958511504 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20547] ppid=20506 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/20537/task/20547/stat : 20547 (java) S 20506 20506 18063 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511867137 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159918430960 140161160428162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20548] ppid=20506 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/20537/task/20548/stat : 20548 (java) S 20506 20506 18063 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511867137 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159815247520 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20549] ppid=20506 vsize=8414124 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/20537/task/20549/stat : 20549 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867137 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159546811632 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20550] ppid=20506 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/20537/task/20550/stat : 20550 (java) S 20506 20506 18063 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159172303312 140161160435611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20551] ppid=20506 vsize=8414124 memory=13183 CPUtime=0.07 cores=0-7
/proc/20537/task/20551/stat : 20551 (java) S 20506 20506 18063 0 -1 1077944384 590 0 0 0 7 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159917377776 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20552] ppid=20506 vsize=8414124 memory=279826112911200 CPUtime=0.06 cores=0-7
/proc/20537/task/20552/stat : 20552 (java) S 20506 20506 18063 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159916325232 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20553] ppid=20506 vsize=8414124 memory=7380109393890988888 CPUtime=0.06 cores=0-7
/proc/20537/task/20553/stat : 20553 (java) S 20506 20506 18063 0 -1 1077944384 303 0 0 0 6 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159915272176 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20554] ppid=20506 vsize=8414124 memory=7380109393890988888 CPUtime=0.21 cores=0-7
/proc/20537/task/20554/stat : 20554 (java) S 20506 20506 18063 0 -1 1077944384 557 0 0 0 21 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159914219632 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20555] ppid=20506 vsize=8414124 memory=7380109393890988888 CPUtime=0 cores=0-7
/proc/20537/task/20555/stat : 20555 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867140 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158674398176 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20556] ppid=20506 vsize=8414124 memory=7380109393890988888 CPUtime=0 cores=0-7
/proc/20537/task/20556/stat : 20556 (java) S 20506 20506 18063 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867141 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159913168048 140161160428162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20558] ppid=20506 vsize=8414124 memory=7380109393890988888 CPUtime=0 cores=0-7
/proc/20537/task/20558/stat : 20558 (java) S 20506 20506 18063 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140159905134016 140161160441625 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20560] ppid=20506 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/20537/task/20560/stat : 20560 (java) S 20506 20506 18063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158003297808 140161160438941 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20561] ppid=20506 vsize=8414124 memory=143360 CPUtime=0 cores=0-7
/proc/20537/task/20561/stat : 20561 (java) S 20506 20506 18063 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511867222 8616062976 30636 33554432000 4194304 4196468 140720910181216 140158271733392 140161160438941 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
[pid=20537/tid=20562] ppid=20506 vsize=8414124 memory=22188 CPUtime=0 cores=0-7
/proc/20537/task/20562/stat : 20562 (java) S 20506 20506 18063 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511867224 8616062976 30636 33554432000 4194304 4196468 140720910181216 140157734869936 140161160427221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140720910185463 140720910185622 140720910185622 140720910188495 0
Current children cumulated CPU time: 279.32 s
Current children cumulated vsize: 9263876 KiB
Current children cumulated memory: 482900 KiB

[startup+166.801 s]
/proc/loadavg: 2.59 5.25 7.03 7/220 20571
/proc/meminfo: memFree=24928540/32770624 swapFree=66941056/67108860
[pid=20506] ppid=20503 vsize=113128 memory=1476 CPUtime=189.57 cores=0-7
/proc/20506/stat : 20506 (scop.sh) S 20503 20506 18063 0 -1 4202496 582 73577 0 0 0 0 18193 764 20 0 1 0 511851990 115843072 369 33554432000 4194304 5098028 140729516556704 140729516553448 140571769258620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15773696 140729516565285 140729516565612 140729516565612 140729516568525 0
/proc/20506/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 189.57 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 166.803
CPU time (s): 280.008
CPU user time (s): 271.669
CPU system time (s): 8.33931
CPU usage (%): 167.868
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8189580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.669
system time used= 8.33931
maximum resident set size= 8189448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44136
involuntary context switches= 1231


# summary of solver processes directly reported to runsolver:
#   pid: 20506
#   total CPU time (s): 280.008
#   total CPU user time (s): 271.669
#   total CPU system time (s): 8.33931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27122 second user time and 1.72684 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 22:12:25
IDJOB=4405218
IDBENCH=135702
IDSOLVER=2867
FILE ID=node139/4405218-1569355812
RUNJOBID= node139-1569348082-18090
PBS_JOBID= 21705078
Free space on /tmp= 5144 MiB

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

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

MD5SUM BENCH= 0286d8cb8f351d75271acd0c64dfc747
RANDOM SEED=1497681544

node139.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.57
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.57
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.57
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.57
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:        25415152 kB
MemAvailable:   31781536 kB
Buffers:          110108 kB
Cached:          6344436 kB
SwapCached:        64816 kB
Active:          3220528 kB
Inactive:        3303340 kB
Active(anon):       4204 kB
Inactive(anon):   120880 kB
Active(file):    3216324 kB
Inactive(file):  3182460 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941056 kB
Dirty:             19896 kB
Writeback:            12 kB
AnonPages:        112760 kB
Mapped:            57268 kB
Shmem:             47396 kB
Slab:             425348 kB
SReclaimable:     396060 kB
SUnreclaim:        29288 kB
KernelStack:        3408 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505168 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:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5124 MiB
End job on node139 at 2019-09-24 22:15:12