Trace number 4405129

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 55.8022 37.9856

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m256-00.xml
MD5SUM73ef0e8387fdebf21bbae2b4acf5d521
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.036418
Satisfiable
(Un)Satisfiability was proved
Number of variables51
Number of constraints105
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":51}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity51
Distribution of constraint arities[{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}]
Number of extensional constraints104
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":104},{"type":"allDifferent","count":1}]
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-13620-serial-file.bin HOME/instance-4405129-1569338813.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 16:24:50 CEST 2019
0.66/0.57	c PID: 13623
0.66/0.57	c IP: 172.20.3.107
0.66/0.57	c HOST: node107.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.60/0.95	c (0,0) Parsing End
1.60/0.96	c (0,0) CSP: 51 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 256
1.60/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.96	c (0,0) Constraint Name Generate Begin
1.60/0.96	c (0,0) Ctr:HOME/instance-4405129-1569338813.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.60/0.96	c (0,0) Constraint Name Generate End
1.60/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.96	c (0,0) CSP to CSPinCNF Begin
9.50/3.66	c (3,3) translated 11 (10%) constraints
12.54/5.59	c (5,5) translated 21 (20%) constraints
14.72/7.66	c (7,7) translated 32 (30%) constraints
16.69/9.54	c (8,8) translated 42 (40%) constraints
18.86/11.61	c (11,11) translated 53 (50%) constraints
20.66/13.48	c (12,12) translated 63 (60%) constraints
22.77/15.54	c (14,14) translated 74 (70%) constraints
26.62/17.66	c (17,16) translated 84 (80%) constraints
27.70/18.60	c (18,17) translated 95 (90%) constraints
27.70/18.64	c (18,17) translated 105 (100%) constraints
27.70/18.64	c (18,17) ===========================================
27.70/18.64	c (18,17) Order
27.70/18.64	c (18,17) ===========================================
29.35/19.37	c (18,18) translated 32576 (10%) constraints
29.97/19.99	c (19,19) translated 65152 (20%) constraints
30.73/20.61	c (20,19) translated 97727 (30%) constraints
31.33/21.22	c (20,20) translated 130303 (40%) constraints
31.96/21.83	c (21,21) translated 162878 (50%) constraints
32.56/22.44	c (21,21) translated 195454 (60%) constraints
33.16/23.06	c (22,22) translated 228030 (70%) constraints
33.76/23.67	c (23,22) translated 260605 (80%) constraints
34.36/24.28	c (23,23) translated 293181 (90%) constraints
35.13/24.91	c (24,24) translated 325756 (100%) constraints
35.13/24.91	c (24,24) CSP to CSPinCNF End
35.13/24.92	c (24,24) CSP: 51 int (0 aux), 22272 bool (22272 aux), 325756 ctr, max domain size 256
35.13/24.92	c (24,24) Heap : 2257 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
35.13/24.92	c (24,24) CSPinCNF Propagation Begin
38.89/26.91	c (26,26) 0 values, 1009 unsatisfiable literals, and 925 valid clauses are removed
38.89/26.91	c (26,26) CSPinCNF Propagation End
38.89/26.92	c (26,26) CSP: 51 int (0 aux), 22272 bool (22272 aux), 324831 ctr, max domain size 256
38.89/26.92	c (26,26) Heap : 4134 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
38.89/26.92	c (26,26) Simplify CSPinCNF Begin
39.91/27.52	c (26,26) Simplify CSPinCNF End
39.91/27.53	c (26,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
39.91/27.53	c (26,26) Heap : 4465 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
39.91/27.53	c (26,26) Calculate Precise Domain Begin
39.91/27.53	c (26,26) 0 values are removed by re-calculation
39.91/27.53	c (26,26) Calculate Precise Domain End
39.91/27.53	c (26,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
39.91/27.53	c (26,26) Heap : 4465 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
39.91/27.53	c (26,26) CSPinCNF to SatSolver Begin
46.78/30.91	c (30,29) 32739 (10 %) CSP clauses are encoded (0 SAT variables, 691801 SAT clauses)
47.13/31.22	c (30,30) 65477 (20 %) CSP clauses are encoded (0 SAT variables, 724539 SAT clauses)
47.46/31.51	c (30,30) 98215 (30 %) CSP clauses are encoded (0 SAT variables, 757277 SAT clauses)
47.76/31.80	c (31,30) 130953 (40 %) CSP clauses are encoded (0 SAT variables, 790015 SAT clauses)
47.97/32.09	c (31,30) 163691 (50 %) CSP clauses are encoded (0 SAT variables, 822753 SAT clauses)
48.26/32.38	c (31,31) 196429 (60 %) CSP clauses are encoded (0 SAT variables, 855491 SAT clauses)
48.56/32.67	c (32,31) 229167 (70 %) CSP clauses are encoded (0 SAT variables, 888229 SAT clauses)
48.86/32.96	c (32,31) 261905 (80 %) CSP clauses are encoded (0 SAT variables, 920967 SAT clauses)
49.16/33.25	c (32,32) 294643 (90 %) CSP clauses are encoded (0 SAT variables, 953705 SAT clauses)
49.46/33.56	c (33,32) 327381 (100 %) CSP clauses are encoded (0 SAT variables, 986443 SAT clauses)
49.46/33.56	c (33,32) CSPinCNF to SatSolver End
49.46/33.56	c (33,32) Heap : 3819 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
49.46/33.56	c (33,32) 37784 bool, 986444 clause
49.46/33.56	c (33,32) Export Begin
49.59/33.65	c (33,32) Export to HOME/scop-13620-serial-file.bin
49.59/33.65	c (33,32) Export End
49.59/33.66	c (33,32) Export File Size: 0.01 MB
49.59/33.66	c (33,32) 0,0,24,26,26,26,33,STOP-AFTER(DIMACS)
49.59/33.66	c END-Prog: Tue Sep 24 16:25:24 CEST 2019
49.59/33.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13620-serial-file.bin
50.29/34.15	c (0,0) Read Serial File Begin
50.29/34.15	c (0,0) HOME/scop-13620-serial-file.bin
50.56/34.37	c (0,0) Read Serial File End
50.56/34.38	
50.56/34.38	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
50.56/34.38	(Solving Process)
50.56/34.38	
50.72/34.40	c BEGIN-Prog: Tue Sep 24 16:25:24 CEST 2019
50.72/34.40	c PID: 13646
50.72/34.40	c IP: 172.20.3.107
50.72/34.40	c HOST: node107.alineos.net
50.72/34.41	c (0,0) SatSolver.solve Begin
50.72/34.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405129-1569338813.xml-scop-13623.cnf
50.72/34.43	c (0,0) c
50.72/34.43	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)
50.72/34.43	c (0,0) c
50.72/34.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
50.72/34.43	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
50.72/34.43	c (0,0) c ========================================[ Problem Statistics ]===========================================
50.72/34.43	c (0,0) c |                                                                                                       |
50.92/34.74	c (0,0) c |  Number of variables:         37784                                                                   |
50.92/34.74	c (0,0) c |  Number of clauses:          986444                                                                   |
50.92/34.74	c (0,0) c |  Parse time:                   0.27 s                                                                 |
50.92/34.74	c (0,0) c |                                                                                                       |
53.69/37.20	c (3,0) c |  Simplification time:          2.42 s                                                                 |
53.69/37.20	c (3,0) c |                                                                                                       |
53.69/37.20	c (3,0) c |  Generating clones                                                                                    |
53.89/37.44	c (3,0) c |  all clones generated. Memory =   557.65Mb.                                                           |
53.89/37.44	c (3,0) c ========================================================================================================|
53.89/37.44	c (3,0) c
53.89/37.44	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
53.89/37.44	c (3,0) c
53.89/37.44	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.89/37.44	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.89/37.44	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.89/37.44	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
53.89/37.44	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
53.89/37.44	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
53.89/37.44	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
53.89/37.44	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
53.89/37.44	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
53.89/37.44	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
53.89/37.44	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
53.89/37.44	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
53.89/37.44	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
53.89/37.44	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
53.89/37.44	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
53.89/37.44	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
53.89/37.44	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
53.89/37.44	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
53.89/37.44	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.79/37.80	c (3,0) c
54.79/37.80	c (3,0) c real time : 3.36513 s
54.79/37.80	c (3,0) c cpu time  : 4.12805 s
54.79/37.80	c (3,0) c
54.79/37.80	c (3,0) c
54.79/37.80	c (3,0) c
54.79/37.80	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
54.79/37.80	c (3,0) c
54.79/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.79/37.80	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
54.79/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
54.79/37.80	c (3,0) c | Conflicts     |            1342 |         17 |        239 |        162 |        176 |        196 |        207 |        186 |        159 |
54.79/37.80	c (3,0) c | Decisions     |            2780 |         72 |        520 |        374 |        274 |        422 |        375 |        504 |        239 |
54.79/37.80	c (3,0) c | Propagations  |         1681662 |      69506 |     233501 |     208394 |     220897 |     215505 |     230460 |     225846 |     277553 |
54.79/37.80	c (3,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.79/37.80	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.79/37.80	c (3,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
54.79/37.80	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
54.79/37.80	c (3,0) c | PropBinClauses|         1493013 |      48414 |     217071 |     186782 |     189922 |     192525 |     209414 |     222215 |     226670 |
54.79/37.80	c (3,0) c | PropPreBlocker|        28434195 |    1652640 |    4055026 |    3515775 |    3221922 |    3983948 |    3962726 |    3994055 |    4048103 |
54.79/37.80	c (3,0) c | PropNotBlocker|        10638405 |     760002 |    1354925 |    1327234 |    1303280 |    1497974 |    1504367 |    1435999 |    1454624 |
55.34/37.80	c (3,0) c | LitFullScans  |        42860999 |    2520838 |    6005536 |    5266682 |    5026327 |    6004346 |    6012090 |    6001203 |    6023977 |
55.34/37.80	c (3,0) c | LitScanFracts |             926 |          0 |         86 |          0 |          0 |         40 |         25 |        733 |         42 |
55.34/37.80	c (3,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
55.34/37.80	c (3,0) c | Periods       |               5 |          0 |          1 |          0 |          0 |          1 |          1 |          1 |          1 |
55.34/37.80	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
55.34/37.80	c (3,0) c | Avg_Trail     |                 |      13085 |       8213 |       4656 |       4293 |       5784 |       4447 |       4233 |       5798 |
55.34/37.80	c (3,0) c | Avg_DL        |                 |         11 |         78 |         30 |         14 |         32 |         21 |         34 |         17 |
55.34/37.80	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.80	c (3,0) c | Exported      |              82 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
55.34/37.80	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.80	c (3,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
55.34/37.80	c (3,0) c | Binaries      |                 |          0 |          0 |          4 |          0 |          1 |          2 |          4 |          0 |
55.34/37.80	c (3,0) c | Glues         |                 |          2 |          5 |         16 |          7 |         13 |         14 |         10 |         15 |
55.34/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.80	c (3,0) c | Orig_Seen     |             0 % |        933 |       5191 |       6398 |       5674 |       5469 |       5003 |       6330 |       4816 |
55.34/37.80	c (3,0) c | Diff Orig seen|                 |      X     |       4258 |       5465 |       4741 |       4536 |       4070 |       5397 |       3883 |
55.34/37.80	c (3,0) c | Hamming       |            18 % |      X     |       7546 |       6612 |       7363 |       6858 |       7068 |       6728 |       6652 |
55.34/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.80	c (3,0) c | RunningTime   |                 |    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.3 100%|    0.4 100%|    0.4 100%|
55.34/37.80	c (3,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%|
55.34/37.80	c (3,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%|
55.34/37.80	c (3,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%|
55.34/37.80	c (3,0) c | SolvingTime   |                 |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.3     |    0.4     |    0.4     |
55.34/37.80	c (3,0) c | PropagationTim|                 |    0.3  99%|    0.3  96%|    0.3  98%|    0.3  97%|    0.3  97%|    0.3  97%|    0.3  96%|    0.3  97%|
55.34/37.80	c (3,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   3%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   2%|
55.34/37.80	c (3,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%|
55.34/37.80	c (3,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
55.34/37.80	c (3,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%|
55.34/37.80	c (3,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%|
55.34/37.80	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.80	c (3,0) c
55.34/37.80	c (3,0) c
55.34/37.80	c (3,0) c Threads : 8
55.34/37.80	c (3,0) c Winner : 0
55.34/37.80	c (3,0) c Conflicts_0 : 17
55.34/37.80	c (3,0) c Conflicts_1 : 239
55.34/37.80	c (3,0) c Conflicts_2 : 162
55.34/37.80	c (3,0) c Conflicts_3 : 176
55.34/37.80	c (3,0) c Conflicts_4 : 196
55.34/37.80	c (3,0) c Conflicts_5 : 207
55.34/37.80	c (3,0) c Conflicts_6 : 186
55.34/37.80	c (3,0) c Conflicts_7 : 159
55.34/37.80	c (3,0) c Conflicts_total : 1342
55.34/37.80	c (3,0) c Conflicts_winner : 17
55.34/37.80	c (3,0) c Decisions_0 : 72
55.34/37.80	c (3,0) c Decisions_1 : 520
55.34/37.80	c (3,0) c Decisions_2 : 374
55.34/37.80	c (3,0) c Decisions_3 : 274
55.34/37.80	c (3,0) c Decisions_4 : 422
55.34/37.80	c (3,0) c Decisions_5 : 375
55.34/37.80	c (3,0) c Decisions_6 : 504
55.34/37.80	c (3,0) c Decisions_7 : 239
55.34/37.80	c (3,0) c Decisions_total : 2780
55.34/37.80	c (3,0) c Decisions_winner : 72
55.34/37.80	c (3,0) c Propagations_0 : 69506
55.34/37.80	c (3,0) c Propagations_1 : 233501
55.34/37.80	c (3,0) c Propagations_2 : 208394
55.34/37.80	c (3,0) c Propagations_3 : 220897
55.34/37.80	c (3,0) c Propagations_4 : 215505
55.34/37.80	c (3,0) c Propagations_5 : 230460
55.34/37.80	c (3,0) c Propagations_6 : 225846
55.34/37.80	c (3,0) c Propagations_7 : 277553
55.34/37.80	c (3,0) c Propagations_total : 1681662
55.34/37.80	c (3,0) c Propagations_winner : 69506
55.34/37.80	c (3,0) c ReduceDBs_0 : 0
55.34/37.80	c (3,0) c ReduceDBs_1 : 0
55.34/37.80	c (3,0) c ReduceDBs_2 : 0
55.34/37.80	c (3,0) c ReduceDBs_3 : 0
55.34/37.80	c (3,0) c ReduceDBs_4 : 0
55.34/37.80	c (3,0) c ReduceDBs_5 : 0
55.34/37.80	c (3,0) c ReduceDBs_6 : 0
55.34/37.80	c (3,0) c ReduceDBs_7 : 0
55.34/37.80	c (3,0) c ReduceDBs_total : 0
55.34/37.80	c (3,0) c ReduceDBs_winner : 0
55.34/37.80	c (3,0) c SimpDBs_0 : 1
55.34/37.80	c (3,0) c SimpDBs_1 : 1
55.34/37.80	c (3,0) c SimpDBs_2 : 1
55.34/37.80	c (3,0) c SimpDBs_3 : 1
55.34/37.80	c (3,0) c SimpDBs_4 : 1
55.34/37.80	c (3,0) c SimpDBs_5 : 1
55.34/37.80	c (3,0) c SimpDBs_6 : 1
55.34/37.80	c (3,0) c SimpDBs_7 : 1
55.34/37.80	c (3,0) c SimpDBs_total : 8
55.34/37.80	c (3,0) c SimpDBs_winner : 1
55.34/37.80	c (3,0) c Restarts_0 : 1
55.34/37.80	c (3,0) c Restarts_1 : 1
55.34/37.80	c (3,0) c Restarts_2 : 1
55.34/37.80	c (3,0) c Restarts_3 : 1
55.34/37.80	c (3,0) c Restarts_4 : 1
55.34/37.80	c (3,0) c Restarts_5 : 1
55.34/37.80	c (3,0) c Restarts_6 : 1
55.34/37.80	c (3,0) c Restarts_7 : 1
55.34/37.80	c (3,0) c Restarts_total : 8
55.34/37.80	c (3,0) c Restarts_winner : 1
55.34/37.80	c (3,0) c ForcedImports_0 : 0
55.34/37.80	c (3,0) c ForcedImports_1 : 0
55.34/37.80	c (3,0) c ForcedImports_2 : 0
55.34/37.80	c (3,0) c ForcedImports_3 : 0
55.34/37.80	c (3,0) c ForcedImports_4 : 0
55.34/37.80	c (3,0) c ForcedImports_5 : 0
55.34/37.80	c (3,0) c ForcedImports_6 : 0
55.34/37.80	c (3,0) c ForcedImports_7 : 0
55.34/37.80	c (3,0) c ForcedImports_total : 0
55.34/37.80	c (3,0) c ForcedImports_winner : 0
55.34/37.80	c (3,0) c PropsBinClauses_0 : 48414
55.34/37.80	c (3,0) c PropsBinClauses_1 : 217071
55.34/37.80	c (3,0) c PropsBinClauses_2 : 186782
55.34/37.80	c (3,0) c PropsBinClauses_3 : 189922
55.34/37.80	c (3,0) c PropsBinClauses_4 : 192525
55.34/37.80	c (3,0) c PropsBinClauses_5 : 209414
55.34/37.80	c (3,0) c PropsBinClauses_6 : 222215
55.34/37.80	c (3,0) c PropsBinClauses_7 : 226670
55.34/37.80	c (3,0) c PropsBinClauses_total : 1493013
55.34/37.80	c (3,0) c PropsBinClauses_winner : 48414
55.34/37.80	c (3,0) c PropsPreBlocker_0 : 1652640
55.34/37.80	c (3,0) c PropsPreBlocker_1 : 4055026
55.34/37.80	c (3,0) c PropsPreBlocker_2 : 3515775
55.34/37.80	c (3,0) c PropsPreBlocker_3 : 3221922
55.34/37.80	c (3,0) c PropsPreBlocker_4 : 3983948
55.34/37.80	c (3,0) c PropsPreBlocker_5 : 3962726
55.34/37.80	c (3,0) c PropsPreBlocker_6 : 3994055
55.34/37.80	c (3,0) c PropsPreBlocker_7 : 4048103
55.34/37.80	c (3,0) c PropsPreBlocker_total : 28434195
55.34/37.80	c (3,0) c PropsPreBlocker_winner : 1652640
55.34/37.80	c (3,0) c PropsNotBlocker_0 : 760002
55.34/37.80	c (3,0) c PropsNotBlocker_1 : 1354925
55.34/37.80	c (3,0) c PropsNotBlocker_2 : 1327234
55.34/37.80	c (3,0) c PropsNotBlocker_3 : 1303280
55.34/37.80	c (3,0) c PropsNotBlocker_4 : 1497974
55.34/37.80	c (3,0) c PropsNotBlocker_5 : 1504367
55.34/37.80	c (3,0) c PropsNotBlocker_6 : 1435999
55.34/37.80	c (3,0) c PropsNotBlocker_7 : 1454624
55.34/37.80	c (3,0) c PropsNotBlocker_total : 10638405
55.34/37.80	c (3,0) c PropsNotBlocker_winner : 760002
55.34/37.80	c (3,0) c PropsLitFullScans_0 : 2520838
55.34/37.80	c (3,0) c PropsLitFullScans_1 : 6005536
55.34/37.80	c (3,0) c PropsLitFullScans_2 : 5266682
55.34/37.80	c (3,0) c PropsLitFullScans_3 : 5026327
55.34/37.80	c (3,0) c PropsLitFullScans_4 : 6004346
55.34/37.80	c (3,0) c PropsLitFullScans_5 : 6012090
55.34/37.80	c (3,0) c PropsLitFullScans_6 : 6001203
55.34/37.80	c (3,0) c PropsLitFullScans_7 : 6023977
55.34/37.80	c (3,0) c PropsLitFullScans_total : 42860999
55.34/37.80	c (3,0) c PropsLitFullScans_winner : 2520838
55.34/37.80	c (3,0) c LitScanFractions_0 : 0
55.34/37.80	c (3,0) c LitScanFractions_1 : 86
55.34/37.80	c (3,0) c LitScanFractions_2 : 0
55.34/37.80	c (3,0) c LitScanFractions_3 : 0
55.34/37.80	c (3,0) c LitScanFractions_4 : 40
55.34/37.80	c (3,0) c LitScanFractions_5 : 25
55.34/37.80	c (3,0) c LitScanFractions_6 : 733
55.34/37.80	c (3,0) c LitScanFractions_7 : 42
55.34/37.80	c (3,0) c LitScanFractions_total : 926
55.34/37.80	c (3,0) c LitScanFractions_winner : 0
55.34/37.80	c (3,0) c DecisionLevel0_0 : 1
55.34/37.80	c (3,0) c DecisionLevel0_1 : 1
55.34/37.80	c (3,0) c DecisionLevel0_2 : 1
55.34/37.80	c (3,0) c DecisionLevel0_3 : 1
55.34/37.80	c (3,0) c DecisionLevel0_4 : 1
55.34/37.80	c (3,0) c DecisionLevel0_5 : 1
55.34/37.80	c (3,0) c DecisionLevel0_6 : 1
55.34/37.80	c (3,0) c DecisionLevel0_7 : 1
55.34/37.80	c (3,0) c DecisionLevel0_total : 8
55.34/37.80	c (3,0) c DecisionLevel0_winner : 1
55.34/37.80	c (3,0) c Periods_0 : 0
55.34/37.80	c (3,0) c Periods_1 : 1
55.34/37.80	c (3,0) c Periods_2 : 0
55.34/37.80	c (3,0) c Periods_3 : 0
55.34/37.80	c (3,0) c Periods_4 : 1
55.34/37.80	c (3,0) c Periods_5 : 1
55.34/37.80	c (3,0) c Periods_6 : 1
55.34/37.80	c (3,0) c Periods_7 : 1
55.34/37.80	c (3,0) c Periods_total : 5
55.34/37.80	c (3,0) c Periods_winner : 0
55.34/37.80	c (3,0) c Margin_0 : 20
55.34/37.80	c (3,0) c Margin_1 : 20
55.34/37.80	c (3,0) c Margin_2 : 20
55.34/37.80	c (3,0) c Margin_3 : 20
55.34/37.80	c (3,0) c Margin_4 : 20
55.34/37.80	c (3,0) c Margin_5 : 20
55.34/37.80	c (3,0) c Margin_6 : 20
55.34/37.80	c (3,0) c Margin_7 : 20
55.34/37.80	c (3,0) c Margin_total : 160
55.34/37.80	c (3,0) c Margin_winner : 20
55.34/37.80	c (3,0) c Exported_0 : 2
55.34/37.80	c (3,0) c Exported_1 : 5
55.34/37.80	c (3,0) c Exported_2 : 16
55.34/37.80	c (3,0) c Exported_3 : 7
55.34/37.80	c (3,0) c Exported_4 : 13
55.34/37.80	c (3,0) c Exported_5 : 14
55.34/37.80	c (3,0) c Exported_6 : 10
55.34/37.80	c (3,0) c Exported_7 : 15
55.34/37.80	c (3,0) c Exported_total : 82
55.34/37.80	c (3,0) c Exported_winner : 2
55.34/37.80	c (3,0) c Imported_0 : 0
55.34/37.80	c (3,0) c Imported_1 : 0
55.34/37.80	c (3,0) c Imported_2 : 0
55.34/37.80	c (3,0) c Imported_3 : 0
55.34/37.80	c (3,0) c Imported_4 : 0
55.34/37.80	c (3,0) c Imported_5 : 0
55.34/37.81	c (3,0) c Imported_6 : 0
55.34/37.81	c (3,0) c Imported_7 : 0
55.34/37.81	c (3,0) c Imported_total : 0
55.34/37.81	c (3,0) c Imported_winner : 0
55.34/37.81	c (3,0) c Good_0 : 0
55.34/37.81	c (3,0) c Good_1 : 0
55.34/37.81	c (3,0) c Good_2 : 0
55.34/37.81	c (3,0) c Good_3 : 0
55.34/37.81	c (3,0) c Good_4 : 0
55.34/37.81	c (3,0) c Good_5 : 0
55.34/37.81	c (3,0) c Good_6 : 0
55.34/37.81	c (3,0) c Good_7 : 0
55.34/37.81	c (3,0) c Good_total : 0
55.34/37.81	c (3,0) c Good_winner : 0
55.34/37.81	c (3,0) c Purge_0 : 0
55.34/37.81	c (3,0) c Purge_1 : 0
55.34/37.81	c (3,0) c Purge_2 : 0
55.34/37.81	c (3,0) c Purge_3 : 0
55.34/37.81	c (3,0) c Purge_4 : 0
55.34/37.81	c (3,0) c Purge_5 : 0
55.34/37.81	c (3,0) c Purge_6 : 0
55.34/37.81	c (3,0) c Purge_7 : 0
55.34/37.81	c (3,0) c Purge_total : 0
55.34/37.81	c (3,0) c Purge_winner : 0
55.34/37.81	c (3,0) c Promoted_0 : 0
55.34/37.81	c (3,0) c Promoted_1 : 0
55.34/37.81	c (3,0) c Promoted_2 : 0
55.34/37.81	c (3,0) c Promoted_3 : 0
55.34/37.81	c (3,0) c Promoted_4 : 0
55.34/37.81	c (3,0) c Promoted_5 : 0
55.34/37.81	c (3,0) c Promoted_6 : 0
55.34/37.81	c (3,0) c Promoted_7 : 0
55.34/37.81	c (3,0) c Promoted_total : 0
55.34/37.81	c (3,0) c Promoted_winner : 0
55.34/37.81	c (3,0) c Remove_Imp_0 : 0
55.34/37.81	c (3,0) c Remove_Imp_1 : 0
55.34/37.81	c (3,0) c Remove_Imp_2 : 0
55.34/37.81	c (3,0) c Remove_Imp_3 : 0
55.34/37.81	c (3,0) c Remove_Imp_4 : 0
55.34/37.81	c (3,0) c Remove_Imp_5 : 0
55.34/37.81	c (3,0) c Remove_Imp_6 : 0
55.34/37.81	c (3,0) c Remove_Imp_7 : 0
55.34/37.81	c (3,0) c Remove_Imp_total : 0
55.34/37.81	c (3,0) c Remove_Imp_winner : 0
55.34/37.81	c (3,0) c Blocked_Reuse_0 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_1 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_2 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_3 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_4 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_5 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_6 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_7 : 0
55.34/37.81	c (3,0) c Blocked_Reuse_total : 0
55.34/37.81	c (3,0) c Blocked_Reuse_winner : 0
55.34/37.81	c (3,0) c Unaries_0 : 0
55.34/37.81	c (3,0) c Unaries_1 : 0
55.34/37.81	c (3,0) c Unaries_2 : 0
55.34/37.81	c (3,0) c Unaries_3 : 0
55.34/37.81	c (3,0) c Unaries_4 : 0
55.34/37.81	c (3,0) c Unaries_5 : 0
55.34/37.81	c (3,0) c Unaries_6 : 0
55.34/37.81	c (3,0) c Unaries_7 : 0
55.34/37.81	c (3,0) c Unaries_total : 0
55.34/37.81	c (3,0) c Unaries_winner : 0
55.34/37.81	c (3,0) c Binaries_0 : 0
55.34/37.81	c (3,0) c Binaries_1 : 0
55.34/37.81	c (3,0) c Binaries_2 : 4
55.34/37.81	c (3,0) c Binaries_3 : 0
55.34/37.81	c (3,0) c Binaries_4 : 1
55.34/37.81	c (3,0) c Binaries_5 : 2
55.34/37.81	c (3,0) c Binaries_6 : 4
55.34/37.81	c (3,0) c Binaries_7 : 0
55.34/37.81	c (3,0) c Binaries_total : 11
55.34/37.81	c (3,0) c Binaries_winner : 0
55.34/37.81	c (3,0) c Glues_0 : 2
55.34/37.81	c (3,0) c Glues_1 : 5
55.34/37.81	c (3,0) c Glues_2 : 16
55.34/37.81	c (3,0) c Glues_3 : 7
55.34/37.81	c (3,0) c Glues_4 : 13
55.34/37.81	c (3,0) c Glues_5 : 14
55.34/37.81	c (3,0) c Glues_6 : 10
55.34/37.81	c (3,0) c Glues_7 : 15
55.34/37.81	c (3,0) c Glues_total : 82
55.34/37.81	c (3,0) c Glues_winner : 2
55.34/37.81	c (3,0) c RunningTime_0 : 0.264413
55.34/37.81	c (3,0) c RunningTime_1 : 0.322259
55.34/37.81	c (3,0) c RunningTime_2 : 0.329787
55.34/37.81	c (3,0) c RunningTime_3 : 0.323135
55.34/37.81	c (3,0) c RunningTime_4 : 0.333745
55.34/37.81	c (3,0) c RunningTime_5 : 0.341260
55.34/37.81	c (3,0) c RunningTime_6 : 0.353712
55.34/37.81	c (3,0) c RunningTime_7 : 0.355519
55.34/37.81	c (3,0) c RunningTime_total : 2.623831
55.34/37.81	c (3,0) c RunningTime_winner : 0.264413
55.34/37.81	c (3,0) c WaitingTime_0 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_1 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_2 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_3 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_4 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_5 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_6 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_7 : 0.000000
55.34/37.81	c (3,0) c WaitingTime_total : 0.000000
55.34/37.81	c (3,0) c WaitingTime_winner : 0.000000
55.34/37.81	c (3,0) c ExchangingTime_0 : 0.000007
55.34/37.81	c (3,0) c ExchangingTime_1 : 0.000032
55.34/37.81	c (3,0) c ExchangingTime_2 : 0.000037
55.34/37.81	c (3,0) c ExchangingTime_3 : 0.000025
55.34/37.81	c (3,0) c ExchangingTime_4 : 0.000039
55.34/37.81	c (3,0) c ExchangingTime_5 : 0.000054
55.34/37.81	c (3,0) c ExchangingTime_6 : 0.000032
55.34/37.81	c (3,0) c ExchangingTime_7 : 0.000072
55.34/37.81	c (3,0) c ExchangingTime_total : 0.000298
55.34/37.81	c (3,0) c ExchangingTime_winner : 0.000007
55.34/37.81	c (3,0) c PeriodProcTime_0 : 0.000000
55.34/37.81	c (3,0) c PeriodProcTime_1 : 0.000011
55.34/37.81	c (3,0) c PeriodProcTime_2 : 0.000000
55.34/37.81	c (3,0) c PeriodProcTime_3 : 0.000000
55.34/37.81	c (3,0) c PeriodProcTime_4 : 0.000005
55.34/37.81	c (3,0) c PeriodProcTime_5 : 0.000010
55.34/37.81	c (3,0) c PeriodProcTime_6 : 0.000008
55.34/37.81	c (3,0) c PeriodProcTime_7 : 0.000007
55.34/37.81	c (3,0) c PeriodProcTime_total : 0.000041
55.34/37.81	c (3,0) c PeriodProcTime_winner : 0.000000
55.34/37.81	c (3,0) c SolvingTime_0 : 0.264420
55.34/37.81	c (3,0) c SolvingTime_1 : 0.322303
55.34/37.81	c (3,0) c SolvingTime_2 : 0.329824
55.34/37.81	c (3,0) c SolvingTime_3 : 0.323160
55.34/37.81	c (3,0) c SolvingTime_4 : 0.333789
55.34/37.81	c (3,0) c SolvingTime_5 : 0.341324
55.34/37.81	c (3,0) c SolvingTime_6 : 0.353752
55.34/37.81	c (3,0) c SolvingTime_7 : 0.355598
55.34/37.81	c (3,0) c SolvingTime_total : 2.624170
55.34/37.81	c (3,0) c SolvingTime_winner : 0.264420
55.34/37.81	c (3,0) c PropagationTime_0 : 0.262250
55.34/37.81	c (3,0) c PropagationTime_1 : 0.308872
55.34/37.81	c (3,0) c PropagationTime_2 : 0.321630
55.34/37.81	c (3,0) c PropagationTime_3 : 0.313415
55.34/37.81	c (3,0) c PropagationTime_4 : 0.324984
55.34/37.81	c (3,0) c PropagationTime_5 : 0.330542
55.34/37.81	c (3,0) c PropagationTime_6 : 0.340161
55.34/37.81	c (3,0) c PropagationTime_7 : 0.345934
55.34/37.81	c (3,0) c PropagationTime_total : 2.547787
55.34/37.81	c (3,0) c PropagationTime_winner : 0.262250
55.34/37.81	c (3,0) c AnalysisTime_0 : 0.000635
55.34/37.81	c (3,0) c AnalysisTime_1 : 0.008791
55.34/37.81	c (3,0) c AnalysisTime_2 : 0.005365
55.34/37.81	c (3,0) c AnalysisTime_3 : 0.006382
55.34/37.81	c (3,0) c AnalysisTime_4 : 0.006044
55.34/37.81	c (3,0) c AnalysisTime_5 : 0.006873
55.34/37.81	c (3,0) c AnalysisTime_6 : 0.009188
55.34/37.81	c (3,0) c AnalysisTime_7 : 0.005598
55.34/37.81	c (3,0) c AnalysisTime_total : 0.048876
55.34/37.81	c (3,0) c AnalysisTime_winner : 0.000635
55.34/37.81	c (3,0) c ReductionTime_0 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_1 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_2 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_3 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_4 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_5 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_6 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_7 : 0.000000
55.34/37.81	c (3,0) c ReductionTime_total : 0.000000
55.34/37.81	c (3,0) c ReductionTime_winner : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_0 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_1 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_2 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_3 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_4 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_5 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_6 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_7 : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_total : 0.000000
55.34/37.81	c (3,0) c SimplifyTime_winner : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_0 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_1 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_2 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_3 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_4 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_5 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_6 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_7 : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_total : 0.000000
55.34/37.81	c (3,0) c UsedRateTime_winner : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_0 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_1 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_2 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_3 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_4 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_5 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_6 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_7 : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_total : 0.000000
55.34/37.81	c (3,0) c OverlapRateTime_winner : 0.000000
55.34/37.81	c (3,0) c
55.34/37.81	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
55.34/37.81	c (3,0) c
55.34/37.81	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.81	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
55.34/37.81	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.81	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
55.34/37.81	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
55.34/37.81	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
55.34/37.81	c (3,0) c | Initial random_seed   |  130186073 | 1168358321 | 1957192351 | 1804416624 |  820278482 | 1753503958 |  757112100 | 1980182143 |
55.34/37.81	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
55.34/37.81	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
55.34/37.81	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
55.34/37.81	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
55.34/37.81	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
55.34/37.81	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
55.34/37.81	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
55.34/37.81	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
55.34/37.81	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
55.34/37.81	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
55.34/37.81	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
55.34/37.81	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
55.34/37.81	c (3,0) 
55.34/37.81	c (3,0) s SATISFIABLE
55.34/37.86	c (3,0) SatSolver.solve End
55.34/37.87	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
55.34/37.87	c (3,0) Show results Begin
55.63/37.96	c (3,0) x[0] = 0
55.63/37.96	c (3,0) x[1] = 39
55.63/37.96	c (3,0) x[2] = 93
55.63/37.96	c (3,0) x[3] = 100
55.63/37.96	c (3,0) x[4] = 179
55.63/37.96	c (3,0) x[5] = 214
55.63/37.96	c (3,0) x[6] = 43
55.63/37.96	c (3,0) x[7] = 116
55.63/37.96	c (3,0) x[8] = 154
55.63/37.96	c (3,0) x[9] = 167
55.63/37.96	c (3,0) x[10] = 200
55.63/37.96	c (3,0) x[11] = 213
55.63/37.96	c (3,0) x[12] = 247
55.63/37.96	c (3,0) x[13] = 249
55.63/37.96	c (3,0) x[14] = 59
55.63/37.96	c (3,0) x[15] = 75
55.63/37.96	c (3,0) x[16] = 215
55.63/37.96	c (3,0) x[17] = 228
55.63/37.96	c (3,0) x[18] = 254
55.63/37.96	c (3,0) x[19] = 48
55.63/37.96	c (3,0) x[20] = 125
55.63/37.96	c (3,0) x[21] = 135
55.63/37.96	c (3,0) x[22] = 105
55.63/37.96	c (3,0) x[23] = 124
55.63/37.96	c (3,0) x[24] = 255
55.63/37.96	c (3,0) x[25] = 237
55.63/37.96	c (3,0) x[26] = 203
55.63/37.96	c (3,0) x[27] = 234
55.63/37.96	c (3,0) x[28] = 223
55.63/37.96	c (3,0) x[29] = 138
55.63/37.96	c (3,0) x[30] = 104
55.63/37.96	c (3,0) x[31] = 112
55.63/37.96	c (3,0) x[32] = 118
55.63/37.96	c (3,0) x[33] = 208
55.63/37.96	c (3,0) x[34] = 88
55.63/37.96	c (3,0) x[35] = 239
55.63/37.96	c (3,0) x[36] = 82
55.63/37.96	c (3,0) x[37] = 99
55.63/37.96	c (3,0) x[38] = 172
55.63/37.96	c (3,0) x[39] = 225
55.63/37.96	c (3,0) x[40] = 246
55.63/37.96	c (3,0) x[41] = 227
55.63/37.96	c (3,0) x[42] = 76
55.63/37.96	c (3,0) x[43] = 35
55.63/37.96	c (3,0) x[44] = 6
55.63/37.96	c (3,0) x[45] = 47
55.63/37.96	c (3,0) x[46] = 69
55.63/37.96	c (3,0) x[47] = 77
55.63/37.96	c (3,0) x[48] = 197
55.63/37.96	c (3,0) x[49] = 207
55.63/37.96	c (3,0) x[50] = 27
55.63/37.96	s SATISFIABLE
55.63/37.96	v <instantiation>
55.63/37.96	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50]</list>
55.63/37.96	v     <values>0 39 93 100 179 214 43 116 154 167 200 213 247 249 59 75 215 228 254 48 125 135 105 124 255 237 203 234 223 138 104 112 118 208 88 239 82 99 172 225 246 227 76 35 6 47 69 77 197 207 27</values>
55.63/37.96	v </instantiation>
55.63/37.96	c (3,0) Show results End
55.63/37.96	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
55.63/37.96	c (3,0) 3,3,STOP-AFTER(ALL)
55.63/37.96	c END-Prog: Tue Sep 24 16:25:28 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 (14661 MiB free)
  memory of node 1: 16384 MiB (12593 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405129-1569338813/watcher-4405129-1569338813 -o /var/tmp/evaluation-result-4405129-1569338813/solver-4405129-1569338813 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --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-4405129-1569338813.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=13620, runsolver pid=13617
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 5.05 6.05 5.96 2/212 13642
/proc/meminfo: memFree=27815132/32770624 swapFree=66954000/67108860
[pid=13620] ppid=13617 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13620/stat : 13620 (scop.sh) S 13617 13620 13124 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510136658 115843072 348 33554432000 4194304 5098028 140733460495632 140733460492888 140047947039356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23797760 140733460497149 140733460497496 140733460497496 140733460500425 0
/proc/13620/statm: 28282 348 296 221 0 87 0
[pid=13623] ppid=13620 vsize=27314120 memory=106116 CPUtime=0.11 cores=0-7
/proc/13623/stat : 13623 (java) S 13620 13620 13124 0 -1 1077944320 6553 0 0 0 8 3 0 0 20 0 20 0 510136659 27969658880 26529 33554432000 4194304 4196468 140722390673568 140722390656112 140673093304055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
/proc/13623/statm: 6828530 26529 2812 1 0 6790935 0
[pid=13623/tid=13624] ppid=13620 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/13623/task/13624/stat : 13624 (java) R 13620 13620 13124 0 -1 4202560 4635 0 0 0 6 2 0 0 20 0 20 0 510136659 27969658880 26529 33554432000 4194304 4196468 140722390673568 140673065136392 140673093315990 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13625] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13625/stat : 13625 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140673097546000 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13626] ppid=13620 vsize=27314120 memory=140351615253431 CPUtime=0 cores=0-7
/proc/13623/task/13626/stat : 13626 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672930924944 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13627] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13627/stat : 13627 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672514730512 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13628] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13628/stat : 13628 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672513677968 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13629] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13629/stat : 13629 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672512625424 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13630] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13630/stat : 13630 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672511572880 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13631] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13631/stat : 13631 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672510520336 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13632] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13632/stat : 13632 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136662 27969658880 26529 33554432000 4194304 4196468 140722390673568 140672509467792 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13633] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13633/stat : 13633 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136663 27969658880 26529 33554432000 4194304 4196468 140722390673568 140671346288624 140673093315202 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13634] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13634/stat : 13634 (java) S 13620 13620 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510136663 27969658880 26529 33554432000 4194304 4196468 140722390673568 140670983463840 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13635] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13635/stat : 13635 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136664 27969658880 26529 33554432000 4194304 4196468 140722390673568 140670715028464 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13636] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13636/stat : 13636 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 26529 33554432000 4194304 4196468 140722390673568 140670340520144 140673093322651 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13637] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13637/stat : 13637 (java) S 13620 13620 13124 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 26529 33554432000 4194304 4196468 140722390673568 140671345236464 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13638] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13638/stat : 13638 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 26529 33554432000 4194304 4196468 140722390673568 140671344183920 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13639] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13639/stat : 13639 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 26529 33554432000 4194304 4196468 140722390673568 140671343131376 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13640] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13640/stat : 13640 (java) S 13620 13620 13124 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 26529 33554432000 4194304 4196468 140722390673568 140671342078832 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13641] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13641/stat : 13641 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 26529 33554432000 4194304 4196468 140722390673568 140669842614496 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13642] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13642/stat : 13642 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136667 27969658880 26529 33554432000 4194304 4196468 140722390673568 140671341025712 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107508 KiB

