Trace number 4405144

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20653-serial-file.bin HOME/instance-4405144-1569356190.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 22:15:52 CEST 2019
0.66/0.57	c PID: 20656
0.66/0.57	c IP: 172.20.3.149
0.66/0.57	c HOST: node149.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.55/1.17	c (0,0) Parsing End
2.55/1.17	c (0,0) CSP: 60 int (0 aux), 1 bool (0 aux), 228 ctr, max domain size 1001
2.55/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.55/1.17	c (0,0) Constraint Name Generate Begin
2.55/1.18	c (0,0) Ctr:HOME/instance-4405144-1569356190.xml,ExtensionConflict:ExtensionSupport:Var
2.55/1.18	c (0,0) Constraint Name Generate End
2.55/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.55/1.18	c (0,0) CSP to CSPinCNF Begin
73.45/62.70	c (62,61) translated 23 (10%) constraints
74.44/63.15	c (62,62) translated 46 (20%) constraints
75.10/63.57	c (63,62) translated 69 (30%) constraints
79.91/64.51	c (63,63) translated 92 (40%) constraints
80.32/64.91	c (64,63) translated 114 (50%) constraints
80.73/65.32	c (64,63) translated 137 (60%) constraints
81.13/65.74	c (65,64) translated 160 (70%) constraints
81.56/66.17	c (65,64) translated 183 (80%) constraints
82.87/67.22	c (66,65) translated 206 (90%) constraints
83.78/67.74	c (67,66) translated 228 (100%) constraints
83.78/67.76	c (67,66) ===========================================
83.78/67.77	c (67,66) Order
83.78/67.77	c (67,66) ===========================================
85.35/69.07	c (68,67) translated 56022 (10%) constraints
86.71/70.39	c (69,69) translated 112043 (20%) constraints
88.19/71.71	c (71,70) translated 168064 (30%) constraints
89.50/73.03	c (72,71) translated 224086 (40%) constraints
90.80/74.35	c (73,72) translated 280107 (50%) constraints
92.10/75.69	c (75,74) translated 336128 (60%) constraints
93.51/77.01	c (76,75) translated 392150 (70%) constraints
94.80/78.31	c (77,76) translated 448171 (80%) constraints
96.10/79.62	c (79,78) translated 504192 (90%) constraints
97.39/80.81	c (80,79) translated 560213 (100%) constraints
97.39/80.81	c (80,79) CSP to CSPinCNF End
97.39/80.82	c (80,79) CSP: 60 int (0 aux), 14112 bool (14111 aux), 560213 ctr, max domain size 161
97.39/80.82	c (80,79) Heap : 5468 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
97.39/80.82	c (80,79) CSPinCNF Propagation Begin
119.72/95.86	c (95,93) 1338 values, 267143 unsatisfiable literals, and 167368 valid clauses are removed
119.72/95.86	c (95,93) CSPinCNF Propagation End
119.72/95.87	c (95,93) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
119.72/95.87	c (95,93) Heap : 4496 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
119.72/95.87	c (95,93) Simplify CSPinCNF Begin
120.75/96.74	c (96,94) Simplify CSPinCNF End
120.75/96.74	c (96,94) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
120.75/96.74	c (96,94) Heap : 4940 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
120.75/96.74	c (96,94) Calculate Precise Domain Begin
120.75/96.75	c (96,94) 0 values are removed by re-calculation
120.75/96.75	c (96,94) Calculate Precise Domain End
120.75/96.75	c (96,94) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
120.75/96.75	c (96,94) Heap : 4940 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
120.75/96.75	c (96,94) CSPinCNF to SatSolver Begin
122.74/97.54	c (97,95) 39285 (10 %) CSP clauses are encoded (0 SAT variables, 42413 SAT clauses)
123.29/98.07	c (97,95) 78569 (20 %) CSP clauses are encoded (0 SAT variables, 81697 SAT clauses)
123.78/98.57	c (98,96) 117854 (30 %) CSP clauses are encoded (0 SAT variables, 120982 SAT clauses)
125.93/99.29	c (98,96) 157138 (40 %) CSP clauses are encoded (0 SAT variables, 160266 SAT clauses)
126.44/99.78	c (99,97) 196423 (50 %) CSP clauses are encoded (0 SAT variables, 199551 SAT clauses)
126.94/100.28	c (99,97) 235707 (60 %) CSP clauses are encoded (0 SAT variables, 238835 SAT clauses)
127.44/100.79	c (100,98) 274992 (70 %) CSP clauses are encoded (0 SAT variables, 278120 SAT clauses)
127.96/101.39	c (100,98) 314276 (80 %) CSP clauses are encoded (0 SAT variables, 317404 SAT clauses)
128.45/101.84	c (101,99) 353561 (90 %) CSP clauses are encoded (0 SAT variables, 356689 SAT clauses)
128.87/102.22	c (101,99) 392845 (100 %) CSP clauses are encoded (0 SAT variables, 395973 SAT clauses)
128.87/102.22	c (101,99) CSPinCNF to SatSolver End
128.87/102.22	c (101,99) Heap : 3226 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
128.87/102.23	c (101,99) 16344 bool, 395974 clause
128.87/102.23	c (101,99) Export Begin
129.00/102.34	c (101,99) Export to HOME/scop-20653-serial-file.bin
129.00/102.34	c (101,99) Export End
129.00/102.34	c (101,99) Export File Size: 0.04 MB
129.00/102.34	c (101,99) 0,0,80,95,96,96,101,STOP-AFTER(DIMACS)
129.00/102.34	c END-Prog: Tue Sep 24 22:17:33 CEST 2019
129.00/102.38	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20653-serial-file.bin
129.14/102.85	c (0,0) Read Serial File Begin
129.14/102.85	c (0,0) HOME/scop-20653-serial-file.bin
129.96/103.08	c (0,0) Read Serial File End
129.96/103.09	
129.96/103.09	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
129.96/103.09	(Solving Process)
129.96/103.09	
130.15/103.11	c BEGIN-Prog: Tue Sep 24 22:17:34 CEST 2019
130.15/103.11	c PID: 20681
130.15/103.11	c IP: 172.20.3.149
130.15/103.11	c HOST: node149.alineos.net
130.15/103.12	c (0,0) SatSolver.solve Begin
130.15/103.12	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405144-1569356190.xml-scop-20656.cnf
130.15/103.14	c (0,0) c
130.15/103.14	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)
130.15/103.14	c (0,0) c
130.15/103.14	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
130.15/103.14	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
130.15/103.14	c (0,0) c ========================================[ Problem Statistics ]===========================================
130.15/103.14	c (0,0) c |                                                                                                       |
130.36/103.24	c (0,0) c |  Number of variables:         16344                                                                   |
130.36/103.24	c (0,0) c |  Number of clauses:          127500                                                                   |
130.36/103.24	c (0,0) c |  Parse time:                   0.09 s                                                                 |
130.36/103.24	c (0,0) c |                                                                                                       |
132.32/105.12	c (2,0) c |  Simplification time:          1.87 s                                                                 |
132.32/105.12	c (2,0) c |                                                                                                       |
132.32/105.12	c (2,0) c |  Generating clones                                                                                    |
132.32/105.17	c (2,0) c |  all clones generated. Memory =    97.96Mb.                                                           |
132.32/105.17	c (2,0) c ========================================================================================================|
132.32/105.17	c (2,0) c
132.32/105.17	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
132.32/105.17	c (2,0) c
132.32/105.17	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
132.32/105.17	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
132.32/105.17	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
132.32/105.17	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
132.32/105.17	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
132.32/105.17	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
132.32/105.17	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
132.32/105.17	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
132.32/105.17	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
132.32/105.17	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
132.32/105.17	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
132.32/105.17	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
132.32/105.17	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
132.32/105.17	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
132.32/105.17	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
132.32/105.17	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
132.32/105.17	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
132.32/105.17	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
132.32/105.17	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c real time : 2.31179 s
134.16/105.45	c (2,0) c cpu time  : 3.91993 s
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c | Conflicts     |           27156 |       3727 |       3494 |       3136 |       3212 |       3350 |       3494 |       3138 |       3605 |
134.16/105.45	c (2,0) c | Decisions     |          105884 |      13062 |      13235 |      13091 |      13849 |      12319 |      12967 |      14112 |      13249 |
134.16/105.45	c (2,0) c | Propagations  |         7657858 |    1032089 |     978218 |     919142 |     865994 |     964677 |    1010777 |     903464 |     983497 |
134.16/105.45	c (2,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
134.16/105.45	c (2,0) c | SimpDBs       |              19 |          3 |          2 |          3 |          2 |          2 |          2 |          2 |          3 |
134.16/105.45	c (2,0) c | Restarts      |             155 |         27 |         22 |         18 |         16 |         15 |         12 |         23 |         22 |
134.16/105.45	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | PropBinClauses|         8690969 |    1210021 |    1093787 |    1036984 |     938669 |    1104778 |    1146444 |    1019283 |    1141003 |
134.16/105.45	c (2,0) c | PropPreBlocker|        44251588 |    6508596 |    5342202 |    5205705 |    4758329 |    5758160 |    5763409 |    5071560 |    5843627 |
134.16/105.45	c (2,0) c | PropNotBlocker|        12649911 |    1735574 |    1559457 |    1517592 |    1438847 |    1566561 |    1652951 |    1559051 |    1619878 |
134.16/105.45	c (2,0) c | LitFullScans  |       170536460 |   21590706 |   21265804 |   22231226 |   21462513 |   20687258 |   20030272 |   21028868 |   22239813 |
134.16/105.45	c (2,0) c | LitScanFracts |           28031 |       2890 |       6202 |        193 |      11518 |       2370 |       2927 |        208 |       1723 |
134.16/105.45	c (2,0) c | DecisionLevel0|             306 |         46 |         41 |         41 |         32 |         32 |         26 |         48 |         40 |
134.16/105.45	c (2,0) c | Periods       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
134.16/105.45	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
134.16/105.45	c (2,0) c | Avg_Trail     |                 |       4619 |       4834 |       4904 |       4999 |       4826 |       4745 |       4799 |       4791 |
134.16/105.45	c (2,0) c | Avg_DL        |                 |         30 |         30 |         29 |         30 |         34 |         26 |         36 |         24 |
134.16/105.45	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c | Exported      |            4491 |        615 |        595 |        529 |        541 |        530 |        544 |        523 |        614 |
134.16/105.45	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c | Unaries       |                 |         19 |         19 |         23 |         16 |         17 |         14 |         25 |         18 |
134.16/105.45	c (2,0) c | Binaries      |                 |        422 |        417 |        386 |        398 |        383 |        405 |        396 |        467 |
134.16/105.45	c (2,0) c | Glues         |                 |        615 |        595 |        529 |        541 |        530 |        544 |        523 |        614 |
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c | Orig_Seen     |            27 % |      14998 |      16448 |      15416 |      14824 |      14819 |      14589 |      13961 |      16615 |
134.16/105.45	c (2,0) c | Diff Orig seen|                 | -      418 |       1032 |      X     | -      592 | -      597 | -      827 | -     1455 |       1199 |
134.16/105.45	c (2,0) c | Hamming       |             2 % |        404 |        449 |      X     |        324 |        352 |        294 |        273 |        438 |
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	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%|
134.16/105.45	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%|
134.16/105.45	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%|
134.16/105.45	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%|
134.16/105.45	c (2,0) c | SolvingTime   |                 |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |
134.16/105.45	c (2,0) c | PropagationTim|                 |    0.2  70%|    0.2  67%|    0.2  63%|    0.2  61%|    0.2  68%|    0.2  67%|    0.2  67%|    0.2  65%|
134.16/105.45	c (2,0) c | AnalysisTime  |                 |    0.1  23%|    0.1  26%|    0.1  30%|    0.1  32%|    0.1  26%|    0.1  26%|    0.1  26%|    0.1  28%|
134.16/105.45	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%|
134.16/105.45	c (2,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|
134.16/105.45	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%|
134.16/105.45	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%|
134.16/105.45	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c
134.16/105.45	c (2,0) c Threads : 8
134.16/105.45	c (2,0) c Winner : 2
134.16/105.45	c (2,0) c Conflicts_0 : 3727
134.16/105.45	c (2,0) c Conflicts_1 : 3494
134.16/105.45	c (2,0) c Conflicts_2 : 3136
134.16/105.45	c (2,0) c Conflicts_3 : 3212
134.16/105.45	c (2,0) c Conflicts_4 : 3350
134.16/105.45	c (2,0) c Conflicts_5 : 3494
134.16/105.45	c (2,0) c Conflicts_6 : 3138
134.16/105.45	c (2,0) c Conflicts_7 : 3605
134.16/105.45	c (2,0) c Conflicts_total : 27156
134.16/105.45	c (2,0) c Conflicts_winner : 3136
134.16/105.45	c (2,0) c Decisions_0 : 13062
134.16/105.45	c (2,0) c Decisions_1 : 13235
134.16/105.45	c (2,0) c Decisions_2 : 13091
134.16/105.45	c (2,0) c Decisions_3 : 13849
134.16/105.45	c (2,0) c Decisions_4 : 12319
134.16/105.45	c (2,0) c Decisions_5 : 12967
134.16/105.45	c (2,0) c Decisions_6 : 14112
134.16/105.45	c (2,0) c Decisions_7 : 13249
134.16/105.45	c (2,0) c Decisions_total : 105884
134.16/105.45	c (2,0) c Decisions_winner : 13091
134.16/105.45	c (2,0) c Propagations_0 : 1032089
134.16/105.45	c (2,0) c Propagations_1 : 978218
134.16/105.46	c (2,0) c Propagations_2 : 919142
134.16/105.46	c (2,0) c Propagations_3 : 865994
134.16/105.46	c (2,0) c Propagations_4 : 964677
134.16/105.46	c (2,0) c Propagations_5 : 1010777
134.16/105.46	c (2,0) c Propagations_6 : 903464
134.16/105.46	c (2,0) c Propagations_7 : 983497
134.16/105.46	c (2,0) c Propagations_total : 7657858
134.16/105.46	c (2,0) c Propagations_winner : 919142
134.16/105.46	c (2,0) c ReduceDBs_0 : 1
134.16/105.46	c (2,0) c ReduceDBs_1 : 1
134.16/105.46	c (2,0) c ReduceDBs_2 : 1
134.16/105.46	c (2,0) c ReduceDBs_3 : 1
134.16/105.46	c (2,0) c ReduceDBs_4 : 1
134.16/105.46	c (2,0) c ReduceDBs_5 : 1
134.16/105.46	c (2,0) c ReduceDBs_6 : 1
134.16/105.46	c (2,0) c ReduceDBs_7 : 1
134.16/105.46	c (2,0) c ReduceDBs_total : 8
134.16/105.46	c (2,0) c ReduceDBs_winner : 1
134.16/105.46	c (2,0) c SimpDBs_0 : 3
134.16/105.46	c (2,0) c SimpDBs_1 : 2
134.16/105.46	c (2,0) c SimpDBs_2 : 3
134.16/105.46	c (2,0) c SimpDBs_3 : 2
134.16/105.46	c (2,0) c SimpDBs_4 : 2
134.16/105.46	c (2,0) c SimpDBs_5 : 2
134.16/105.46	c (2,0) c SimpDBs_6 : 2
134.16/105.46	c (2,0) c SimpDBs_7 : 3
134.16/105.46	c (2,0) c SimpDBs_total : 19
134.16/105.46	c (2,0) c SimpDBs_winner : 3
134.16/105.46	c (2,0) c Restarts_0 : 27
134.16/105.46	c (2,0) c Restarts_1 : 22
134.16/105.46	c (2,0) c Restarts_2 : 18
134.16/105.46	c (2,0) c Restarts_3 : 16
134.16/105.46	c (2,0) c Restarts_4 : 15
134.16/105.46	c (2,0) c Restarts_5 : 12
134.16/105.46	c (2,0) c Restarts_6 : 23
134.16/105.46	c (2,0) c Restarts_7 : 22
134.16/105.46	c (2,0) c Restarts_total : 155
134.16/105.46	c (2,0) c Restarts_winner : 18
134.16/105.46	c (2,0) c ForcedImports_0 : 0
134.16/105.46	c (2,0) c ForcedImports_1 : 0
134.16/105.46	c (2,0) c ForcedImports_2 : 0
134.16/105.46	c (2,0) c ForcedImports_3 : 0
134.16/105.46	c (2,0) c ForcedImports_4 : 0
134.16/105.46	c (2,0) c ForcedImports_5 : 0
134.16/105.46	c (2,0) c ForcedImports_6 : 0
134.16/105.46	c (2,0) c ForcedImports_7 : 0
134.16/105.46	c (2,0) c ForcedImports_total : 0
134.16/105.46	c (2,0) c ForcedImports_winner : 0
134.16/105.46	c (2,0) c PropsBinClauses_0 : 1210021
134.16/105.46	c (2,0) c PropsBinClauses_1 : 1093787
134.16/105.46	c (2,0) c PropsBinClauses_2 : 1036984
134.16/105.46	c (2,0) c PropsBinClauses_3 : 938669
134.16/105.46	c (2,0) c PropsBinClauses_4 : 1104778
134.16/105.46	c (2,0) c PropsBinClauses_5 : 1146444
134.16/105.46	c (2,0) c PropsBinClauses_6 : 1019283
134.16/105.46	c (2,0) c PropsBinClauses_7 : 1141003
134.16/105.46	c (2,0) c PropsBinClauses_total : 8690969
134.16/105.46	c (2,0) c PropsBinClauses_winner : 1036984
134.16/105.46	c (2,0) c PropsPreBlocker_0 : 6508596
134.16/105.46	c (2,0) c PropsPreBlocker_1 : 5342202
134.16/105.46	c (2,0) c PropsPreBlocker_2 : 5205705
134.16/105.46	c (2,0) c PropsPreBlocker_3 : 4758329
134.16/105.46	c (2,0) c PropsPreBlocker_4 : 5758160
134.16/105.46	c (2,0) c PropsPreBlocker_5 : 5763409
134.16/105.46	c (2,0) c PropsPreBlocker_6 : 5071560
134.16/105.46	c (2,0) c PropsPreBlocker_7 : 5843627
134.16/105.46	c (2,0) c PropsPreBlocker_total : 44251588
134.16/105.46	c (2,0) c PropsPreBlocker_winner : 5205705
134.16/105.46	c (2,0) c PropsNotBlocker_0 : 1735574
134.16/105.46	c (2,0) c PropsNotBlocker_1 : 1559457
134.16/105.46	c (2,0) c PropsNotBlocker_2 : 1517592
134.16/105.46	c (2,0) c PropsNotBlocker_3 : 1438847
134.16/105.46	c (2,0) c PropsNotBlocker_4 : 1566561
134.16/105.46	c (2,0) c PropsNotBlocker_5 : 1652951
134.16/105.46	c (2,0) c PropsNotBlocker_6 : 1559051
134.16/105.46	c (2,0) c PropsNotBlocker_7 : 1619878
134.16/105.46	c (2,0) c PropsNotBlocker_total : 12649911
134.16/105.46	c (2,0) c PropsNotBlocker_winner : 1517592
134.16/105.46	c (2,0) c PropsLitFullScans_0 : 21590706
134.16/105.46	c (2,0) c PropsLitFullScans_1 : 21265804
134.16/105.46	c (2,0) c PropsLitFullScans_2 : 22231226
134.16/105.46	c (2,0) c PropsLitFullScans_3 : 21462513
134.16/105.46	c (2,0) c PropsLitFullScans_4 : 20687258
134.16/105.46	c (2,0) c PropsLitFullScans_5 : 20030272
134.16/105.46	c (2,0) c PropsLitFullScans_6 : 21028868
134.16/105.46	c (2,0) c PropsLitFullScans_7 : 22239813
134.16/105.46	c (2,0) c PropsLitFullScans_total : 170536460
134.16/105.46	c (2,0) c PropsLitFullScans_winner : 22231226
134.16/105.46	c (2,0) c LitScanFractions_0 : 2890
134.16/105.46	c (2,0) c LitScanFractions_1 : 6202
134.16/105.46	c (2,0) c LitScanFractions_2 : 193
134.16/105.46	c (2,0) c LitScanFractions_3 : 11518
134.16/105.46	c (2,0) c LitScanFractions_4 : 2370
134.16/105.46	c (2,0) c LitScanFractions_5 : 2927
134.16/105.46	c (2,0) c LitScanFractions_6 : 208
134.16/105.46	c (2,0) c LitScanFractions_7 : 1723
134.16/105.46	c (2,0) c LitScanFractions_total : 28031
134.16/105.46	c (2,0) c LitScanFractions_winner : 193
134.16/105.46	c (2,0) c DecisionLevel0_0 : 46
134.16/105.46	c (2,0) c DecisionLevel0_1 : 41
134.16/105.46	c (2,0) c DecisionLevel0_2 : 41
134.16/105.46	c (2,0) c DecisionLevel0_3 : 32
134.16/105.46	c (2,0) c DecisionLevel0_4 : 32
134.16/105.46	c (2,0) c DecisionLevel0_5 : 26
134.16/105.46	c (2,0) c DecisionLevel0_6 : 48
134.16/105.46	c (2,0) c DecisionLevel0_7 : 40
134.16/105.46	c (2,0) c DecisionLevel0_total : 306
134.16/105.46	c (2,0) c DecisionLevel0_winner : 41
134.16/105.46	c (2,0) c Periods_0 : 3
134.16/105.46	c (2,0) c Periods_1 : 3
134.16/105.46	c (2,0) c Periods_2 : 3
134.16/105.46	c (2,0) c Periods_3 : 3
134.16/105.46	c (2,0) c Periods_4 : 3
134.16/105.46	c (2,0) c Periods_5 : 3
134.16/105.46	c (2,0) c Periods_6 : 3
134.16/105.46	c (2,0) c Periods_7 : 3
134.16/105.46	c (2,0) c Periods_total : 24
134.16/105.46	c (2,0) c Periods_winner : 3
134.16/105.46	c (2,0) c Margin_0 : 20
134.16/105.46	c (2,0) c Margin_1 : 20
134.16/105.46	c (2,0) c Margin_2 : 20
134.16/105.46	c (2,0) c Margin_3 : 20
134.16/105.46	c (2,0) c Margin_4 : 20
134.16/105.46	c (2,0) c Margin_5 : 20
134.16/105.46	c (2,0) c Margin_6 : 20
134.16/105.46	c (2,0) c Margin_7 : 20
134.16/105.46	c (2,0) c Margin_total : 160
134.16/105.46	c (2,0) c Margin_winner : 20
134.16/105.46	c (2,0) c Exported_0 : 615
134.16/105.46	c (2,0) c Exported_1 : 595
134.16/105.46	c (2,0) c Exported_2 : 529
134.16/105.46	c (2,0) c Exported_3 : 541
134.16/105.46	c (2,0) c Exported_4 : 530
134.16/105.46	c (2,0) c Exported_5 : 544
134.16/105.46	c (2,0) c Exported_6 : 523
134.16/105.46	c (2,0) c Exported_7 : 614
134.16/105.46	c (2,0) c Exported_total : 4491
134.16/105.46	c (2,0) c Exported_winner : 529
134.16/105.46	c (2,0) c Imported_0 : 0
134.16/105.46	c (2,0) c Imported_1 : 0
134.16/105.46	c (2,0) c Imported_2 : 0
134.16/105.46	c (2,0) c Imported_3 : 0
134.16/105.46	c (2,0) c Imported_4 : 0
134.16/105.46	c (2,0) c Imported_5 : 0
134.16/105.46	c (2,0) c Imported_6 : 0
134.16/105.46	c (2,0) c Imported_7 : 0
134.16/105.46	c (2,0) c Imported_total : 0
134.16/105.46	c (2,0) c Imported_winner : 0
134.16/105.46	c (2,0) c Good_0 : 0
134.16/105.46	c (2,0) c Good_1 : 0
134.16/105.46	c (2,0) c Good_2 : 0
134.16/105.46	c (2,0) c Good_3 : 0
134.16/105.46	c (2,0) c Good_4 : 0
134.16/105.46	c (2,0) c Good_5 : 0
134.16/105.46	c (2,0) c Good_6 : 0
134.16/105.46	c (2,0) c Good_7 : 0
134.16/105.46	c (2,0) c Good_total : 0
134.16/105.46	c (2,0) c Good_winner : 0
134.16/105.46	c (2,0) c Purge_0 : 0
134.16/105.46	c (2,0) c Purge_1 : 0
134.16/105.46	c (2,0) c Purge_2 : 0
134.16/105.46	c (2,0) c Purge_3 : 0
134.16/105.46	c (2,0) c Purge_4 : 0
134.16/105.46	c (2,0) c Purge_5 : 0
134.16/105.46	c (2,0) c Purge_6 : 0
134.16/105.46	c (2,0) c Purge_7 : 0
134.16/105.46	c (2,0) c Purge_total : 0
134.16/105.46	c (2,0) c Purge_winner : 0
134.16/105.46	c (2,0) c Promoted_0 : 0
134.16/105.46	c (2,0) c Promoted_1 : 0
134.16/105.46	c (2,0) c Promoted_2 : 0
134.16/105.46	c (2,0) c Promoted_3 : 0
134.16/105.46	c (2,0) c Promoted_4 : 0
134.16/105.46	c (2,0) c Promoted_5 : 0
134.16/105.46	c (2,0) c Promoted_6 : 0
134.16/105.46	c (2,0) c Promoted_7 : 0
134.16/105.46	c (2,0) c Promoted_total : 0
134.16/105.46	c (2,0) c Promoted_winner : 0
134.16/105.46	c (2,0) c Remove_Imp_0 : 0
134.16/105.46	c (2,0) c Remove_Imp_1 : 0
134.16/105.46	c (2,0) c Remove_Imp_2 : 0
134.16/105.46	c (2,0) c Remove_Imp_3 : 0
134.16/105.46	c (2,0) c Remove_Imp_4 : 0
134.16/105.46	c (2,0) c Remove_Imp_5 : 0
134.16/105.46	c (2,0) c Remove_Imp_6 : 0
134.16/105.46	c (2,0) c Remove_Imp_7 : 0
134.16/105.46	c (2,0) c Remove_Imp_total : 0
134.16/105.46	c (2,0) c Remove_Imp_winner : 0
134.16/105.46	c (2,0) c Blocked_Reuse_0 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_1 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_2 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_3 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_4 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_5 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_6 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_7 : 0
134.16/105.46	c (2,0) c Blocked_Reuse_total : 0
134.16/105.46	c (2,0) c Blocked_Reuse_winner : 0
134.16/105.46	c (2,0) c Unaries_0 : 19
134.16/105.46	c (2,0) c Unaries_1 : 19
134.16/105.46	c (2,0) c Unaries_2 : 23
134.16/105.46	c (2,0) c Unaries_3 : 16
134.16/105.46	c (2,0) c Unaries_4 : 17
134.16/105.46	c (2,0) c Unaries_5 : 14
134.16/105.46	c (2,0) c Unaries_6 : 25
134.16/105.46	c (2,0) c Unaries_7 : 18
134.16/105.46	c (2,0) c Unaries_total : 151
134.16/105.46	c (2,0) c Unaries_winner : 23
134.16/105.46	c (2,0) c Binaries_0 : 422
134.16/105.46	c (2,0) c Binaries_1 : 417
134.16/105.46	c (2,0) c Binaries_2 : 386
134.16/105.46	c (2,0) c Binaries_3 : 398
134.16/105.46	c (2,0) c Binaries_4 : 383
134.16/105.46	c (2,0) c Binaries_5 : 405
134.16/105.46	c (2,0) c Binaries_6 : 396
134.16/105.46	c (2,0) c Binaries_7 : 467
134.16/105.46	c (2,0) c Binaries_total : 3274
134.16/105.46	c (2,0) c Binaries_winner : 386
134.16/105.46	c (2,0) c Glues_0 : 615
134.16/105.46	c (2,0) c Glues_1 : 595
134.16/105.46	c (2,0) c Glues_2 : 529
134.16/105.46	c (2,0) c Glues_3 : 541
134.16/105.46	c (2,0) c Glues_4 : 530
134.16/105.46	c (2,0) c Glues_5 : 544
134.16/105.46	c (2,0) c Glues_6 : 523
134.16/105.46	c (2,0) c Glues_7 : 614
134.16/105.46	c (2,0) c Glues_total : 4491
134.16/105.46	c (2,0) c Glues_winner : 529
134.16/105.46	c (2,0) c RunningTime_0 : 0.282902
134.16/105.46	c (2,0) c RunningTime_1 : 0.265244
134.16/105.46	c (2,0) c RunningTime_2 : 0.256733
134.16/105.46	c (2,0) c RunningTime_3 : 0.261937
134.16/105.46	c (2,0) c RunningTime_4 : 0.258075
134.16/105.46	c (2,0) c RunningTime_5 : 0.259433
134.16/105.46	c (2,0) c RunningTime_6 : 0.259343
134.16/105.46	c (2,0) c RunningTime_7 : 0.257647
134.16/105.46	c (2,0) c RunningTime_total : 2.101315
134.16/105.46	c (2,0) c RunningTime_winner : 0.256733
134.16/105.46	c (2,0) c WaitingTime_0 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_1 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_2 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_3 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_4 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_5 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_6 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_7 : 0.000000
134.16/105.46	c (2,0) c WaitingTime_total : 0.000000
134.16/105.46	c (2,0) c WaitingTime_winner : 0.000000
134.16/105.46	c (2,0) c ExchangingTime_0 : 0.000431
134.16/105.46	c (2,0) c ExchangingTime_1 : 0.000450
134.16/105.46	c (2,0) c ExchangingTime_2 : 0.000357
134.16/105.46	c (2,0) c ExchangingTime_3 : 0.000356
134.16/105.46	c (2,0) c ExchangingTime_4 : 0.000377
134.16/105.46	c (2,0) c ExchangingTime_5 : 0.000378
134.16/105.46	c (2,0) c ExchangingTime_6 : 0.000337
134.16/105.46	c (2,0) c ExchangingTime_7 : 0.000426
134.16/105.46	c (2,0) c ExchangingTime_total : 0.003113
134.16/105.46	c (2,0) c ExchangingTime_winner : 0.000357
134.16/105.46	c (2,0) c PeriodProcTime_0 : 0.000019
134.16/105.46	c (2,0) c PeriodProcTime_1 : 0.000017
134.16/105.46	c (2,0) c PeriodProcTime_2 : 0.000045
134.16/105.46	c (2,0) c PeriodProcTime_3 : 0.000018
134.16/105.46	c (2,0) c PeriodProcTime_4 : 0.000019
134.16/105.46	c (2,0) c PeriodProcTime_5 : 0.000031
134.16/105.46	c (2,0) c PeriodProcTime_6 : 0.000016
134.16/105.46	c (2,0) c PeriodProcTime_7 : 0.000014
134.16/105.46	c (2,0) c PeriodProcTime_total : 0.000179
134.16/105.46	c (2,0) c PeriodProcTime_winner : 0.000045
134.16/105.46	c (2,0) c SolvingTime_0 : 0.283352
134.16/105.46	c (2,0) c SolvingTime_1 : 0.265711
134.16/105.46	c (2,0) c SolvingTime_2 : 0.257135
134.16/105.46	c (2,0) c SolvingTime_3 : 0.262311
134.16/105.46	c (2,0) c SolvingTime_4 : 0.258471
134.16/105.46	c (2,0) c SolvingTime_5 : 0.259842
134.16/105.46	c (2,0) c SolvingTime_6 : 0.259696
134.16/105.46	c (2,0) c SolvingTime_7 : 0.258087
134.16/105.46	c (2,0) c SolvingTime_total : 2.104606
134.16/105.46	c (2,0) c SolvingTime_winner : 0.257135
134.16/105.46	c (2,0) c PropagationTime_0 : 0.199565
134.16/105.46	c (2,0) c PropagationTime_1 : 0.179006
134.16/105.46	c (2,0) c PropagationTime_2 : 0.160831
134.16/105.46	c (2,0) c PropagationTime_3 : 0.160398
134.16/105.46	c (2,0) c PropagationTime_4 : 0.174645
134.16/105.46	c (2,0) c PropagationTime_5 : 0.174914
134.16/105.46	c (2,0) c PropagationTime_6 : 0.174516
134.16/105.46	c (2,0) c PropagationTime_7 : 0.167247
134.16/105.46	c (2,0) c PropagationTime_total : 1.391124
134.16/105.46	c (2,0) c PropagationTime_winner : 0.160831
134.16/105.46	c (2,0) c AnalysisTime_0 : 0.064173
134.16/105.47	c (2,0) c AnalysisTime_1 : 0.068061
134.16/105.47	c (2,0) c AnalysisTime_2 : 0.077298
134.16/105.47	c (2,0) c AnalysisTime_3 : 0.082644
134.16/105.47	c (2,0) c AnalysisTime_4 : 0.067548
134.16/105.47	c (2,0) c AnalysisTime_5 : 0.067741
134.16/105.47	c (2,0) c AnalysisTime_6 : 0.067206
134.16/105.47	c (2,0) c AnalysisTime_7 : 0.072993
134.16/105.47	c (2,0) c AnalysisTime_total : 0.567664
134.16/105.47	c (2,0) c AnalysisTime_winner : 0.077298
134.16/105.47	c (2,0) c ReductionTime_0 : 0.000333
134.16/105.47	c (2,0) c ReductionTime_1 : 0.000359
134.16/105.47	c (2,0) c ReductionTime_2 : 0.000322
134.16/105.47	c (2,0) c ReductionTime_3 : 0.000380
134.16/105.47	c (2,0) c ReductionTime_4 : 0.000314
134.16/105.47	c (2,0) c ReductionTime_5 : 0.000288
134.16/105.47	c (2,0) c ReductionTime_6 : 0.000307
134.16/105.47	c (2,0) c ReductionTime_7 : 0.000299
134.16/105.47	c (2,0) c ReductionTime_total : 0.002602
134.16/105.47	c (2,0) c ReductionTime_winner : 0.000322
134.16/105.47	c (2,0) c SimplifyTime_0 : 0.002271
134.16/105.47	c (2,0) c SimplifyTime_1 : 0.001727
134.16/105.47	c (2,0) c SimplifyTime_2 : 0.002232
134.16/105.47	c (2,0) c SimplifyTime_3 : 0.001758
134.16/105.47	c (2,0) c SimplifyTime_4 : 0.001046
134.16/105.47	c (2,0) c SimplifyTime_5 : 0.000983
134.16/105.47	c (2,0) c SimplifyTime_6 : 0.001135
134.16/105.47	c (2,0) c SimplifyTime_7 : 0.002067
134.16/105.47	c (2,0) c SimplifyTime_total : 0.013218
134.16/105.47	c (2,0) c SimplifyTime_winner : 0.002232
134.16/105.47	c (2,0) c UsedRateTime_0 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_1 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_2 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_3 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_4 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_5 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_6 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_7 : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_total : 0.000000
134.16/105.47	c (2,0) c UsedRateTime_winner : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_0 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_1 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_2 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_3 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_4 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_5 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_6 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_7 : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_total : 0.000000
134.16/105.47	c (2,0) c OverlapRateTime_winner : 0.000000
134.16/105.47	c (2,0) c
134.16/105.47	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
134.16/105.47	c (2,0) c
134.16/105.47	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.47	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
134.16/105.47	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.47	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
134.16/105.47	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
134.16/105.47	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
134.16/105.47	c (2,0) c | Initial random_seed   |  618197180 |  417437840 |   14504843 |  748170588 |  210404359 | 1543091041 |  332362422 |  920010391 |
134.16/105.47	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
134.16/105.47	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
134.16/105.47	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
134.16/105.47	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
134.16/105.47	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
134.16/105.47	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
134.16/105.47	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
134.16/105.47	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
134.16/105.47	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
134.16/105.47	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
134.16/105.47	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
134.16/105.47	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.16/105.47	c (2,0) 
134.16/105.47	c (2,0) s SATISFIABLE
134.58/105.50	c (2,0) SatSolver.solve End
134.58/105.50	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
134.58/105.50	c (2,0) Show results Begin
134.58/105.59	c (2,0) w3 = 160
134.58/105.59	c (2,0) w4 = 0
134.58/105.59	c (2,0) x[0] = 10
134.58/105.59	c (2,0) x[1] = 3
134.58/105.59	c (2,0) x[2] = 16
134.58/105.59	c (2,0) x[3] = 12
134.58/105.59	c (2,0) x[4] = 4
134.58/105.59	c (2,0) x[5] = 9
134.58/105.59	c (2,0) x[6] = 5
134.58/105.59	c (2,0) x[7] = 18
134.58/105.59	c (2,0) x[8] = 8
134.58/105.59	c (2,0) x[9] = 14
134.58/105.59	c (2,0) x[10] = 13
134.58/105.59	c (2,0) x[11] = 2
134.58/105.59	c (2,0) x[12] = 15
134.58/105.59	c (2,0) x[13] = 7
134.58/105.59	c (2,0) x[14] = 1
134.58/105.59	c (2,0) x[15] = 19
134.58/105.59	c (2,0) x[16] = 6
134.58/105.59	c (2,0) x[17] = 17
134.58/105.59	c (2,0) x[18] = 20
134.58/105.59	c (2,0) x[19] = 11
134.58/105.59	c (2,0) y[0] = 13
134.58/105.59	c (2,0) y[1] = 3
134.58/105.59	c (2,0) y[2] = 1
134.58/105.59	c (2,0) y[3] = 15
134.58/105.59	c (2,0) y[4] = 6
134.58/105.59	c (2,0) y[5] = 0
134.58/105.59	c (2,0) y[6] = 5
134.58/105.59	c (2,0) y[7] = 11
134.58/105.59	c (2,0) y[8] = 2
134.58/105.59	c (2,0) y[9] = 1
134.58/105.59	c (2,0) y[10] = 2
134.58/105.59	c (2,0) y[11] = 20
134.58/105.59	c (2,0) y[12] = 7
134.58/105.59	c (2,0) y[13] = 26
134.58/105.59	c (2,0) y[14] = 0
134.58/105.59	c (2,0) y[15] = 21
134.58/105.59	c (2,0) y[16] = 0
134.58/105.59	c (2,0) y[17] = 3
134.58/105.59	c (2,0) y[18] = 15
134.58/105.59	c (2,0) y[19] = 9
134.58/105.59	c (2,0) z[0] = 16
134.58/105.59	c (2,0) z[1] = 17
134.58/105.59	c (2,0) z[2] = 32
134.58/105.59	c (2,0) z[3] = 38
134.58/105.59	c (2,0) z[4] = 38
134.58/105.59	c (2,0) z[5] = 43
134.58/105.59	c (2,0) z[6] = 54
134.58/105.59	c (2,0) z[7] = 56
134.58/105.59	c (2,0) z[8] = 57
134.58/105.59	c (2,0) z[9] = 59
134.58/105.59	c (2,0) z[10] = 79
134.58/105.59	c (2,0) z[11] = 86
134.58/105.59	c (2,0) z[12] = 112
134.58/105.59	c (2,0) z[13] = 112
134.58/105.59	c (2,0) z[14] = 133
134.58/105.59	c (2,0) z[15] = 133
134.58/105.59	c (2,0) z[16] = 136
134.58/105.59	c (2,0) z[17] = 151
134.58/105.59	c (2,0) z[18] = 160
134.58/105.59	s SATISFIABLE
134.58/105.59	v <instantiation>
134.58/105.59	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>
134.58/105.59	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>
134.58/105.59	v </instantiation>
134.58/105.59	c (2,0) Show results End
134.58/105.59	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
134.58/105.59	c (2,0) 2,2,STOP-AFTER(ALL)
134.58/105.59	c END-Prog: Tue Sep 24 22:17:37 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 (12743 MiB free)
  memory of node 1: 16384 MiB (14312 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.10014 s]*
/proc/loadavg: 8.59 8.32 8.26 3/212 20675
/proc/meminfo: memFree=27611112/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511857575 115843072 349 33554432000 4194304 5098028 140731924032784 140731924030040 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 349 296 221 0 87 0
[pid=20656] ppid=20653 vsize=27314120 memory=106096 CPUtime=0.1 cores=0-7
/proc/20656/stat : 20656 (java) S 20653 20653 20609 0 -1 1077944320 6560 0 0 0 8 2 0 0 20 0 20 0 511857575 27969658880 26524 33554432000 4194304 4196468 140734864351696 140734864334240 139899397435127 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
/proc/20656/statm: 6828530 26524 2811 1 0 6790935 0
[pid=20656/tid=20657] ppid=20653 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20656/task/20657/stat : 20657 (java) R 20653 20653 20609 0 -1 4202560 4640 0 0 0 7 2 0 0 20 0 20 0 511857575 27969658880 26524 33554432000 4194304 4196468 140734864351696 139899369257408 139899397457053 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20658] ppid=20653 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20656/task/20658/stat : 20658 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139899401677968 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20659] ppid=20653 vsize=27314120 memory=140211260819072 CPUtime=0 cores=0-7
/proc/20656/task/20659/stat : 20659 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139899232926736 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20660] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20660/stat : 20660 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139898818767760 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20661] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20661/stat : 20661 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139898817714960 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20662] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20662/stat : 20662 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139898816662160 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20663] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20663/stat : 20663 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139898815609360 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20664] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20664/stat : 20664 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139898814556560 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20665] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20665/stat : 20665 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 26524 33554432000 4194304 4196468 140734864351696 139898813503760 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20666] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20666/stat : 20666 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857579 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897650539376 139899397446274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20667] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20667/stat : 20667 (java) S 20653 20653 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511857580 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897352480288 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20668] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20668/stat : 20668 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857580 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897084044656 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20669] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20669/stat : 20669 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 26524 33554432000 4194304 4196468 140734864351696 139896709536080 139899397453723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20670] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20670/stat : 20670 (java) S 20653 20653 20609 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897649486192 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20671] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20671/stat : 20671 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897648433392 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20672] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20672/stat : 20672 (java) S 20653 20653 20609 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897647380592 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20673] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20673/stat : 20673 (java) S 20653 20653 20609 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897646327792 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20674] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20674/stat : 20674 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857583 27969658880 26524 33554432000 4194304 4196468 140734864351696 139896211631200 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20675] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20675/stat : 20675 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857583 27969658880 26524 33554432000 4194304 4196468 140734864351696 139897645276208 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107492 KiB

