Trace number 4405518

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 292.884 181.597

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18420-serial-file.bin HOME/instance-4405518-1569355816.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 22:09:35 CEST 2019
0.66/0.57	c PID: 18423
0.66/0.57	c IP: 172.20.3.140
0.66/0.57	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.15/1.11	c (0,0) Parsing End
2.51/1.11	c (0,0) CSP: 75 int (0 aux), 1 bool (0 aux), 350 ctr, max domain size 1001
2.51/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.51/1.11	c (0,0) Constraint Name Generate Begin
2.51/1.12	c (0,0) Ctr:HOME/instance-4405518-1569355816.xml,ExtensionConflict:ExtensionSupport:Var
2.51/1.12	c (0,0) Constraint Name Generate End
2.51/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.51/1.12	c (0,0) CSP to CSPinCNF Begin
4.02/1.62	c (1,1) translated 35 (10%) constraints
4.42/1.75	c (1,1) translated 70 (20%) constraints
4.82/1.84	c (1,1) translated 105 (30%) constraints
5.22/1.92	c (1,1) translated 140 (40%) constraints
5.22/1.98	c (1,1) translated 175 (50%) constraints
5.56/2.05	c (1,1) translated 210 (60%) constraints
5.88/2.12	c (1,1) translated 245 (70%) constraints
5.88/2.18	c (1,1) translated 280 (80%) constraints
100.08/89.91	c (89,89) translated 315 (90%) constraints
126.70/112.42	c (111,111) translated 350 (100%) constraints
126.70/112.42	c (111,111) ===========================================
127.07/112.77	c (112,111) Hybrid: #OE=9111, #LE=0
127.07/112.77	c (112,111) Hybrid
127.07/112.77	c (112,111) ===========================================
134.33/115.32	c (114,113) translated 78986 (10%) constraints
136.39/117.23	c (116,115) translated 157972 (20%) constraints
138.30/119.14	c (118,117) translated 236957 (30%) constraints
140.23/121.04	c (120,119) translated 315943 (40%) constraints
142.12/122.93	c (122,120) translated 394928 (50%) constraints
144.02/124.82	c (124,122) translated 473914 (60%) constraints
145.93/126.71	c (126,124) translated 552900 (70%) constraints
147.83/128.61	c (128,126) translated 631885 (80%) constraints
149.72/130.52	c (129,128) translated 710871 (90%) constraints
151.63/132.47	c (131,130) translated 789856 (100%) constraints
151.63/132.47	c (131,130) CSP to CSPinCNF End
151.63/132.48	c (131,130) CSP: 75 int (0 aux), 9036 bool (9035 aux), 789856 ctr, max domain size 180
151.63/132.48	c (131,130) Heap : 6313 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
151.63/132.48	c (131,130) CSPinCNF Propagation Begin
188.23/156.65	c (156,152) 668 values, 271462 unsatisfiable literals, and 211441 valid clauses are removed
188.23/156.65	c (156,152) CSPinCNF Propagation End
188.23/156.66	c (156,152) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
188.23/156.66	c (156,152) Heap : 2194 MiB used (max 20891 MiB), NonHeap : 29 MiB used (max 0 MiB)
188.56/156.94	c (156,153) Hybrid: #OE=9111, #LE=0
188.56/156.94	c (156,153) Simplify CSPinCNF Begin
190.14/158.34	c (157,154) Simplify CSPinCNF End
190.14/158.34	c (157,154) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
190.14/158.34	c (157,154) Heap : 2998 MiB used (max 20891 MiB), NonHeap : 29 MiB used (max 0 MiB)
190.14/158.34	c (157,154) Calculate Precise Domain Begin
190.14/158.34	c (157,154) 0 values are removed by re-calculation
190.14/158.34	c (157,154) Calculate Precise Domain End
190.14/158.34	c (157,154) CSP: 75 int (0 aux), 9036 bool (9035 aux), 578415 ctr, max domain size 180
190.14/158.34	c (157,154) Heap : 2998 MiB used (max 20891 MiB), NonHeap : 29 MiB used (max 0 MiB)
190.14/158.34	c (157,154) CSPinCNF to SatSolver Begin
192.56/159.38	c (158,155) 57842 (10 %) CSP clauses are encoded (0 SAT variables, 62811 SAT clauses)
193.40/160.11	c (159,156) 115683 (20 %) CSP clauses are encoded (0 SAT variables, 120652 SAT clauses)
194.10/160.83	c (160,157) 173525 (30 %) CSP clauses are encoded (0 SAT variables, 178494 SAT clauses)
194.80/161.56	c (161,157) 231366 (40 %) CSP clauses are encoded (0 SAT variables, 236335 SAT clauses)
200.25/162.87	c (162,158) 289208 (50 %) CSP clauses are encoded (0 SAT variables, 294177 SAT clauses)
201.05/163.61	c (163,159) 347049 (60 %) CSP clauses are encoded (0 SAT variables, 352018 SAT clauses)
201.75/164.32	c (163,159) 404891 (70 %) CSP clauses are encoded (0 SAT variables, 409860 SAT clauses)
202.47/165.03	c (164,160) 462732 (80 %) CSP clauses are encoded (0 SAT variables, 467701 SAT clauses)
203.16/165.75	c (165,161) 520574 (90 %) CSP clauses are encoded (0 SAT variables, 525543 SAT clauses)
203.87/166.41	c (165,162) 578415 (100 %) CSP clauses are encoded (0 SAT variables, 583384 SAT clauses)
203.87/166.41	c (165,162) CSPinCNF to SatSolver End
203.87/166.41	c (165,162) Heap : 4627 MiB used (max 21234 MiB), NonHeap : 31 MiB used (max 0 MiB)
203.87/166.41	c (165,162) 13565 bool, 583385 clause
203.87/166.41	c (165,162) Export Begin
204.02/166.52	c (165,162) Export to HOME/scop-18420-serial-file.bin
204.02/166.52	c (165,162) Export End
204.02/166.52	c (165,162) Export File Size: 0.05 MB
204.02/166.52	c (165,162) 0,0,131,156,157,157,165,STOP-AFTER(DIMACS)
204.02/166.52	c END-Prog: Tue Sep 24 22:12:21 CEST 2019
204.02/166.58	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18420-serial-file.bin
204.67/167.04	c (0,0) Read Serial File Begin
204.67/167.10	c (0,0) HOME/scop-18420-serial-file.bin
205.01/167.33	c (0,0) Read Serial File End
205.01/167.34	
205.01/167.34	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
205.01/167.34	(Solving Process)
205.01/167.34	
205.01/167.37	c BEGIN-Prog: Tue Sep 24 22:12:21 CEST 2019
205.01/167.37	c PID: 18458
205.01/167.37	c IP: 172.20.3.140
205.01/167.37	c HOST: node140.alineos.net
205.01/167.37	c (0,0) SatSolver.solve Begin
205.01/167.37	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405518-1569355816.xml-scop-18423.cnf
205.01/167.40	c (0,0) c
205.01/167.40	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)
205.01/167.40	c (0,0) c
205.01/167.40	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
205.01/167.40	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
205.01/167.40	c (0,0) c ========================================[ Problem Statistics ]===========================================
205.01/167.40	c (0,0) c |                                                                                                       |
205.36/167.54	c (0,0) c |  Number of variables:         13565                                                                   |
205.36/167.54	c (0,0) c |  Number of clauses:          159207                                                                   |
205.36/167.54	c (0,0) c |  Parse time:                   0.13 s                                                                 |
205.36/167.54	c (0,0) c |                                                                                                       |
208.25/170.32	c (3,0) c |  Simplification time:          2.78 s                                                                 |
208.25/170.32	c (3,0) c |                                                                                                       |
208.25/170.32	c (3,0) c |  Generating clones                                                                                    |
208.25/170.38	c (3,0) c |  all clones generated. Memory =   128.07Mb.                                                           |
208.25/170.38	c (3,0) c ========================================================================================================|
208.25/170.38	c (3,0) c
208.25/170.38	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
208.25/170.38	c (3,0) c
208.25/170.38	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
208.25/170.38	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
208.25/170.38	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
208.25/170.38	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
208.25/170.38	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
208.25/170.38	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
208.25/170.38	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
208.25/170.38	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
208.25/170.38	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
208.25/170.38	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
208.25/170.38	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
208.25/170.38	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
208.25/170.38	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
208.25/170.38	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
208.25/170.38	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
208.25/170.38	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
208.25/170.38	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
208.25/170.38	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
208.25/170.38	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.43	c (14,0) c
292.40/181.43	c (14,0) c real time : 14.0376 s
292.40/181.43	c (14,0) c cpu time  : 86.4703 s
292.40/181.43	c (14,0) c
292.40/181.43	c (14,0) c
292.40/181.43	c (14,0) c
292.40/181.43	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
292.40/181.43	c (14,0) c
292.40/181.43	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.43	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
292.40/181.43	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.43	c (14,0) c | Conflicts     |          435328 |      54206 |      56067 |      54385 |      52060 |      54234 |      53909 |      56398 |      54069 |
292.40/181.43	c (14,0) c | Decisions     |         1641039 |     205919 |     190676 |     198440 |     216395 |     210832 |     198464 |     206578 |     213735 |
292.40/181.43	c (14,0) c | Propagations  |       195609548 |   24029991 |   26082779 |   25056879 |   23152857 |   24340313 |   23330001 |   25590041 |   24026687 |
292.40/181.43	c (14,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
292.40/181.43	c (14,0) c | SimpDBs       |             155 |         20 |         20 |         19 |         18 |         19 |         19 |         21 |         19 |
292.40/181.43	c (14,0) c | Restarts      |            2446 |        301 |        251 |        273 |        364 |        332 |        291 |        303 |        331 |
292.40/181.43	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
292.40/181.43	c (14,0) c | PropBinClauses|       377945340 |   44595294 |   52118198 |   49053219 |   44428825 |   47364848 |   45910102 |   49527163 |   44947691 |
292.40/181.43	c (14,0) c | PropPreBlocker|      1465130334 |  186129831 |  193448538 |  187518626 |  169319212 |  176461966 |  178807411 |  190588138 |  182856612 |
292.40/181.43	c (14,0) c | PropNotBlocker|       441328879 |   53482676 |   59682401 |   55551514 |   52368951 |   56185279 |   53733472 |   56628253 |   53696333 |
292.40/181.43	c (14,0) c | LitFullScans  |      6916359849 |  853507854 |  855299522 |  907397040 |  876915166 |  858274933 |  854864126 |  856961193 |  853140015 |
292.40/181.43	c (14,0) c | LitScanFracts |        24906757 |    1382865 |    3176744 |   10803846 |    2966173 |    1542967 |    2745355 |    1281946 |    1006861 |
292.40/181.44	c (14,0) c | DecisionLevel0|            2893 |        368 |        302 |        320 |        434 |        382 |        363 |        350 |        374 |
292.40/181.44	c (14,0) c | Periods       |            1146 |        142 |        142 |        149 |        145 |        142 |        142 |        142 |        142 |
292.40/181.44	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
292.40/181.44	c (14,0) c | Avg_Trail     |                 |       7665 |       7572 |       7449 |       7471 |       7823 |       7453 |       7407 |       7541 |
292.40/181.44	c (14,0) c | Avg_DL        |                 |         46 |         43 |         51 |         57 |         49 |         44 |         51 |         54 |
292.40/181.44	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
292.40/181.44	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
292.40/181.44	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.44	c (14,0) c | Exported      |           82191 |      10587 |      10595 |      10154 |      10083 |       9353 |      10232 |      10975 |      10212 |
292.40/181.44	c (14,0) c | Imported      |          521366 |      64208 |      64196 |      67366 |      66110 |      65981 |      64517 |      64370 |      64618 |
292.40/181.44	c (14,0) c | Good          |           70299 |       8628 |       8894 |       8963 |       8691 |       8952 |       8933 |       8610 |       8628 |
292.40/181.44	c (14,0) c | Purge         |          451067 |      55580 |      55302 |      58403 |      57419 |      57029 |      55584 |      55760 |      55990 |
292.40/181.44	c (14,0) c | Promoted      |           31633 |       3715 |       4033 |       4068 |       4045 |       4475 |       4003 |       3720 |       3574 |
292.40/181.44	c (14,0) c | Remove_Imp    |          280134 |      33699 |      33218 |      37750 |      38430 |      35928 |      34575 |      31586 |      34948 |
292.40/181.44	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
292.40/181.44	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.44	c (14,0) c | Unaries       |                 |         67 |         51 |         47 |         70 |         50 |         72 |         47 |         43 |
292.40/181.44	c (14,0) c | Binaries      |                 |       1421 |       1155 |       1120 |       1381 |       1109 |       1118 |       1454 |       1423 |
292.40/181.44	c (14,0) c | Glues         |                 |       2214 |       1921 |       1896 |       2119 |       1953 |       1863 |       2181 |       2089 |
292.40/181.44	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.44	c (14,0) c | Orig_Seen     |            47 % |      60598 |      59340 |      61243 |      63492 |      64516 |      59041 |      60494 |      61421 |
292.40/181.44	c (14,0) c | Diff Orig seen|                 | -     3918 | -     5176 | -     3273 | -     1024 |      X     | -     5475 | -     4022 | -     3095 |
292.40/181.44	c (14,0) c | Hamming       |             5 % |        750 |        680 |        675 |        605 |      X     |        871 |        708 |       1018 |
292.40/181.44	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.44	c (14,0) c | RunningTime   |                 |   10.4 100%|   11.0 100%|   10.4 100%|   10.4 100%|   10.4 100%|   10.5 100%|   10.4 100%|   10.8 100%|
292.40/181.44	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%|
292.40/181.44	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%|
292.40/181.44	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%|
292.40/181.44	c (14,0) c | SolvingTime   |                 |   10.4     |   11.0     |   10.4     |   10.4     |   10.4     |   10.6     |   10.4     |   10.9     |
292.40/181.44	c (14,0) c | PropagationTim|                 |    6.7  65%|    7.4  67%|    6.8  65%|    6.6  63%|    6.8  65%|    6.7  63%|    6.8  66%|    7.0  65%|
292.40/181.44	c (14,0) c | AnalysisTime  |                 |    3.1  30%|    3.0  28%|    3.1  29%|    3.2  31%|    3.0  29%|    3.3  31%|    3.0  28%|    3.2  30%|
292.40/181.44	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%|
292.40/181.44	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%|
292.40/181.44	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%|
292.40/181.44	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%|
292.40/181.44	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.44	c (14,0) c
292.40/181.44	c (14,0) c
292.40/181.44	c (14,0) c Threads : 8
292.40/181.44	c (14,0) c Winner : 4
292.40/181.44	c (14,0) c Conflicts_0 : 54206
292.40/181.44	c (14,0) c Conflicts_1 : 56067
292.40/181.44	c (14,0) c Conflicts_2 : 54385
292.40/181.44	c (14,0) c Conflicts_3 : 52060
292.40/181.44	c (14,0) c Conflicts_4 : 54234
292.40/181.44	c (14,0) c Conflicts_5 : 53909
292.40/181.44	c (14,0) c Conflicts_6 : 56398
292.40/181.44	c (14,0) c Conflicts_7 : 54069
292.40/181.44	c (14,0) c Conflicts_total : 435328
292.40/181.44	c (14,0) c Conflicts_winner : 54234
292.40/181.44	c (14,0) c Decisions_0 : 205919
292.40/181.44	c (14,0) c Decisions_1 : 190676
292.40/181.44	c (14,0) c Decisions_2 : 198440
292.40/181.44	c (14,0) c Decisions_3 : 216395
292.40/181.44	c (14,0) c Decisions_4 : 210832
292.40/181.44	c (14,0) c Decisions_5 : 198464
292.40/181.44	c (14,0) c Decisions_6 : 206578
292.40/181.44	c (14,0) c Decisions_7 : 213735
292.40/181.44	c (14,0) c Decisions_total : 1641039
292.40/181.44	c (14,0) c Decisions_winner : 210832
292.40/181.44	c (14,0) c Propagations_0 : 24029991
292.40/181.44	c (14,0) c Propagations_1 : 26082779
292.40/181.44	c (14,0) c Propagations_2 : 25056879
292.40/181.44	c (14,0) c Propagations_3 : 23152857
292.40/181.44	c (14,0) c Propagations_4 : 24340313
292.40/181.44	c (14,0) c Propagations_5 : 23330001
292.40/181.44	c (14,0) c Propagations_6 : 25590041
292.40/181.44	c (14,0) c Propagations_7 : 24026687
292.40/181.44	c (14,0) c Propagations_total : 195609548
292.40/181.44	c (14,0) c Propagations_winner : 24340313
292.40/181.44	c (14,0) c ReduceDBs_0 : 6
292.40/181.44	c (14,0) c ReduceDBs_1 : 6
292.40/181.44	c (14,0) c ReduceDBs_2 : 6
292.40/181.44	c (14,0) c ReduceDBs_3 : 6
292.40/181.44	c (14,0) c ReduceDBs_4 : 6
292.40/181.44	c (14,0) c ReduceDBs_5 : 6
292.40/181.44	c (14,0) c ReduceDBs_6 : 6
292.40/181.44	c (14,0) c ReduceDBs_7 : 6
292.40/181.44	c (14,0) c ReduceDBs_total : 48
292.40/181.44	c (14,0) c ReduceDBs_winner : 6
292.40/181.44	c (14,0) c SimpDBs_0 : 20
292.40/181.44	c (14,0) c SimpDBs_1 : 20
292.40/181.44	c (14,0) c SimpDBs_2 : 19
292.40/181.44	c (14,0) c SimpDBs_3 : 18
292.40/181.44	c (14,0) c SimpDBs_4 : 19
292.40/181.44	c (14,0) c SimpDBs_5 : 19
292.40/181.44	c (14,0) c SimpDBs_6 : 21
292.40/181.44	c (14,0) c SimpDBs_7 : 19
292.40/181.44	c (14,0) c SimpDBs_total : 155
292.40/181.44	c (14,0) c SimpDBs_winner : 19
292.40/181.44	c (14,0) c Restarts_0 : 301
292.40/181.44	c (14,0) c Restarts_1 : 251
292.40/181.44	c (14,0) c Restarts_2 : 273
292.40/181.44	c (14,0) c Restarts_3 : 364
292.40/181.44	c (14,0) c Restarts_4 : 332
292.40/181.44	c (14,0) c Restarts_5 : 291
292.40/181.44	c (14,0) c Restarts_6 : 303
292.40/181.44	c (14,0) c Restarts_7 : 331
292.40/181.44	c (14,0) c Restarts_total : 2446
292.40/181.44	c (14,0) c Restarts_winner : 332
292.40/181.44	c (14,0) c ForcedImports_0 : 0
292.40/181.44	c (14,0) c ForcedImports_1 : 0
292.40/181.44	c (14,0) c ForcedImports_2 : 0
292.40/181.44	c (14,0) c ForcedImports_3 : 0
292.40/181.44	c (14,0) c ForcedImports_4 : 0
292.40/181.44	c (14,0) c ForcedImports_5 : 0
292.40/181.44	c (14,0) c ForcedImports_6 : 0
292.40/181.44	c (14,0) c ForcedImports_7 : 0
292.40/181.44	c (14,0) c ForcedImports_total : 0
292.40/181.44	c (14,0) c ForcedImports_winner : 0
292.40/181.44	c (14,0) c PropsBinClauses_0 : 44595294
292.40/181.44	c (14,0) c PropsBinClauses_1 : 52118198
292.40/181.44	c (14,0) c PropsBinClauses_2 : 49053219
292.40/181.44	c (14,0) c PropsBinClauses_3 : 44428825
292.40/181.44	c (14,0) c PropsBinClauses_4 : 47364848
292.40/181.44	c (14,0) c PropsBinClauses_5 : 45910102
292.40/181.44	c (14,0) c PropsBinClauses_6 : 49527163
292.40/181.44	c (14,0) c PropsBinClauses_7 : 44947691
292.40/181.44	c (14,0) c PropsBinClauses_total : 377945340
292.40/181.44	c (14,0) c PropsBinClauses_winner : 47364848
292.40/181.44	c (14,0) c PropsPreBlocker_0 : 186129831
292.40/181.44	c (14,0) c PropsPreBlocker_1 : 193448538
292.40/181.44	c (14,0) c PropsPreBlocker_2 : 187518626
292.40/181.44	c (14,0) c PropsPreBlocker_3 : 169319212
292.40/181.44	c (14,0) c PropsPreBlocker_4 : 176461966
292.40/181.44	c (14,0) c PropsPreBlocker_5 : 178807411
292.40/181.44	c (14,0) c PropsPreBlocker_6 : 190588138
292.40/181.44	c (14,0) c PropsPreBlocker_7 : 182856612
292.40/181.44	c (14,0) c PropsPreBlocker_total : 1465130334
292.40/181.44	c (14,0) c PropsPreBlocker_winner : 176461966
292.40/181.44	c (14,0) c PropsNotBlocker_0 : 53482676
292.40/181.44	c (14,0) c PropsNotBlocker_1 : 59682401
292.40/181.44	c (14,0) c PropsNotBlocker_2 : 55551514
292.40/181.44	c (14,0) c PropsNotBlocker_3 : 52368951
292.40/181.44	c (14,0) c PropsNotBlocker_4 : 56185279
292.40/181.44	c (14,0) c PropsNotBlocker_5 : 53733472
292.40/181.44	c (14,0) c PropsNotBlocker_6 : 56628253
292.40/181.44	c (14,0) c PropsNotBlocker_7 : 53696333
292.40/181.44	c (14,0) c PropsNotBlocker_total : 441328879
292.40/181.44	c (14,0) c PropsNotBlocker_winner : 56185279
292.40/181.44	c (14,0) c PropsLitFullScans_0 : 853507854
292.40/181.44	c (14,0) c PropsLitFullScans_1 : 855299522
292.40/181.44	c (14,0) c PropsLitFullScans_2 : 907397040
292.40/181.44	c (14,0) c PropsLitFullScans_3 : 876915166
292.40/181.44	c (14,0) c PropsLitFullScans_4 : 858274933
292.40/181.44	c (14,0) c PropsLitFullScans_5 : 854864126
292.40/181.44	c (14,0) c PropsLitFullScans_6 : 856961193
292.40/181.44	c (14,0) c PropsLitFullScans_7 : 853140015
292.40/181.44	c (14,0) c PropsLitFullScans_total : 6916359849
292.40/181.44	c (14,0) c PropsLitFullScans_winner : 858274933
292.40/181.44	c (14,0) c LitScanFractions_0 : 1382865
292.40/181.44	c (14,0) c LitScanFractions_1 : 3176744
292.40/181.44	c (14,0) c LitScanFractions_2 : 10803846
292.40/181.44	c (14,0) c LitScanFractions_3 : 2966173
292.40/181.44	c (14,0) c LitScanFractions_4 : 1542967
292.40/181.44	c (14,0) c LitScanFractions_5 : 2745355
292.40/181.44	c (14,0) c LitScanFractions_6 : 1281946
292.40/181.44	c (14,0) c LitScanFractions_7 : 1006861
292.40/181.44	c (14,0) c LitScanFractions_total : 24906757
292.40/181.44	c (14,0) c LitScanFractions_winner : 1542967
292.40/181.44	c (14,0) c DecisionLevel0_0 : 368
292.40/181.44	c (14,0) c DecisionLevel0_1 : 302
292.40/181.44	c (14,0) c DecisionLevel0_2 : 320
292.40/181.44	c (14,0) c DecisionLevel0_3 : 434
292.40/181.44	c (14,0) c DecisionLevel0_4 : 382
292.40/181.44	c (14,0) c DecisionLevel0_5 : 363
292.40/181.44	c (14,0) c DecisionLevel0_6 : 350
292.40/181.44	c (14,0) c DecisionLevel0_7 : 374
292.40/181.44	c (14,0) c DecisionLevel0_total : 2893
292.40/181.44	c (14,0) c DecisionLevel0_winner : 382
292.40/181.44	c (14,0) c Periods_0 : 142
292.40/181.44	c (14,0) c Periods_1 : 142
292.40/181.44	c (14,0) c Periods_2 : 149
292.40/181.44	c (14,0) c Periods_3 : 145
292.40/181.44	c (14,0) c Periods_4 : 142
292.40/181.44	c (14,0) c Periods_5 : 142
292.40/181.44	c (14,0) c Periods_6 : 142
292.40/181.44	c (14,0) c Periods_7 : 142
292.40/181.44	c (14,0) c Periods_total : 1146
292.40/181.44	c (14,0) c Periods_winner : 142
292.40/181.44	c (14,0) c Margin_0 : 20
292.40/181.44	c (14,0) c Margin_1 : 20
292.40/181.44	c (14,0) c Margin_2 : 20
292.40/181.44	c (14,0) c Margin_3 : 20
292.40/181.44	c (14,0) c Margin_4 : 20
292.40/181.44	c (14,0) c Margin_5 : 20
292.40/181.44	c (14,0) c Margin_6 : 20
292.40/181.44	c (14,0) c Margin_7 : 20
292.40/181.44	c (14,0) c Margin_total : 160
292.40/181.44	c (14,0) c Margin_winner : 20
292.40/181.44	c (14,0) c Exported_0 : 10587
292.40/181.44	c (14,0) c Exported_1 : 10595
292.40/181.44	c (14,0) c Exported_2 : 10154
292.40/181.44	c (14,0) c Exported_3 : 10083
292.40/181.44	c (14,0) c Exported_4 : 9353
292.40/181.44	c (14,0) c Exported_5 : 10232
292.40/181.44	c (14,0) c Exported_6 : 10975
292.40/181.44	c (14,0) c Exported_7 : 10212
292.40/181.44	c (14,0) c Exported_total : 82191
292.40/181.44	c (14,0) c Exported_winner : 9353
292.40/181.44	c (14,0) c Imported_0 : 64208
292.40/181.44	c (14,0) c Imported_1 : 64196
292.40/181.44	c (14,0) c Imported_2 : 67366
292.40/181.44	c (14,0) c Imported_3 : 66110
292.40/181.44	c (14,0) c Imported_4 : 65981
292.40/181.44	c (14,0) c Imported_5 : 64517
292.40/181.44	c (14,0) c Imported_6 : 64370
292.40/181.44	c (14,0) c Imported_7 : 64618
292.40/181.44	c (14,0) c Imported_total : 521366
292.40/181.44	c (14,0) c Imported_winner : 65981
292.40/181.44	c (14,0) c Good_0 : 8628
292.40/181.44	c (14,0) c Good_1 : 8894
292.40/181.44	c (14,0) c Good_2 : 8963
292.40/181.44	c (14,0) c Good_3 : 8691
292.40/181.44	c (14,0) c Good_4 : 8952
292.40/181.44	c (14,0) c Good_5 : 8933
292.40/181.44	c (14,0) c Good_6 : 8610
292.40/181.44	c (14,0) c Good_7 : 8628
292.40/181.44	c (14,0) c Good_total : 70299
292.40/181.44	c (14,0) c Good_winner : 8952
292.40/181.44	c (14,0) c Purge_0 : 55580
292.40/181.44	c (14,0) c Purge_1 : 55302
292.40/181.44	c (14,0) c Purge_2 : 58403
292.40/181.44	c (14,0) c Purge_3 : 57419
292.40/181.44	c (14,0) c Purge_4 : 57029
292.40/181.44	c (14,0) c Purge_5 : 55584
292.40/181.44	c (14,0) c Purge_6 : 55760
292.40/181.44	c (14,0) c Purge_7 : 55990
292.40/181.44	c (14,0) c Purge_total : 451067
292.40/181.44	c (14,0) c Purge_winner : 57029
292.40/181.44	c (14,0) c Promoted_0 : 3715
292.40/181.44	c (14,0) c Promoted_1 : 4033
292.40/181.44	c (14,0) c Promoted_2 : 4068
292.40/181.44	c (14,0) c Promoted_3 : 4045
292.40/181.44	c (14,0) c Promoted_4 : 4475
292.40/181.44	c (14,0) c Promoted_5 : 4003
292.40/181.44	c (14,0) c Promoted_6 : 3720
292.40/181.44	c (14,0) c Promoted_7 : 3574
292.40/181.44	c (14,0) c Promoted_total : 31633
292.40/181.44	c (14,0) c Promoted_winner : 4475
292.40/181.44	c (14,0) c Remove_Imp_0 : 33699
292.40/181.44	c (14,0) c Remove_Imp_1 : 33218
292.40/181.44	c (14,0) c Remove_Imp_2 : 37750
292.40/181.44	c (14,0) c Remove_Imp_3 : 38430
292.40/181.44	c (14,0) c Remove_Imp_4 : 35928
292.40/181.44	c (14,0) c Remove_Imp_5 : 34575
292.40/181.44	c (14,0) c Remove_Imp_6 : 31586
292.40/181.44	c (14,0) c Remove_Imp_7 : 34948
292.40/181.44	c (14,0) c Remove_Imp_total : 280134
292.40/181.44	c (14,0) c Remove_Imp_winner : 35928
292.40/181.44	c (14,0) c Blocked_Reuse_0 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_1 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_2 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_3 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_4 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_5 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_6 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_7 : 0
292.40/181.44	c (14,0) c Blocked_Reuse_total : 0
292.40/181.44	c (14,0) c Blocked_Reuse_winner : 0
292.40/181.44	c (14,0) c Unaries_0 : 67
292.40/181.44	c (14,0) c Unaries_1 : 51
292.40/181.44	c (14,0) c Unaries_2 : 47
292.40/181.44	c (14,0) c Unaries_3 : 70
292.40/181.44	c (14,0) c Unaries_4 : 50
292.40/181.44	c (14,0) c Unaries_5 : 72
292.40/181.44	c (14,0) c Unaries_6 : 47
292.40/181.44	c (14,0) c Unaries_7 : 43
292.40/181.44	c (14,0) c Unaries_total : 447
292.40/181.44	c (14,0) c Unaries_winner : 50
292.40/181.44	c (14,0) c Binaries_0 : 1421
292.40/181.44	c (14,0) c Binaries_1 : 1155
292.40/181.44	c (14,0) c Binaries_2 : 1120
292.40/181.44	c (14,0) c Binaries_3 : 1381
292.40/181.44	c (14,0) c Binaries_4 : 1109
292.40/181.44	c (14,0) c Binaries_5 : 1118
292.40/181.44	c (14,0) c Binaries_6 : 1454
292.40/181.44	c (14,0) c Binaries_7 : 1423
292.40/181.44	c (14,0) c Binaries_total : 10181
292.40/181.44	c (14,0) c Binaries_winner : 1109
292.40/181.44	c (14,0) c Glues_0 : 2214
292.40/181.44	c (14,0) c Glues_1 : 1921
292.40/181.44	c (14,0) c Glues_2 : 1896
292.40/181.44	c (14,0) c Glues_3 : 2119
292.40/181.44	c (14,0) c Glues_4 : 1953
292.40/181.45	c (14,0) c Glues_5 : 1863
292.40/181.45	c (14,0) c Glues_6 : 2181
292.40/181.45	c (14,0) c Glues_7 : 2089
292.40/181.45	c (14,0) c Glues_total : 16236
292.40/181.45	c (14,0) c Glues_winner : 1953
292.40/181.45	c (14,0) c RunningTime_0 : 10.397748
292.40/181.45	c (14,0) c RunningTime_1 : 11.020834
292.40/181.45	c (14,0) c RunningTime_2 : 10.378614
292.40/181.45	c (14,0) c RunningTime_3 : 10.380048
292.40/181.45	c (14,0) c RunningTime_4 : 10.372296
292.40/181.45	c (14,0) c RunningTime_5 : 10.536382
292.40/181.45	c (14,0) c RunningTime_6 : 10.377988
292.40/181.45	c (14,0) c RunningTime_7 : 10.841679
292.40/181.45	c (14,0) c RunningTime_total : 84.305588
292.40/181.45	c (14,0) c RunningTime_winner : 10.372296
292.40/181.45	c (14,0) c WaitingTime_0 : 0.000169
292.40/181.45	c (14,0) c WaitingTime_1 : 0.000179
292.40/181.45	c (14,0) c WaitingTime_2 : 0.000173
292.40/181.45	c (14,0) c WaitingTime_3 : 0.000184
292.40/181.45	c (14,0) c WaitingTime_4 : 0.000152
292.40/181.45	c (14,0) c WaitingTime_5 : 0.000188
292.40/181.45	c (14,0) c WaitingTime_6 : 0.000172
292.40/181.45	c (14,0) c WaitingTime_7 : 0.000176
292.40/181.45	c (14,0) c WaitingTime_total : 0.001393
292.40/181.45	c (14,0) c WaitingTime_winner : 0.000152
292.40/181.45	c (14,0) c ExchangingTime_0 : 0.024789
292.40/181.45	c (14,0) c ExchangingTime_1 : 0.025982
292.40/181.45	c (14,0) c ExchangingTime_2 : 0.029613
292.40/181.45	c (14,0) c ExchangingTime_3 : 0.028996
292.40/181.45	c (14,0) c ExchangingTime_4 : 0.025460
292.40/181.45	c (14,0) c ExchangingTime_5 : 0.025793
292.40/181.45	c (14,0) c ExchangingTime_6 : 0.029118
292.40/181.45	c (14,0) c ExchangingTime_7 : 0.032591
292.40/181.45	c (14,0) c ExchangingTime_total : 0.222343
292.40/181.45	c (14,0) c ExchangingTime_winner : 0.025460
292.40/181.45	c (14,0) c PeriodProcTime_0 : 0.000935
292.40/181.45	c (14,0) c PeriodProcTime_1 : 0.001131
292.40/181.45	c (14,0) c PeriodProcTime_2 : 0.000965
292.40/181.45	c (14,0) c PeriodProcTime_3 : 0.001129
292.40/181.45	c (14,0) c PeriodProcTime_4 : 0.001061
292.40/181.45	c (14,0) c PeriodProcTime_5 : 0.001173
292.40/181.45	c (14,0) c PeriodProcTime_6 : 0.000953
292.40/181.45	c (14,0) c PeriodProcTime_7 : 0.001191
292.40/181.45	c (14,0) c PeriodProcTime_total : 0.008538
292.40/181.45	c (14,0) c PeriodProcTime_winner : 0.001061
292.40/181.45	c (14,0) c SolvingTime_0 : 10.423640
292.40/181.45	c (14,0) c SolvingTime_1 : 11.048127
292.40/181.45	c (14,0) c SolvingTime_2 : 10.409364
292.40/181.45	c (14,0) c SolvingTime_3 : 10.410357
292.40/181.45	c (14,0) c SolvingTime_4 : 10.398969
292.40/181.45	c (14,0) c SolvingTime_5 : 10.563535
292.40/181.45	c (14,0) c SolvingTime_6 : 10.408232
292.40/181.45	c (14,0) c SolvingTime_7 : 10.875637
292.40/181.45	c (14,0) c SolvingTime_total : 84.537862
292.40/181.45	c (14,0) c SolvingTime_winner : 10.398969
292.40/181.45	c (14,0) c PropagationTime_0 : 6.748083
292.40/181.45	c (14,0) c PropagationTime_1 : 7.413536
292.40/181.45	c (14,0) c PropagationTime_2 : 6.772017
292.40/181.45	c (14,0) c PropagationTime_3 : 6.604915
292.40/181.45	c (14,0) c PropagationTime_4 : 6.753723
292.40/181.45	c (14,0) c PropagationTime_5 : 6.692564
292.40/181.45	c (14,0) c PropagationTime_6 : 6.847585
292.40/181.45	c (14,0) c PropagationTime_7 : 7.029720
292.40/181.45	c (14,0) c PropagationTime_total : 54.862142
292.40/181.45	c (14,0) c PropagationTime_winner : 6.753723
292.40/181.45	c (14,0) c AnalysisTime_0 : 3.082598
292.40/181.45	c (14,0) c AnalysisTime_1 : 3.041385
292.40/181.45	c (14,0) c AnalysisTime_2 : 3.051762
292.40/181.45	c (14,0) c AnalysisTime_3 : 3.208299
292.40/181.45	c (14,0) c AnalysisTime_4 : 3.042110
292.40/181.45	c (14,0) c AnalysisTime_5 : 3.294769
292.40/181.45	c (14,0) c AnalysisTime_6 : 2.954727
292.40/181.45	c (14,0) c AnalysisTime_7 : 3.234391
292.40/181.45	c (14,0) c AnalysisTime_total : 24.910041
292.40/181.45	c (14,0) c AnalysisTime_winner : 3.042110
292.40/181.45	c (14,0) c ReductionTime_0 : 0.108094
292.40/181.45	c (14,0) c ReductionTime_1 : 0.108325
292.40/181.45	c (14,0) c ReductionTime_2 : 0.108704
292.40/181.45	c (14,0) c ReductionTime_3 : 0.108053
292.40/181.45	c (14,0) c ReductionTime_4 : 0.110720
292.40/181.45	c (14,0) c ReductionTime_5 : 0.104403
292.40/181.45	c (14,0) c ReductionTime_6 : 0.107828
292.40/181.45	c (14,0) c ReductionTime_7 : 0.108177
292.40/181.45	c (14,0) c ReductionTime_total : 0.864305
292.40/181.45	c (14,0) c ReductionTime_winner : 0.110720
292.40/181.45	c (14,0) c SimplifyTime_0 : 0.101926
292.40/181.45	c (14,0) c SimplifyTime_1 : 0.103734
292.40/181.45	c (14,0) c SimplifyTime_2 : 0.103141
292.40/181.45	c (14,0) c SimplifyTime_3 : 0.099412
292.40/181.45	c (14,0) c SimplifyTime_4 : 0.102816
292.40/181.45	c (14,0) c SimplifyTime_5 : 0.103007
292.40/181.45	c (14,0) c SimplifyTime_6 : 0.111529
292.40/181.45	c (14,0) c SimplifyTime_7 : 0.102649
292.40/181.45	c (14,0) c SimplifyTime_total : 0.828214
292.40/181.45	c (14,0) c SimplifyTime_winner : 0.102816
292.40/181.45	c (14,0) c UsedRateTime_0 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_1 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_2 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_3 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_4 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_5 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_6 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_7 : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_total : 0.000000
292.40/181.45	c (14,0) c UsedRateTime_winner : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_0 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_1 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_2 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_3 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_4 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_5 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_6 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_7 : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_total : 0.000000
292.40/181.45	c (14,0) c OverlapRateTime_winner : 0.000000
292.40/181.45	c (14,0) c
292.40/181.45	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
292.40/181.45	c (14,0) c
292.40/181.45	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.45	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
292.40/181.45	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.45	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
292.40/181.45	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
292.40/181.45	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
292.40/181.45	c (14,0) c | Initial random_seed   | 1854694466 | 1131072333 |  527425640 |  995415528 |   19433003 | 2123293133 | 2070498575 |   40500316 |
292.40/181.45	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
292.40/181.45	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
292.40/181.45	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
292.40/181.45	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
292.40/181.45	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
292.40/181.45	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
292.40/181.45	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
292.40/181.45	c (14,0) c | var_decay             |     0.9000 |     0.9100 |     0.9000 |     0.9000 |     0.9000 |     0.9000 |     0.9100 |     0.9000 |
292.40/181.45	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
292.40/181.45	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
292.40/181.45	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
292.40/181.45	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
292.40/181.45	c (14,0) 
292.40/181.45	c (14,0) s SATISFIABLE
292.40/181.48	c (14,0) SatSolver.solve End
292.40/181.48	c (14,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
292.40/181.48	c (14,0) Show results Begin
292.65/181.58	c (14,0) w3 = 180
292.65/181.58	c (14,0) w4 = 0
292.65/181.58	c (14,0) x[0] = 12
292.65/181.58	c (14,0) x[1] = 23
292.65/181.58	c (14,0) x[2] = 24
292.65/181.58	c (14,0) x[3] = 10
292.65/181.58	c (14,0) x[4] = 3
292.65/181.58	c (14,0) x[5] = 15
292.65/181.58	c (14,0) x[6] = 8
292.65/181.58	c (14,0) x[7] = 14
292.65/181.58	c (14,0) x[8] = 7
292.65/181.58	c (14,0) x[9] = 4
292.65/181.58	c (14,0) x[10] = 1
292.65/181.58	c (14,0) x[11] = 21
292.65/181.58	c (14,0) x[12] = 25
292.65/181.58	c (14,0) x[13] = 13
292.65/181.58	c (14,0) x[14] = 19
292.65/181.58	c (14,0) x[15] = 22
292.65/181.58	c (14,0) x[16] = 9
292.65/181.58	c (14,0) x[17] = 20
292.65/181.58	c (14,0) x[18] = 5
292.65/181.58	c (14,0) x[19] = 2
292.65/181.58	c (14,0) x[20] = 11
292.65/181.58	c (14,0) x[21] = 6
292.65/181.58	c (14,0) x[22] = 17
292.65/181.58	c (14,0) x[23] = 16
292.65/181.58	c (14,0) x[24] = 18
292.65/181.58	c (14,0) y[0] = 4
292.65/181.58	c (14,0) y[1] = 8
292.65/181.58	c (14,0) y[2] = 21
292.65/181.58	c (14,0) y[3] = 8
292.65/181.58	c (14,0) y[4] = 18
292.65/181.58	c (14,0) y[5] = 19
292.65/181.58	c (14,0) y[6] = 16
292.65/181.58	c (14,0) y[7] = 0
292.65/181.58	c (14,0) y[8] = 8
292.65/181.58	c (14,0) y[9] = 2
292.65/181.58	c (14,0) y[10] = 3
292.65/181.58	c (14,0) y[11] = 9
292.65/181.58	c (14,0) y[12] = 1
292.65/181.58	c (14,0) y[13] = 10
292.65/181.58	c (14,0) y[14] = 8
292.65/181.58	c (14,0) y[15] = 0
292.65/181.58	c (14,0) y[16] = 5
292.65/181.58	c (14,0) y[17] = 1
292.65/181.58	c (14,0) y[18] = 20
292.65/181.58	c (14,0) y[19] = 1
292.65/181.58	c (14,0) y[20] = 0
292.65/181.58	c (14,0) y[21] = 6
292.65/181.58	c (14,0) y[22] = 6
292.65/181.58	c (14,0) y[23] = 5
292.65/181.58	c (14,0) y[24] = 1
292.65/181.58	c (14,0) z[0] = 12
292.65/181.58	c (14,0) z[1] = 33
292.65/181.58	c (14,0) z[2] = 41
292.65/181.58	c (14,0) z[3] = 59
292.65/181.58	c (14,0) z[4] = 78
292.65/181.58	c (14,0) z[5] = 94
292.65/181.58	c (14,0) z[6] = 94
292.65/181.58	c (14,0) z[7] = 102
292.65/181.58	c (14,0) z[8] = 104
292.65/181.58	c (14,0) z[9] = 107
292.65/181.58	c (14,0) z[10] = 116
292.65/181.58	c (14,0) z[11] = 117
292.65/181.58	c (14,0) z[12] = 127
292.65/181.58	c (14,0) z[13] = 135
292.65/181.58	c (14,0) z[14] = 135
292.65/181.58	c (14,0) z[15] = 140
292.65/181.58	c (14,0) z[16] = 141
292.65/181.58	c (14,0) z[17] = 161
292.65/181.58	c (14,0) z[18] = 162
292.65/181.58	c (14,0) z[19] = 162
292.65/181.58	c (14,0) z[20] = 168
292.65/181.58	c (14,0) z[21] = 174
292.65/181.58	c (14,0) z[22] = 179
292.65/181.58	c (14,0) z[23] = 180
292.65/181.58	s SATISFIABLE
292.65/181.58	v <instantiation>
292.65/181.58	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>
292.65/181.58	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>
292.65/181.58	v </instantiation>
292.65/181.58	c (14,0) Show results End
292.65/181.58	c (14,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
292.65/181.58	c (14,0) 14,14,STOP-AFTER(ALL)
292.65/181.58	c END-Prog: Tue Sep 24 22:12:36 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 (14036 MiB free)
  memory of node 1: 16384 MiB (10973 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100128 s]*
/proc/loadavg: 7.13 7.63 7.89 2/211 18442
/proc/meminfo: memFree=25512560/32770624 swapFree=66997532/67108860
[pid=18420] ppid=18417 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18420/stat : 18420 (scop.sh) S 18417 18420 18250 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511519870 115843072 349 33554432000 4194304 5098028 140733536914720 140733536911976 140447347974780 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32210944 140733536920316 140733536920664 140733536920664 140733536923593 0
/proc/18420/statm: 28282 349 296 221 0 87 0
[pid=18423] ppid=18420 vsize=27314120 memory=106808 CPUtime=0.11 cores=0-7
/proc/18423/stat : 18423 (java) S 18420 18420 18250 0 -1 1077944320 6265 0 0 0 9 2 0 0 20 0 20 0 511519870 27969658880 26702 33554432000 4194304 4196468 140724766409616 140724766392160 140352793792247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
/proc/18423/statm: 6828530 26702 2795 1 0 6790935 0
[pid=18423/tid=18424] ppid=18420 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18423/task/18424/stat : 18424 (java) R 18420 18420 18250 0 -1 4202560 4371 0 0 0 7 2 0 0 20 0 20 0 511519871 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352765626928 140352777872734 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18425] ppid=18420 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18423/task/18425/stat : 18425 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352798034192 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18426] ppid=18420 vsize=27314120 memory=140698099132032 CPUtime=0 cores=0-7
/proc/18423/task/18426/stat : 18426 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352620530064 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18427] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18427/stat : 18427 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352215005712 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18428] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18428/stat : 18428 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352213953168 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18429] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18429/stat : 18429 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352212900624 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18430] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18430/stat : 18430 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352211848080 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18431] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18431/stat : 18431 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352210795536 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18432] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18432/stat : 18432 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 26702 33554432000 4194304 4196468 140724766409616 140352209742992 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18433] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18433/stat : 18433 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519874 27969658880 26702 33554432000 4194304 4196468 140724766409616 140351650932720 140352793803394 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18434] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18434/stat : 18434 (java) S 18420 18420 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511519875 27969658880 26702 33554432000 4194304 4196468 140724766409616 140350739964832 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18435] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18435/stat : 18435 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519875 27969658880 26702 33554432000 4194304 4196468 140724766409616 140350471529456 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18436] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18436/stat : 18436 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140350097021136 140352793810843 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18437] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18437/stat : 18437 (java) S 18420 18420 18250 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140351649880560 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18438] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18438/stat : 18438 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140351648828016 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18439] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18439/stat : 18439 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140351647775472 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18440] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18440/stat : 18440 (java) S 18420 18420 18250 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140351646722928 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18441] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18441/stat : 18441 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140349599115488 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18442] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18442/stat : 18442 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 26702 33554432000 4194304 4196468 140724766409616 140351645669808 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108204 KiB

