Trace number 4392584

Some explanations

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

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

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

Solver answer on this benchmark

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

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-30332-serial-file.bin HOME/instance-4392584-1568439681.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 07:40:39 CEST 2019
0.66/0.57	c PID: 30335
0.66/0.57	c IP: 172.20.3.117
0.66/0.57	c HOST: node117.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.54/1.17	c (0,0) Parsing End
2.54/1.18	c (0,0) CSP: 60 int (0 aux), 1 bool (0 aux), 228 ctr, max domain size 1001
2.54/1.18	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.54/1.18	c (0,0) Constraint Name Generate Begin
2.54/1.19	c (0,0) Ctr:HOME/instance-4392584-1568439681.xml,ExtensionConflict:ExtensionSupport:Var
2.54/1.19	c (0,0) Constraint Name Generate End
2.54/1.19	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.54/1.19	c (0,0) CSP to CSPinCNF Begin
79.51/68.33	c (67,67) translated 23 (10%) constraints
80.55/68.83	c (68,67) translated 46 (20%) constraints
81.38/69.30	c (68,68) translated 69 (30%) constraints
85.92/70.25	c (69,68) translated 92 (40%) constraints
86.45/70.70	c (70,69) translated 114 (50%) constraints
86.87/71.17	c (70,69) translated 137 (60%) constraints
87.36/71.63	c (71,70) translated 160 (70%) constraints
87.89/72.12	c (71,70) translated 183 (80%) constraints
89.38/73.32	c (72,71) translated 206 (90%) constraints
90.47/73.92	c (73,72) translated 228 (100%) constraints
90.47/73.95	c (73,72) ===========================================
90.71/74.14	c (73,72) Hybrid: #OE=14172, #LE=0
90.71/74.14	c (73,72) Hybrid
90.71/74.14	c (73,72) ===========================================
92.50/75.44	c (74,74) translated 56022 (10%) constraints
93.89/76.74	c (76,75) translated 112043 (20%) constraints
95.35/78.06	c (77,76) translated 168064 (30%) constraints
96.64/79.36	c (78,78) translated 224086 (40%) constraints
97.95/80.67	c (80,79) translated 280107 (50%) constraints
99.25/81.98	c (81,80) translated 336128 (60%) constraints
100.55/83.29	c (82,81) translated 392150 (70%) constraints
101.95/84.60	c (84,83) translated 448171 (80%) constraints
103.25/85.91	c (85,84) translated 504192 (90%) constraints
104.46/87.08	c (86,85) translated 560213 (100%) constraints
104.46/87.08	c (86,85) CSP to CSPinCNF End
104.46/87.09	c (86,85) CSP: 60 int (0 aux), 14112 bool (14111 aux), 560213 ctr, max domain size 161
104.46/87.09	c (86,85) Heap : 5834 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
104.46/87.09	c (86,85) CSPinCNF Propagation Begin
126.99/102.54	c (101,100) 1338 values, 267143 unsatisfiable literals, and 167368 valid clauses are removed
126.99/102.54	c (101,100) CSPinCNF Propagation End
126.99/102.54	c (101,100) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
126.99/102.54	c (101,100) Heap : 4828 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
127.20/102.71	c (102,100) Hybrid: #OE=14172, #LE=0
127.20/102.71	c (102,100) Simplify CSPinCNF Begin
128.25/103.60	c (103,101) Simplify CSPinCNF End
128.25/103.60	c (103,101) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
128.25/103.60	c (103,101) Heap : 5272 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
128.25/103.60	c (103,101) Calculate Precise Domain Begin
128.25/103.61	c (103,101) 0 values are removed by re-calculation
128.25/103.61	c (103,101) Calculate Precise Domain End
128.25/103.61	c (103,101) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
128.25/103.61	c (103,101) Heap : 5272 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
128.25/103.61	c (103,101) CSPinCNF to SatSolver Begin
130.19/104.37	c (103,102) 39285 (10 %) CSP clauses are encoded (0 SAT variables, 42413 SAT clauses)
130.73/104.88	c (104,102) 78569 (20 %) CSP clauses are encoded (0 SAT variables, 81697 SAT clauses)
132.87/105.58	c (105,103) 117854 (30 %) CSP clauses are encoded (0 SAT variables, 120982 SAT clauses)
133.38/106.06	c (105,103) 157138 (40 %) CSP clauses are encoded (0 SAT variables, 160266 SAT clauses)
133.87/106.54	c (105,104) 196423 (50 %) CSP clauses are encoded (0 SAT variables, 199551 SAT clauses)
134.39/107.03	c (106,104) 235707 (60 %) CSP clauses are encoded (0 SAT variables, 238835 SAT clauses)
134.88/107.53	c (106,105) 274992 (70 %) CSP clauses are encoded (0 SAT variables, 278120 SAT clauses)
135.39/108.02	c (107,105) 314276 (80 %) CSP clauses are encoded (0 SAT variables, 317404 SAT clauses)
135.78/108.46	c (107,106) 353561 (90 %) CSP clauses are encoded (0 SAT variables, 356689 SAT clauses)
136.20/108.83	c (108,106) 392845 (100 %) CSP clauses are encoded (0 SAT variables, 395973 SAT clauses)
136.20/108.83	c (108,106) CSPinCNF to SatSolver End
136.20/108.83	c (108,106) Heap : 3560 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
136.20/108.83	c (108,106) 16344 bool, 395974 clause
136.20/108.83	c (108,106) Export Begin
136.34/108.93	c (108,106) Export to HOME/scop-30332-serial-file.bin
136.34/108.93	c (108,106) Export End
136.34/108.93	c (108,106) Export File Size: 0.04 MB
136.34/108.94	c (108,106) 0,0,86,101,103,103,108,STOP-AFTER(DIMACS)
136.34/108.94	c END-Prog: Sat Sep 14 07:42:27 CEST 2019
136.34/108.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30332-serial-file.bin
136.99/109.45	c (0,0) Read Serial File Begin
136.99/109.45	c (0,0) HOME/scop-30332-serial-file.bin
137.25/109.68	c (0,0) Read Serial File End
137.44/109.70	
137.44/109.70	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
137.44/109.70	(Solving Process)
137.44/109.70	
137.44/109.72	c BEGIN-Prog: Sat Sep 14 07:42:28 CEST 2019
137.44/109.72	c PID: 30362
137.44/109.72	c IP: 172.20.3.117
137.44/109.72	c HOST: node117.alineos.net
137.44/109.73	c (0,0) SatSolver.solve Begin
137.44/109.73	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392584-1568439681.xml-scop-30335.cnf
137.44/109.75	c (0,0) c
137.44/109.75	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)
137.44/109.75	c (0,0) c
137.44/109.75	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
137.44/109.75	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
137.44/109.75	c (0,0) c ========================================[ Problem Statistics ]===========================================
137.44/109.75	c (0,0) c |                                                                                                       |
137.68/109.85	c (0,0) c |  Number of variables:         16344                                                                   |
137.68/109.85	c (0,0) c |  Number of clauses:          127500                                                                   |
137.68/109.85	c (0,0) c |  Parse time:                   0.09 s                                                                 |
137.68/109.85	c (0,0) c |                                                                                                       |
139.62/111.72	c (2,0) c |  Simplification time:          1.87 s                                                                 |
139.62/111.72	c (2,0) c |                                                                                                       |
139.62/111.72	c (2,0) c |  Generating clones                                                                                    |
139.62/111.78	c (2,0) c |  all clones generated. Memory =    97.97Mb.                                                           |
139.62/111.78	c (2,0) c ========================================================================================================|
139.62/111.78	c (2,0) c
139.62/111.78	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
139.62/111.78	c (2,0) c
139.62/111.78	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
139.62/111.78	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
139.62/111.78	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
139.62/111.78	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
139.62/111.78	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
139.62/111.78	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
139.62/111.78	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
139.62/111.78	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
139.62/111.78	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
139.62/111.78	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
139.62/111.78	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
139.62/111.78	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
139.62/111.78	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
139.62/111.78	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
139.62/111.78	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
139.62/111.78	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
139.62/111.78	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
139.62/111.78	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
139.62/111.78	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.05	c (2,0) c
141.46/112.05	c (2,0) c real time : 2.30557 s
141.46/112.05	c (2,0) c cpu time  : 3.90259 s
141.46/112.05	c (2,0) c
141.46/112.05	c (2,0) c
141.46/112.05	c (2,0) c
141.46/112.06	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
141.46/112.06	c (2,0) c
141.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
141.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	c (2,0) c | Conflicts     |           26363 |       3181 |       3494 |       3136 |       3212 |       3402 |       3494 |       3043 |       3401 |
141.46/112.06	c (2,0) c | Decisions     |          103373 |      11593 |      13235 |      13091 |      13849 |      12551 |      12967 |      13781 |      12306 |
141.46/112.06	c (2,0) c | Propagations  |         7405678 |     860639 |     978218 |     919142 |     865994 |     980451 |    1010777 |     876317 |     914140 |
141.46/112.06	c (2,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
141.46/112.06	c (2,0) c | SimpDBs       |              18 |          2 |          2 |          3 |          2 |          3 |          2 |          2 |          2 |
141.46/112.06	c (2,0) c | Restarts      |             149 |         25 |         22 |         18 |         16 |         16 |         12 |         22 |         18 |
141.46/112.06	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | PropBinClauses|         8387043 |    1002148 |    1093787 |    1036984 |     938669 |    1122476 |    1146444 |     986043 |    1060492 |
141.46/112.06	c (2,0) c | PropPreBlocker|        42836460 |    5510158 |    5342202 |    5205705 |    4758329 |    5850786 |    5763409 |    4925828 |    5480043 |
141.46/112.06	c (2,0) c | PropNotBlocker|        12209366 |    1432882 |    1559457 |    1517592 |    1438847 |    1590135 |    1652951 |    1508839 |    1508663 |
141.46/112.06	c (2,0) c | LitFullScans  |       165643175 |   18251278 |   21265804 |   22231226 |   21462513 |   21307667 |   20030272 |   20517859 |   20576556 |
141.46/112.06	c (2,0) c | LitScanFracts |           28031 |       2890 |       6202 |        193 |      11518 |       2370 |       2927 |        208 |       1723 |
141.46/112.06	c (2,0) c | DecisionLevel0|             297 |         43 |         41 |         41 |         32 |         33 |         26 |         45 |         36 |
141.46/112.06	c (2,0) c | Periods       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
141.46/112.06	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
141.46/112.06	c (2,0) c | Avg_Trail     |                 |       4585 |       4834 |       4904 |       4999 |       4828 |       4745 |       4808 |       4773 |
141.46/112.06	c (2,0) c | Avg_DL        |                 |         32 |         30 |         29 |         30 |         34 |         26 |         37 |         23 |
141.46/112.06	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	c (2,0) c | Exported      |            4371 |        531 |        595 |        529 |        541 |        535 |        544 |        509 |        587 |
141.46/112.06	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
141.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	c (2,0) c | Unaries       |                 |         18 |         19 |         23 |         16 |         17 |         14 |         23 |         18 |
141.46/112.06	c (2,0) c | Binaries      |                 |        369 |        417 |        386 |        398 |        386 |        405 |        389 |        449 |
141.46/112.06	c (2,0) c | Glues         |                 |        531 |        595 |        529 |        541 |        535 |        544 |        509 |        587 |
141.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	c (2,0) c | Orig_Seen     |            27 % |      14179 |      16448 |      15416 |      14824 |      14889 |      14589 |      13886 |      16214 |
141.46/112.06	c (2,0) c | Diff Orig seen|                 | -     1237 |       1032 |      X     | -      592 | -      527 | -      827 | -     1530 |        798 |
141.46/112.06	c (2,0) c | Hamming       |             2 % |        370 |        449 |      X     |        324 |        291 |        294 |        423 |        523 |
141.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	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.46/112.06	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.46/112.06	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.46/112.06	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.46/112.06	c (2,0) c | SolvingTime   |                 |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |
141.46/112.06	c (2,0) c | PropagationTim|                 |    0.2  72%|    0.2  68%|    0.2  62%|    0.2  61%|    0.2  66%|    0.2  65%|    0.2  68%|    0.2  67%|
141.46/112.06	c (2,0) c | AnalysisTime  |                 |    0.1  21%|    0.1  25%|    0.1  30%|    0.1  32%|    0.1  27%|    0.1  25%|    0.1  25%|    0.1  26%|
141.46/112.06	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.46/112.06	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|
141.46/112.06	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.46/112.06	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.46/112.06	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.06	c (2,0) c
141.46/112.06	c (2,0) c
141.46/112.06	c (2,0) c Threads : 8
141.46/112.06	c (2,0) c Winner : 2
141.46/112.06	c (2,0) c Conflicts_0 : 3181
141.46/112.06	c (2,0) c Conflicts_1 : 3494
141.46/112.06	c (2,0) c Conflicts_2 : 3136
141.46/112.06	c (2,0) c Conflicts_3 : 3212
141.46/112.06	c (2,0) c Conflicts_4 : 3402
141.46/112.06	c (2,0) c Conflicts_5 : 3494
141.46/112.06	c (2,0) c Conflicts_6 : 3043
141.46/112.06	c (2,0) c Conflicts_7 : 3401
141.46/112.06	c (2,0) c Conflicts_total : 26363
141.46/112.06	c (2,0) c Conflicts_winner : 3136
141.46/112.06	c (2,0) c Decisions_0 : 11593
141.46/112.06	c (2,0) c Decisions_1 : 13235
141.46/112.06	c (2,0) c Decisions_2 : 13091
141.46/112.06	c (2,0) c Decisions_3 : 13849
141.46/112.06	c (2,0) c Decisions_4 : 12551
141.46/112.06	c (2,0) c Decisions_5 : 12967
141.46/112.06	c (2,0) c Decisions_6 : 13781
141.46/112.06	c (2,0) c Decisions_7 : 12306
141.46/112.06	c (2,0) c Decisions_total : 103373
141.46/112.06	c (2,0) c Decisions_winner : 13091
141.46/112.06	c (2,0) c Propagations_0 : 860639
141.46/112.06	c (2,0) c Propagations_1 : 978218
141.46/112.06	c (2,0) c Propagations_2 : 919142
141.46/112.06	c (2,0) c Propagations_3 : 865994
141.46/112.06	c (2,0) c Propagations_4 : 980451
141.46/112.06	c (2,0) c Propagations_5 : 1010777
141.46/112.06	c (2,0) c Propagations_6 : 876317
141.46/112.06	c (2,0) c Propagations_7 : 914140
141.46/112.06	c (2,0) c Propagations_total : 7405678
141.46/112.06	c (2,0) c Propagations_winner : 919142
141.46/112.06	c (2,0) c ReduceDBs_0 : 1
141.46/112.06	c (2,0) c ReduceDBs_1 : 1
141.46/112.06	c (2,0) c ReduceDBs_2 : 1
141.46/112.06	c (2,0) c ReduceDBs_3 : 1
141.46/112.06	c (2,0) c ReduceDBs_4 : 1
141.46/112.06	c (2,0) c ReduceDBs_5 : 1
141.46/112.06	c (2,0) c ReduceDBs_6 : 1
141.46/112.06	c (2,0) c ReduceDBs_7 : 1
141.46/112.06	c (2,0) c ReduceDBs_total : 8
141.46/112.06	c (2,0) c ReduceDBs_winner : 1
141.46/112.06	c (2,0) c SimpDBs_0 : 2
141.46/112.06	c (2,0) c SimpDBs_1 : 2
141.46/112.06	c (2,0) c SimpDBs_2 : 3
141.46/112.06	c (2,0) c SimpDBs_3 : 2
141.46/112.06	c (2,0) c SimpDBs_4 : 3
141.46/112.06	c (2,0) c SimpDBs_5 : 2
141.46/112.06	c (2,0) c SimpDBs_6 : 2
141.46/112.06	c (2,0) c SimpDBs_7 : 2
141.46/112.06	c (2,0) c SimpDBs_total : 18
141.46/112.06	c (2,0) c SimpDBs_winner : 3
141.46/112.06	c (2,0) c Restarts_0 : 25
141.46/112.06	c (2,0) c Restarts_1 : 22
141.46/112.06	c (2,0) c Restarts_2 : 18
141.46/112.06	c (2,0) c Restarts_3 : 16
141.46/112.06	c (2,0) c Restarts_4 : 16
141.46/112.06	c (2,0) c Restarts_5 : 12
141.46/112.06	c (2,0) c Restarts_6 : 22
141.46/112.06	c (2,0) c Restarts_7 : 18
141.46/112.06	c (2,0) c Restarts_total : 149
141.46/112.06	c (2,0) c Restarts_winner : 18
141.46/112.06	c (2,0) c ForcedImports_0 : 0
141.46/112.06	c (2,0) c ForcedImports_1 : 0
141.46/112.06	c (2,0) c ForcedImports_2 : 0
141.46/112.06	c (2,0) c ForcedImports_3 : 0
141.46/112.06	c (2,0) c ForcedImports_4 : 0
141.46/112.06	c (2,0) c ForcedImports_5 : 0
141.46/112.06	c (2,0) c ForcedImports_6 : 0
141.46/112.06	c (2,0) c ForcedImports_7 : 0
141.46/112.06	c (2,0) c ForcedImports_total : 0
141.46/112.06	c (2,0) c ForcedImports_winner : 0
141.46/112.06	c (2,0) c PropsBinClauses_0 : 1002148
141.46/112.06	c (2,0) c PropsBinClauses_1 : 1093787
141.46/112.06	c (2,0) c PropsBinClauses_2 : 1036984
141.46/112.06	c (2,0) c PropsBinClauses_3 : 938669
141.46/112.06	c (2,0) c PropsBinClauses_4 : 1122476
141.46/112.06	c (2,0) c PropsBinClauses_5 : 1146444
141.46/112.06	c (2,0) c PropsBinClauses_6 : 986043
141.46/112.06	c (2,0) c PropsBinClauses_7 : 1060492
141.46/112.06	c (2,0) c PropsBinClauses_total : 8387043
141.46/112.06	c (2,0) c PropsBinClauses_winner : 1036984
141.46/112.06	c (2,0) c PropsPreBlocker_0 : 5510158
141.46/112.06	c (2,0) c PropsPreBlocker_1 : 5342202
141.46/112.06	c (2,0) c PropsPreBlocker_2 : 5205705
141.46/112.06	c (2,0) c PropsPreBlocker_3 : 4758329
141.46/112.06	c (2,0) c PropsPreBlocker_4 : 5850786
141.46/112.06	c (2,0) c PropsPreBlocker_5 : 5763409
141.46/112.06	c (2,0) c PropsPreBlocker_6 : 4925828
141.46/112.06	c (2,0) c PropsPreBlocker_7 : 5480043
141.46/112.06	c (2,0) c PropsPreBlocker_total : 42836460
141.46/112.06	c (2,0) c PropsPreBlocker_winner : 5205705
141.46/112.06	c (2,0) c PropsNotBlocker_0 : 1432882
141.46/112.06	c (2,0) c PropsNotBlocker_1 : 1559457
141.46/112.06	c (2,0) c PropsNotBlocker_2 : 1517592
141.46/112.06	c (2,0) c PropsNotBlocker_3 : 1438847
141.46/112.06	c (2,0) c PropsNotBlocker_4 : 1590135
141.46/112.06	c (2,0) c PropsNotBlocker_5 : 1652951
141.46/112.06	c (2,0) c PropsNotBlocker_6 : 1508839
141.46/112.06	c (2,0) c PropsNotBlocker_7 : 1508663
141.46/112.06	c (2,0) c PropsNotBlocker_total : 12209366
141.46/112.06	c (2,0) c PropsNotBlocker_winner : 1517592
141.46/112.06	c (2,0) c PropsLitFullScans_0 : 18251278
141.46/112.06	c (2,0) c PropsLitFullScans_1 : 21265804
141.46/112.06	c (2,0) c PropsLitFullScans_2 : 22231226
141.46/112.06	c (2,0) c PropsLitFullScans_3 : 21462513
141.46/112.06	c (2,0) c PropsLitFullScans_4 : 21307667
141.46/112.06	c (2,0) c PropsLitFullScans_5 : 20030272
141.46/112.06	c (2,0) c PropsLitFullScans_6 : 20517859
141.46/112.06	c (2,0) c PropsLitFullScans_7 : 20576556
141.46/112.06	c (2,0) c PropsLitFullScans_total : 165643175
141.46/112.06	c (2,0) c PropsLitFullScans_winner : 22231226
141.46/112.06	c (2,0) c LitScanFractions_0 : 2890
141.46/112.06	c (2,0) c LitScanFractions_1 : 6202
141.46/112.06	c (2,0) c LitScanFractions_2 : 193
141.46/112.06	c (2,0) c LitScanFractions_3 : 11518
141.46/112.06	c (2,0) c LitScanFractions_4 : 2370
141.46/112.06	c (2,0) c LitScanFractions_5 : 2927
141.46/112.06	c (2,0) c LitScanFractions_6 : 208
141.46/112.06	c (2,0) c LitScanFractions_7 : 1723
141.46/112.06	c (2,0) c LitScanFractions_total : 28031
141.46/112.06	c (2,0) c LitScanFractions_winner : 193
141.46/112.06	c (2,0) c DecisionLevel0_0 : 43
141.46/112.06	c (2,0) c DecisionLevel0_1 : 41
141.46/112.06	c (2,0) c DecisionLevel0_2 : 41
141.46/112.06	c (2,0) c DecisionLevel0_3 : 32
141.46/112.06	c (2,0) c DecisionLevel0_4 : 33
141.46/112.06	c (2,0) c DecisionLevel0_5 : 26
141.46/112.06	c (2,0) c DecisionLevel0_6 : 45
141.46/112.06	c (2,0) c DecisionLevel0_7 : 36
141.46/112.06	c (2,0) c DecisionLevel0_total : 297
141.46/112.06	c (2,0) c DecisionLevel0_winner : 41
141.46/112.06	c (2,0) c Periods_0 : 3
141.46/112.06	c (2,0) c Periods_1 : 3
141.46/112.06	c (2,0) c Periods_2 : 3
141.46/112.06	c (2,0) c Periods_3 : 3
141.46/112.06	c (2,0) c Periods_4 : 3
141.46/112.06	c (2,0) c Periods_5 : 3
141.46/112.06	c (2,0) c Periods_6 : 3
141.46/112.06	c (2,0) c Periods_7 : 3
141.46/112.06	c (2,0) c Periods_total : 24
141.46/112.06	c (2,0) c Periods_winner : 3
141.46/112.06	c (2,0) c Margin_0 : 20
141.46/112.06	c (2,0) c Margin_1 : 20
141.46/112.06	c (2,0) c Margin_2 : 20
141.46/112.06	c (2,0) c Margin_3 : 20
141.46/112.06	c (2,0) c Margin_4 : 20
141.46/112.06	c (2,0) c Margin_5 : 20
141.46/112.06	c (2,0) c Margin_6 : 20
141.46/112.06	c (2,0) c Margin_7 : 20
141.46/112.06	c (2,0) c Margin_total : 160
141.46/112.06	c (2,0) c Margin_winner : 20
141.46/112.06	c (2,0) c Exported_0 : 531
141.46/112.06	c (2,0) c Exported_1 : 595
141.46/112.06	c (2,0) c Exported_2 : 529
141.46/112.06	c (2,0) c Exported_3 : 541
141.46/112.06	c (2,0) c Exported_4 : 535
141.46/112.06	c (2,0) c Exported_5 : 544
141.46/112.06	c (2,0) c Exported_6 : 509
141.46/112.06	c (2,0) c Exported_7 : 587
141.46/112.06	c (2,0) c Exported_total : 4371
141.46/112.06	c (2,0) c Exported_winner : 529
141.46/112.06	c (2,0) c Imported_0 : 0
141.46/112.06	c (2,0) c Imported_1 : 0
141.46/112.06	c (2,0) c Imported_2 : 0
141.46/112.06	c (2,0) c Imported_3 : 0
141.46/112.06	c (2,0) c Imported_4 : 0
141.46/112.06	c (2,0) c Imported_5 : 0
141.46/112.06	c (2,0) c Imported_6 : 0
141.46/112.06	c (2,0) c Imported_7 : 0
141.46/112.06	c (2,0) c Imported_total : 0
141.46/112.06	c (2,0) c Imported_winner : 0
141.46/112.06	c (2,0) c Good_0 : 0
141.46/112.06	c (2,0) c Good_1 : 0
141.46/112.06	c (2,0) c Good_2 : 0
141.46/112.06	c (2,0) c Good_3 : 0
141.46/112.06	c (2,0) c Good_4 : 0
141.46/112.06	c (2,0) c Good_5 : 0
141.46/112.06	c (2,0) c Good_6 : 0
141.46/112.06	c (2,0) c Good_7 : 0
141.46/112.06	c (2,0) c Good_total : 0
141.46/112.06	c (2,0) c Good_winner : 0
141.46/112.06	c (2,0) c Purge_0 : 0
141.46/112.06	c (2,0) c Purge_1 : 0
141.46/112.06	c (2,0) c Purge_2 : 0
141.46/112.06	c (2,0) c Purge_3 : 0
141.46/112.06	c (2,0) c Purge_4 : 0
141.46/112.06	c (2,0) c Purge_5 : 0
141.46/112.06	c (2,0) c Purge_6 : 0
141.46/112.07	c (2,0) c Purge_7 : 0
141.46/112.07	c (2,0) c Purge_total : 0
141.46/112.07	c (2,0) c Purge_winner : 0
141.46/112.07	c (2,0) c Promoted_0 : 0
141.46/112.07	c (2,0) c Promoted_1 : 0
141.46/112.07	c (2,0) c Promoted_2 : 0
141.46/112.07	c (2,0) c Promoted_3 : 0
141.46/112.07	c (2,0) c Promoted_4 : 0
141.46/112.07	c (2,0) c Promoted_5 : 0
141.46/112.07	c (2,0) c Promoted_6 : 0
141.46/112.07	c (2,0) c Promoted_7 : 0
141.46/112.07	c (2,0) c Promoted_total : 0
141.46/112.07	c (2,0) c Promoted_winner : 0
141.46/112.07	c (2,0) c Remove_Imp_0 : 0
141.46/112.07	c (2,0) c Remove_Imp_1 : 0
141.46/112.07	c (2,0) c Remove_Imp_2 : 0
141.46/112.07	c (2,0) c Remove_Imp_3 : 0
141.46/112.07	c (2,0) c Remove_Imp_4 : 0
141.46/112.07	c (2,0) c Remove_Imp_5 : 0
141.46/112.07	c (2,0) c Remove_Imp_6 : 0
141.46/112.07	c (2,0) c Remove_Imp_7 : 0
141.46/112.07	c (2,0) c Remove_Imp_total : 0
141.46/112.07	c (2,0) c Remove_Imp_winner : 0
141.46/112.07	c (2,0) c Blocked_Reuse_0 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_1 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_2 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_3 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_4 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_5 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_6 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_7 : 0
141.46/112.07	c (2,0) c Blocked_Reuse_total : 0
141.46/112.07	c (2,0) c Blocked_Reuse_winner : 0
141.46/112.07	c (2,0) c Unaries_0 : 18
141.46/112.07	c (2,0) c Unaries_1 : 19
141.46/112.07	c (2,0) c Unaries_2 : 23
141.46/112.07	c (2,0) c Unaries_3 : 16
141.46/112.07	c (2,0) c Unaries_4 : 17
141.46/112.07	c (2,0) c Unaries_5 : 14
141.46/112.07	c (2,0) c Unaries_6 : 23
141.46/112.07	c (2,0) c Unaries_7 : 18
141.46/112.07	c (2,0) c Unaries_total : 148
141.46/112.07	c (2,0) c Unaries_winner : 23
141.46/112.07	c (2,0) c Binaries_0 : 369
141.46/112.07	c (2,0) c Binaries_1 : 417
141.46/112.07	c (2,0) c Binaries_2 : 386
141.46/112.07	c (2,0) c Binaries_3 : 398
141.46/112.07	c (2,0) c Binaries_4 : 386
141.46/112.07	c (2,0) c Binaries_5 : 405
141.46/112.07	c (2,0) c Binaries_6 : 389
141.46/112.07	c (2,0) c Binaries_7 : 449
141.46/112.07	c (2,0) c Binaries_total : 3199
141.46/112.07	c (2,0) c Binaries_winner : 386
141.46/112.07	c (2,0) c Glues_0 : 531
141.46/112.07	c (2,0) c Glues_1 : 595
141.46/112.07	c (2,0) c Glues_2 : 529
141.46/112.07	c (2,0) c Glues_3 : 541
141.46/112.07	c (2,0) c Glues_4 : 535
141.46/112.07	c (2,0) c Glues_5 : 544
141.46/112.07	c (2,0) c Glues_6 : 509
141.46/112.07	c (2,0) c Glues_7 : 587
141.46/112.07	c (2,0) c Glues_total : 4371
141.46/112.07	c (2,0) c Glues_winner : 529
141.46/112.07	c (2,0) c RunningTime_0 : 0.256353
141.46/112.07	c (2,0) c RunningTime_1 : 0.271260
141.46/112.07	c (2,0) c RunningTime_2 : 0.255151
141.46/112.07	c (2,0) c RunningTime_3 : 0.258496
141.46/112.07	c (2,0) c RunningTime_4 : 0.256552
141.46/112.07	c (2,0) c RunningTime_5 : 0.276274
141.46/112.07	c (2,0) c RunningTime_6 : 0.258016
141.46/112.07	c (2,0) c RunningTime_7 : 0.259215
141.46/112.07	c (2,0) c RunningTime_total : 2.091316
141.46/112.07	c (2,0) c RunningTime_winner : 0.255151
141.46/112.07	c (2,0) c WaitingTime_0 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_1 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_2 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_3 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_4 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_5 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_6 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_7 : 0.000000
141.46/112.07	c (2,0) c WaitingTime_total : 0.000000
141.46/112.07	c (2,0) c WaitingTime_winner : 0.000000
141.46/112.07	c (2,0) c ExchangingTime_0 : 0.000821
141.46/112.07	c (2,0) c ExchangingTime_1 : 0.000883
141.46/112.07	c (2,0) c ExchangingTime_2 : 0.000729
141.46/112.07	c (2,0) c ExchangingTime_3 : 0.000350
141.46/112.07	c (2,0) c ExchangingTime_4 : 0.000604
141.46/112.07	c (2,0) c ExchangingTime_5 : 0.000830
141.46/112.07	c (2,0) c ExchangingTime_6 : 0.000312
141.46/112.07	c (2,0) c ExchangingTime_7 : 0.000397
141.46/112.07	c (2,0) c ExchangingTime_total : 0.004926
141.46/112.07	c (2,0) c ExchangingTime_winner : 0.000729
141.46/112.07	c (2,0) c PeriodProcTime_0 : 0.000033
141.46/112.07	c (2,0) c PeriodProcTime_1 : 0.000016
141.46/112.07	c (2,0) c PeriodProcTime_2 : 0.000050
141.46/112.07	c (2,0) c PeriodProcTime_3 : 0.000020
141.46/112.07	c (2,0) c PeriodProcTime_4 : 0.000022
141.46/112.07	c (2,0) c PeriodProcTime_5 : 0.000038
141.46/112.07	c (2,0) c PeriodProcTime_6 : 0.000019
141.46/112.07	c (2,0) c PeriodProcTime_7 : 0.000023
141.46/112.07	c (2,0) c PeriodProcTime_total : 0.000221
141.46/112.07	c (2,0) c PeriodProcTime_winner : 0.000050
141.46/112.07	c (2,0) c SolvingTime_0 : 0.257207
141.46/112.07	c (2,0) c SolvingTime_1 : 0.272160
141.46/112.07	c (2,0) c SolvingTime_2 : 0.255929
141.46/112.07	c (2,0) c SolvingTime_3 : 0.258866
141.46/112.07	c (2,0) c SolvingTime_4 : 0.257177
141.46/112.07	c (2,0) c SolvingTime_5 : 0.277143
141.46/112.07	c (2,0) c SolvingTime_6 : 0.258347
141.46/112.07	c (2,0) c SolvingTime_7 : 0.259635
141.46/112.07	c (2,0) c SolvingTime_total : 2.096464
141.46/112.07	c (2,0) c SolvingTime_winner : 0.255929
141.46/112.07	c (2,0) c PropagationTime_0 : 0.184797
141.46/112.07	c (2,0) c PropagationTime_1 : 0.184997
141.46/112.07	c (2,0) c PropagationTime_2 : 0.159892
141.46/112.07	c (2,0) c PropagationTime_3 : 0.157817
141.46/112.07	c (2,0) c PropagationTime_4 : 0.170460
141.46/112.07	c (2,0) c PropagationTime_5 : 0.180204
141.46/112.07	c (2,0) c PropagationTime_6 : 0.174982
141.46/112.07	c (2,0) c PropagationTime_7 : 0.175111
141.46/112.07	c (2,0) c PropagationTime_total : 1.388259
141.46/112.07	c (2,0) c PropagationTime_winner : 0.159892
141.46/112.07	c (2,0) c AnalysisTime_0 : 0.054776
141.46/112.07	c (2,0) c AnalysisTime_1 : 0.068163
141.46/112.07	c (2,0) c AnalysisTime_2 : 0.076539
141.46/112.07	c (2,0) c AnalysisTime_3 : 0.081947
141.46/112.07	c (2,0) c AnalysisTime_4 : 0.068313
141.46/112.07	c (2,0) c AnalysisTime_5 : 0.068221
141.46/112.07	c (2,0) c AnalysisTime_6 : 0.065514
141.46/112.07	c (2,0) c AnalysisTime_7 : 0.068442
141.46/112.07	c (2,0) c AnalysisTime_total : 0.551915
141.46/112.07	c (2,0) c AnalysisTime_winner : 0.076539
141.46/112.07	c (2,0) c ReductionTime_0 : 0.000321
141.46/112.07	c (2,0) c ReductionTime_1 : 0.000323
141.46/112.07	c (2,0) c ReductionTime_2 : 0.000324
141.46/112.07	c (2,0) c ReductionTime_3 : 0.000381
141.46/112.07	c (2,0) c ReductionTime_4 : 0.000301
141.46/112.07	c (2,0) c ReductionTime_5 : 0.000286
141.46/112.07	c (2,0) c ReductionTime_6 : 0.000309
141.46/112.07	c (2,0) c ReductionTime_7 : 0.000316
141.46/112.07	c (2,0) c ReductionTime_total : 0.002561
141.46/112.07	c (2,0) c ReductionTime_winner : 0.000324
141.46/112.07	c (2,0) c SimplifyTime_0 : 0.001174
141.46/112.07	c (2,0) c SimplifyTime_1 : 0.001223
141.46/112.07	c (2,0) c SimplifyTime_2 : 0.002231
141.46/112.07	c (2,0) c SimplifyTime_3 : 0.001823
141.46/112.07	c (2,0) c SimplifyTime_4 : 0.002165
141.46/112.07	c (2,0) c SimplifyTime_5 : 0.001051
141.46/112.07	c (2,0) c SimplifyTime_6 : 0.001254
141.46/112.07	c (2,0) c SimplifyTime_7 : 0.001177
141.46/112.07	c (2,0) c SimplifyTime_total : 0.012098
141.46/112.07	c (2,0) c SimplifyTime_winner : 0.002231
141.46/112.07	c (2,0) c UsedRateTime_0 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_1 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_2 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_3 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_4 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_5 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_6 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_7 : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_total : 0.000000
141.46/112.07	c (2,0) c UsedRateTime_winner : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_0 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_1 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_2 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_3 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_4 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_5 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_6 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_7 : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_total : 0.000000
141.46/112.07	c (2,0) c OverlapRateTime_winner : 0.000000
141.46/112.07	c (2,0) c
141.46/112.07	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
141.46/112.07	c (2,0) c
141.46/112.07	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.07	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
141.46/112.07	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.07	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
141.46/112.07	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
141.46/112.07	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
141.46/112.07	c (2,0) c | Initial random_seed   | 1981628610 |  417437840 |   14504843 |  748170588 | 1333133422 | 1543091041 | 1497911727 |   32390049 |
141.46/112.07	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
141.46/112.07	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
141.46/112.07	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
141.46/112.07	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
141.46/112.07	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
141.46/112.07	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
141.46/112.07	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
141.46/112.07	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
141.46/112.07	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
141.46/112.07	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
141.46/112.07	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
141.46/112.07	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
141.46/112.07	c (2,0) 
141.46/112.07	c (2,0) s SATISFIABLE
141.46/112.11	c (2,0) SatSolver.solve End
141.46/112.11	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
141.46/112.11	c (2,0) Show results Begin
141.90/112.19	c (2,0) w3 = 160
141.90/112.19	c (2,0) w4 = 0
141.90/112.19	c (2,0) x[0] = 10
141.90/112.19	c (2,0) x[1] = 3
141.90/112.19	c (2,0) x[2] = 16
141.90/112.19	c (2,0) x[3] = 12
141.90/112.19	c (2,0) x[4] = 4
141.90/112.19	c (2,0) x[5] = 9
141.90/112.19	c (2,0) x[6] = 5
141.90/112.19	c (2,0) x[7] = 18
141.90/112.19	c (2,0) x[8] = 8
141.90/112.19	c (2,0) x[9] = 14
141.90/112.19	c (2,0) x[10] = 13
141.90/112.19	c (2,0) x[11] = 2
141.90/112.19	c (2,0) x[12] = 15
141.90/112.19	c (2,0) x[13] = 7
141.90/112.19	c (2,0) x[14] = 1
141.90/112.19	c (2,0) x[15] = 19
141.90/112.19	c (2,0) x[16] = 6
141.90/112.19	c (2,0) x[17] = 17
141.90/112.19	c (2,0) x[18] = 20
141.90/112.19	c (2,0) x[19] = 11
141.90/112.19	c (2,0) y[0] = 13
141.90/112.19	c (2,0) y[1] = 3
141.90/112.19	c (2,0) y[2] = 1
141.90/112.19	c (2,0) y[3] = 15
141.90/112.19	c (2,0) y[4] = 6
141.90/112.19	c (2,0) y[5] = 0
141.90/112.19	c (2,0) y[6] = 5
141.90/112.19	c (2,0) y[7] = 11
141.90/112.19	c (2,0) y[8] = 2
141.90/112.19	c (2,0) y[9] = 1
141.90/112.19	c (2,0) y[10] = 2
141.90/112.19	c (2,0) y[11] = 20
141.90/112.19	c (2,0) y[12] = 7
141.90/112.19	c (2,0) y[13] = 26
141.90/112.19	c (2,0) y[14] = 0
141.90/112.19	c (2,0) y[15] = 21
141.90/112.19	c (2,0) y[16] = 0
141.90/112.19	c (2,0) y[17] = 3
141.90/112.19	c (2,0) y[18] = 15
141.90/112.19	c (2,0) y[19] = 9
141.90/112.19	c (2,0) z[0] = 16
141.90/112.19	c (2,0) z[1] = 17
141.90/112.19	c (2,0) z[2] = 32
141.90/112.19	c (2,0) z[3] = 38
141.90/112.19	c (2,0) z[4] = 38
141.90/112.19	c (2,0) z[5] = 43
141.90/112.19	c (2,0) z[6] = 54
141.90/112.19	c (2,0) z[7] = 56
141.90/112.19	c (2,0) z[8] = 57
141.90/112.19	c (2,0) z[9] = 59
141.90/112.19	c (2,0) z[10] = 79
141.90/112.19	c (2,0) z[11] = 86
141.90/112.19	c (2,0) z[12] = 112
141.90/112.19	c (2,0) z[13] = 112
141.90/112.19	c (2,0) z[14] = 133
141.90/112.19	c (2,0) z[15] = 133
141.90/112.19	c (2,0) z[16] = 136
141.90/112.19	c (2,0) z[17] = 151
141.90/112.19	c (2,0) z[18] = 160
141.90/112.19	s SATISFIABLE
141.90/112.20	v <instantiation>
141.90/112.20	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.90/112.20	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.90/112.20	v </instantiation>
141.90/112.20	c (2,0) Show results End
141.90/112.20	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
141.90/112.20	c (2,0) 2,2,STOP-AFTER(ALL)
141.90/112.20	c END-Prog: Sat Sep 14 07:42:30 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 (14567 MiB free)
  memory of node 1: 16384 MiB (15637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392584-1568439681/watcher-4392584-1568439681 -o /tmp/evaluation-result-4392584-1568439681/solver-4392584-1568439681 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568439189-30083 --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-4392584-1568439681.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=30332, runsolver pid=30329
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 6.45 7.10 7.64 3/212 30354
/proc/meminfo: memFree=30835388/32770624 swapFree=66948000/67108860
[pid=30332] ppid=30329 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30332/stat : 30332 (scop.sh) S 30329 30332 30056 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419909982 115843072 349 33554432000 4194304 5098028 140720646414176 140720646411432 140579474166396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38834176 140720646419236 140720646419564 140720646419564 140720646422477 0
/proc/30332/statm: 28282 349 296 221 0 87 0
[pid=30335] ppid=30332 vsize=27314120 memory=106372 CPUtime=0.11 cores=0-7
/proc/30335/stat : 30335 (java) S 30332 30332 30056 0 -1 1077944320 6120 0 0 0 9 2 0 0 20 0 20 0 419909983 27969658880 26593 33554432000 4194304 4196468 140725320125360 140725320107904 139856438509303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
/proc/30335/statm: 6828530 26593 2816 1 0 6790935 0
[pid=30335/tid=30336] ppid=30332 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30335/task/30336/stat : 30336 (java) R 30332 30332 30056 0 -1 4202560 4204 0 0 0 7 1 0 0 20 0 20 0 419909983 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856410313504 139856422589790 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30337] ppid=30332 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30335/task/30337/stat : 30337 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856442751248 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30338] ppid=30332 vsize=27314120 memory=140712970679936 CPUtime=0 cores=0-7
/proc/30335/task/30338/stat : 30338 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856226146704 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30339] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30339/stat : 30339 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856225094160 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30340] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30340/stat : 30340 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856224041616 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30341] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30341/stat : 30341 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856222989072 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30342] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30342/stat : 30342 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856221936528 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30343] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30343/stat : 30343 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856220883984 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30344] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30344/stat : 30344 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 26593 33554432000 4194304 4196468 140725320125360 139856219831440 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30345] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30345/stat : 30345 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419909987 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854489835504 139856438520450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30346] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30346/stat : 30346 (java) S 30332 30332 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419909987 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854402806688 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30347] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30347/stat : 30347 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909988 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854134371312 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30348] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30348/stat : 30348 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 26593 33554432000 4194304 4196468 140725320125360 139853759862992 139856438527899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30349] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30349/stat : 30349 (java) S 30332 30332 30056 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854488783344 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30350] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30350/stat : 30350 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854487730800 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30351] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30351/stat : 30351 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854486678256 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30352] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30352/stat : 30352 (java) S 30332 30332 30056 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854485625712 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30353] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30353/stat : 30353 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 26593 33554432000 4194304 4196468 140725320125360 139853261957344 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30354] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30354/stat : 30354 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909991 27969658880 26593 33554432000 4194304 4196468 140725320125360 139854484572592 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107768 KiB