[startup+0.21036 s]*
/proc/loadavg: 8.59 8.32 8.26 2/212 20675
/proc/meminfo: memFree=27592664/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511857575 115843072 349 33554432000 4194304 5098028 140731924032784 140731924030040 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 349 296 221 0 87 0
[pid=20656] ppid=20653 vsize=27314120 memory=122816 CPUtime=0.24 cores=0-7
/proc/20656/stat : 20656 (java) S 20653 20653 20609 0 -1 1077944320 11474 0 0 0 20 4 0 0 20 0 20 0 511857575 27969658880 30704 33554432000 4194304 4196468 140734864351696 140734864334240 139899397435127 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
/proc/20656/statm: 6828530 30704 2943 1 0 6790935 0
[pid=20656/tid=20657] ppid=20653 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20656/task/20657/stat : 20657 (java) R 20653 20653 20609 0 -1 4202560 9126 0 0 0 16 3 0 0 20 0 20 0 511857575 27969658880 30704 33554432000 4194304 4196468 140734864351696 139899369258592 139899378998725 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20658] ppid=20653 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/20656/task/20658/stat : 20658 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139899401677968 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20659] ppid=20653 vsize=27314120 memory=288370587412530816 CPUtime=0 cores=0-7
/proc/20656/task/20659/stat : 20659 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139899232926736 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20660] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20660/stat : 20660 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139898818767760 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20661] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20661/stat : 20661 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139898817714960 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20662] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20662/stat : 20662 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139898816662160 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20663] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20663/stat : 20663 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139898815609360 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20664] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20664/stat : 20664 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139898814556560 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20665] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20665/stat : 20665 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 30704 33554432000 4194304 4196468 140734864351696 139898813503760 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20666] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20666/stat : 20666 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857579 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897650539376 139899397446274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20667] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20667/stat : 20667 (java) S 20653 20653 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511857580 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897352480288 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20668] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20668/stat : 20668 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857580 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897084044656 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20669] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20669/stat : 20669 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 30704 33554432000 4194304 4196468 140734864351696 139896709536080 139899397453723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20670] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20670/stat : 20670 (java) S 20653 20653 20609 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897649486192 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20671] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20671/stat : 20671 (java) S 20653 20653 20609 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897648433392 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20672] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20672/stat : 20672 (java) S 20653 20653 20609 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897647380592 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20673] ppid=20653 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20656/task/20673/stat : 20673 (java) S 20653 20653 20609 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 20 0 511857582 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897646327792 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20674] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20674/stat : 20674 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857583 27969658880 30704 33554432000 4194304 4196468 140734864351696 139896211631200 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20675] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20675/stat : 20675 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857583 27969658880 30704 33554432000 4194304 4196468 140734864351696 139897645276208 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124212 KiB

