Trace number 4405444

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 141.752 112.412

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-001-a4_X2.xml
MD5SUMb8ea00653452363d0c81f6ef3102e485
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.830237
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints228
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree208
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}]
Number of extensional constraints228
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":228}]
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-18742-serial-file.bin HOME/instance-4405444-1569356191.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 22:15:50 CEST 2019
0.65/0.56	c PID: 18745
0.65/0.56	c IP: 172.20.3.140
0.65/0.56	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.54/1.16	c (0,0) Parsing End
2.54/1.16	c (0,0) CSP: 60 int (0 aux), 1 bool (0 aux), 228 ctr, max domain size 1001
2.54/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.54/1.16	c (0,0) Constraint Name Generate Begin
2.54/1.17	c (0,0) Ctr:HOME/instance-4405444-1569356191.xml,ExtensionConflict:ExtensionSupport:Var
2.54/1.17	c (0,0) Constraint Name Generate End
2.54/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.54/1.17	c (0,0) CSP to CSPinCNF Begin
75.66/64.94	c (64,64) translated 23 (10%) constraints
76.48/65.46	c (64,64) translated 46 (20%) constraints
77.26/65.96	c (65,65) translated 69 (30%) constraints
81.95/66.94	c (66,65) translated 92 (40%) constraints
82.46/67.41	c (66,66) translated 114 (50%) constraints
82.98/67.90	c (67,66) translated 137 (60%) constraints
83.38/68.39	c (67,67) translated 160 (70%) constraints
83.89/68.89	c (68,67) translated 183 (80%) constraints
85.28/70.10	c (69,68) translated 206 (90%) constraints
86.45/70.71	c (70,69) translated 228 (100%) constraints
86.45/70.74	c (70,69) ===========================================
86.67/70.98	c (70,69) Hybrid: #OE=14172, #LE=0
86.67/70.98	c (70,69) Hybrid
86.67/70.98	c (70,69) ===========================================
88.37/72.28	c (71,70) translated 56022 (10%) constraints
89.76/73.57	c (73,72) translated 112043 (20%) constraints
91.31/74.90	c (74,73) translated 168064 (30%) constraints
92.61/76.22	c (75,74) translated 224086 (40%) constraints
93.93/77.52	c (76,76) translated 280107 (50%) constraints
95.22/78.83	c (78,77) translated 336128 (60%) constraints
96.53/80.13	c (79,78) translated 392150 (70%) constraints
97.82/81.43	c (80,80) translated 448171 (80%) constraints
99.12/82.73	c (82,81) translated 504192 (90%) constraints
100.32/83.89	c (83,82) translated 560213 (100%) constraints
100.32/83.89	c (83,82) CSP to CSPinCNF End
100.42/83.90	c (83,82) CSP: 60 int (0 aux), 14112 bool (14111 aux), 560213 ctr, max domain size 161
100.42/83.90	c (83,82) Heap : 5721 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
100.42/83.90	c (83,82) CSPinCNF Propagation Begin
126.35/102.44	c (101,100) 1338 values, 267143 unsatisfiable literals, and 167368 valid clauses are removed
126.35/102.44	c (101,100) CSPinCNF Propagation End
126.35/102.44	c (101,100) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
126.35/102.44	c (101,100) Heap : 4737 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
126.57/102.62	c (102,100) Hybrid: #OE=14172, #LE=0
126.57/102.62	c (102,100) Simplify CSPinCNF Begin
127.60/103.51	c (102,101) Simplify CSPinCNF End
127.60/103.52	c (102,101) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
127.60/103.52	c (102,101) Heap : 5183 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
127.60/103.52	c (102,101) Calculate Precise Domain Begin
127.60/103.52	c (102,101) 0 values are removed by re-calculation
127.60/103.52	c (102,101) Calculate Precise Domain End
127.60/103.52	c (102,101) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
127.60/103.52	c (102,101) Heap : 5183 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
127.60/103.52	c (102,101) CSPinCNF to SatSolver Begin
129.48/104.29	c (103,102) 39285 (10 %) CSP clauses are encoded (0 SAT variables, 42413 SAT clauses)
130.11/104.81	c (104,102) 78569 (20 %) CSP clauses are encoded (0 SAT variables, 81697 SAT clauses)
132.35/105.55	c (105,103) 117854 (30 %) CSP clauses are encoded (0 SAT variables, 120982 SAT clauses)
132.86/106.05	c (105,103) 157138 (40 %) CSP clauses are encoded (0 SAT variables, 160266 SAT clauses)
133.35/106.55	c (106,104) 196423 (50 %) CSP clauses are encoded (0 SAT variables, 199551 SAT clauses)
133.87/107.06	c (106,104) 235707 (60 %) CSP clauses are encoded (0 SAT variables, 238835 SAT clauses)
134.36/107.58	c (107,105) 274992 (70 %) CSP clauses are encoded (0 SAT variables, 278120 SAT clauses)
134.87/108.09	c (107,105) 314276 (80 %) CSP clauses are encoded (0 SAT variables, 317404 SAT clauses)
135.36/108.55	c (108,106) 353561 (90 %) CSP clauses are encoded (0 SAT variables, 356689 SAT clauses)
135.77/108.93	c (108,106) 392845 (100 %) CSP clauses are encoded (0 SAT variables, 395973 SAT clauses)
135.77/108.93	c (108,106) CSPinCNF to SatSolver End
135.77/108.93	c (108,106) Heap : 3458 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
135.77/108.93	c (108,106) 16344 bool, 395974 clause
135.77/108.93	c (108,106) Export Begin
135.93/109.04	c (108,106) Export to HOME/scop-18742-serial-file.bin
135.93/109.04	c (108,106) Export End
135.93/109.04	c (108,106) Export File Size: 0.04 MB
135.93/109.04	c (108,106) 0,0,83,101,102,102,108,STOP-AFTER(DIMACS)
135.93/109.04	c END-Prog: Tue Sep 24 22:17:38 CEST 2019
135.93/109.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18742-serial-file.bin
136.06/109.56	c (0,0) Read Serial File Begin
136.06/109.56	c (0,0) HOME/scop-18742-serial-file.bin
136.06/109.79	c (0,0) Read Serial File End
136.06/109.81	
136.06/109.81	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
136.06/109.92	(Solving Process)
136.06/109.92	
136.06/109.92	c BEGIN-Prog: Tue Sep 24 22:17:39 CEST 2019
136.06/109.92	c PID: 18771
136.06/109.92	c IP: 172.20.3.140
136.06/109.92	c HOST: node140.alineos.net
136.06/109.92	c (0,0) SatSolver.solve Begin
136.06/109.92	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405444-1569356191.xml-scop-18745.cnf
136.06/109.92	c (0,0) c
136.06/109.92	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)
136.06/109.92	c (0,0) c
136.06/109.92	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
136.06/109.92	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
136.06/109.92	c (0,0) c ========================================[ Problem Statistics ]===========================================
136.06/109.92	c (0,0) c |                                                                                                       |
137.36/110.01	c (0,0) c |  Number of variables:         16344                                                                   |
137.36/110.01	c (0,0) c |  Number of clauses:          127500                                                                   |
137.36/110.01	c (0,0) c |  Parse time:                   0.09 s                                                                 |
137.36/110.01	c (0,0) c |                                                                                                       |
139.26/111.92	c (2,0) c |  Simplification time:          1.90 s                                                                 |
139.26/111.92	c (2,0) c |                                                                                                       |
139.26/111.92	c (2,0) c |  Generating clones                                                                                    |
139.26/111.97	c (2,0) c |  all clones generated. Memory =    97.96Mb.                                                           |
139.26/111.97	c (2,0) c ========================================================================================================|
139.26/111.97	c (2,0) c
139.26/111.97	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
139.26/111.97	c (2,0) c
139.26/111.97	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
139.26/111.97	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
139.26/111.97	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
139.26/111.97	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
139.26/111.97	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
139.26/111.97	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
139.26/111.97	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
139.26/111.97	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
139.26/111.97	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
139.26/111.97	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
139.26/111.97	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
139.26/111.97	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
139.26/111.97	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
139.26/111.97	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
139.26/111.97	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
139.26/111.97	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
139.26/111.97	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
139.26/111.97	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
139.26/111.97	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c real time : 2.38881 s
141.08/112.25	c (2,0) c cpu time  : 3.96303 s
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c | Conflicts     |           26728 |       3348 |       3494 |       3136 |       3212 |       3402 |       3494 |       3138 |       3504 |
141.08/112.25	c (2,0) c | Decisions     |          104692 |      12092 |      13235 |      13091 |      13849 |      12551 |      12967 |      14112 |      12795 |
141.08/112.25	c (2,0) c | Propagations  |         7535900 |     919721 |     978218 |     919142 |     865994 |     980451 |    1010777 |     903464 |     958133 |
141.08/112.25	c (2,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
141.08/112.25	c (2,0) c | SimpDBs       |              19 |          2 |          2 |          3 |          2 |          3 |          2 |          2 |          3 |
141.08/112.25	c (2,0) c | Restarts      |             153 |         26 |         22 |         18 |         16 |         16 |         12 |         23 |         20 |
141.08/112.25	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | PropBinClauses|         8538776 |    1073122 |    1093787 |    1036984 |     938669 |    1122476 |    1146444 |    1019283 |    1108011 |
141.08/112.25	c (2,0) c | PropPreBlocker|        43561027 |    5857771 |    5342202 |    5205705 |    4758329 |    5850786 |    5763409 |    5071560 |    5711265 |
141.08/112.25	c (2,0) c | PropNotBlocker|        12429426 |    1534620 |    1559457 |    1517592 |    1438847 |    1590135 |    1652951 |    1559051 |    1576773 |
141.08/112.25	c (2,0) c | LitFullScans  |       168170667 |   19259791 |   21265804 |   22231226 |   21462513 |   21307667 |   20030272 |   21028868 |   21584526 |
141.08/112.25	c (2,0) c | LitScanFracts |           28031 |       2890 |       6202 |        193 |      11518 |       2370 |       2927 |        208 |       1723 |
141.08/112.25	c (2,0) c | DecisionLevel0|             304 |         45 |         41 |         41 |         32 |         33 |         26 |         48 |         38 |
141.08/112.25	c (2,0) c | Periods       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
141.08/112.25	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
141.08/112.25	c (2,0) c | Avg_Trail     |                 |       4616 |       4834 |       4904 |       4999 |       4828 |       4745 |       4799 |       4800 |
141.08/112.25	c (2,0) c | Avg_DL        |                 |         31 |         30 |         29 |         30 |         34 |         26 |         36 |         24 |
141.08/112.25	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c | Exported      |            4435 |        561 |        595 |        529 |        541 |        535 |        544 |        523 |        607 |
141.08/112.25	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c | Unaries       |                 |         19 |         19 |         23 |         16 |         17 |         14 |         25 |         18 |
141.08/112.25	c (2,0) c | Binaries      |                 |        393 |        417 |        386 |        398 |        386 |        405 |        396 |        463 |
141.08/112.25	c (2,0) c | Glues         |                 |        561 |        595 |        529 |        541 |        535 |        544 |        523 |        607 |
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c | Orig_Seen     |            27 % |      14781 |      16448 |      15416 |      14824 |      14889 |      14589 |      13961 |      16555 |
141.08/112.25	c (2,0) c | Diff Orig seen|                 | -      635 |       1032 |      X     | -      592 | -      527 | -      827 | -     1455 |       1139 |
141.08/112.25	c (2,0) c | Hamming       |             2 % |        264 |        449 |      X     |        324 |        291 |        294 |        273 |        398 |
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c | RunningTime   |                 |    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|
141.08/112.25	c (2,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%|
141.08/112.25	c (2,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%|
141.08/112.25	c (2,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%|
141.08/112.25	c (2,0) c | SolvingTime   |                 |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |
141.08/112.25	c (2,0) c | PropagationTim|                 |    0.2  71%|    0.2  68%|    0.2  63%|    0.2  63%|    0.2  66%|    0.2  69%|    0.2  67%|    0.2  66%|
141.08/112.25	c (2,0) c | AnalysisTime  |                 |    0.1  22%|    0.1  25%|    0.1  30%|    0.1  31%|    0.1  27%|    0.1  25%|    0.1  26%|    0.1  27%|
141.08/112.25	c (2,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
141.08/112.25	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   1%|
141.08/112.25	c (2,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%|
141.08/112.25	c (2,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%|
141.08/112.25	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c
141.08/112.25	c (2,0) c Threads : 8
141.08/112.25	c (2,0) c Winner : 2
141.08/112.25	c (2,0) c Conflicts_0 : 3348
141.08/112.25	c (2,0) c Conflicts_1 : 3494
141.08/112.25	c (2,0) c Conflicts_2 : 3136
141.08/112.25	c (2,0) c Conflicts_3 : 3212
141.08/112.25	c (2,0) c Conflicts_4 : 3402
141.08/112.25	c (2,0) c Conflicts_5 : 3494
141.08/112.25	c (2,0) c Conflicts_6 : 3138
141.08/112.25	c (2,0) c Conflicts_7 : 3504
141.08/112.25	c (2,0) c Conflicts_total : 26728
141.08/112.25	c (2,0) c Conflicts_winner : 3136
141.08/112.25	c (2,0) c Decisions_0 : 12092
141.08/112.25	c (2,0) c Decisions_1 : 13235
141.08/112.25	c (2,0) c Decisions_2 : 13091
141.08/112.25	c (2,0) c Decisions_3 : 13849
141.08/112.25	c (2,0) c Decisions_4 : 12551
141.08/112.25	c (2,0) c Decisions_5 : 12967
141.08/112.25	c (2,0) c Decisions_6 : 14112
141.08/112.25	c (2,0) c Decisions_7 : 12795
141.08/112.25	c (2,0) c Decisions_total : 104692
141.08/112.25	c (2,0) c Decisions_winner : 13091
141.08/112.25	c (2,0) c Propagations_0 : 919721
141.08/112.25	c (2,0) c Propagations_1 : 978218
141.08/112.25	c (2,0) c Propagations_2 : 919142
141.08/112.25	c (2,0) c Propagations_3 : 865994
141.08/112.25	c (2,0) c Propagations_4 : 980451
141.08/112.25	c (2,0) c Propagations_5 : 1010777
141.08/112.25	c (2,0) c Propagations_6 : 903464
141.08/112.25	c (2,0) c Propagations_7 : 958133
141.08/112.25	c (2,0) c Propagations_total : 7535900
141.08/112.25	c (2,0) c Propagations_winner : 919142
141.08/112.25	c (2,0) c ReduceDBs_0 : 1
141.08/112.25	c (2,0) c ReduceDBs_1 : 1
141.08/112.25	c (2,0) c ReduceDBs_2 : 1
141.08/112.25	c (2,0) c ReduceDBs_3 : 1
141.08/112.25	c (2,0) c ReduceDBs_4 : 1
141.08/112.25	c (2,0) c ReduceDBs_5 : 1
141.08/112.25	c (2,0) c ReduceDBs_6 : 1
141.08/112.25	c (2,0) c ReduceDBs_7 : 1
141.08/112.25	c (2,0) c ReduceDBs_total : 8
141.08/112.25	c (2,0) c ReduceDBs_winner : 1
141.08/112.25	c (2,0) c SimpDBs_0 : 2
141.08/112.25	c (2,0) c SimpDBs_1 : 2
141.08/112.25	c (2,0) c SimpDBs_2 : 3
141.08/112.25	c (2,0) c SimpDBs_3 : 2
141.08/112.25	c (2,0) c SimpDBs_4 : 3
141.08/112.25	c (2,0) c SimpDBs_5 : 2
141.08/112.25	c (2,0) c SimpDBs_6 : 2
141.08/112.25	c (2,0) c SimpDBs_7 : 3
141.08/112.25	c (2,0) c SimpDBs_total : 19
141.08/112.25	c (2,0) c SimpDBs_winner : 3
141.08/112.25	c (2,0) c Restarts_0 : 26
141.08/112.25	c (2,0) c Restarts_1 : 22
141.08/112.25	c (2,0) c Restarts_2 : 18
141.08/112.25	c (2,0) c Restarts_3 : 16
141.08/112.25	c (2,0) c Restarts_4 : 16
141.08/112.25	c (2,0) c Restarts_5 : 12
141.08/112.25	c (2,0) c Restarts_6 : 23
141.08/112.25	c (2,0) c Restarts_7 : 20
141.08/112.25	c (2,0) c Restarts_total : 153
141.08/112.25	c (2,0) c Restarts_winner : 18
141.08/112.25	c (2,0) c ForcedImports_0 : 0
141.08/112.25	c (2,0) c ForcedImports_1 : 0
141.08/112.25	c (2,0) c ForcedImports_2 : 0
141.08/112.25	c (2,0) c ForcedImports_3 : 0
141.08/112.25	c (2,0) c ForcedImports_4 : 0
141.08/112.25	c (2,0) c ForcedImports_5 : 0
141.08/112.25	c (2,0) c ForcedImports_6 : 0
141.08/112.25	c (2,0) c ForcedImports_7 : 0
141.08/112.25	c (2,0) c ForcedImports_total : 0
141.08/112.25	c (2,0) c ForcedImports_winner : 0
141.08/112.25	c (2,0) c PropsBinClauses_0 : 1073122
141.08/112.25	c (2,0) c PropsBinClauses_1 : 1093787
141.08/112.25	c (2,0) c PropsBinClauses_2 : 1036984
141.08/112.25	c (2,0) c PropsBinClauses_3 : 938669
141.08/112.25	c (2,0) c PropsBinClauses_4 : 1122476
141.08/112.25	c (2,0) c PropsBinClauses_5 : 1146444
141.08/112.25	c (2,0) c PropsBinClauses_6 : 1019283
141.08/112.25	c (2,0) c PropsBinClauses_7 : 1108011
141.08/112.25	c (2,0) c PropsBinClauses_total : 8538776
141.08/112.25	c (2,0) c PropsBinClauses_winner : 1036984
141.08/112.25	c (2,0) c PropsPreBlocker_0 : 5857771
141.08/112.25	c (2,0) c PropsPreBlocker_1 : 5342202
141.08/112.25	c (2,0) c PropsPreBlocker_2 : 5205705
141.08/112.25	c (2,0) c PropsPreBlocker_3 : 4758329
141.08/112.25	c (2,0) c PropsPreBlocker_4 : 5850786
141.08/112.25	c (2,0) c PropsPreBlocker_5 : 5763409
141.08/112.25	c (2,0) c PropsPreBlocker_6 : 5071560
141.08/112.25	c (2,0) c PropsPreBlocker_7 : 5711265
141.08/112.25	c (2,0) c PropsPreBlocker_total : 43561027
141.08/112.25	c (2,0) c PropsPreBlocker_winner : 5205705
141.08/112.25	c (2,0) c PropsNotBlocker_0 : 1534620
141.08/112.25	c (2,0) c PropsNotBlocker_1 : 1559457
141.08/112.25	c (2,0) c PropsNotBlocker_2 : 1517592
141.08/112.25	c (2,0) c PropsNotBlocker_3 : 1438847
141.08/112.25	c (2,0) c PropsNotBlocker_4 : 1590135
141.08/112.25	c (2,0) c PropsNotBlocker_5 : 1652951
141.08/112.25	c (2,0) c PropsNotBlocker_6 : 1559051
141.08/112.25	c (2,0) c PropsNotBlocker_7 : 1576773
141.08/112.25	c (2,0) c PropsNotBlocker_total : 12429426
141.08/112.25	c (2,0) c PropsNotBlocker_winner : 1517592
141.08/112.25	c (2,0) c PropsLitFullScans_0 : 19259791
141.08/112.25	c (2,0) c PropsLitFullScans_1 : 21265804
141.08/112.25	c (2,0) c PropsLitFullScans_2 : 22231226
141.08/112.25	c (2,0) c PropsLitFullScans_3 : 21462513
141.08/112.25	c (2,0) c PropsLitFullScans_4 : 21307667
141.08/112.25	c (2,0) c PropsLitFullScans_5 : 20030272
141.08/112.25	c (2,0) c PropsLitFullScans_6 : 21028868
141.08/112.25	c (2,0) c PropsLitFullScans_7 : 21584526
141.08/112.25	c (2,0) c PropsLitFullScans_total : 168170667
141.08/112.25	c (2,0) c PropsLitFullScans_winner : 22231226
141.08/112.25	c (2,0) c LitScanFractions_0 : 2890
141.08/112.25	c (2,0) c LitScanFractions_1 : 6202
141.08/112.25	c (2,0) c LitScanFractions_2 : 193
141.08/112.25	c (2,0) c LitScanFractions_3 : 11518
141.08/112.25	c (2,0) c LitScanFractions_4 : 2370
141.08/112.25	c (2,0) c LitScanFractions_5 : 2927
141.08/112.25	c (2,0) c LitScanFractions_6 : 208
141.08/112.25	c (2,0) c LitScanFractions_7 : 1723
141.08/112.25	c (2,0) c LitScanFractions_total : 28031
141.08/112.25	c (2,0) c LitScanFractions_winner : 193
141.08/112.25	c (2,0) c DecisionLevel0_0 : 45
141.08/112.25	c (2,0) c DecisionLevel0_1 : 41
141.08/112.25	c (2,0) c DecisionLevel0_2 : 41
141.08/112.25	c (2,0) c DecisionLevel0_3 : 32
141.08/112.25	c (2,0) c DecisionLevel0_4 : 33
141.08/112.25	c (2,0) c DecisionLevel0_5 : 26
141.08/112.25	c (2,0) c DecisionLevel0_6 : 48
141.08/112.25	c (2,0) c DecisionLevel0_7 : 38
141.08/112.25	c (2,0) c DecisionLevel0_total : 304
141.08/112.25	c (2,0) c DecisionLevel0_winner : 41
141.08/112.25	c (2,0) c Periods_0 : 3
141.08/112.25	c (2,0) c Periods_1 : 3
141.08/112.25	c (2,0) c Periods_2 : 3
141.08/112.25	c (2,0) c Periods_3 : 3
141.08/112.25	c (2,0) c Periods_4 : 3
141.08/112.25	c (2,0) c Periods_5 : 3
141.08/112.26	c (2,0) c Periods_6 : 3
141.08/112.26	c (2,0) c Periods_7 : 3
141.08/112.26	c (2,0) c Periods_total : 24
141.08/112.26	c (2,0) c Periods_winner : 3
141.08/112.26	c (2,0) c Margin_0 : 20
141.08/112.26	c (2,0) c Margin_1 : 20
141.08/112.26	c (2,0) c Margin_2 : 20
141.08/112.26	c (2,0) c Margin_3 : 20
141.08/112.26	c (2,0) c Margin_4 : 20
141.08/112.26	c (2,0) c Margin_5 : 20
141.08/112.26	c (2,0) c Margin_6 : 20
141.08/112.26	c (2,0) c Margin_7 : 20
141.08/112.26	c (2,0) c Margin_total : 160
141.08/112.26	c (2,0) c Margin_winner : 20
141.08/112.26	c (2,0) c Exported_0 : 561
141.08/112.26	c (2,0) c Exported_1 : 595
141.08/112.26	c (2,0) c Exported_2 : 529
141.08/112.26	c (2,0) c Exported_3 : 541
141.08/112.26	c (2,0) c Exported_4 : 535
141.08/112.26	c (2,0) c Exported_5 : 544
141.08/112.26	c (2,0) c Exported_6 : 523
141.08/112.26	c (2,0) c Exported_7 : 607
141.08/112.26	c (2,0) c Exported_total : 4435
141.08/112.26	c (2,0) c Exported_winner : 529
141.08/112.26	c (2,0) c Imported_0 : 0
141.08/112.26	c (2,0) c Imported_1 : 0
141.08/112.26	c (2,0) c Imported_2 : 0
141.08/112.26	c (2,0) c Imported_3 : 0
141.08/112.26	c (2,0) c Imported_4 : 0
141.08/112.26	c (2,0) c Imported_5 : 0
141.08/112.26	c (2,0) c Imported_6 : 0
141.08/112.26	c (2,0) c Imported_7 : 0
141.08/112.26	c (2,0) c Imported_total : 0
141.08/112.26	c (2,0) c Imported_winner : 0
141.08/112.26	c (2,0) c Good_0 : 0
141.08/112.26	c (2,0) c Good_1 : 0
141.08/112.26	c (2,0) c Good_2 : 0
141.08/112.26	c (2,0) c Good_3 : 0
141.08/112.26	c (2,0) c Good_4 : 0
141.08/112.26	c (2,0) c Good_5 : 0
141.08/112.26	c (2,0) c Good_6 : 0
141.08/112.26	c (2,0) c Good_7 : 0
141.08/112.26	c (2,0) c Good_total : 0
141.08/112.26	c (2,0) c Good_winner : 0
141.08/112.26	c (2,0) c Purge_0 : 0
141.08/112.26	c (2,0) c Purge_1 : 0
141.08/112.26	c (2,0) c Purge_2 : 0
141.08/112.26	c (2,0) c Purge_3 : 0
141.08/112.26	c (2,0) c Purge_4 : 0
141.08/112.26	c (2,0) c Purge_5 : 0
141.08/112.26	c (2,0) c Purge_6 : 0
141.08/112.26	c (2,0) c Purge_7 : 0
141.08/112.26	c (2,0) c Purge_total : 0
141.08/112.26	c (2,0) c Purge_winner : 0
141.08/112.26	c (2,0) c Promoted_0 : 0
141.08/112.26	c (2,0) c Promoted_1 : 0
141.08/112.26	c (2,0) c Promoted_2 : 0
141.08/112.26	c (2,0) c Promoted_3 : 0
141.08/112.26	c (2,0) c Promoted_4 : 0
141.08/112.26	c (2,0) c Promoted_5 : 0
141.08/112.26	c (2,0) c Promoted_6 : 0
141.08/112.26	c (2,0) c Promoted_7 : 0
141.08/112.26	c (2,0) c Promoted_total : 0
141.08/112.26	c (2,0) c Promoted_winner : 0
141.08/112.26	c (2,0) c Remove_Imp_0 : 0
141.08/112.26	c (2,0) c Remove_Imp_1 : 0
141.08/112.26	c (2,0) c Remove_Imp_2 : 0
141.08/112.26	c (2,0) c Remove_Imp_3 : 0
141.08/112.26	c (2,0) c Remove_Imp_4 : 0
141.08/112.26	c (2,0) c Remove_Imp_5 : 0
141.08/112.26	c (2,0) c Remove_Imp_6 : 0
141.08/112.26	c (2,0) c Remove_Imp_7 : 0
141.08/112.26	c (2,0) c Remove_Imp_total : 0
141.08/112.26	c (2,0) c Remove_Imp_winner : 0
141.08/112.26	c (2,0) c Blocked_Reuse_0 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_1 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_2 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_3 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_4 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_5 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_6 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_7 : 0
141.08/112.26	c (2,0) c Blocked_Reuse_total : 0
141.08/112.26	c (2,0) c Blocked_Reuse_winner : 0
141.08/112.26	c (2,0) c Unaries_0 : 19
141.08/112.26	c (2,0) c Unaries_1 : 19
141.08/112.26	c (2,0) c Unaries_2 : 23
141.08/112.26	c (2,0) c Unaries_3 : 16
141.08/112.26	c (2,0) c Unaries_4 : 17
141.08/112.26	c (2,0) c Unaries_5 : 14
141.08/112.26	c (2,0) c Unaries_6 : 25
141.08/112.26	c (2,0) c Unaries_7 : 18
141.08/112.26	c (2,0) c Unaries_total : 151
141.08/112.26	c (2,0) c Unaries_winner : 23
141.08/112.26	c (2,0) c Binaries_0 : 393
141.08/112.26	c (2,0) c Binaries_1 : 417
141.08/112.26	c (2,0) c Binaries_2 : 386
141.08/112.26	c (2,0) c Binaries_3 : 398
141.08/112.26	c (2,0) c Binaries_4 : 386
141.08/112.26	c (2,0) c Binaries_5 : 405
141.08/112.26	c (2,0) c Binaries_6 : 396
141.08/112.26	c (2,0) c Binaries_7 : 463
141.08/112.26	c (2,0) c Binaries_total : 3244
141.08/112.26	c (2,0) c Binaries_winner : 386
141.08/112.26	c (2,0) c Glues_0 : 561
141.08/112.26	c (2,0) c Glues_1 : 595
141.08/112.26	c (2,0) c Glues_2 : 529
141.08/112.26	c (2,0) c Glues_3 : 541
141.08/112.26	c (2,0) c Glues_4 : 535
141.08/112.26	c (2,0) c Glues_5 : 544
141.08/112.26	c (2,0) c Glues_6 : 523
141.08/112.26	c (2,0) c Glues_7 : 607
141.08/112.26	c (2,0) c Glues_total : 4435
141.08/112.26	c (2,0) c Glues_winner : 529
141.08/112.26	c (2,0) c RunningTime_0 : 0.259895
141.08/112.26	c (2,0) c RunningTime_1 : 0.269944
141.08/112.26	c (2,0) c RunningTime_2 : 0.253327
141.08/112.26	c (2,0) c RunningTime_3 : 0.269328
141.08/112.26	c (2,0) c RunningTime_4 : 0.254445
141.08/112.26	c (2,0) c RunningTime_5 : 0.275704
141.08/112.26	c (2,0) c RunningTime_6 : 0.256855
141.08/112.26	c (2,0) c RunningTime_7 : 0.254529
141.08/112.26	c (2,0) c RunningTime_total : 2.094027
141.08/112.26	c (2,0) c RunningTime_winner : 0.253327
141.08/112.26	c (2,0) c WaitingTime_0 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_1 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_2 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_3 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_4 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_5 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_6 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_7 : 0.000000
141.08/112.26	c (2,0) c WaitingTime_total : 0.000000
141.08/112.26	c (2,0) c WaitingTime_winner : 0.000000
141.08/112.26	c (2,0) c ExchangingTime_0 : 0.000396
141.08/112.26	c (2,0) c ExchangingTime_1 : 0.000420
141.08/112.26	c (2,0) c ExchangingTime_2 : 0.000319
141.08/112.26	c (2,0) c ExchangingTime_3 : 0.000389
141.08/112.26	c (2,0) c ExchangingTime_4 : 0.000416
141.08/112.26	c (2,0) c ExchangingTime_5 : 0.000356
141.08/112.26	c (2,0) c ExchangingTime_6 : 0.000335
141.08/112.26	c (2,0) c ExchangingTime_7 : 0.000396
141.08/112.26	c (2,0) c ExchangingTime_total : 0.003027
141.08/112.26	c (2,0) c ExchangingTime_winner : 0.000319
141.08/112.26	c (2,0) c PeriodProcTime_0 : 0.000021
141.08/112.26	c (2,0) c PeriodProcTime_1 : 0.000015
141.08/112.26	c (2,0) c PeriodProcTime_2 : 0.000046
141.08/112.26	c (2,0) c PeriodProcTime_3 : 0.000021
141.08/112.26	c (2,0) c PeriodProcTime_4 : 0.000018
141.08/112.26	c (2,0) c PeriodProcTime_5 : 0.000035
141.08/112.26	c (2,0) c PeriodProcTime_6 : 0.000017
141.08/112.26	c (2,0) c PeriodProcTime_7 : 0.000017
141.08/112.26	c (2,0) c PeriodProcTime_total : 0.000190
141.08/112.26	c (2,0) c PeriodProcTime_winner : 0.000046
141.08/112.26	c (2,0) c SolvingTime_0 : 0.260311
141.08/112.26	c (2,0) c SolvingTime_1 : 0.270380
141.08/112.26	c (2,0) c SolvingTime_2 : 0.253691
141.08/112.26	c (2,0) c SolvingTime_3 : 0.269737
141.08/112.26	c (2,0) c SolvingTime_4 : 0.254879
141.08/112.26	c (2,0) c SolvingTime_5 : 0.276095
141.08/112.26	c (2,0) c SolvingTime_6 : 0.257208
141.08/112.26	c (2,0) c SolvingTime_7 : 0.254942
141.08/112.26	c (2,0) c SolvingTime_total : 2.097245
141.08/112.26	c (2,0) c SolvingTime_winner : 0.253691
141.08/112.26	c (2,0) c PropagationTime_0 : 0.184620
141.08/112.26	c (2,0) c PropagationTime_1 : 0.184662
141.08/112.26	c (2,0) c PropagationTime_2 : 0.159319
141.08/112.26	c (2,0) c PropagationTime_3 : 0.168834
141.08/112.26	c (2,0) c PropagationTime_4 : 0.169254
141.08/112.26	c (2,0) c PropagationTime_5 : 0.189294
141.08/112.26	c (2,0) c PropagationTime_6 : 0.173107
141.08/112.26	c (2,0) c PropagationTime_7 : 0.167958
141.08/112.26	c (2,0) c PropagationTime_total : 1.397049
141.08/112.26	c (2,0) c PropagationTime_winner : 0.159319
141.08/112.26	c (2,0) c AnalysisTime_0 : 0.058113
141.08/112.26	c (2,0) c AnalysisTime_1 : 0.067753
141.08/112.26	c (2,0) c AnalysisTime_2 : 0.076073
141.08/112.26	c (2,0) c AnalysisTime_3 : 0.082791
141.08/112.26	c (2,0) c AnalysisTime_4 : 0.067708
141.08/112.26	c (2,0) c AnalysisTime_5 : 0.068744
141.08/112.26	c (2,0) c AnalysisTime_6 : 0.066504
141.08/112.26	c (2,0) c AnalysisTime_7 : 0.069538
141.08/112.26	c (2,0) c AnalysisTime_total : 0.557224
141.08/112.26	c (2,0) c AnalysisTime_winner : 0.076073
141.08/112.26	c (2,0) c ReductionTime_0 : 0.000339
141.08/112.26	c (2,0) c ReductionTime_1 : 0.000310
141.08/112.26	c (2,0) c ReductionTime_2 : 0.000309
141.08/112.26	c (2,0) c ReductionTime_3 : 0.000333
141.08/112.26	c (2,0) c ReductionTime_4 : 0.000302
141.08/112.26	c (2,0) c ReductionTime_5 : 0.000293
141.08/112.26	c (2,0) c ReductionTime_6 : 0.000298
141.08/112.26	c (2,0) c ReductionTime_7 : 0.000299
141.08/112.26	c (2,0) c ReductionTime_total : 0.002483
141.08/112.26	c (2,0) c ReductionTime_winner : 0.000309
141.08/112.26	c (2,0) c SimplifyTime_0 : 0.001189
141.08/112.26	c (2,0) c SimplifyTime_1 : 0.001197
141.08/112.26	c (2,0) c SimplifyTime_2 : 0.002158
141.08/112.26	c (2,0) c SimplifyTime_3 : 0.001159
141.08/112.26	c (2,0) c SimplifyTime_4 : 0.002174
141.08/112.26	c (2,0) c SimplifyTime_5 : 0.001235
141.08/112.26	c (2,0) c SimplifyTime_6 : 0.001089
141.08/112.26	c (2,0) c SimplifyTime_7 : 0.002121
141.08/112.26	c (2,0) c SimplifyTime_total : 0.012322
141.08/112.26	c (2,0) c SimplifyTime_winner : 0.002158
141.08/112.26	c (2,0) c UsedRateTime_0 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_1 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_2 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_3 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_4 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_5 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_6 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_7 : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_total : 0.000000
141.08/112.26	c (2,0) c UsedRateTime_winner : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_0 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_1 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_2 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_3 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_4 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_5 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_6 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_7 : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_total : 0.000000
141.08/112.26	c (2,0) c OverlapRateTime_winner : 0.000000
141.08/112.26	c (2,0) c
141.08/112.26	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
141.08/112.26	c (2,0) c
141.08/112.26	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.26	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
141.08/112.26	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.26	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
141.08/112.26	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
141.08/112.26	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
141.08/112.26	c (2,0) c | Initial random_seed   |  275888122 |  417437840 |   14504843 |  748170588 | 1333133422 | 1543091041 |  332362422 | 1143983219 |
141.08/112.26	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
141.08/112.26	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
141.08/112.26	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
141.08/112.26	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
141.08/112.26	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
141.08/112.26	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
141.08/112.26	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
141.08/112.26	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
141.08/112.26	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
141.08/112.26	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
141.08/112.26	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
141.08/112.26	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.08/112.26	c (2,0) 
141.08/112.26	c (2,0) s SATISFIABLE
141.08/112.30	c (2,0) SatSolver.solve End
141.08/112.30	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
141.08/112.30	c (2,0) Show results Begin
141.52/112.38	c (2,0) w3 = 160
141.52/112.38	c (2,0) w4 = 0
141.52/112.38	c (2,0) x[0] = 10
141.52/112.38	c (2,0) x[1] = 3
141.52/112.38	c (2,0) x[2] = 16
141.52/112.38	c (2,0) x[3] = 12
141.52/112.38	c (2,0) x[4] = 4
141.52/112.38	c (2,0) x[5] = 9
141.52/112.38	c (2,0) x[6] = 5
141.52/112.38	c (2,0) x[7] = 18
141.52/112.38	c (2,0) x[8] = 8
141.52/112.38	c (2,0) x[9] = 14
141.52/112.38	c (2,0) x[10] = 13
141.52/112.38	c (2,0) x[11] = 2
141.52/112.38	c (2,0) x[12] = 15
141.52/112.38	c (2,0) x[13] = 7
141.52/112.38	c (2,0) x[14] = 1
141.52/112.38	c (2,0) x[15] = 19
141.52/112.38	c (2,0) x[16] = 6
141.52/112.38	c (2,0) x[17] = 17
141.52/112.38	c (2,0) x[18] = 20
141.52/112.38	c (2,0) x[19] = 11
141.52/112.38	c (2,0) y[0] = 13
141.52/112.38	c (2,0) y[1] = 3
141.52/112.38	c (2,0) y[2] = 1
141.52/112.38	c (2,0) y[3] = 15
141.52/112.38	c (2,0) y[4] = 6
141.52/112.38	c (2,0) y[5] = 0
141.52/112.38	c (2,0) y[6] = 5
141.52/112.38	c (2,0) y[7] = 11
141.52/112.38	c (2,0) y[8] = 2
141.52/112.38	c (2,0) y[9] = 1
141.52/112.38	c (2,0) y[10] = 2
141.52/112.38	c (2,0) y[11] = 20
141.52/112.38	c (2,0) y[12] = 7
141.52/112.38	c (2,0) y[13] = 26
141.52/112.38	c (2,0) y[14] = 0
141.52/112.38	c (2,0) y[15] = 21
141.52/112.38	c (2,0) y[16] = 0
141.52/112.38	c (2,0) y[17] = 3
141.52/112.38	c (2,0) y[18] = 15
141.52/112.38	c (2,0) y[19] = 9
141.52/112.38	c (2,0) z[0] = 16
141.52/112.38	c (2,0) z[1] = 17
141.52/112.38	c (2,0) z[2] = 32
141.52/112.38	c (2,0) z[3] = 38
141.52/112.38	c (2,0) z[4] = 38
141.52/112.38	c (2,0) z[5] = 43
141.52/112.38	c (2,0) z[6] = 54
141.52/112.38	c (2,0) z[7] = 56
141.52/112.38	c (2,0) z[8] = 57
141.52/112.38	c (2,0) z[9] = 59
141.52/112.38	c (2,0) z[10] = 79
141.52/112.38	c (2,0) z[11] = 86
141.52/112.38	c (2,0) z[12] = 112
141.52/112.38	c (2,0) z[13] = 112
141.52/112.38	c (2,0) z[14] = 133
141.52/112.38	c (2,0) z[15] = 133
141.52/112.38	c (2,0) z[16] = 136
141.52/112.38	c (2,0) z[17] = 151
141.52/112.38	c (2,0) z[18] = 160
141.52/112.38	s SATISFIABLE
141.52/112.39	v <instantiation>
141.52/112.39	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] 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] 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]</list>
141.52/112.39	v     <values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160</values>
141.52/112.39	v </instantiation>
141.52/112.39	c (2,0) Show results End
141.52/112.39	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
141.52/112.39	c (2,0) 2,2,STOP-AFTER(ALL)
141.52/112.39	c END-Prog: Tue Sep 24 22:17:42 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-4405444-1569356191/watcher-4405444-1569356191 -o /var/tmp/evaluation-result-4405444-1569356191/solver-4405444-1569356191 -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-4405444-1569356191.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=18742, runsolver pid=18739
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.40 6.43 7.03 2/211 18764
/proc/meminfo: memFree=25514748/32770624 swapFree=66997532/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (scop.sh) S 18739 18742 18250 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511557395 115843072 348 33554432000 4194304 5098028 140732725456384 140732725453640 140208810820220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12660736 140732725457660 140732725458008 140732725458008 140732725460937 0
/proc/18742/statm: 28282 348 296 221 0 87 0
[pid=18745] ppid=18742 vsize=27314120 memory=106636 CPUtime=0.1 cores=0-7
/proc/18745/stat : 18745 (java) S 18742 18742 18250 0 -1 1077944320 6749 0 0 0 8 2 0 0 20 0 20 0 511557395 27969658880 26659 33554432000 4194304 4196468 140737142885952 140737142868496 140513813315319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
/proc/18745/statm: 6828530 26659 2800 1 0 6790935 0
[pid=18745/tid=18746] ppid=18742 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18742 18742 18250 0 -1 4202560 4842 0 0 0 7 2 0 0 20 0 20 0 511557395 27969658880 26659 33554432000 4194304 4196468 140737142885952 140513785140176 140513799383438 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18747] ppid=18742 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 26659 33554432000 4194304 4196468 140737142885952 140513817558032 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18748] ppid=18742 vsize=27314120 memory=140591994779264 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 26659 33554432000 4194304 4196468 140737142885952 140513631714448 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18749] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 26659 33554432000 4194304 4196468 140737142885952 140513630661392 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18750] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 26659 33554432000 4194304 4196468 140737142885952 140513629608848 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18751] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 27171 33554432000 4194304 4196468 140737142885952 140513628555792 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18752] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 27171 33554432000 4194304 4196468 140737142885952 140513627503248 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18753] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 27171 33554432000 4194304 4196468 140737142885952 140513626450192 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18754] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 27171 33554432000 4194304 4196468 140737142885952 140513625397648 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18755] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557399 27969658880 27171 33554432000 4194304 4196468 140737142885952 140512132573936 140513813326466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18756] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18742 18742 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511557400 27969658880 27171 33554432000 4194304 4196468 140737142885952 140511599912608 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18757] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18742 18742 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511557400 27969658880 27171 33554432000 4194304 4196468 140737142885952 140511465690352 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18758] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 27171 33554432000 4194304 4196468 140737142885952 140511091186128 140513813333915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18759] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18742 18742 18250 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 27171 33554432000 4194304 4196468 140737142885952 140512131520752 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18760] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 27171 33554432000 4194304 4196468 140737142885952 140512130468208 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18761] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 27171 33554432000 4194304 4196468 140737142885952 140512129415152 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18762] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18742 18742 18250 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 27171 33554432000 4194304 4196468 140737142885952 140512128362608 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18763] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 27171 33554432000 4194304 4196468 140737142885952 140510593280992 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18764] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557403 27969658880 27171 33554432000 4194304 4196468 140737142885952 140512127311024 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108028 KiB