[startup+0.216769 s]*
/proc/loadavg: 7.13 7.63 7.89 2/211 18442
/proc/meminfo: memFree=25494236/32770624 swapFree=66997532/67108860
[pid=18420] ppid=18417 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18420/stat : 18420 (scop.sh) S 18417 18420 18250 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511519870 115843072 349 33554432000 4194304 5098028 140733536914720 140733536911976 140447347974780 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32210944 140733536920316 140733536920664 140733536920664 140733536923593 0
/proc/18420/statm: 28282 349 296 221 0 87 0
[pid=18423] ppid=18420 vsize=27314120 memory=123364 CPUtime=0.25 cores=0-7
/proc/18423/stat : 18423 (java) S 18420 18420 18250 0 -1 1077944320 11269 0 0 0 21 4 0 0 20 0 20 0 511519870 27969658880 30841 33554432000 4194304 4196468 140724766409616 140724766392160 140352793792247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
/proc/18423/statm: 6828530 30841 2891 1 0 6790935 0
[pid=18423/tid=18424] ppid=18420 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18423/task/18424/stat : 18424 (java) R 18420 18420 18250 0 -1 4202560 8980 0 0 0 17 3 0 0 20 0 20 0 511519871 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352765575808 140352295977488 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18425] ppid=18420 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/18423/task/18425/stat : 18425 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352798034192 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18426] ppid=18420 vsize=27314120 memory=140698099148085 CPUtime=0 cores=0-7
/proc/18423/task/18426/stat : 18426 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352620530064 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18427] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18427/stat : 18427 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352215005712 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18428] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18428/stat : 18428 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352213953168 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18429] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18429/stat : 18429 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352212900624 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18430] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18430/stat : 18430 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352211848080 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18431] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18431/stat : 18431 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352210795536 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18432] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18432/stat : 18432 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 30841 33554432000 4194304 4196468 140724766409616 140352209742992 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18433] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18433/stat : 18433 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519874 27969658880 30841 33554432000 4194304 4196468 140724766409616 140351650932720 140352793803394 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18434] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18434/stat : 18434 (java) S 18420 18420 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511519875 27969658880 30841 33554432000 4194304 4196468 140724766409616 140350739964832 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18435] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18435/stat : 18435 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519875 27969658880 30841 33554432000 4194304 4196468 140724766409616 140350471529456 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18436] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18436/stat : 18436 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140350097021136 140352793810843 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18437] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18437/stat : 18437 (java) S 18420 18420 18250 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140351649880560 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18438] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18438/stat : 18438 (java) S 18420 18420 18250 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140351648828016 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18439] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18439/stat : 18439 (java) S 18420 18420 18250 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140351647775472 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18440] ppid=18420 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18423/task/18440/stat : 18440 (java) S 18420 18420 18250 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140351646722928 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18441] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18441/stat : 18441 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140349599115488 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18442] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18442/stat : 18442 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 30841 33554432000 4194304 4196468 140724766409616 140351645669808 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124760 KiB