[startup+0.310209 s]*
/proc/loadavg: 8.59 8.32 8.26 2/212 20675
/proc/meminfo: memFree=27589252/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511857575 115843072 349 33554432000 4194304 5098028 140731924032784 140731924030040 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 349 296 221 0 87 0
[pid=20656] ppid=20653 vsize=27314120 memory=127188 CPUtime=0.43 cores=0-7
/proc/20656/stat : 20656 (java) S 20653 20653 20609 0 -1 1077944320 12653 0 0 0 38 5 0 0 20 0 20 0 511857575 27969658880 31797 33554432000 4194304 4196468 140734864351696 140734864334240 139899397435127 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
/proc/20656/statm: 6828530 31797 3054 1 0 6790935 0
[pid=20656/tid=20657] ppid=20653 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20656/task/20657/stat : 20657 (java) R 20653 20653 20609 0 -1 4202560 10024 0 0 0 26 4 0 0 20 0 20 0 511857575 27969658880 31797 33554432000 4194304 4196468 140734864351696 139899369218144 139899397456474 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20658] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20658/stat : 20658 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139899401677968 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20659] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20659/stat : 20659 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139899232926736 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20660] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20660/stat : 20660 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139898818767760 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20661] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20661/stat : 20661 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139898817714960 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20662] ppid=20653 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/20656/task/20662/stat : 20662 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139898816662160 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20663] ppid=20653 vsize=27314120 memory=140211153630127 CPUtime=0 cores=0-7
/proc/20656/task/20663/stat : 20663 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139898815609360 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20664] ppid=20653 vsize=27314120 memory=140211153632432 CPUtime=0 cores=0-7
/proc/20656/task/20664/stat : 20664 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139898814556560 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20665] ppid=20653 vsize=27314120 memory=140211153634736 CPUtime=0 cores=0-7
/proc/20656/task/20665/stat : 20665 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27969658880 31797 33554432000 4194304 4196468 140734864351696 139898813503760 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20666] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20666/stat : 20666 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857579 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897650539376 139899397446274 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20667] ppid=20653 vsize=27314120 memory=280422307276432 CPUtime=0 cores=0-7
/proc/20656/task/20667/stat : 20667 (java) S 20653 20653 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511857580 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897352480288 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20668] ppid=20653 vsize=27314120 memory=280422307283344 CPUtime=0 cores=0-7
/proc/20656/task/20668/stat : 20668 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857580 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897084044656 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20669] ppid=20653 vsize=27314120 memory=280422307224496 CPUtime=0 cores=0-7
/proc/20656/task/20669/stat : 20669 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857582 27969658880 31797 33554432000 4194304 4196468 140734864351696 139896709536080 139899397453723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20670] ppid=20653 vsize=27314120 memory=280422307297168 CPUtime=0.01 cores=0-7
/proc/20656/task/20670/stat : 20670 (java) R 20653 20653 20609 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 511857582 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897649486192 139899378135424 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20671] ppid=20653 vsize=27314120 memory=280422307304080 CPUtime=0.01 cores=0-7
/proc/20656/task/20671/stat : 20671 (java) S 20653 20653 20609 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 511857582 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897648433392 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20672] ppid=20653 vsize=27314120 memory=280422307301776 CPUtime=0.01 cores=0-7
/proc/20656/task/20672/stat : 20672 (java) S 20653 20653 20609 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 511857582 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897647380592 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20673] ppid=20653 vsize=27314120 memory=280422307317936 CPUtime=0.07 cores=0-7
/proc/20656/task/20673/stat : 20673 (java) S 20653 20653 20609 0 -1 1077944384 633 0 0 0 7 0 0 0 20 0 20 0 511857582 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897646327792 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20674] ppid=20653 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20674/stat : 20674 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511857583 27969658880 31797 33554432000 4194304 4196468 140734864351696 139896211631200 139899397445333 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20675] ppid=20653 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20656/task/20675/stat : 20675 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857583 27969658880 31797 33554432000 4194304 4196468 140734864351696 139897645276208 139899397446274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128584 KiB