[startup+0.210439 s]*
/proc/loadavg: 6.45 7.10 7.64 2/212 30354
/proc/meminfo: memFree=30814348/32770624 swapFree=66948000/67108860
[pid=30332] ppid=30329 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30332/stat : 30332 (scop.sh) S 30329 30332 30056 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419909982 115843072 349 33554432000 4194304 5098028 140720646414176 140720646411432 140579474166396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38834176 140720646419236 140720646419564 140720646419564 140720646422477 0
/proc/30332/statm: 28282 349 296 221 0 87 0
[pid=30335] ppid=30332 vsize=27314120 memory=125392 CPUtime=0.25 cores=0-7
/proc/30335/stat : 30335 (java) S 30332 30332 30056 0 -1 1077944320 11725 0 0 0 21 4 0 0 20 0 20 0 419909983 27969658880 31348 33554432000 4194304 4196468 140725320125360 140725320107904 139856438509303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
/proc/30335/statm: 6828530 31348 2940 1 0 6790935 0
[pid=30335/tid=30336] ppid=30332 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30335/task/30336/stat : 30336 (java) R 30332 30332 30056 0 -1 4202560 9406 0 0 0 16 3 0 0 20 0 20 0 419909983 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856410317696 139856419882775 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30337] ppid=30332 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/30335/task/30337/stat : 30337 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856442751248 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30338] ppid=30332 vsize=27314120 memory=140712973787324 CPUtime=0 cores=0-7
/proc/30335/task/30338/stat : 30338 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856226146704 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30339] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30339/stat : 30339 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856225094160 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30340] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30340/stat : 30340 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856224041616 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30341] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30341/stat : 30341 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856222989072 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30342] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30342/stat : 30342 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856221936528 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30343] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30343/stat : 30343 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856220883984 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30344] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30344/stat : 30344 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 31348 33554432000 4194304 4196468 140725320125360 139856219831440 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30345] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30345/stat : 30345 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419909987 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854489835504 139856438520450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30346] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30346/stat : 30346 (java) S 30332 30332 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419909987 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854402806688 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30347] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30347/stat : 30347 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909988 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854134371312 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30348] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30348/stat : 30348 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 31348 33554432000 4194304 4196468 140725320125360 139853759862992 139856438527899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30349] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30349/stat : 30349 (java) S 30332 30332 30056 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854488783344 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30350] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30350/stat : 30350 (java) S 30332 30332 30056 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854487730800 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30351] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30351/stat : 30351 (java) S 30332 30332 30056 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854486678256 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30352] ppid=30332 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30335/task/30352/stat : 30352 (java) S 30332 30332 30056 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 419909990 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854485625712 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30353] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30353/stat : 30353 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 31348 33554432000 4194304 4196468 140725320125360 139853261957344 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30354] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30354/stat : 30354 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909991 27969658880 31348 33554432000 4194304 4196468 140725320125360 139854484572592 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126788 KiB