[startup+0.310174 s]*
/proc/loadavg: 7.13 7.63 7.89 3/211 18442
/proc/meminfo: memFree=25491196/32770624 swapFree=66997532/67108860
[pid=18420] ppid=18417 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18420/stat : 18420 (scop.sh) S 18417 18420 18250 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511519870 115843072 349 33554432000 4194304 5098028 140733536914720 140733536911976 140447347974780 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32210944 140733536920316 140733536920664 140733536920664 140733536923593 0
/proc/18420/statm: 28282 349 296 221 0 87 0
[pid=18423] ppid=18420 vsize=27314120 memory=127560 CPUtime=0.42 cores=0-7
/proc/18423/stat : 18423 (java) S 18420 18420 18250 0 -1 1077944320 12263 0 0 0 37 5 0 0 20 0 20 0 511519870 27969658880 31890 33554432000 4194304 4196468 140724766409616 140724766392160 140352793792247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
/proc/18423/statm: 6828530 31890 3011 1 0 6790935 0
[pid=18423/tid=18424] ppid=18420 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/18423/task/18424/stat : 18424 (java) R 18420 18420 18250 0 -1 4202560 9789 0 0 0 26 4 0 0 20 0 20 0 511519871 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352765622320 140352775355807 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18425] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18425/stat : 18425 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352798034192 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18426] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18426/stat : 18426 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352620530064 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18427] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18427/stat : 18427 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352215005712 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18428] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18428/stat : 18428 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352213953168 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18429] ppid=18420 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18423/task/18429/stat : 18429 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352212900624 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18430] ppid=18420 vsize=27314120 memory=140697961329583 CPUtime=0 cores=0-7
/proc/18423/task/18430/stat : 18430 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352211848080 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18431] ppid=18420 vsize=27314120 memory=140697961331888 CPUtime=0 cores=0-7
/proc/18423/task/18431/stat : 18431 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352210795536 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18432] ppid=18420 vsize=27314120 memory=140697961334192 CPUtime=0 cores=0-7
/proc/18423/task/18432/stat : 18432 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27969658880 31890 33554432000 4194304 4196468 140724766409616 140352209742992 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18433] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18433/stat : 18433 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519874 27969658880 31890 33554432000 4194304 4196468 140724766409616 140351650932720 140352793803394 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18434] ppid=18420 vsize=27314120 memory=281395922675344 CPUtime=0 cores=0-7
/proc/18423/task/18434/stat : 18434 (java) S 18420 18420 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511519875 27969658880 31890 33554432000 4194304 4196468 140724766409616 140350739964832 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18435] ppid=18420 vsize=27314120 memory=281395922682256 CPUtime=0 cores=0-7
/proc/18423/task/18435/stat : 18435 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519875 27969658880 31890 33554432000 4194304 4196468 140724766409616 140350471529456 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18436] ppid=18420 vsize=27314120 memory=281395922623408 CPUtime=0 cores=0-7
/proc/18423/task/18436/stat : 18436 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140350097021136 140352793810843 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18437] ppid=18420 vsize=27314120 memory=281395922696080 CPUtime=0.01 cores=0-7
/proc/18423/task/18437/stat : 18437 (java) S 18420 18420 18250 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140351649880560 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18438] ppid=18420 vsize=27314120 memory=281395922702992 CPUtime=0.01 cores=0-7
/proc/18423/task/18438/stat : 18438 (java) S 18420 18420 18250 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140351648828016 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18439] ppid=18420 vsize=27314120 memory=281395922700688 CPUtime=0 cores=0-7
/proc/18423/task/18439/stat : 18439 (java) S 18420 18420 18250 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140351647775472 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18440] ppid=18420 vsize=27314120 memory=281395922716848 CPUtime=0.07 cores=0-7
/proc/18423/task/18440/stat : 18440 (java) S 18420 18420 18250 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140351646722928 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18441] ppid=18420 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18441/stat : 18441 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140349599115488 140352793802453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18442] ppid=18420 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18423/task/18442/stat : 18442 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519878 27969658880 31890 33554432000 4194304 4196468 140724766409616 140351645669808 140352793803394 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128956 KiB