[startup+0.700935 s]
/proc/loadavg: 8.59 8.32 8.26 2/212 20675
/proc/meminfo: memFree=27565552/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 511857575 115843072 349 33554432000 4194304 5098028 140731924032784 140731924030040 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 349 296 221 0 87 0
[pid=20656] ppid=20653 vsize=27320392 memory=164776 CPUtime=1.01 cores=0-7
/proc/20656/stat : 20656 (java) S 20653 20653 20609 0 -1 1077944320 20297 0 0 0 94 7 0 0 20 0 20 0 511857575 27976081408 41194 33554432000 4194304 4196468 140734864351696 140734864334240 139899397435127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
/proc/20656/statm: 6830098 41194 3184 1 0 6791447 0
[pid=20656/tid=20657] ppid=20653 vsize=27320392 memory=280422307675824 CPUtime=0.68 cores=0-7
/proc/20656/task/20657/stat : 20657 (java) R 20653 20653 20609 0 -1 4202560 16971 0 0 0 62 6 0 0 20 0 20 0 511857575 27976081408 41194 33554432000 4194304 4196468 140734864351696 139899369270864 139899381515614 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20658] ppid=20653 vsize=27320392 memory=140211153838960 CPUtime=0 cores=0-7
/proc/20656/task/20658/stat : 20658 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27976081408 41194 33554432000 4194304 4196468 140734864351696 139899401677968 139899397445333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20659] ppid=20653 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20656/task/20659/stat : 20659 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511857578 27976081408 41194 33554432000 4194304 4196468 140734864351696 139899232926736 139899397445333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0
[pid=20656/tid=20660] ppid=20653 vsize=27320392 memory=6160 CPUtime=0 cores=0-7
/proc/20656/task/20660/stat : 20660 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511857578 27976081408 41194 33554432000 4194304 4196468 140734864351696 139898818767760 139899397445333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140734864360135 140734864360582 140734864360582 140734864363471 0

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