[startup+0.310256 s]*
/proc/loadavg: 6.45 7.10 7.64 2/212 30354
/proc/meminfo: memFree=30810812/32770624 swapFree=66948000/67108860
[pid=30332] ppid=30329 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30332/stat : 30332 (scop.sh) S 30329 30332 30056 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419909982 115843072 349 33554432000 4194304 5098028 140720646414176 140720646411432 140579474166396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38834176 140720646419236 140720646419564 140720646419564 140720646422477 0
/proc/30332/statm: 28282 349 296 221 0 87 0
[pid=30335] ppid=30332 vsize=27314120 memory=129688 CPUtime=0.42 cores=0-7
/proc/30335/stat : 30335 (java) S 30332 30332 30056 0 -1 1077944320 12272 0 0 0 38 4 0 0 20 0 20 0 419909983 27969658880 32422 33554432000 4194304 4196468 140725320125360 140725320107904 139856438509303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
/proc/30335/statm: 6828530 32422 3021 1 0 6790935 0
[pid=30335/tid=30336] ppid=30332 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30335/task/30336/stat : 30336 (java) R 30332 30332 30056 0 -1 4202560 9767 0 0 0 26 3 0 0 20 0 20 0 419909983 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856410303408 139856422589790 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30337] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30337/stat : 30337 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856442751248 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30338] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30338/stat : 30338 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856226146704 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30339] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30339/stat : 30339 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856225094160 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30340] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30340/stat : 30340 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856224041616 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30341] ppid=30332 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30335/task/30341/stat : 30341 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856222989072 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30342] ppid=30332 vsize=27314120 memory=140712859497391 CPUtime=0 cores=0-7
/proc/30335/task/30342/stat : 30342 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856221936528 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30343] ppid=30332 vsize=27314120 memory=140712859499696 CPUtime=0 cores=0-7
/proc/30335/task/30343/stat : 30343 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856220883984 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30344] ppid=30332 vsize=27314120 memory=140712859502000 CPUtime=0 cores=0-7
/proc/30335/task/30344/stat : 30344 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909985 27969658880 32422 33554432000 4194304 4196468 140725320125360 139856219831440 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30345] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30345/stat : 30345 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419909987 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854489835504 139856438520450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30346] ppid=30332 vsize=27314120 memory=281425719010960 CPUtime=0 cores=0-7
/proc/30335/task/30346/stat : 30346 (java) S 30332 30332 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419909987 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854402806688 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30347] ppid=30332 vsize=27314120 memory=281425719017872 CPUtime=0 cores=0-7
/proc/30335/task/30347/stat : 30347 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909988 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854134371312 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30348] ppid=30332 vsize=27314120 memory=281425718959152 CPUtime=0 cores=0-7
/proc/30335/task/30348/stat : 30348 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 32422 33554432000 4194304 4196468 140725320125360 139853759862992 139856438527899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30349] ppid=30332 vsize=27314120 memory=281425719031696 CPUtime=0.01 cores=0-7
/proc/30335/task/30349/stat : 30349 (java) S 30332 30332 30056 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 419909990 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854488783344 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30350] ppid=30332 vsize=27314120 memory=281425719038608 CPUtime=0.02 cores=0-7
/proc/30335/task/30350/stat : 30350 (java) R 30332 30332 30056 0 -1 4202560 255 0 0 0 2 0 0 0 20 0 20 0 419909990 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854487730800 139856422412384 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30351] ppid=30332 vsize=27314120 memory=281425719036304 CPUtime=0 cores=0-7
/proc/30335/task/30351/stat : 30351 (java) S 30332 30332 30056 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854486678256 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30352] ppid=30332 vsize=27314120 memory=281425719052464 CPUtime=0.07 cores=0-7
/proc/30335/task/30352/stat : 30352 (java) S 30332 30332 30056 0 -1 1077944384 534 0 0 0 7 0 0 0 20 0 20 0 419909990 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854485625712 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30353] ppid=30332 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30353/stat : 30353 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419909990 27969658880 32422 33554432000 4194304 4196468 140725320125360 139853261957344 139856438519509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30354] ppid=30332 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30335/task/30354/stat : 30354 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909991 27969658880 32422 33554432000 4194304 4196468 140725320125360 139854484572592 139856438520450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131084 KiB