[startup+0.210581 s]*
/proc/loadavg: 7.40 6.43 7.03 3/211 18764
/proc/meminfo: memFree=25496036/32770624 swapFree=66997532/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (scop.sh) S 18739 18742 18250 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511557395 115843072 348 33554432000 4194304 5098028 140732725456384 140732725453640 140208810820220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12660736 140732725457660 140732725458008 140732725458008 140732725460937 0
/proc/18742/statm: 28282 348 296 221 0 87 0
[pid=18745] ppid=18742 vsize=27314120 memory=123436 CPUtime=0.25 cores=0-7
/proc/18745/stat : 18745 (java) S 18742 18742 18250 0 -1 1077944320 11733 0 0 0 21 4 0 0 20 0 20 0 511557395 27969658880 30859 33554432000 4194304 4196468 140737142885952 140737142868496 140513813315319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
/proc/18745/statm: 6828530 30859 2951 1 0 6790935 0
[pid=18745/tid=18746] ppid=18742 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18742 18742 18250 0 -1 4202560 9435 0 0 0 16 3 0 0 20 0 20 0 511557395 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513785114704 140513793591171 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18747] ppid=18742 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513817558032 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18748] ppid=18742 vsize=27314120 memory=140591994795317 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513631714448 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18749] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513630661392 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18750] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513629608848 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18751] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513628555792 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18752] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513627503248 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18753] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513626450192 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18754] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 30859 33554432000 4194304 4196468 140737142885952 140513625397648 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18755] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557399 27969658880 30859 33554432000 4194304 4196468 140737142885952 140512132573936 140513813326466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18756] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18742 18742 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511557400 27969658880 30859 33554432000 4194304 4196468 140737142885952 140511599912608 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18757] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18742 18742 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511557400 27969658880 30859 33554432000 4194304 4196468 140737142885952 140511465690352 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18758] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 30859 33554432000 4194304 4196468 140737142885952 140511091186128 140513813333915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18759] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18742 18742 18250 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 30859 33554432000 4194304 4196468 140737142885952 140512131520752 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18760] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 30859 33554432000 4194304 4196468 140737142885952 140512130468208 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18761] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) S 18742 18742 18250 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 30859 33554432000 4194304 4196468 140737142885952 140512129415152 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18762] ppid=18742 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18742 18742 18250 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 511557402 27969658880 30859 33554432000 4194304 4196468 140737142885952 140512128362608 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18763] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 30859 33554432000 4194304 4196468 140737142885952 140510593280992 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18764] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557403 27969658880 30859 33554432000 4194304 4196468 140737142885952 140512127311024 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124828 KiB