[startup+0.701814 s]
/proc/loadavg: 7.13 7.63 7.89 2/211 18442
/proc/meminfo: memFree=25467756/32770624 swapFree=66997532/67108860
[pid=18420] ppid=18417 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18420/stat : 18420 (scop.sh) S 18417 18420 18250 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511519870 115843072 349 33554432000 4194304 5098028 140733536914720 140733536911976 140447347974780 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32210944 140733536920316 140733536920664 140733536920664 140733536923593 0
/proc/18420/statm: 28282 349 296 221 0 87 0
[pid=18423] ppid=18420 vsize=27320392 memory=165416 CPUtime=1.01 cores=0-7
/proc/18423/stat : 18423 (java) S 18420 18420 18250 0 -1 1077944320 19972 0 0 0 94 7 0 0 20 0 20 0 511519870 27976081408 41354 33554432000 4194304 4196468 140724766409616 140724766392160 140352793792247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
/proc/18423/statm: 6830098 41354 3179 1 0 6791447 0
[pid=18423/tid=18424] ppid=18420 vsize=27320392 memory=281395923074736 CPUtime=0.68 cores=0-7
/proc/18423/task/18424/stat : 18424 (java) S 18420 18420 18250 0 -1 1077944384 16888 0 0 0 62 6 0 0 20 0 20 0 511519871 27976081408 41354 33554432000 4194304 4196468 140724766409616 140352765629488 140352793802453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18425] ppid=18420 vsize=27320392 memory=140697961538416 CPUtime=0 cores=0-7
/proc/18423/task/18425/stat : 18425 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27976081408 41354 33554432000 4194304 4196468 140724766409616 140352798034192 140352793802453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18426] ppid=18420 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18423/task/18426/stat : 18426 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511519873 27976081408 41354 33554432000 4194304 4196468 140724766409616 140352620530064 140352793802453 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0
[pid=18423/tid=18427] ppid=18420 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/18423/task/18427/stat : 18427 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511519873 27976081408 41354 33554432000 4194304 4196468 140724766409616 140352215005712 140352793802453 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140724766413510 140724766413958 140724766413958 140724766416847 0

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