[pid=20681/tid=20694] ppid=20653 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/20681/task/20694/stat : 20694 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475456379344 140477545785243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20695] ppid=20653 vsize=8414124 memory=12040 CPUtime=0.06 cores=0-7
/proc/20681/task/20695/stat : 20695 (java) S 20653 20653 20609 0 -1 1077944384 574 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476973705456 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20696] ppid=20653 vsize=8414124 memory=37392 CPUtime=0.06 cores=0-7
/proc/20681/task/20696/stat : 20696 (java) S 20653 20653 20609 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476904630640 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20697] ppid=20653 vsize=8414124 memory=33 CPUtime=0.06 cores=0-7
/proc/20681/task/20697/stat : 20697 (java) S 20653 20653 20609 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476903577584 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20698] ppid=20653 vsize=8414124 memory=1396 CPUtime=0.21 cores=0-7
/proc/20681/task/20698/stat : 20698 (java) S 20653 20653 20609 0 -1 1077944384 563 0 0 0 21 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476902525040 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20699] ppid=20653 vsize=8414124 memory=830988 CPUtime=0 cores=0-7
/proc/20681/task/20699/stat : 20699 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474958474208 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20700] ppid=20653 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/20681/task/20700/stat : 20700 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476901473456 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20702] ppid=20653 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/20681/task/20702/stat : 20702 (java) S 20653 20653 20609 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476972094912 140477545791257 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20704] ppid=20653 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/20681/task/20704/stat : 20704 (java) S 20653 20653 20609 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474287373840 140477545788573 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20705] ppid=20653 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/20681/task/20705/stat : 20705 (java) S 20653 20653 20609 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474555809424 140477545788573 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20706] ppid=20653 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/20681/task/20706/stat : 20706 (java) S 20653 20653 20609 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 24 0 511867891 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474018945968 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
Current children cumulated CPU time: 131.22 s
Current children cumulated vsize: 8561628 KiB
Current children cumulated memory: 137468 KiB