[startup+0.310297 s]*
/proc/loadavg: 7.40 6.43 7.03 2/211 18764
/proc/meminfo: memFree=25492500/32770624 swapFree=66997532/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (scop.sh) S 18739 18742 18250 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511557395 115843072 348 33554432000 4194304 5098028 140732725456384 140732725453640 140208810820220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12660736 140732725457660 140732725458008 140732725458008 140732725460937 0
/proc/18742/statm: 28282 348 296 221 0 87 0
[pid=18745] ppid=18742 vsize=27314120 memory=127344 CPUtime=0.42 cores=0-7
/proc/18745/stat : 18745 (java) S 18742 18742 18250 0 -1 1077944320 12763 0 0 0 37 5 0 0 20 0 20 0 511557395 27969658880 31836 33554432000 4194304 4196468 140737142885952 140737142868496 140513813315319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
/proc/18745/statm: 6828530 31836 3021 1 0 6790935 0
[pid=18745/tid=18746] ppid=18742 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18742 18742 18250 0 -1 4202560 10261 0 0 0 26 4 0 0 20 0 20 0 511557395 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513785098336 140513793590649 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18747] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513817558032 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18748] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513631714448 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18749] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513630661392 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18750] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513629608848 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18751] ppid=18742 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513628555792 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18752] ppid=18742 vsize=27314120 memory=140591862215599 CPUtime=0 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513627503248 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18753] ppid=18742 vsize=27314120 memory=140591862217904 CPUtime=0 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513626450192 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18754] ppid=18742 vsize=27314120 memory=140591862220208 CPUtime=0 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27969658880 31836 33554432000 4194304 4196468 140737142885952 140513625397648 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18755] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557399 27969658880 31836 33554432000 4194304 4196468 140737142885952 140512132573936 140513813326466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18756] ppid=18742 vsize=27314120 memory=281183724447376 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18742 18742 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511557400 27969658880 31836 33554432000 4194304 4196468 140737142885952 140511599912608 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18757] ppid=18742 vsize=27314120 memory=281183724454288 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18742 18742 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511557400 27969658880 31836 33554432000 4194304 4196468 140737142885952 140511465690352 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18758] ppid=18742 vsize=27314120 memory=281183724395440 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 31836 33554432000 4194304 4196468 140737142885952 140511091186128 140513813333915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18759] ppid=18742 vsize=27314120 memory=281183724468112 CPUtime=0.01 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) R 18742 18742 18250 0 -1 4202560 402 0 0 0 1 0 0 0 20 0 20 0 511557402 27969658880 31836 33554432000 4194304 4196468 140737142885952 140512131520752 140513796700248 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18760] ppid=18742 vsize=27314120 memory=281183724475024 CPUtime=0 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18742 18742 18250 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 31836 33554432000 4194304 4196468 140737142885952 140512130468208 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18761] ppid=18742 vsize=27314120 memory=281183724472720 CPUtime=0.01 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) S 18742 18742 18250 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 511557402 27969658880 31836 33554432000 4194304 4196468 140737142885952 140512129415152 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18762] ppid=18742 vsize=27314120 memory=281183724488880 CPUtime=0.07 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18742 18742 18250 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 511557402 27969658880 31836 33554432000 4194304 4196468 140737142885952 140512128362608 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18763] ppid=18742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511557402 27969658880 31836 33554432000 4194304 4196468 140737142885952 140510593280992 140513813325525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18764] ppid=18742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557403 27969658880 31836 33554432000 4194304 4196468 140737142885952 140512127311024 140513813326466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128736 KiB