/proc/18458/task/18463/stat : 18463 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745232411664 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18464] ppid=18420 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/18458/task/18464/stat : 18464 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745231358352 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18465] ppid=18420 vsize=8414124 memory=14060 CPUtime=0 cores=0-7
/proc/18458/task/18465/stat : 18465 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745230305552 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18466] ppid=18420 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/18458/task/18466/stat : 18466 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745229253264 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18467] ppid=18420 vsize=8414124 memory=33216 CPUtime=0 cores=0-7
/proc/18458/task/18467/stat : 18467 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745228200464 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18468] ppid=18420 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/18458/task/18468/stat : 18468 (java) S 18420 18420 18250 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511536531 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744507517552 139745749588610 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18469] ppid=18420 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/18458/task/18469/stat : 18469 (java) S 18420 18420 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511536532 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744411378976 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18470] ppid=18420 vsize=8414124 memory=14973369229511284 CPUtime=0 cores=0-7
/proc/18458/task/18470/stat : 18470 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536532 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744142943856 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18471] ppid=18420 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/18458/task/18471/stat : 18471 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139743768435280 139745749596059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18472] ppid=18420 vsize=8414124 memory=772 CPUtime=0.07 cores=0-7
/proc/18458/task/18472/stat : 18472 (java) S 18420 18420 18250 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744506464368 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18473] ppid=18420 vsize=8414124 memory=3624 CPUtime=0.07 cores=0-7
/proc/18458/task/18473/stat : 18473 (java) S 18420 18420 18250 0 -1 1077944384 232 0 0 0 7 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744505411568 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18474] ppid=18420 vsize=8414124 memory=64264 CPUtime=0.05 cores=0-7
/proc/18458/task/18474/stat : 18474 (java) S 18420 18420 18250 0 -1 1077944384 365 0 0 0 5 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744504359280 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18475] ppid=18420 vsize=8414124 memory=988 CPUtime=0.21 cores=0-7
/proc/18458/task/18475/stat : 18475 (java) S 18420 18420 18250 0 -1 1077944384 559 0 0 0 21 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744503306480 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18476] ppid=18420 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/18458/task/18476/stat : 18476 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139743270529888 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18477] ppid=18420 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/18458/task/18477/stat : 18477 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511536536 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744502254384 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18479] ppid=18420 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/18458/task/18479/stat : 18479 (java) S 18420 18420 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511536610 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744494221120 139745749602073 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18481] ppid=18420 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/18458/task/18481/stat : 18481 (java) S 18420 18420 18250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511536610 8616062976 30158 33554432000 4194304 4196468 140731563892800 139742599429520 139745749599389 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18482] ppid=18420 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/18458/task/18482/stat : 18482 (java) S 18420 18420 18250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511536610 8616062976 30158 33554432000 4194304 4196468 140731563892800 139742867864848 139745749599389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18483] ppid=18420 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/18458/task/18483/stat : 18483 (java) S 18420 18420 18250 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 24 0 511536612 8616062976 30158 33554432000 4194304 4196468 140731563892800 139742331002160 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
Current children cumulated CPU time: 292.14 s
Current children cumulated vsize: 9263880 KiB
Current children cumulated memory: 480048 KiB