[startup+0.209903 s]*
/proc/loadavg: 5.05 6.05 5.96 3/212 13642
/proc/meminfo: memFree=27793648/32770624 swapFree=66954000/67108860
[pid=13620] ppid=13617 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13620/stat : 13620 (scop.sh) S 13617 13620 13124 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510136658 115843072 348 33554432000 4194304 5098028 140733460495632 140733460492888 140047947039356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23797760 140733460497149 140733460497496 140733460497496 140733460500425 0
/proc/13620/statm: 28282 348 296 221 0 87 0
[pid=13623] ppid=13620 vsize=27314120 memory=125424 CPUtime=0.24 cores=0-7
/proc/13623/stat : 13623 (java) S 13620 13620 13124 0 -1 1077944320 12213 0 0 0 20 4 0 0 20 0 20 0 510136659 27969658880 31356 33554432000 4194304 4196468 140722390673568 140722390656112 140673093304055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
/proc/13623/statm: 6828530 31356 2971 1 0 6790935 0
[pid=13623/tid=13624] ppid=13620 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/13623/task/13624/stat : 13624 (java) R 13620 13620 13124 0 -1 4202560 9860 0 0 0 16 4 0 0 20 0 20 0 510136659 27969658880 31356 33554432000 4194304 4196468 140722390673568 140673065128016 140673093317942 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13625] ppid=13620 vsize=27314120 memory=10927 CPUtime=0 cores=0-7
/proc/13623/task/13625/stat : 13625 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140673097546000 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13626] ppid=13620 vsize=27314120 memory=3473877135133312672 CPUtime=0 cores=0-7
/proc/13623/task/13626/stat : 13626 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672930924944 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13627] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13627/stat : 13627 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672514730512 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13628] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13628/stat : 13628 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672513677968 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13629] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13629/stat : 13629 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672512625424 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13630] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13630/stat : 13630 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672511572880 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13631] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13631/stat : 13631 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672510520336 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13632] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13632/stat : 13632 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136662 27969658880 31356 33554432000 4194304 4196468 140722390673568 140672509467792 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13633] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13633/stat : 13633 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136663 27969658880 31356 33554432000 4194304 4196468 140722390673568 140671346288624 140673093315202 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13634] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13634/stat : 13634 (java) S 13620 13620 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510136663 27969658880 31356 33554432000 4194304 4196468 140722390673568 140670983463840 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13635] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13635/stat : 13635 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136664 27969658880 31356 33554432000 4194304 4196468 140722390673568 140670715028464 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13636] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13636/stat : 13636 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 31356 33554432000 4194304 4196468 140722390673568 140670340520144 140673093322651 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13637] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13637/stat : 13637 (java) S 13620 13620 13124 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 31356 33554432000 4194304 4196468 140722390673568 140671345236464 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13638] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13638/stat : 13638 (java) S 13620 13620 13124 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 31356 33554432000 4194304 4196468 140722390673568 140671344183920 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13639] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13639/stat : 13639 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 31356 33554432000 4194304 4196468 140722390673568 140671343131376 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13640] ppid=13620 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/13623/task/13640/stat : 13640 (java) S 13620 13620 13124 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 20 0 510136666 27969658880 31356 33554432000 4194304 4196468 140722390673568 140671342078832 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13641] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13641/stat : 13641 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 31356 33554432000 4194304 4196468 140722390673568 140669842614496 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13642] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13642/stat : 13642 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136667 27969658880 31356 33554432000 4194304 4196468 140722390673568 140671341025712 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126816 KiB