[startup+104.801 s]
/proc/loadavg: 2.80 6.30 7.54 2/217 20706
/proc/meminfo: memFree=27575488/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1476 CPUtime=129.14 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 582 78514 0 0 0 0 12418 496 20 0 1 0 511857575 115843072 369 33554432000 4194304 5098028 140731924032784 140731924029528 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 369 311 221 0 87 0
[pid=20681] ppid=20653 vsize=8414124 memory=118504 CPUtime=1.22 cores=0-7
/proc/20681/stat : 20681 (java) S 20653 20653 20609 0 -1 1077944320 21145 0 0 0 114 8 0 0 20 0 24 0 511867813 8616062976 29626 33554432000 4194304 4196468 140725391316624 140725391299168 140477545766647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
/proc/20681/statm: 2103531 29626 3205 1 0 2064875 0
[pid=20701] ppid=20681 vsize=34640 memory=17752 CPUtime=1.65 cores=0-7
/proc/20701/stat : 20701 (manyglucose-4.1) R 20681 20653 20609 0 -1 4202496 4196 0 0 0 164 1 0 0 20 0 1 0 511867889 35471360 4438 33554432000 4194304 4454172 140720781345328 140720781343000 4387388 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552832 6554400 12718080 140720781349709 140720781349916 140720781349916 140720781352886 0
/proc/20701/statm: 8660 4438 363 64 0 4328 0
[pid=20681/tid=20682] ppid=20653 vsize=8414124 memory=14012 CPUtime=0.78 cores=0-7
/proc/20681/task/20682/stat : 20682 (java) S 20653 20653 20609 0 -1 1077944384 17865 0 0 0 72 6 0 0 20 0 24 0 511867813 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477517606816 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20683] ppid=20653 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/20681/task/20683/stat : 20683 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477550009360 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20684] ppid=20653 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20681/task/20684/stat : 20684 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477031152784 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20685] ppid=20653 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20681/task/20685/stat : 20685 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477030099728 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20686] ppid=20653 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20681/task/20686/stat : 20686 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477029047184 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20687] ppid=20653 vsize=8414124 memory=118504 CPUtime=0 cores=0-7
/proc/20681/task/20687/stat : 20687 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477027994128 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20688] ppid=20653 vsize=8414124 memory=7516654289559137425 CPUtime=0 cores=0-7
/proc/20681/task/20688/stat : 20688 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477026941584 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20689] ppid=20653 vsize=8414124 memory=-7824251494390977893 CPUtime=0 cores=0-7
/proc/20681/task/20689/stat : 20689 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477025888528 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20690] ppid=20653 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/20681/task/20690/stat : 20690 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477024835984 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20691] ppid=20653 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/20681/task/20691/stat : 20691 (java) S 20653 20653 20609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511867816 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476974758640 140477545777794 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20692] ppid=20653 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/20681/task/20692/stat : 20692 (java) S 20653 20653 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511867817 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475965105824 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20693] ppid=20653 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/20681/task/20693/stat : 20693 (java) S 20653 20653 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511867817 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475830883568 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20694] ppid=20653 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20681/task/20694/stat : 20694 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475456379344 140477545785243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20695] ppid=20653 vsize=8414124 memory=808 CPUtime=0.06 cores=0-7
/proc/20681/task/20695/stat : 20695 (java) S 20653 20653 20609 0 -1 1077944384 574 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476973705456 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20696] ppid=20653 vsize=8414124 memory=1764 CPUtime=0.06 cores=0-7
/proc/20681/task/20696/stat : 20696 (java) S 20653 20653 20609 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476904630640 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20697] ppid=20653 vsize=8414124 memory=111628 CPUtime=0.06 cores=0-7
/proc/20681/task/20697/stat : 20697 (java) S 20653 20653 20609 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476903577584 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20698] ppid=20653 vsize=8414124 memory=800 CPUtime=0.21 cores=0-7
/proc/20681/task/20698/stat : 20698 (java) S 20653 20653 20609 0 -1 1077944384 563 0 0 0 21 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476902525040 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20699] ppid=20653 vsize=8414124 memory=280422308094080 CPUtime=0 cores=0-7
/proc/20681/task/20699/stat : 20699 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474958474208 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20700] ppid=20653 vsize=8414124 memory=140211153687168 CPUtime=0 cores=0-7
/proc/20681/task/20700/stat : 20700 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476901473456 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20702] ppid=20653 vsize=8414124 memory=140211153687264 CPUtime=0 cores=0-7
/proc/20681/task/20702/stat : 20702 (java) S 20653 20653 20609 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476972094912 140477545791257 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20704] ppid=20653 vsize=8414124 memory=140211153687360 CPUtime=0 cores=0-7
/proc/20681/task/20704/stat : 20704 (java) S 20653 20653 20609 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474287373840 140477545788573 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20705] ppid=20653 vsize=8414124 memory=140211153687456 CPUtime=0 cores=0-7
/proc/20681/task/20705/stat : 20705 (java) S 20653 20653 20609 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474555809424 140477545788573 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20706] ppid=20653 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/20681/task/20706/stat : 20706 (java) S 20653 20653 20609 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 24 0 511867891 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474018945968 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
Current children cumulated CPU time: 132.01 s
Current children cumulated vsize: 8561892 KiB
Current children cumulated memory: 137732 KiB