[startup+181.401 s]
/proc/loadavg: 2.62 4.96 6.79 3/218 18494
/proc/meminfo: memFree=25125924/32770624 swapFree=66997532/67108860
[pid=18420] ppid=18417 vsize=113128 memory=1476 CPUtime=204.12 cores=0-7
/proc/18420/stat : 18420 (scop.sh) S 18417 18420 18250 0 -1 4202496 583 88239 0 0 0 0 19652 760 20 0 1 0 511519870 115843072 369 33554432000 4194304 5098028 140733536914720 140733536911464 140447347974780 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32210944 140733536920316 140733536920664 140733536920664 140733536923593 0
/proc/18420/statm: 28282 369 311 221 0 87 0
[pid=18458] ppid=18420 vsize=8414124 memory=120632 CPUtime=1.25 cores=0-7
/proc/18458/stat : 18458 (java) S 18420 18420 18250 0 -1 1077944320 20156 0 0 0 117 8 0 0 20 0 24 0 511536528 8616062976 30158 33554432000 4194304 4196468 140731563892800 140731563875344 139745749577463 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
/proc/18458/statm: 2103531 30158 3208 1 0 2064875 0
[pid=18478] ppid=18458 vsize=736628 memory=358360 CPUtime=87.03 cores=0-7
/proc/18478/stat : 18478 (manyglucose-4.1) S 18458 18420 18250 0 -1 1077944320 125313 0 0 0 8643 60 0 0 20 0 2 0 511536610 754307072 89590 33554432000 4194304 4454172 140723966596960 140723966595344 140082745949943 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 25108480 140723966600013 140723966600220 140723966600220 140723966603190 0
/proc/18478/statm: 184157 89590 421 64 0 179825 0
[pid=18478/tid=18485] ppid=18458 vsize=736628 memory=1476 CPUtime=10.98 cores=0-7
/proc/18478/task/18485/stat : 18485 (manyglucose-4.1) R 18458 18420 18250 0 -1 4202560 11868 0 0 0 1091 7 0 0 20 0 2 0 511536908 754307072 89590 33554432000 4194304 4454172 140723966596960 140082701572968 4350902 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 25108480 140723966600013 140723966600220 140723966600220 140723966603190 0
[pid=18458/tid=18459] ppid=18420 vsize=8414124 memory=120632 CPUtime=0.79 cores=0-7
/proc/18458/task/18459/stat : 18459 (java) S 18420 18420 18250 0 -1 1077944384 16871 0 0 0 73 6 0 0 20 0 24 0 511536529 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745721417632 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18460] ppid=18420 vsize=8414124 memory=338448 CPUtime=0 cores=0-7
/proc/18458/task/18460/stat : 18460 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745753820048 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18461] ppid=18420 vsize=8414124 memory=281395924194160 CPUtime=0 cores=0-7
/proc/18458/task/18461/stat : 18461 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745553988368 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18462] ppid=18420 vsize=8414124 memory=3184238618038491792 CPUtime=0 cores=0-7
/proc/18458/task/18462/stat : 18462 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745233464464 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18463] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18463/stat : 18463 (java) S 18420 18420 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745232411664 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18464] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18464/stat : 18464 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745231358352 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18465] ppid=18420 vsize=8414124 memory=14973369229511284 CPUtime=0 cores=0-7
/proc/18458/task/18465/stat : 18465 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745230305552 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18466] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18466/stat : 18466 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745229253264 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18467] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18467/stat : 18467 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511536530 8616062976 30158 33554432000 4194304 4196468 140731563892800 139745228200464 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18468] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18468/stat : 18468 (java) S 18420 18420 18250 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511536531 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744507517552 139745749588610 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18469] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18469/stat : 18469 (java) S 18420 18420 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511536532 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744411378976 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18470] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18470/stat : 18470 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536532 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744142943856 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18471] ppid=18420 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/18458/task/18471/stat : 18471 (java) S 18420 18420 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139743768435280 139745749596059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18472] ppid=18420 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/18458/task/18472/stat : 18472 (java) S 18420 18420 18250 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744506464368 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18473] ppid=18420 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/18458/task/18473/stat : 18473 (java) S 18420 18420 18250 0 -1 1077944384 232 0 0 0 7 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744505411568 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18474] ppid=18420 vsize=8414124 memory=338676 CPUtime=0.05 cores=0-7
/proc/18458/task/18474/stat : 18474 (java) S 18420 18420 18250 0 -1 1077944384 365 0 0 0 5 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744504359280 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18475] ppid=18420 vsize=8414124 memory=1476 CPUtime=0.21 cores=0-7
/proc/18458/task/18475/stat : 18475 (java) S 18420 18420 18250 0 -1 1077944384 559 0 0 0 21 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744503306480 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18476] ppid=18420 vsize=8414124 memory=120632 CPUtime=0 cores=0-7
/proc/18458/task/18476/stat : 18476 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511536535 8616062976 30158 33554432000 4194304 4196468 140731563892800 139743270529888 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18477] ppid=18420 vsize=8414124 memory=323120 CPUtime=0 cores=0-7
/proc/18458/task/18477/stat : 18477 (java) S 18420 18420 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511536536 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744502254384 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18479] ppid=18420 vsize=8414124 memory=6124 CPUtime=0 cores=0-7
/proc/18458/task/18479/stat : 18479 (java) S 18420 18420 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511536610 8616062976 30158 33554432000 4194304 4196468 140731563892800 139744494221120 139745749602073 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18481] ppid=18420 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/18458/task/18481/stat : 18481 (java) S 18420 18420 18250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511536610 8616062976 30158 33554432000 4194304 4196468 140731563892800 139742599429520 139745749599389 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18482] ppid=18420 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/18458/task/18482/stat : 18482 (java) S 18420 18420 18250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511536610 8616062976 30158 33554432000 4194304 4196468 140731563892800 139742867864848 139745749599389 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18483] ppid=18420 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/18458/task/18483/stat : 18483 (java) S 18420 18420 18250 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 24 0 511536612 8616062976 30158 33554432000 4194304 4196468 140731563892800 139742331002160 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
Current children cumulated CPU time: 292.4 s
Current children cumulated vsize: 9263880 KiB
Current children cumulated memory: 480468 KiB