[startup+0.708396 s]
/proc/loadavg: 7.40 6.43 7.03 3/211 18764
/proc/meminfo: memFree=25468924/32770624 swapFree=66997532/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/18742/stat : 18742 (scop.sh) S 18739 18742 18250 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511557395 115843072 348 33554432000 4194304 5098028 140732725456384 140732725453640 140208810820220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12660736 140732725457660 140732725458008 140732725458008 140732725460937 0
/proc/18742/statm: 28282 348 296 221 0 87 0
[pid=18745] ppid=18742 vsize=27320392 memory=167360 CPUtime=1.04 cores=0-7
/proc/18745/stat : 18745 (java) S 18742 18742 18250 0 -1 1077944320 20514 0 0 0 98 6 0 0 20 0 20 0 511557395 27976081408 41840 33554432000 4194304 4196468 140737142885952 140737142868496 140513813315319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
/proc/18745/statm: 6830098 41840 3185 1 0 6791447 0
[pid=18745/tid=18746] ppid=18742 vsize=27320392 memory=281183724846768 CPUtime=0.68 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18742 18742 18250 0 -1 4202560 17369 0 0 0 63 5 0 0 20 0 20 0 511557395 27976081408 41840 33554432000 4194304 4196468 140737142885952 140513785153776 140513805552446 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18747] ppid=18742 vsize=27320392 memory=140591862424432 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27976081408 41840 33554432000 4194304 4196468 140737142885952 140513817558032 140513813325525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18748] ppid=18742 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511557398 27976081408 41840 33554432000 4194304 4196468 140737142885952 140513631714448 140513813325525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0
[pid=18745/tid=18749] ppid=18742 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511557398 27976081408 41840 33554432000 4194304 4196468 140737142885952 140513630661392 140513813325525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13352960 140737142891206 140737142891654 140737142891654 140737142894543 0

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