[startup+105.201 s]
/proc/loadavg: 2.80 6.30 7.54 2/217 20706
/proc/meminfo: memFree=27573212/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1476 CPUtime=129.14 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 582 78514 0 0 0 0 12418 496 20 0 1 0 511857575 115843072 369 33554432000 4194304 5098028 140731924032784 140731924029528 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 369 311 221 0 87 0
[pid=20681] ppid=20653 vsize=8414124 memory=118504 CPUtime=1.23 cores=0-7
/proc/20681/stat : 20681 (java) S 20653 20653 20609 0 -1 1077944320 21150 0 0 0 115 8 0 0 20 0 24 0 511867813 8616062976 29626 33554432000 4194304 4196468 140725391316624 140725391299168 140477545766647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
/proc/20681/statm: 2103531 29626 3205 1 0 2064875 0
[pid=20701] ppid=20681 vsize=691620 memory=84620 CPUtime=2.21 cores=0-7
/proc/20701/stat : 20701 (manyglucose-4.1) S 20681 20653 20609 0 -1 1077944320 22052 0 0 0 209 12 0 0 20 0 9 0 511867889 708218880 21155 33554432000 4194304 4454172 140720781345328 140720781343728 140330945948290 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 12718080 140720781349709 140720781349916 140720781349916 140720781352886 0
/proc/20701/statm: 172938 21155 388 64 0 168606 0
[pid=20681/tid=20682] ppid=20653 vsize=8414124 memory=4 CPUtime=0.78 cores=0-7
/proc/20681/task/20682/stat : 20682 (java) S 20653 20653 20609 0 -1 1077944384 17865 0 0 0 72 6 0 0 20 0 24 0 511867813 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477517606816 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20683] ppid=20653 vsize=8414124 memory=5862 CPUtime=0 cores=0-7
/proc/20681/task/20683/stat : 20683 (java) S 20653 20653 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477550009360 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20684] ppid=20653 vsize=8414124 memory=2383 CPUtime=0 cores=0-7
/proc/20681/task/20684/stat : 20684 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477031152784 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20685] ppid=20653 vsize=8414124 memory=135 CPUtime=0 cores=0-7
/proc/20681/task/20685/stat : 20685 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477030099728 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20686] ppid=20653 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20681/task/20686/stat : 20686 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477029047184 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20687] ppid=20653 vsize=8414124 memory=619 CPUtime=0 cores=0-7
/proc/20681/task/20687/stat : 20687 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477027994128 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20688] ppid=20653 vsize=8414124 memory=44671 CPUtime=0 cores=0-7
/proc/20681/task/20688/stat : 20688 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477026941584 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20689] ppid=20653 vsize=8414124 memory=19048 CPUtime=0 cores=0-7
/proc/20681/task/20689/stat : 20689 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477025888528 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20690] ppid=20653 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/20681/task/20690/stat : 20690 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867815 8616062976 29626 33554432000 4194304 4196468 140725391316624 140477024835984 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20691] ppid=20653 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/20681/task/20691/stat : 20691 (java) S 20653 20653 20609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511867816 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476974758640 140477545777794 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20692] ppid=20653 vsize=8414124 memory=13847469322668657 CPUtime=0 cores=0-7
/proc/20681/task/20692/stat : 20692 (java) S 20653 20653 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511867817 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475965105824 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20693] ppid=20653 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20681/task/20693/stat : 20693 (java) S 20653 20653 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511867817 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475830883568 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20694] ppid=20653 vsize=8414124 memory=3128 CPUtime=0 cores=0-7
/proc/20681/task/20694/stat : 20694 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140475456379344 140477545785243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20695] ppid=20653 vsize=8414124 memory=1396 CPUtime=0.06 cores=0-7
/proc/20681/task/20695/stat : 20695 (java) S 20653 20653 20609 0 -1 1077944384 574 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476973705456 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20696] ppid=20653 vsize=8414124 memory=7290348 CPUtime=0.06 cores=0-7
/proc/20681/task/20696/stat : 20696 (java) S 20653 20653 20609 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476904630640 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20697] ppid=20653 vsize=8414124 memory=6791534058613427641 CPUtime=0.06 cores=0-7
/proc/20681/task/20697/stat : 20697 (java) S 20653 20653 20609 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476903577584 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20698] ppid=20653 vsize=8414124 memory=4872558044660077418 CPUtime=0.21 cores=0-7
/proc/20681/task/20698/stat : 20698 (java) S 20653 20653 20609 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476902525040 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20699] ppid=20653 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20681/task/20699/stat : 20699 (java) S 20653 20653 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474958474208 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20700] ppid=20653 vsize=8414124 memory=3128 CPUtime=0 cores=0-7
/proc/20681/task/20700/stat : 20700 (java) S 20653 20653 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511867820 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476901473456 140477545777794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20702] ppid=20653 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/20681/task/20702/stat : 20702 (java) S 20653 20653 20609 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140476972094912 140477545791257 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20704] ppid=20653 vsize=8414124 memory=7290132 CPUtime=0 cores=0-7
/proc/20681/task/20704/stat : 20704 (java) S 20653 20653 20609 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474287373840 140477545788573 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20705] ppid=20653 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20681/task/20705/stat : 20705 (java) S 20653 20653 20609 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511867889 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474555809424 140477545788573 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
[pid=20681/tid=20706] ppid=20653 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/20681/task/20706/stat : 20706 (java) S 20653 20653 20609 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 24 0 511867891 8616062976 29626 33554432000 4194304 4196468 140725391316624 140474018945968 140477545776853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24981504 140725391320031 140725391320198 140725391320198 140725391323087 0
Current children cumulated CPU time: 132.58 s
Current children cumulated vsize: 9218872 KiB
Current children cumulated memory: 204600 KiB