[startup+0.309518 s]*
/proc/loadavg: 5.05 6.05 5.96 2/212 13642
/proc/meminfo: memFree=27791716/32770624 swapFree=66954000/67108860
[pid=13620] ppid=13617 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13620/stat : 13620 (scop.sh) S 13617 13620 13124 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510136658 115843072 348 33554432000 4194304 5098028 140733460495632 140733460492888 140047947039356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23797760 140733460497149 140733460497496 140733460497496 140733460500425 0
/proc/13620/statm: 28282 348 296 221 0 87 0
[pid=13623] ppid=13620 vsize=27314120 memory=129072 CPUtime=0.42 cores=0-7
/proc/13623/stat : 13623 (java) S 13620 13620 13124 0 -1 1077944320 12658 0 0 0 37 5 0 0 20 0 20 0 510136659 27969658880 32268 33554432000 4194304 4196468 140722390673568 140722390656112 140673093304055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
/proc/13623/statm: 6828530 32268 3027 1 0 6790935 0
[pid=13623/tid=13624] ppid=13620 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/13623/task/13624/stat : 13624 (java) R 13620 13620 13124 0 -1 4202560 10056 0 0 0 26 4 0 0 20 0 20 0 510136659 27969658880 32268 33554432000 4194304 4196468 140722390673568 140673065126880 140673077384542 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13625] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13625/stat : 13625 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140673097546000 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13626] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13626/stat : 13626 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672930924944 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13627] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13627/stat : 13627 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672514730512 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13628] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13628/stat : 13628 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672513677968 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13629] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13629/stat : 13629 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672512625424 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13630] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13630/stat : 13630 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672511572880 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13631] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13631/stat : 13631 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672510520336 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13632] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13632/stat : 13632 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136662 27969658880 32268 33554432000 4194304 4196468 140722390673568 140672509467792 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13633] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13633/stat : 13633 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136663 27969658880 32268 33554432000 4194304 4196468 140722390673568 140671346288624 140673093315202 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13634] ppid=13620 vsize=27314120 memory=280702956543360 CPUtime=0 cores=0-7
/proc/13623/task/13634/stat : 13634 (java) S 13620 13620 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510136663 27969658880 32268 33554432000 4194304 4196468 140722390673568 140670983463840 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13635] ppid=13620 vsize=27314120 memory=280702956547968 CPUtime=0 cores=0-7
/proc/13623/task/13635/stat : 13635 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136664 27969658880 32268 33554432000 4194304 4196468 140722390673568 140670715028464 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13636] ppid=13620 vsize=27314120 memory=280702956552576 CPUtime=0 cores=0-7
/proc/13623/task/13636/stat : 13636 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 32268 33554432000 4194304 4196468 140722390673568 140670340520144 140673093322651 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13637] ppid=13620 vsize=27314120 memory=280702956557184 CPUtime=0.01 cores=0-7
/proc/13623/task/13637/stat : 13637 (java) S 13620 13620 13124 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 510136666 27969658880 32268 33554432000 4194304 4196468 140722390673568 140671345236464 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13638] ppid=13620 vsize=27314120 memory=280702956561792 CPUtime=0.02 cores=0-7
/proc/13623/task/13638/stat : 13638 (java) R 13620 13620 13124 0 -1 4202560 259 0 0 0 2 0 0 0 20 0 20 0 510136666 27969658880 32268 33554432000 4194304 4196468 140722390673568 140671344183920 140673093325402 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13639] ppid=13620 vsize=27314120 memory=280702956566400 CPUtime=0 cores=0-7
/proc/13623/task/13639/stat : 13639 (java) S 13620 13620 13124 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 32268 33554432000 4194304 4196468 140722390673568 140671343131376 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13640] ppid=13620 vsize=27314120 memory=280702956571008 CPUtime=0.07 cores=0-7
/proc/13623/task/13640/stat : 13640 (java) S 13620 13620 13124 0 -1 1077944384 616 0 0 0 7 0 0 0 20 0 20 0 510136666 27969658880 32268 33554432000 4194304 4196468 140722390673568 140671342078832 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13641] ppid=13620 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13641/stat : 13641 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136666 27969658880 32268 33554432000 4194304 4196468 140722390673568 140669842614496 140673093314261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13642] ppid=13620 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13623/task/13642/stat : 13642 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510136667 27969658880 32268 33554432000 4194304 4196468 140722390673568 140671341025712 140673093315202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130464 KiB