/proc/18771/task/18782/stat : 18782 (java) S 18742 18742 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511568309 8616062976 29647 33554432000 4194304 4196468 140729162451760 140092370838944 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18783] ppid=18742 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18742 18742 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511568309 8616062976 29647 33554432000 4194304 4196468 140729162451760 140092236617200 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18784] ppid=18742 vsize=8414124 memory=33216 CPUtime=0 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140091862112976 140093932521371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18785] ppid=18742 vsize=8414124 memory=532 CPUtime=0.06 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18742 18742 18250 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093159032816 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18786] ppid=18742 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) S 18742 18742 18250 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093157980272 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18787] ppid=18742 vsize=8414124 memory=932 CPUtime=0.07 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) S 18742 18742 18250 0 -1 1077944384 384 0 0 0 7 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093156927728 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18788] ppid=18742 vsize=8414124 memory=3680 CPUtime=0.21 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18742 18742 18250 0 -1 1077944384 564 0 0 0 21 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093155875184 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18789] ppid=18742 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140091364207328 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18790] ppid=18742 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18771/task/18790/stat : 18790 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093154823088 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18792] ppid=18742 vsize=8414124 memory=7275568 CPUtime=0 cores=0-7
/proc/18771/task/18792/stat : 18792 (java) S 18742 18742 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511568381 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093146789568 140093932527385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18794] ppid=18742 vsize=8414124 memory=1392 CPUtime=0 cores=0-7
/proc/18771/task/18794/stat : 18794 (java) S 18742 18742 18250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 511568381 8616062976 29647 33554432000 4194304 4196468 140729162451760 140090693106960 140093932524701 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18795] ppid=18742 vsize=8414124 memory=6756936 CPUtime=0 cores=0-7
/proc/18771/task/18795/stat : 18795 (java) S 18742 18742 18250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511568381 8616062976 29647 33554432000 4194304 4196468 140729162451760 140090961542544 140093932524701 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18796] ppid=18742 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/18771/task/18796/stat : 18796 (java) S 18742 18742 18250 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 511568383 8616062976 29647 33554432000 4194304 4196468 140729162451760 140090424679600 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
Current children cumulated CPU time: 138.55 s
Current children cumulated vsize: 8561628 KiB
Current children cumulated memory: 137840 KiB