[startup+105.601 s]
/proc/loadavg: 2.80 6.30 7.54 2/217 20706
/proc/meminfo: memFree=27573212/32770624 swapFree=66957768/67108860
[pid=20653] ppid=20650 vsize=113128 memory=1476 CPUtime=129.14 cores=0-7
/proc/20653/stat : 20653 (scop.sh) S 20650 20653 20609 0 -1 4202496 582 78514 0 0 0 0 12418 496 20 0 1 0 511857575 115843072 369 33554432000 4194304 5098028 140731924032784 140731924029528 139877769790076 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9048064 140731924038397 140731924038744 140731924038744 140731924041673 0
/proc/20653/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 129.14 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 105.607
CPU time (s): 134.825
CPU user time (s): 129.605
CPU system time (s): 5.2198
CPU usage (%): 127.666
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7293016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.605
system time used= 5.2198
maximum resident set size= 7292728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25924
involuntary context switches= 428


# summary of solver processes directly reported to runsolver:
#   pid: 20653
#   total CPU time (s): 134.825
#   total CPU user time (s): 129.605
#   total CPU system time (s): 5.2198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.843224 second user time and 1.04418 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-24 22:15:51
IDJOB=4405144
IDBENCH=135918
IDSOLVER=2867
FILE ID=node149/4405144-1569356190
RUNJOBID= node149-1569356151-20636
PBS_JOBID= 21705101
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405144-1569356190/watcher-4405144-1569356190 -o /var/tmp/evaluation-result-4405144-1569356190/solver-4405144-1569356190 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569356151-20636 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405144-1569356190.xml

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

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=407229887

node149.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.81
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.81
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.81
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.81
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:        27705484 kB
MemAvailable:   31805568 kB
Buffers:          108508 kB
Cached:          4085452 kB
SwapCached:        42396 kB
Active:          2918176 kB
Inactive:        1320428 kB
Active(anon):       3696 kB
Inactive(anon):    94792 kB
Active(file):    2914480 kB
Inactive(file):  1225636 kB
Unevictable:      109368 kB
Mlocked:          109368 kB
SwapTotal:      67108860 kB
SwapFree:       66957768 kB
Dirty:             21076 kB
Writeback:             0 kB
AnonPages:        112532 kB
Mapped:            56952 kB
Shmem:             44920 kB
Slab:             417612 kB
SReclaimable:     388428 kB
SUnreclaim:        29184 kB
KernelStack:        3264 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514208 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node149 at 2019-09-24 22:17:37