[startup+0.70093 s]
/proc/loadavg: 5.05 6.05 5.96 2/212 13642
/proc/meminfo: memFree=27770260/32770624 swapFree=66954000/67108860
[pid=13620] ppid=13617 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13620/stat : 13620 (scop.sh) S 13617 13620 13124 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510136658 115843072 348 33554432000 4194304 5098028 140733460495632 140733460492888 140047947039356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23797760 140733460497149 140733460497496 140733460497496 140733460500425 0
/proc/13620/statm: 28282 348 296 221 0 87 0
[pid=13623] ppid=13620 vsize=27322440 memory=164776 CPUtime=0.99 cores=0-7
/proc/13623/stat : 13623 (java) S 13620 13620 13124 0 -1 1077944320 20325 0 0 0 92 7 0 0 20 0 20 0 510136659 27978178560 41194 33554432000 4194304 4196468 140722390673568 140722390656112 140673093304055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
/proc/13623/statm: 6830610 41194 3178 1 0 6791959 0
[pid=13623/tid=13624] ppid=13620 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/13623/task/13624/stat : 13624 (java) R 13620 13620 13124 0 -1 4202560 17059 0 0 0 62 6 0 0 20 0 20 0 510136659 27978178560 41194 33554432000 4194304 4196468 140722390673568 140673065138352 140673093315990 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13625] ppid=13620 vsize=27322440 memory=140351478473600 CPUtime=0 cores=0-7
/proc/13623/task/13625/stat : 13625 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27978178560 41194 33554432000 4194304 4196468 140722390673568 140673097546000 140673093314261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13626] ppid=13620 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/13623/task/13626/stat : 13626 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510136661 27978178560 41194 33554432000 4194304 4196468 140722390673568 140672930924944 140673093314261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0
[pid=13623/tid=13627] ppid=13620 vsize=27322440 memory=9364 CPUtime=0 cores=0-7
/proc/13623/task/13627/stat : 13627 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510136661 27978178560 41194 33554432000 4194304 4196468 140722390673568 140672514730512 140673093314261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30531584 140722390676167 140722390676614 140722390676614 140722390679503 0

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