[startup+0.701043 s]
/proc/loadavg: 6.45 7.10 7.64 2/212 30354
/proc/meminfo: memFree=30789608/32770624 swapFree=66948000/67108860
[pid=30332] ppid=30329 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30332/stat : 30332 (scop.sh) S 30329 30332 30056 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419909982 115843072 349 33554432000 4194304 5098028 140720646414176 140720646411432 140579474166396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38834176 140720646419236 140720646419564 140720646419564 140720646422477 0
/proc/30332/statm: 28282 349 296 221 0 87 0
[pid=30335] ppid=30332 vsize=27320392 memory=165392 CPUtime=1 cores=0-7
/proc/30335/stat : 30335 (java) S 30332 30332 30056 0 -1 1077944320 19967 0 0 0 93 7 0 0 20 0 20 0 419909983 27976081408 41348 33554432000 4194304 4196468 140725320125360 140725320107904 139856438509303 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
/proc/30335/statm: 6830098 41348 3186 1 0 6791447 0
[pid=30335/tid=30336] ppid=30332 vsize=27320392 memory=281425719410352 CPUtime=0.67 cores=0-7
/proc/30335/task/30336/stat : 30336 (java) R 30332 30332 30056 0 -1 4202560 16819 0 0 0 61 6 0 0 20 0 20 0 419909983 27976081408 41348 33554432000 4194304 4196468 140725320125360 139856410344992 139856438521238 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30337] ppid=30332 vsize=27320392 memory=140712859706224 CPUtime=0 cores=0-7
/proc/30335/task/30337/stat : 30337 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27976081408 41348 33554432000 4194304 4196468 140725320125360 139856442751248 139856438519509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30338] ppid=30332 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/30335/task/30338/stat : 30338 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27976081408 41348 33554432000 4194304 4196468 140725320125360 139856226146704 139856438519509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0
[pid=30335/tid=30339] ppid=30332 vsize=27320392 memory=1720 CPUtime=0 cores=0-7
/proc/30335/task/30339/stat : 30339 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419909985 27976081408 41348 33554432000 4194304 4196468 140725320125360 139856225094160 139856438519509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140725320127210 140725320127638 140725320127638 140725320130511 0

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