[startup+112.001 s]*
/proc/loadavg: 2.26 4.85 6.39 9/225 18806
/proc/meminfo: memFree=25411428/32770624 swapFree=66997532/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1472 CPUtime=136.06 cores=0-7
/proc/18742/stat : 18742 (scop.sh) S 18739 18742 18250 0 -1 4202496 582 75848 0 0 0 0 13094 512 20 0 1 0 511557395 115843072 368 33554432000 4194304 5098028 140732725456384 140732725453128 140208810820220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12660736 140732725457660 140732725458008 140732725458008 140732725460937 0
/proc/18742/statm: 28282 368 311 221 0 87 0
[pid=18771] ppid=18742 vsize=8414124 memory=118588 CPUtime=1.23 cores=0-7
/proc/18771/stat : 18771 (java) S 18742 18742 18250 0 -1 1077944320 20182 0 0 0 116 7 0 0 20 0 24 0 511568305 8616062976 29647 33554432000 4194304 4196468 140729162451760 140729162434304 140093932502775 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
/proc/18771/statm: 2103531 29647 3200 1 0 2064875 0
[pid=18791] ppid=18771 vsize=692148 memory=84768 CPUtime=2.28 cores=0-7
/proc/18791/stat : 18791 (manyglucose-4.1) S 18771 18742 18250 0 -1 1077944320 22762 0 0 0 219 9 0 0 20 0 9 0 511568380 708759552 21192 33554432000 4194304 4454172 140722418460928 140722418459328 140216776141442 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 5 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
/proc/18791/statm: 173037 21192 382 64 0 168705 0
[pid=18791/tid=18799] ppid=18771 vsize=692280 memory=1720 CPUtime=0.02 cores=0-7
/proc/18791/task/18799/stat : 18799 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216753962088 4355035 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18800] ppid=18771 vsize=692280 memory=7275488 CPUtime=0.02 cores=0-7
/proc/18791/task/18800/stat : 18800 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 76 0 0 0 2 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216745569384 140216761987369 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18801] ppid=18771 vsize=692280 memory=988 CPUtime=0.02 cores=0-7
/proc/18791/task/18801/stat : 18801 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 54 0 0 0 2 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216737176680 4355035 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18802] ppid=18771 vsize=692280 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/18791/task/18802/stat : 18802 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216728783976 4355035 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18803] ppid=18771 vsize=692280 memory=612 CPUtime=0.02 cores=0-7
/proc/18791/task/18803/stat : 18803 (manyglucose-4.1) R 18771 18742 18250 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216720391272 140216761987369 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18804] ppid=18771 vsize=692280 memory=1220 CPUtime=0.01 cores=0-7
/proc/18791/task/18804/stat : 18804 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 91 0 0 0 1 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216711998632 140216761987369 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18805] ppid=18771 vsize=692280 memory=14004 CPUtime=0.02 cores=0-7
/proc/18791/task/18805/stat : 18805 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 80 0 0 0 1 1 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216703605928 4315490 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18791/tid=18806] ppid=18771 vsize=692280 memory=14060 CPUtime=0.02 cores=0-7
/proc/18791/task/18806/stat : 18806 (manyglucose-4.1) R 18771 18742 18250 0 -1 4202560 77 0 0 0 2 0 0 0 20 0 9 0 511568592 708894720 21192 33554432000 4194304 4454172 140722418460928 140216695213160 4355035 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26427392 140722418463565 140722418463772 140722418463772 140722418466742 0
[pid=18771/tid=18772] ppid=18742 vsize=8414124 memory=7686721470250720411 CPUtime=0.77 cores=0-7
/proc/18771/task/18772/stat : 18772 (java) S 18742 18742 18250 0 -1 1077944384 16872 0 0 0 73 4 0 0 20 0 24 0 511568305 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093904342944 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18773] ppid=18742 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18771/task/18773/stat : 18773 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093936745232 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18774] ppid=18742 vsize=8414124 memory=7277064 CPUtime=0 cores=0-7
/proc/18771/task/18774/stat : 18774 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093736913808 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18775] ppid=18742 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/18771/task/18775/stat : 18775 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093735861264 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18776] ppid=18742 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/18771/task/18776/stat : 18776 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093734808720 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18777] ppid=18742 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/18771/task/18777/stat : 18777 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093733755152 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18778] ppid=18742 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/18771/task/18778/stat : 18778 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093732702608 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18779] ppid=18742 vsize=8414124 memory=4140 CPUtime=0 cores=0-7
/proc/18771/task/18779/stat : 18779 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093731650064 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18780] ppid=18742 vsize=8414124 memory=64264 CPUtime=0 cores=0-7
/proc/18771/task/18780/stat : 18780 (java) S 18742 18742 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511568307 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093730597520 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18781] ppid=18742 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/18771/task/18781/stat : 18781 (java) S 18742 18742 18250 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511568308 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093160086000 140093932513922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18782] ppid=18742 vsize=8414124 memory=281183726015488 CPUtime=0 cores=0-7
/proc/18771/task/18782/stat : 18782 (java) S 18742 18742 18250 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511568309 8616062976 29647 33554432000 4194304 4196468 140729162451760 140092370838944 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18783] ppid=18742 vsize=8414124 memory=281183724922688 CPUtime=0 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18742 18742 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511568309 8616062976 29647 33554432000 4194304 4196468 140729162451760 140092236617200 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18784] ppid=18742 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140091862112976 140093932521371 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18785] ppid=18742 vsize=8414124 memory=2540 CPUtime=0.06 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18742 18742 18250 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093159032816 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18786] ppid=18742 vsize=8414124 memory=1760 CPUtime=0.05 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) S 18742 18742 18250 0 -1 1077944384 258 0 0 0 5 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093157980272 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18787] ppid=18742 vsize=8414124 memory=111636 CPUtime=0.07 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) S 18742 18742 18250 0 -1 1077944384 384 0 0 0 7 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093156927728 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18788] ppid=18742 vsize=8414124 memory=118588 CPUtime=0.21 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18742 18742 18250 0 -1 1077944384 568 0 0 0 21 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093155875184 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18789] ppid=18742 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18742 18742 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140091364207328 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18790] ppid=18742 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/18771/task/18790/stat : 18790 (java) S 18742 18742 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511568312 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093154823088 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18792] ppid=18742 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/18771/task/18792/stat : 18792 (java) S 18742 18742 18250 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511568381 8616062976 29647 33554432000 4194304 4196468 140729162451760 140093146789568 140093932527385 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18794] ppid=18742 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/18771/task/18794/stat : 18794 (java) S 18742 18742 18250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511568381 8616062976 29647 33554432000 4194304 4196468 140729162451760 140090693106960 140093932524701 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18795] ppid=18742 vsize=8414124 memory=836 CPUtime=0 cores=0-7
/proc/18771/task/18795/stat : 18795 (java) S 18742 18742 18250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511568381 8616062976 29647 33554432000 4194304 4196468 140729162451760 140090961542544 140093932524701 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18796] ppid=18742 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/18771/task/18796/stat : 18796 (java) S 18742 18742 18250 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 511568383 8616062976 29647 33554432000 4194304 4196468 140729162451760 140090424679600 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
Current children cumulated CPU time: 139.57 s
Current children cumulated vsize: 9219400 KiB
Current children cumulated memory: 204828 KiB