/proc/13646/task/13650/stat : 13650 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140179077147280 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13651] ppid=13620 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/13646/task/13651/stat : 13651 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178751130128 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13652] ppid=13620 vsize=8414124 memory=1284 CPUtime=0 cores=0-7
/proc/13646/task/13652/stat : 13652 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178750077840 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13653] ppid=13620 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/13646/task/13653/stat : 13653 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178749025040 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13654] ppid=13620 vsize=8414124 memory=708 CPUtime=0 cores=0-7
/proc/13646/task/13654/stat : 13654 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178747972752 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13655] ppid=13620 vsize=8414124 memory=9364 CPUtime=0 cores=0-7
/proc/13646/task/13655/stat : 13655 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178746919952 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13656] ppid=13620 vsize=8414124 memory=1120 CPUtime=0 cores=0-7
/proc/13646/task/13656/stat : 13656 (java) S 13620 13620 13124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510140032 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178495768688 140179268205186 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13657] ppid=13620 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/13646/task/13657/stat : 13657 (java) S 13620 13620 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510140032 8616062976 29534 33554432000 4194304 4196468 140728638645104 140177733313312 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13658] ppid=13620 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/13646/task/13658/stat : 13658 (java) S 13620 13620 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510140032 8616062976 29534 33554432000 4194304 4196468 140728638645104 140177599091824 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13659] ppid=13620 vsize=8414124 memory=8224 CPUtime=0 cores=0-7
/proc/13646/task/13659/stat : 13659 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140177224587344 140179268212635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13660] ppid=13620 vsize=8414124 memory=3616 CPUtime=0.05 cores=0-7
/proc/13646/task/13660/stat : 13660 (java) S 13620 13620 13124 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178494716528 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13661] ppid=13620 vsize=8414124 memory=1556 CPUtime=0.06 cores=0-7
/proc/13646/task/13661/stat : 13661 (java) S 13620 13620 13124 0 -1 1077944384 187 0 0 0 6 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178493663728 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13662] ppid=13620 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/13646/task/13662/stat : 13662 (java) S 13620 13620 13124 0 -1 1077944384 570 0 0 0 6 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178492611440 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13663] ppid=13620 vsize=8414124 memory=984 CPUtime=0.2 cores=0-7
/proc/13646/task/13663/stat : 13663 (java) S 13620 13620 13124 0 -1 1077944384 530 0 0 0 20 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178491558640 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13664] ppid=13620 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/13646/task/13664/stat : 13664 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140176726681952 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13665] ppid=13620 vsize=8414124 memory=20856 CPUtime=0 cores=0-7
/proc/13646/task/13665/stat : 13665 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178490505520 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13667] ppid=13620 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/13646/task/13667/stat : 13667 (java) S 13620 13620 13124 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510140102 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178482472256 140179268218649 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13669] ppid=13620 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/13646/task/13669/stat : 13669 (java) S 13620 13620 13124 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510140102 8616062976 29534 33554432000 4194304 4196468 140728638645104 140176055582608 140179268215965 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13670] ppid=13620 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/13646/task/13670/stat : 13670 (java) S 13620 13620 13124 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510140102 8616062976 29534 33554432000 4194304 4196468 140728638645104 140176324017936 140179268215965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13671] ppid=13620 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/13646/task/13671/stat : 13671 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140104 8616062976 29534 33554432000 4194304 4196468 140728638645104 140175787155248 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
Current children cumulated CPU time: 54.44 s
Current children cumulated vsize: 9688136 KiB
Current children cumulated memory: 699644 KiB