/proc/30362/task/30374/stat : 30374 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920885 8616062976 30067 33554432000 4194304 4196468 140728434259328 139799440647792 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30375] ppid=30332 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/30362/task/30375/stat : 30375 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139799066139216 139801148143515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30376] ppid=30332 vsize=8414124 memory=1556 CPUtime=0.07 cores=0-7
/proc/30362/task/30376/stat : 30376 (java) S 30332 30332 30056 0 -1 1077944384 585 0 0 0 7 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800373856368 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30377] ppid=30332 vsize=8414124 memory=924 CPUtime=0.05 cores=0-7
/proc/30362/task/30377/stat : 30377 (java) S 30332 30332 30056 0 -1 1077944384 399 0 0 0 5 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800372803568 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30378] ppid=30332 vsize=8414124 memory=1672 CPUtime=0.06 cores=0-7
/proc/30362/task/30378/stat : 30378 (java) S 30332 30332 30056 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800371751280 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30379] ppid=30332 vsize=8414124 memory=796 CPUtime=0.2 cores=0-7
/proc/30362/task/30379/stat : 30379 (java) S 30332 30332 30056 0 -1 1077944384 727 0 0 0 20 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800370698480 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30380] ppid=30332 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/30362/task/30380/stat : 30380 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139798568233824 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30381] ppid=30332 vsize=8414124 memory=17512 CPUtime=0 cores=0-7
/proc/30362/task/30381/stat : 30381 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920889 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800369646384 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30383] ppid=30332 vsize=8414124 memory=-7824251494390912872 CPUtime=0 cores=0-7
/proc/30362/task/30383/stat : 30383 (java) S 30332 30332 30056 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419920958 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800581887808 139801148149529 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30385] ppid=30332 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30362/task/30385/stat : 30385 (java) S 30332 30332 30056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419920958 8616062976 30067 33554432000 4194304 4196468 140728434259328 139797897133456 139801148146845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30386] ppid=30332 vsize=8414124 memory=11624 CPUtime=0 cores=0-7
/proc/30362/task/30386/stat : 30386 (java) S 30332 30332 30056 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419920958 8616062976 30067 33554432000 4194304 4196468 140728434259328 139798165568784 139801148146845 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30387] ppid=30332 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/30362/task/30387/stat : 30387 (java) S 30332 30332 30056 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 24 0 419920960 8616062976 30067 33554432000 4194304 4196468 140728434259328 139797628706096 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
Current children cumulated CPU time: 139.12 s
Current children cumulated vsize: 8561764 KiB
Current children cumulated memory: 139520 KiB