[startup+112.401 s]
/proc/loadavg: 2.26 4.85 6.39 9/225 18806
/proc/meminfo: memFree=25411428/32770624 swapFree=66997532/67108860
[pid=18742] ppid=18739 vsize=113128 memory=1472 CPUtime=136.06 cores=0-7
/proc/18742/stat : 18742 (scop.sh) S 18739 18742 18250 0 -1 4202496 582 75848 0 0 0 0 13094 512 20 0 1 0 511557395 115843072 368 33554432000 4194304 5098028 140732725456384 140732725453128 140208810820220 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12660736 140732725457660 140732725458008 140732725458008 140732725460937 0
/proc/18742/statm: 28282 368 311 221 0 87 0
[pid=18771] ppid=18742 vsize=8151972 memory=129468 CPUtime=5.64 cores=0-7
/proc/18771/stat : 18771 (java) S 18742 18742 18250 0 -1 1077944320 20785 24229 0 0 149 8 396 11 20 0 21 0 511568305 8347619328 32367 33554432000 4194304 4196468 140729162451760 140729162434304 140093932502775 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
/proc/18771/statm: 2037993 32367 3225 1 0 1999337 0
[pid=18771/tid=18772] ppid=18742 vsize=8151972 memory=772 CPUtime=4.94 cores=0-7
/proc/18771/task/18772/stat : 18772 (java) S 18742 18742 18250 0 -1 1077944384 17130 24229 0 0 82 5 396 11 20 0 21 0 511568305 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093904346256 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18773] ppid=18742 vsize=8151972 memory=10596 CPUtime=4.07 cores=0-7
/proc/18771/task/18773/stat : 18773 (java) S 18742 18742 18250 0 -1 1077944384 2 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093936745232 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18774] ppid=18742 vsize=8151972 memory=1708 CPUtime=4.07 cores=0-7
/proc/18771/task/18774/stat : 18774 (java) S 18742 18742 18250 0 -1 1077944384 1 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093736913808 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18775] ppid=18742 vsize=8151972 memory=988 CPUtime=4.07 cores=0-7
/proc/18771/task/18775/stat : 18775 (java) S 18742 18742 18250 0 -1 1077944384 3 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093735861264 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18776] ppid=18742 vsize=8151972 memory=3628 CPUtime=4.07 cores=0-7
/proc/18771/task/18776/stat : 18776 (java) S 18742 18742 18250 0 -1 1077944384 1 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093734808720 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18777] ppid=18742 vsize=8151972 memory=2828 CPUtime=4.07 cores=0-7
/proc/18771/task/18777/stat : 18777 (java) S 18742 18742 18250 0 -1 1077944384 1 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093733755152 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18778] ppid=18742 vsize=8151972 memory=1048 CPUtime=4.07 cores=0-7
/proc/18771/task/18778/stat : 18778 (java) S 18742 18742 18250 0 -1 1077944384 2 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093732702608 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18779] ppid=18742 vsize=8151972 memory=6124 CPUtime=4.07 cores=0-7
/proc/18771/task/18779/stat : 18779 (java) S 18742 18742 18250 0 -1 1077944384 1 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093731650064 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18780] ppid=18742 vsize=8151972 memory=612 CPUtime=4.07 cores=0-7
/proc/18771/task/18780/stat : 18780 (java) S 18742 18742 18250 0 -1 1077944384 2 24229 0 0 0 0 396 11 20 0 21 0 511568307 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093730597520 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18781] ppid=18742 vsize=8151972 memory=1220 CPUtime=4.07 cores=0-7
/proc/18771/task/18781/stat : 18781 (java) S 18742 18742 18250 0 -1 1077944384 5 24229 0 0 0 0 396 11 20 0 21 0 511568308 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093160086208 140093932513922 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18782] ppid=18742 vsize=8151972 memory=1472 CPUtime=4.07 cores=0-7
/proc/18771/task/18782/stat : 18782 (java) S 18742 18742 18250 0 -1 1077944384 13 24229 0 0 0 0 396 11 20 0 21 0 511568309 8347619328 32367 33554432000 4194304 4196468 140729162451760 140092370838944 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18783] ppid=18742 vsize=8151972 memory=118588 CPUtime=4.07 cores=0-7
/proc/18771/task/18783/stat : 18783 (java) S 18742 18742 18250 0 -1 1077944384 21 24229 0 0 0 0 396 11 20 0 21 0 511568309 8347619328 32367 33554432000 4194304 4196468 140729162451760 140092236617200 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18784] ppid=18742 vsize=8151972 memory=19432 CPUtime=4.07 cores=0-7
/proc/18771/task/18784/stat : 18784 (java) S 18742 18742 18250 0 -1 1077944384 22 24229 0 0 0 0 396 11 20 0 21 0 511568312 8347619328 32367 33554432000 4194304 4196468 140729162451760 140091862111744 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18785] ppid=18742 vsize=8151972 memory=14004 CPUtime=4.17 cores=0-7
/proc/18771/task/18785/stat : 18785 (java) S 18742 18742 18250 0 -1 1077944384 575 24229 0 0 10 0 396 11 20 0 21 0 511568312 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093159017872 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18786] ppid=18742 vsize=8151972 memory=4104 CPUtime=4.15 cores=0-7
/proc/18771/task/18786/stat : 18786 (java) S 18742 18742 18250 0 -1 1077944384 277 24229 0 0 8 0 396 11 20 0 21 0 511568312 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093157980272 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18787] ppid=18742 vsize=8151972 memory=1808 CPUtime=4.19 cores=0-7
/proc/18771/task/18787/stat : 18787 (java) S 18742 18742 18250 0 -1 1077944384 409 24229 0 0 12 0 396 11 20 0 21 0 511568312 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093156927728 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18788] ppid=18742 vsize=8151972 memory=920 CPUtime=4.36 cores=0-7
/proc/18771/task/18788/stat : 18788 (java) S 18742 18742 18250 0 -1 1077944384 772 24229 0 0 29 0 396 11 20 0 21 0 511568312 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093155875184 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18789] ppid=18742 vsize=8151972 memory=4140 CPUtime=4.07 cores=0-7
/proc/18771/task/18789/stat : 18789 (java) S 18742 18742 18250 0 -1 1077944384 3 24229 0 0 0 0 396 11 20 0 21 0 511568312 8347619328 32367 33554432000 4194304 4196468 140729162451760 140091364207328 140093932512981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18792] ppid=18742 vsize=8151972 memory=3188 CPUtime=4.07 cores=0-7
/proc/18771/task/18792/stat : 18792 (java) S 18742 18742 18250 0 -1 1077944384 24 24229 0 0 0 0 396 11 20 0 21 0 511568381 8347619328 32367 33554432000 4194304 4196468 140729162451760 140093146788752 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
[pid=18771/tid=18796] ppid=18742 vsize=8151972 memory=1392 CPUtime=4.07 cores=0-7
/proc/18771/task/18796/stat : 18796 (java) S 18742 18742 18250 0 -1 1077944384 141 24229 0 0 0 0 396 11 20 0 21 0 511568383 8347619328 32367 33554432000 4194304 4196468 140729162451760 140090424681392 140093932513922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32378880 140729162458079 140729162458246 140729162458246 140729162461135 0
Current children cumulated CPU time: 141.7 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 130940 KiB