[startup+37.8011 s]
/proc/loadavg: 3.23 5.49 5.78 2/216 13671
/proc/meminfo: memFree=27679396/32770624 swapFree=66954000/67108860
[pid=13620] ppid=13617 vsize=113128 memory=1472 CPUtime=49.76 cores=0-7
/proc/13620/stat : 13620 (scop.sh) S 13617 13620 13124 0 -1 4202496 582 47336 0 0 0 0 4716 260 20 0 1 0 510136658 115843072 368 33554432000 4194304 5098028 140733460495632 140733460492376 140047947039356 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23797760 140733460497149 140733460497496 140733460497496 140733460500425 0
/proc/13620/statm: 28282 368 311 221 0 87 0
[pid=13646] ppid=13620 vsize=8414124 memory=118136 CPUtime=1.18 cores=0-7
/proc/13646/stat : 13646 (java) S 13620 13620 13124 0 -1 1077944320 20055 0 0 0 110 8 0 0 20 0 24 0 510140028 8616062976 29534 33554432000 4194304 4196468 140728638645104 140728638627648 140179268194039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
/proc/13646/statm: 2103531 29534 3205 1 0 2064875 0
[pid=13666] ppid=13646 vsize=1128232 memory=594952 CPUtime=4.4 cores=0-7
/proc/13666/stat : 13666 (manyglucose-4.1) R 13646 13620 13124 0 -1 4202496 124848 0 0 0 412 28 0 0 20 0 1 0 510140102 1155309568 148738 33554432000 4194304 4454172 140731215882320 140731215880704 140616435768445 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 14643200 140731215889229 140731215889436 140731215889436 140731215892406 0
/proc/13666/statm: 282058 148738 417 64 0 277726 0
[pid=13646/tid=13647] ppid=13620 vsize=8414124 memory=880 CPUtime=0.76 cores=0-7
/proc/13646/task/13647/stat : 13647 (java) S 13620 13620 13124 0 -1 1077944384 16952 0 0 0 70 6 0 0 20 0 24 0 510140029 8616062976 29534 33554432000 4194304 4196468 140728638645104 140179240034208 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13648] ppid=13620 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/13646/task/13648/stat : 13648 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140179272436112 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13649] ppid=13620 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/13646/task/13649/stat : 13649 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140179078199568 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13650] ppid=13620 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/13646/task/13650/stat : 13650 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140179077147280 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13651] ppid=13620 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/13646/task/13651/stat : 13651 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178751130128 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13652] ppid=13620 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/13646/task/13652/stat : 13652 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178750077840 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13653] ppid=13620 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/13646/task/13653/stat : 13653 (java) S 13620 13620 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178749025040 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13654] ppid=13620 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13646/task/13654/stat : 13654 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178747972752 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13655] ppid=13620 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13646/task/13655/stat : 13655 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140030 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178746919952 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13656] ppid=13620 vsize=8414124 memory=-7824251494390651237 CPUtime=0 cores=0-7
/proc/13646/task/13656/stat : 13656 (java) S 13620 13620 13124 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510140032 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178495768688 140179268205186 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13657] ppid=13620 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/13646/task/13657/stat : 13657 (java) S 13620 13620 13124 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510140032 8616062976 29534 33554432000 4194304 4196468 140728638645104 140177733313312 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13658] ppid=13620 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13646/task/13658/stat : 13658 (java) S 13620 13620 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510140032 8616062976 29534 33554432000 4194304 4196468 140728638645104 140177599091824 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13659] ppid=13620 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13646/task/13659/stat : 13659 (java) S 13620 13620 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140177224587344 140179268212635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13660] ppid=13620 vsize=8414124 memory=170985786 CPUtime=0.05 cores=0-7
/proc/13646/task/13660/stat : 13660 (java) R 13620 13620 13124 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178494716528 140179268205186 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13661] ppid=13620 vsize=8414124 memory=4426639978525455914 CPUtime=0.06 cores=0-7
/proc/13646/task/13661/stat : 13661 (java) S 13620 13620 13124 0 -1 1077944384 187 0 0 0 6 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178493663728 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13662] ppid=13620 vsize=8414124 memory=3047711553219693942 CPUtime=0.06 cores=0-7
/proc/13646/task/13662/stat : 13662 (java) S 13620 13620 13124 0 -1 1077944384 570 0 0 0 6 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178492611440 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13663] ppid=13620 vsize=8414124 memory=-7521736447810188379 CPUtime=0.2 cores=0-7
/proc/13646/task/13663/stat : 13663 (java) R 13620 13620 13124 0 -1 4202560 532 0 0 0 20 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178491558640 140179247538642 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13664] ppid=13620 vsize=8414124 memory=-8412652160765825907 CPUtime=0 cores=0-7
/proc/13646/task/13664/stat : 13664 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140176726681952 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13665] ppid=13620 vsize=8414124 memory=7100839878645619564 CPUtime=0 cores=0-7
/proc/13646/task/13665/stat : 13665 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140035 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178490505520 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13667] ppid=13620 vsize=8414124 memory=-8634980985311628903 CPUtime=0 cores=0-7
/proc/13646/task/13667/stat : 13667 (java) S 13620 13620 13124 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510140102 8616062976 29534 33554432000 4194304 4196468 140728638645104 140178482472256 140179268218649 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13669] ppid=13620 vsize=8414124 memory=7897517683652307531 CPUtime=0 cores=0-7
/proc/13646/task/13669/stat : 13669 (java) R 13620 13620 13124 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 510140102 8616062976 29534 33554432000 4194304 4196468 140728638645104 140176055588048 140178756839535 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13670] ppid=13620 vsize=8414124 memory=8514726395715349656 CPUtime=0 cores=0-7
/proc/13646/task/13670/stat : 13670 (java) S 13620 13620 13124 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510140102 8616062976 29534 33554432000 4194304 4196468 140728638645104 140176324017936 140179268215965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13671] ppid=13620 vsize=8414124 memory=3047711553320166262 CPUtime=0 cores=0-7
/proc/13646/task/13671/stat : 13671 (java) S 13620 13620 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510140104 8616062976 29534 33554432000 4194304 4196468 140728638645104 140175787155248 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
Current children cumulated CPU time: 55.34 s
Current children cumulated vsize: 9655484 KiB
Current children cumulated memory: 714560 KiB