[startup+112.002 s]*
/proc/loadavg: 2.13 5.33 6.94 9/226 30395
/proc/meminfo: memFree=30724336/32770624 swapFree=66948000/67108860
[pid=30332] ppid=30329 vsize=113128 memory=1476 CPUtime=136.46 cores=0-7
/proc/30332/stat : 30332 (scop.sh) S 30329 30332 30056 0 -1 4202496 581 74907 0 0 0 0 13160 486 20 0 1 0 419909982 115843072 369 33554432000 4194304 5098028 140720646414176 140720646410920 140579474166396 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38834176 140720646419236 140720646419564 140720646419564 140720646422477 0
/proc/30332/statm: 28282 369 311 221 0 87 0
[pid=30362] ppid=30332 vsize=8414124 memory=120268 CPUtime=1.23 cores=0-7
/proc/30362/stat : 30362 (java) S 30332 30332 30056 0 -1 1077944320 21496 0 0 0 115 8 0 0 20 0 24 0 419920881 8616062976 30067 33554432000 4194304 4196468 140728434259328 140728434241872 139801148124919 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
/proc/30362/statm: 2103531 30067 3211 1 0 2064875 0
[pid=30382] ppid=30362 vsize=696112 memory=92520 CPUtime=3.77 cores=0-7
/proc/30382/stat : 30382 (manyglucose-4.1) S 30362 30332 30056 0 -1 1077944320 28026 0 0 0 364 13 0 0 20 0 9 0 419920957 712818688 23130 33554432000 4194304 4454172 140723401335968 140723401334368 140014273108610 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
/proc/30382/statm: 174028 23130 407 64 0 169696 0
[pid=30382/tid=30388] ppid=30362 vsize=696112 memory=924 CPUtime=0.21 cores=0-7
/proc/30382/task/30388/stat : 30388 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 333 0 0 0 20 1 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014250929256 140014258954537 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30389] ppid=30362 vsize=696112 memory=6791534058613427641 CPUtime=0.21 cores=0-7
/proc/30382/task/30389/stat : 30389 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 893 0 0 0 20 1 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014242536616 4333201 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30390] ppid=30362 vsize=696112 memory=6944656592455359580 CPUtime=0.22 cores=0-7
/proc/30382/task/30390/stat : 30390 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 1479 0 0 0 21 1 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014234143912 140014258954537 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30391] ppid=30362 vsize=696112 memory=6944656592455359580 CPUtime=0.21 cores=0-7
/proc/30382/task/30391/stat : 30391 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 1499 0 0 0 20 1 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014225751208 140014258410637 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30392] ppid=30362 vsize=696112 memory=6791534058613427641 CPUtime=0.21 cores=0-7
/proc/30382/task/30392/stat : 30392 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 994 0 0 0 21 0 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014217358440 4332706 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30393] ppid=30362 vsize=696112 memory=12024 CPUtime=0.19 cores=0-7
/proc/30382/task/30393/stat : 30393 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 257 0 0 0 19 0 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014208965736 4329148 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30394] ppid=30362 vsize=696112 memory=2120 CPUtime=0.21 cores=0-7
/proc/30382/task/30394/stat : 30394 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 273 0 0 0 20 1 0 0 20 0 9 0 419921160 712818688 23130 33554432000 4194304 4454172 140723401335968 140014200573032 140014258400229 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30382/tid=30395] ppid=30362 vsize=696112 memory=17776 CPUtime=0.21 cores=0-7
/proc/30382/task/30395/stat : 30395 (manyglucose-4.1) R 30362 30332 30056 0 -1 4202560 204 0 0 0 20 1 0 0 20 0 9 0 419921161 712818688 23130 33554432000 4194304 4454172 140723401335968 140014121905256 4335594 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 15810560 140723401343849 140723401344048 140723401344048 140723401347002 0
[pid=30362/tid=30363] ppid=30332 vsize=8414124 memory=7686721470267431059 CPUtime=0.79 cores=0-7
/proc/30362/task/30363/stat : 30363 (java) S 30332 30332 30056 0 -1 1077944384 17979 0 0 0 73 6 0 0 20 0 24 0 419920882 8616062976 30067 33554432000 4194304 4196468 140728434259328 139801119965088 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30364] ppid=30332 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30362/task/30364/stat : 30364 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139801152367504 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30365] ppid=30332 vsize=8414124 memory=3184 CPUtime=0 cores=0-7
/proc/30362/task/30365/stat : 30365 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800985746192 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30366] ppid=30332 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30362/task/30366/stat : 30366 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800632175760 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30367] ppid=30332 vsize=8414124 memory=120268 CPUtime=0 cores=0-7
/proc/30362/task/30367/stat : 30367 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800631122960 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30368] ppid=30332 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/30362/task/30368/stat : 30368 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800630069648 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30369] ppid=30332 vsize=8414124 memory=1672 CPUtime=0 cores=0-7
/proc/30362/task/30369/stat : 30369 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800629016848 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30370] ppid=30332 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/30362/task/30370/stat : 30370 (java) S 30332 30332 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800627964560 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30371] ppid=30332 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/30362/task/30371/stat : 30371 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419920883 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800626911760 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30372] ppid=30332 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/30362/task/30372/stat : 30372 (java) S 30332 30332 30056 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419920884 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800374909552 139801148136066 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30373] ppid=30332 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/30362/task/30373/stat : 30373 (java) S 30332 30332 30056 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419920885 8616062976 30067 33554432000 4194304 4196468 140728434259328 139799709082912 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30374] ppid=30332 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/30362/task/30374/stat : 30374 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920885 8616062976 30067 33554432000 4194304 4196468 140728434259328 139799440647792 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30375] ppid=30332 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30362/task/30375/stat : 30375 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139799066139216 139801148143515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30376] ppid=30332 vsize=8414124 memory=1396 CPUtime=0.07 cores=0-7
/proc/30362/task/30376/stat : 30376 (java) S 30332 30332 30056 0 -1 1077944384 585 0 0 0 7 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800373856368 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30377] ppid=30332 vsize=8414124 memory=7271292 CPUtime=0.05 cores=0-7
/proc/30362/task/30377/stat : 30377 (java) S 30332 30332 30056 0 -1 1077944384 399 0 0 0 5 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800372803568 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30378] ppid=30332 vsize=8414124 memory=-4695052241013923951 CPUtime=0.06 cores=0-7
/proc/30362/task/30378/stat : 30378 (java) S 30332 30332 30056 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800371751280 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30379] ppid=30332 vsize=8414124 memory=-7751062316387021378 CPUtime=0.21 cores=0-7
/proc/30362/task/30379/stat : 30379 (java) S 30332 30332 30056 0 -1 1077944384 730 0 0 0 21 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800370698480 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30380] ppid=30332 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/30362/task/30380/stat : 30380 (java) S 30332 30332 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419920888 8616062976 30067 33554432000 4194304 4196468 140728434259328 139798568233824 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30381] ppid=30332 vsize=8414124 memory=11064 CPUtime=0 cores=0-7
/proc/30362/task/30381/stat : 30381 (java) S 30332 30332 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419920889 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800369646384 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30383] ppid=30332 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/30362/task/30383/stat : 30383 (java) S 30332 30332 30056 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419920958 8616062976 30067 33554432000 4194304 4196468 140728434259328 139800581887808 139801148149529 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30385] ppid=30332 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/30362/task/30385/stat : 30385 (java) S 30332 30332 30056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419920958 8616062976 30067 33554432000 4194304 4196468 140728434259328 139797897133456 139801148146845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30386] ppid=30332 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/30362/task/30386/stat : 30386 (java) S 30332 30332 30056 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419920958 8616062976 30067 33554432000 4194304 4196468 140728434259328 139798165568784 139801148146845 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30387] ppid=30332 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/30362/task/30387/stat : 30387 (java) S 30332 30332 30056 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 24 0 419920960 8616062976 30067 33554432000 4194304 4196468 140728434259328 139797628706096 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
Current children cumulated CPU time: 141.46 s
Current children cumulated vsize: 9223364 KiB
Current children cumulated memory: 214264 KiB