[startup+181.501 s]
/proc/loadavg: 2.62 4.96 6.79 3/218 18494
/proc/meminfo: memFree=25125924/32770624 swapFree=66997532/67108860
[pid=18420] ppid=18417 vsize=113128 memory=1476 CPUtime=204.12 cores=0-7
/proc/18420/stat : 18420 (scop.sh) S 18417 18420 18250 0 -1 4202496 583 88239 0 0 0 0 19652 760 20 0 1 0 511519870 115843072 369 33554432000 4194304 5098028 140733536914720 140733536911464 140447347974780 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32210944 140733536920316 140733536920664 140733536920664 140733536923593 0
/proc/18420/statm: 28282 369 311 221 0 87 0
[pid=18458] ppid=18420 vsize=8283048 memory=125860 CPUtime=88.53 cores=0-7
/proc/18458/stat : 18458 (java) S 18420 18420 18250 0 -1 1077944320 20921 125348 0 0 136 9 8647 61 20 0 22 0 511536528 8481841152 31465 33554432000 4194304 4196468 140731563892800 140731563875344 139745749577463 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
/proc/18458/statm: 2070762 31465 3226 1 0 2032106 0
[pid=18458/tid=18459] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.88 cores=0-7
/proc/18458/task/18459/stat : 18459 (java) R 18420 18420 18250 0 -1 4202560 16938 125348 0 0 74 6 8647 61 20 0 22 0 511536529 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745721413600 139745733621093 0 4 2 25189581 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18460] ppid=18420 vsize=8283048 memory=56 CPUtime=87.08 cores=0-7
/proc/18458/task/18460/stat : 18460 (java) S 18420 18420 18250 0 -1 1077944384 2 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745753820048 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18461] ppid=18420 vsize=8283048 memory=120632 CPUtime=87.08 cores=0-7
/proc/18458/task/18461/stat : 18461 (java) S 18420 18420 18250 0 -1 1077944384 1 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745553988368 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18462] ppid=18420 vsize=8283048 memory=3624 CPUtime=87.08 cores=0-7
/proc/18458/task/18462/stat : 18462 (java) S 18420 18420 18250 0 -1 1077944384 2 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745233464464 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18463] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.08 cores=0-7
/proc/18458/task/18463/stat : 18463 (java) S 18420 18420 18250 0 -1 1077944384 2 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745232411664 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18464] ppid=18420 vsize=8283048 memory=100424 CPUtime=87.08 cores=0-7
/proc/18458/task/18464/stat : 18464 (java) S 18420 18420 18250 0 -1 1077944384 1 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745231358352 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18465] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.08 cores=0-7
/proc/18458/task/18465/stat : 18465 (java) S 18420 18420 18250 0 -1 1077944384 1 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745230305552 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18466] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.08 cores=0-7
/proc/18458/task/18466/stat : 18466 (java) S 18420 18420 18250 0 -1 1077944384 1 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745229253264 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18467] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.08 cores=0-7
/proc/18458/task/18467/stat : 18467 (java) S 18420 18420 18250 0 -1 1077944384 3 125348 0 0 0 0 8647 61 20 0 22 0 511536530 8481841152 31465 33554432000 4194304 4196468 140731563892800 139745228200464 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18468] ppid=18420 vsize=8283048 memory=120632 CPUtime=87.08 cores=0-7
/proc/18458/task/18468/stat : 18468 (java) S 18420 18420 18250 0 -1 1077944384 5 125348 0 0 0 0 8647 61 20 0 22 0 511536531 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744507517552 139745749588610 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18469] ppid=18420 vsize=8283048 memory=164 CPUtime=87.08 cores=0-7
/proc/18458/task/18469/stat : 18469 (java) S 18420 18420 18250 0 -1 1077944384 13 125348 0 0 0 0 8647 61 20 0 22 0 511536532 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744411378976 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18470] ppid=18420 vsize=8283048 memory=7233457615310116460 CPUtime=87.08 cores=0-7
/proc/18458/task/18470/stat : 18470 (java) S 18420 18420 18250 0 -1 1077944384 1 125348 0 0 0 0 8647 61 20 0 22 0 511536532 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744142943856 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18471] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.08 cores=0-7
/proc/18458/task/18471/stat : 18471 (java) S 18420 18420 18250 0 -1 1077944384 1 125348 0 0 0 0 8647 61 20 0 22 0 511536535 8481841152 31465 33554432000 4194304 4196468 140731563892800 139743768435280 139745749596059 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18472] ppid=18420 vsize=8283048 memory=120632 CPUtime=87.18 cores=0-7
/proc/18458/task/18472/stat : 18472 (java) S 18420 18420 18250 0 -1 1077944384 665 125348 0 0 10 0 8647 61 20 0 22 0 511536535 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744506464368 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18473] ppid=18420 vsize=8283048 memory=772 CPUtime=87.18 cores=0-7
/proc/18458/task/18473/stat : 18473 (java) S 18420 18420 18250 0 -1 1077944384 244 125348 0 0 10 0 8647 61 20 0 22 0 511536535 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744505411568 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18474] ppid=18420 vsize=8283048 memory=10596 CPUtime=87.17 cores=0-7
/proc/18458/task/18474/stat : 18474 (java) S 18420 18420 18250 0 -1 1077944384 653 125348 0 0 9 0 8647 61 20 0 22 0 511536535 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744504359280 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18475] ppid=18420 vsize=8283048 memory=2116 CPUtime=87.32 cores=0-7
/proc/18458/task/18475/stat : 18475 (java) S 18420 18420 18250 0 -1 1077944384 848 125348 0 0 24 0 8647 61 20 0 22 0 511536535 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744503306480 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18476] ppid=18420 vsize=8283048 memory=33216 CPUtime=87.08 cores=0-7
/proc/18458/task/18476/stat : 18476 (java) S 18420 18420 18250 0 -1 1077944384 3 125348 0 0 0 0 8647 61 20 0 22 0 511536535 8481841152 31465 33554432000 4194304 4196468 140731563892800 139743270529888 139745749587669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18477] ppid=18420 vsize=8283048 memory=1476 CPUtime=87.08 cores=0-7
/proc/18458/task/18477/stat : 18477 (java) S 18420 18420 18250 0 -1 1077944384 3 125348 0 0 0 0 8647 61 20 0 22 0 511536536 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744502254384 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18479] ppid=18420 vsize=8283048 memory=120632 CPUtime=87.08 cores=0-7
/proc/18458/task/18479/stat : 18479 (java) S 18420 18420 18250 0 -1 1077944384 24 125348 0 0 0 0 8647 61 20 0 22 0 511536610 8481841152 31465 33554432000 4194304 4196468 140731563892800 139744494220304 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
[pid=18458/tid=18483] ppid=18420 vsize=8283048 memory=64264 CPUtime=87.08 cores=0-7
/proc/18458/task/18483/stat : 18483 (java) S 18420 18420 18250 0 -1 1077944384 137 125348 0 0 0 0 8647 61 20 0 22 0 511536612 8481841152 31465 33554432000 4194304 4196468 140731563892800 139742331003952 139745749588610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26808320 140731563897823 140731563897990 140731563897990 140731563900879 0
Current children cumulated CPU time: 292.65 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127336 KiB