[startup+37.9011 s]
/proc/loadavg: 3.23 5.49 5.78 2/216 13671
/proc/meminfo: memFree=27679396/32770624 swapFree=66954000/67108860
[pid=13620] ppid=13617 vsize=113128 memory=1472 CPUtime=49.76 cores=0-7
/proc/13620/stat : 13620 (scop.sh) S 13617 13620 13124 0 -1 4202496 582 47336 0 0 0 0 4716 260 20 0 1 0 510136658 115843072 368 33554432000 4194304 5098028 140733460495632 140733460492376 140047947039356 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23797760 140733460497149 140733460497496 140733460497496 140733460500425 0
/proc/13620/statm: 28282 368 311 221 0 87 0
[pid=13646] ppid=13620 vsize=8283048 memory=126104 CPUtime=5.87 cores=0-7
/proc/13646/stat : 13646 (java) S 13620 13620 13124 0 -1 1077944320 20480 124855 0 0 134 9 413 31 20 0 22 0 510140028 8481841152 31526 33554432000 4194304 4196468 140728638645104 140728638627648 140179268194039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
/proc/13646/statm: 2070762 31526 3221 1 0 2032106 0
[pid=13646/tid=13647] ppid=13620 vsize=8283048 memory=56 CPUtime=5.23 cores=0-7
/proc/13646/task/13647/stat : 13647 (java) R 13620 13620 13124 0 -1 4202560 17092 124855 0 0 73 6 413 31 20 0 22 0 510140029 8481841152 31526 33554432000 4194304 4196468 140728638645104 140179240031280 140178760005408 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13648] ppid=13620 vsize=8283048 memory=56 CPUtime=4.44 cores=0-7
/proc/13646/task/13648/stat : 13648 (java) S 13620 13620 13124 0 -1 1077944384 2 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140179272436112 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13649] ppid=13620 vsize=8283048 memory=5793714152674518892 CPUtime=4.44 cores=0-7
/proc/13646/task/13649/stat : 13649 (java) S 13620 13620 13124 0 -1 1077944384 2 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140179078199568 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13650] ppid=13620 vsize=8283048 memory=1724 CPUtime=4.44 cores=0-7
/proc/13646/task/13650/stat : 13650 (java) S 13620 13620 13124 0 -1 1077944384 2 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140179077147280 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13651] ppid=13620 vsize=8283048 memory=8224 CPUtime=4.44 cores=0-7
/proc/13646/task/13651/stat : 13651 (java) S 13620 13620 13124 0 -1 1077944384 1 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178751130128 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13652] ppid=13620 vsize=8283048 memory=3616 CPUtime=4.44 cores=0-7
/proc/13646/task/13652/stat : 13652 (java) S 13620 13620 13124 0 -1 1077944384 1 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178750077840 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13653] ppid=13620 vsize=8283048 memory=83728 CPUtime=4.44 cores=0-7
/proc/13646/task/13653/stat : 13653 (java) S 13620 13620 13124 0 -1 1077944384 2 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178749025040 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13654] ppid=13620 vsize=8283048 memory=1120 CPUtime=4.44 cores=0-7
/proc/13646/task/13654/stat : 13654 (java) S 13620 13620 13124 0 -1 1077944384 1 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178747972752 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13655] ppid=13620 vsize=8283048 memory=776 CPUtime=4.44 cores=0-7
/proc/13646/task/13655/stat : 13655 (java) S 13620 13620 13124 0 -1 1077944384 3 124855 0 0 0 0 413 31 20 0 22 0 510140030 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178746919952 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13656] ppid=13620 vsize=8283048 memory=1044 CPUtime=4.44 cores=0-7
/proc/13646/task/13656/stat : 13656 (java) S 13620 13620 13124 0 -1 1077944384 7 124855 0 0 0 0 413 31 20 0 22 0 510140032 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178495768688 140179268205186 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13657] ppid=13620 vsize=8283048 memory=708 CPUtime=4.44 cores=0-7
/proc/13646/task/13657/stat : 13657 (java) S 13620 13620 13124 0 -1 1077944384 13 124855 0 0 0 0 413 31 20 0 22 0 510140032 8481841152 31526 33554432000 4194304 4196468 140728638645104 140177733313312 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13658] ppid=13620 vsize=8283048 memory=1392 CPUtime=4.44 cores=0-7
/proc/13646/task/13658/stat : 13658 (java) S 13620 13620 13124 0 -1 1077944384 21 124855 0 0 0 0 413 31 20 0 22 0 510140032 8481841152 31526 33554432000 4194304 4196468 140728638645104 140177599091824 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13659] ppid=13620 vsize=8283048 memory=108448 CPUtime=4.44 cores=0-7
/proc/13646/task/13659/stat : 13659 (java) S 13620 13620 13124 0 -1 1077944384 1 124855 0 0 0 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140177224587344 140179268212635 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13660] ppid=13620 vsize=8283048 memory=20856 CPUtime=4.51 cores=0-7
/proc/13646/task/13660/stat : 13660 (java) S 13620 13620 13124 0 -1 1077944384 407 124855 0 0 7 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178494716528 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13661] ppid=13620 vsize=8283048 memory=1472 CPUtime=4.54 cores=0-7
/proc/13646/task/13661/stat : 13661 (java) S 13620 13620 13124 0 -1 1077944384 273 124855 0 0 10 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178493663728 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13662] ppid=13620 vsize=8283048 memory=118136 CPUtime=4.53 cores=0-7
/proc/13646/task/13662/stat : 13662 (java) S 13620 13620 13124 0 -1 1077944384 589 124855 0 0 9 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178492611440 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13663] ppid=13620 vsize=8283048 memory=108188 CPUtime=4.69 cores=0-7
/proc/13646/task/13663/stat : 13663 (java) S 13620 13620 13124 0 -1 1077944384 645 124855 0 0 25 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178491558640 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13664] ppid=13620 vsize=8283048 memory=118136 CPUtime=4.44 cores=0-7
/proc/13646/task/13664/stat : 13664 (java) S 13620 13620 13124 0 -1 1077944384 3 124855 0 0 0 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140176726681952 140179268204245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13665] ppid=13620 vsize=8283048 memory=93804 CPUtime=4.44 cores=0-7
/proc/13646/task/13665/stat : 13665 (java) S 13620 13620 13124 0 -1 1077944384 3 124855 0 0 0 0 413 31 20 0 22 0 510140035 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178490505520 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13667] ppid=13620 vsize=8283048 memory=1472 CPUtime=4.44 cores=0-7
/proc/13646/task/13667/stat : 13667 (java) S 13620 13620 13124 0 -1 1077944384 25 124855 0 0 0 0 413 31 20 0 22 0 510140102 8481841152 31526 33554432000 4194304 4196468 140728638645104 140178482471440 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
[pid=13646/tid=13671] ppid=13620 vsize=8283048 memory=804 CPUtime=4.44 cores=0-7
/proc/13646/task/13671/stat : 13671 (java) S 13620 13620 13124 0 -1 1077944384 8 124855 0 0 0 0 413 31 20 0 22 0 510140104 8481841152 31526 33554432000 4194304 4196468 140728638645104 140175787157040 140179268205186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140728638653407 140728638653574 140728638653574 140728638656463 0
Current children cumulated CPU time: 55.63 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127576 KiB