Child status: 0
Real time (s): 112.412
CPU time (s): 141.752
CPU user time (s): 136.407
CPU system time (s): 5.34525
CPU usage (%): 126.101
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7280112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.407
system time used= 5.34525
maximum resident set size= 7279064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24812
involuntary context switches= 327


# summary of solver processes directly reported to runsolver:
#   pid: 18742
#   total CPU time (s): 141.752
#   total CPU user time (s): 136.407
#   total CPU system time (s): 5.34525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.832965 second user time and 1.19221 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 22:15:49
IDJOB=4405444
IDBENCH=135918
IDSOLVER=2868
FILE ID=node140/4405444-1569356191
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-s20a4/TravellingSalesman-4-20-001-a4_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-4405444-1569356191/watcher-4405444-1569356191 -o /var/tmp/evaluation-result-4405444-1569356191/solver-4405444-1569356191 -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-4405444-1569356191.xml

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

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=1504514542

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:        25609608 kB
MemAvailable:   31844964 kB
Buffers:          131932 kB
Cached:          6201248 kB
SwapCached:         2776 kB
Active:          3152164 kB
Inactive:        3188720 kB
Active(anon):       4328 kB
Inactive(anon):    58400 kB
Active(file):    3147836 kB
Inactive(file):  3130320 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997532 kB
Dirty:             20816 kB
Writeback:            12 kB
AnonPages:        112692 kB
Mapped:            57028 kB
Shmem:             46828 kB
Slab:             414704 kB
SReclaimable:     385660 kB
SUnreclaim:        29044 kB
KernelStack:        3376 kB
PageTables:         5304 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:17:42