[startup+112.201 s]
/proc/loadavg: 2.13 5.33 6.94 9/226 30395
/proc/meminfo: memFree=30724336/32770624 swapFree=66948000/67108860
[pid=30332] ppid=30329 vsize=113128 memory=1476 CPUtime=136.46 cores=0-7
/proc/30332/stat : 30332 (scop.sh) S 30329 30332 30056 0 -1 4202496 581 74907 0 0 0 0 13160 486 20 0 1 0 419909982 115843072 369 33554432000 4194304 5098028 140720646414176 140720646410920 140579474166396 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38834176 140720646419236 140720646419564 140720646419564 140720646422477 0
/proc/30332/statm: 28282 369 311 221 0 87 0
[pid=30362] ppid=30332 vsize=8283048 memory=130984 CPUtime=5.62 cores=0-7
/proc/30362/stat : 30362 (java) S 30332 30332 30056 0 -1 1077944320 22118 28221 0 0 149 9 390 14 20 0 22 0 419920881 8481841152 32746 33554432000 4194304 4196468 140728434259328 140728434241872 139801148124919 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
/proc/30362/statm: 2070762 32746 3226 1 0 2032106 0
[pid=30362/tid=30363] ppid=30332 vsize=8283048 memory=7269192 CPUtime=4.91 cores=0-7
/proc/30362/task/30363/stat : 30363 (java) R 30332 30332 30056 0 -1 4202560 18238 28221 0 0 81 6 390 14 20 0 22 0 419920882 8481841152 32746 33554432000 4194304 4196468 140728434259328 139801119961712 139801140810551 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30364] ppid=30332 vsize=8283048 memory=288293255295284597 CPUtime=4.04 cores=0-7
/proc/30362/task/30364/stat : 30364 (java) S 30332 30332 30056 0 -1 1077944384 2 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139801152367504 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30365] ppid=30332 vsize=8283048 memory=3142954 CPUtime=4.04 cores=0-7
/proc/30362/task/30365/stat : 30365 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800985746192 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30366] ppid=30332 vsize=8283048 memory=1396 CPUtime=4.04 cores=0-7
/proc/30362/task/30366/stat : 30366 (java) S 30332 30332 30056 0 -1 1077944384 2 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800632175760 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30367] ppid=30332 vsize=8283048 memory=120044 CPUtime=4.04 cores=0-7
/proc/30362/task/30367/stat : 30367 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800631122960 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30368] ppid=30332 vsize=8283048 memory=281425719144024 CPUtime=4.04 cores=0-7
/proc/30362/task/30368/stat : 30368 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800630069648 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30369] ppid=30332 vsize=8283048 memory=8819569139123385389 CPUtime=4.04 cores=0-7
/proc/30362/task/30369/stat : 30369 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800629016848 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30370] ppid=30332 vsize=8283048 memory=288284480760972432 CPUtime=4.04 cores=0-7
/proc/30362/task/30370/stat : 30370 (java) S 30332 30332 30056 0 -1 1077944384 2 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800627964560 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30371] ppid=30332 vsize=8283048 memory=-4546129931942301728 CPUtime=4.04 cores=0-7
/proc/30362/task/30371/stat : 30371 (java) S 30332 30332 30056 0 -1 1077944384 3 28221 0 0 0 0 390 14 20 0 22 0 419920883 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800626911760 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30372] ppid=30332 vsize=8283048 memory=6656426216303648864 CPUtime=4.04 cores=0-7
/proc/30362/task/30372/stat : 30372 (java) S 30332 30332 30056 0 -1 1077944384 5 28221 0 0 0 0 390 14 20 0 22 0 419920884 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800374909552 139801148136066 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30373] ppid=30332 vsize=8283048 memory=1556 CPUtime=4.04 cores=0-7
/proc/30362/task/30373/stat : 30373 (java) S 30332 30332 30056 0 -1 1077944384 13 28221 0 0 0 0 390 14 20 0 22 0 419920885 8481841152 32746 33554432000 4194304 4196468 140728434259328 139799709082912 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30374] ppid=30332 vsize=8283048 memory=924 CPUtime=4.04 cores=0-7
/proc/30362/task/30374/stat : 30374 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920885 8481841152 32746 33554432000 4194304 4196468 140728434259328 139799440647792 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30375] ppid=30332 vsize=8283048 memory=1672 CPUtime=4.04 cores=0-7
/proc/30362/task/30375/stat : 30375 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920888 8481841152 32746 33554432000 4194304 4196468 140728434259328 139799066139216 139801148143515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30376] ppid=30332 vsize=8283048 memory=796 CPUtime=4.15 cores=0-7
/proc/30362/task/30376/stat : 30376 (java) S 30332 30332 30056 0 -1 1077944384 605 28221 0 0 11 0 390 14 20 0 22 0 419920888 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800373856368 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30377] ppid=30332 vsize=8283048 memory=1436 CPUtime=4.11 cores=0-7
/proc/30362/task/30377/stat : 30377 (java) S 30332 30332 30056 0 -1 1077944384 412 28221 0 0 7 0 390 14 20 0 22 0 419920888 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800372803568 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30378] ppid=30332 vsize=8283048 memory=1984 CPUtime=4.16 cores=0-7
/proc/30362/task/30378/stat : 30378 (java) R 30332 30332 30056 0 -1 4202560 353 28221 0 0 12 0 390 14 20 0 22 0 419920888 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800371737792 139801129670283 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30379] ppid=30332 vsize=8283048 memory=2424 CPUtime=4.33 cores=0-7
/proc/30362/task/30379/stat : 30379 (java) S 30332 30332 30056 0 -1 1077944384 934 28221 0 0 29 0 390 14 20 0 22 0 419920888 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800370698480 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30380] ppid=30332 vsize=8283048 memory=1764 CPUtime=4.04 cores=0-7
/proc/30362/task/30380/stat : 30380 (java) S 30332 30332 30056 0 -1 1077944384 3 28221 0 0 0 0 390 14 20 0 22 0 419920888 8481841152 32746 33554432000 4194304 4196468 140728434259328 139798568233824 139801148135125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30381] ppid=30332 vsize=8283048 memory=111636 CPUtime=4.04 cores=0-7
/proc/30362/task/30381/stat : 30381 (java) S 30332 30332 30056 0 -1 1077944384 1 28221 0 0 0 0 390 14 20 0 22 0 419920889 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800369646384 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30383] ppid=30332 vsize=8283048 memory=804 CPUtime=4.04 cores=0-7
/proc/30362/task/30383/stat : 30383 (java) S 30332 30332 30056 0 -1 1077944384 26 28221 0 0 0 0 390 14 20 0 22 0 419920958 8481841152 32746 33554432000 4194304 4196468 140728434259328 139800581886992 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
[pid=30362/tid=30387] ppid=30332 vsize=8283048 memory=1732 CPUtime=4.04 cores=0-7
/proc/30362/task/30387/stat : 30387 (java) S 30332 30332 30056 0 -1 1077944384 137 28221 0 0 0 0 390 14 20 0 22 0 419920960 8481841152 32746 33554432000 4194304 4196468 140728434259328 139797628707888 139801148136066 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8835072 140728434263031 140728434263190 140728434263190 140728434266063 0
Current children cumulated CPU time: 142.08 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 132460 KiB