Child status: 0
Real time (s): 37.9856
CPU time (s): 55.8022
CPU user time (s): 52.7746
CPU system time (s): 3.02758
CPU usage (%): 146.904
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6421360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.7746
system time used= 3.02758
maximum resident set size= 6421568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27177
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 13620
#   total CPU time (s): 55.8022
#   total CPU user time (s): 52.7746
#   total CPU system time (s): 3.02758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.261165 second user time and 0.42512 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 16:24:50
IDJOB=4405129
IDBENCH=131444
IDSOLVER=2867
FILE ID=node107/4405129-1569338813
RUNJOBID= node107-1569332256-13151
PBS_JOBID= 21705068
Free space on /var/tmp= 12564 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.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-4405129-1569338813/watcher-4405129-1569338813 -o /var/tmp/evaluation-result-4405129-1569338813/solver-4405129-1569338813 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --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-4405129-1569338813.xml

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

MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521
RANDOM SEED=1849938884

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        27910112 kB
MemAvailable:   31801492 kB
Buffers:           64536 kB
Cached:          3953284 kB
SwapCached:        48264 kB
Active:          3082176 kB
Inactive:         983972 kB
Active(anon):        736 kB
Inactive(anon):   100608 kB
Active(file):    3081440 kB
Inactive(file):   883364 kB
Unevictable:      110992 kB
Mlocked:          110992 kB
SwapTotal:      67108860 kB
SwapFree:       66954000 kB
Dirty:             20564 kB
Writeback:             0 kB
AnonPages:        112048 kB
Mapped:            53788 kB
Shmem:             44480 kB
Slab:             384308 kB
SReclaimable:     355036 kB
SUnreclaim:        29272 kB
KernelStack:        3376 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505496 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:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12544 MiB
End job on node107 at 2019-09-24 16:25:28