Child status: 0
Real time (s): 181.597
CPU time (s): 292.884
CPU user time (s): 284.548
CPU system time (s): 8.33638
CPU usage (%): 161.283
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8187800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.548
system time used= 8.33638
maximum resident set size= 8186820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52070
involuntary context switches= 1354


# summary of solver processes directly reported to runsolver:
#   pid: 18420
#   total CPU time (s): 292.884
#   total CPU user time (s): 284.548
#   total CPU system time (s): 8.33638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30019 second user time and 1.8655 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 22:09:34
IDJOB=4405518
IDBENCH=135702
IDSOLVER=2868
FILE ID=node140/4405518-1569355816
RUNJOBID= node140-1569355719-18277
PBS_JOBID= 21705100
Free space on /var/tmp= 13516 MiB

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

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

MD5SUM BENCH= 0286d8cb8f351d75271acd0c64dfc747
RANDOM SEED=1965782952

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25610384 kB
MemAvailable:   31844244 kB
Buffers:          131588 kB
Cached:          6200144 kB
SwapCached:         2776 kB
Active:          3151964 kB
Inactive:        3187772 kB
Active(anon):       4696 kB
Inactive(anon):    58400 kB
Active(file):    3147268 kB
Inactive(file):  3129372 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997532 kB
Dirty:             20168 kB
Writeback:             0 kB
AnonPages:        113296 kB
Mapped:            56656 kB
Shmem:             46828 kB
Slab:             414356 kB
SReclaimable:     385680 kB
SUnreclaim:        28676 kB
KernelStack:        3408 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13496 MiB
End job on node140 at 2019-09-24 22:12:36