Child status: 0
Real time (s): 112.219
CPU time (s): 142.118
CPU user time (s): 137.009
CPU system time (s): 5.1083
CPU usage (%): 126.643
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7273960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.009
system time used= 5.1083
maximum resident set size= 7273352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24907
involuntary context switches= 285


# summary of solver processes directly reported to runsolver:
#   pid: 30332
#   total CPU time (s): 142.118
#   total CPU user time (s): 137.009
#   total CPU system time (s): 5.1083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.802441 second user time and 1.2004 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 07:40:38
IDJOB=4392584
IDBENCH=135918
IDSOLVER=2839
FILE ID=node117/4392584-1568439681
RUNJOBID= node117-1568439189-30083
PBS_JOBID= 21702331
Free space on /tmp= 61184 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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 /tmp/evaluation-result-4392584-1568439681/watcher-4392584-1568439681 -o /tmp/evaluation-result-4392584-1568439681/solver-4392584-1568439681 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568439189-30083 --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-4392584-1568439681.xml

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

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=1153875826

node117.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.75
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.75
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.75
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.75
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:        30931296 kB
MemAvailable:   31865136 kB
Buffers:          151420 kB
Cached:          1048748 kB
SwapCached:        51940 kB
Active:           771216 kB
Inactive:         482380 kB
Active(anon):      17920 kB
Inactive(anon):    59792 kB
Active(file):     753296 kB
Inactive(file):   422588 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66948000 kB
Dirty:             20780 kB
Writeback:             0 kB
AnonPages:        112600 kB
Mapped:            33920 kB
Shmem:             15908 kB
Slab:             175964 kB
SReclaimable:     147580 kB
SUnreclaim:        28384 kB
KernelStack:        3344 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61164 MiB
End job on node117 at 2019-09-14 07:42:31