Trace number 4392579

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRandom/Random-D-t050/
rand-2-40-25-180-050-34.xml
MD5SUM2b23d7f384de8bee09908163d3005f80
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 benchmark1.27106
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":40}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":180}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-3777-serial-file.bin HOME/instance-4392579-1568420298.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 02:17:37 CEST 2019
0.65/0.56	c PID: 3780
0.65/0.56	c IP: 172.20.3.141
0.65/0.56	c HOST: node141.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.15/1.10	c (0,0) Parsing End
2.15/1.10	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 180 ctr, max domain size 25
2.15/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.15/1.10	c (0,0) Constraint Name Generate Begin
2.51/1.11	c (0,0) Ctr:HOME/instance-4392579-1568420298.xml,ExtensionConflict:ExtensionSupport:Var
2.51/1.11	c (0,0) Constraint Name Generate End
2.51/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.51/1.11	c (0,0) CSP to CSPinCNF Begin
5.38/2.03	c (1,1) translated 18 (10%) constraints
7.50/2.72	c (2,1) translated 36 (20%) constraints
8.31/3.00	c (2,2) translated 54 (30%) constraints
9.51/3.25	c (2,2) translated 72 (40%) constraints
10.73/3.53	c (2,2) translated 90 (50%) constraints
11.92/3.84	c (3,2) translated 108 (60%) constraints
12.68/4.05	c (3,3) translated 126 (70%) constraints
12.96/4.25	c (3,3) translated 144 (80%) constraints
13.32/4.51	c (3,3) translated 162 (90%) constraints
13.54/4.76	c (4,3) translated 180 (100%) constraints
13.54/4.77	c (4,3) ===========================================
13.66/4.80	c (4,3) Hybrid: #OE=2090, #LE=0
13.66/4.80	c (4,3) Hybrid
13.66/4.80	c (4,3) ===========================================
14.02/4.96	c (4,4) translated 4470 (10%) constraints
14.35/5.07	c (4,4) translated 8940 (20%) constraints
14.63/5.16	c (4,4) translated 13410 (30%) constraints
14.72/5.26	c (4,4) translated 17880 (40%) constraints
14.82/5.36	c (4,4) translated 22349 (50%) constraints
14.92/5.45	c (4,4) translated 26819 (60%) constraints
15.02/5.55	c (5,4) translated 31289 (70%) constraints
15.13/5.65	c (5,4) translated 35759 (80%) constraints
15.23/5.75	c (5,4) translated 40229 (90%) constraints
15.43/5.85	c (5,4) translated 44698 (100%) constraints
15.43/5.85	c (5,4) CSP to CSPinCNF End
15.43/5.85	c (5,4) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
15.43/5.85	c (5,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.43/5.85	c (5,4) CSPinCNF Propagation Begin
16.45/6.17	c (5,5) 0 values, 1915 unsatisfiable literals, and 0 valid clauses are removed
16.45/6.17	c (5,5) CSPinCNF Propagation End
16.45/6.17	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
16.45/6.17	c (5,5) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.82/6.20	c (5,5) Hybrid: #OE=2090, #LE=0
16.82/6.20	c (5,5) Simplify CSPinCNF Begin
17.14/6.32	c (5,5) Simplify CSPinCNF End
17.14/6.32	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.14/6.32	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.14/6.32	c (5,5) Calculate Precise Domain Begin
17.14/6.32	c (5,5) 0 values are removed by re-calculation
17.14/6.32	c (5,5) Calculate Precise Domain End
17.14/6.33	c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.14/6.33	c (5,5) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.14/6.33	c (5,5) CSPinCNF to SatSolver Begin
17.84/6.56	c (6,5) 4470 (10 %) CSP clauses are encoded (0 SAT variables, 5389 SAT clauses)
18.24/6.66	c (6,5) 8940 (20 %) CSP clauses are encoded (0 SAT variables, 9859 SAT clauses)
18.64/6.72	c (6,5) 13410 (30 %) CSP clauses are encoded (0 SAT variables, 14329 SAT clauses)
18.64/6.76	c (6,5) 17880 (40 %) CSP clauses are encoded (0 SAT variables, 18799 SAT clauses)
18.79/6.81	c (6,5) 22349 (50 %) CSP clauses are encoded (0 SAT variables, 23268 SAT clauses)
18.79/6.86	c (6,5) 26819 (60 %) CSP clauses are encoded (0 SAT variables, 27738 SAT clauses)
18.90/6.91	c (6,6) 31289 (70 %) CSP clauses are encoded (0 SAT variables, 32208 SAT clauses)
18.90/6.95	c (6,6) 35759 (80 %) CSP clauses are encoded (0 SAT variables, 36678 SAT clauses)
18.90/7.00	c (6,6) 40229 (90 %) CSP clauses are encoded (0 SAT variables, 41148 SAT clauses)
19.01/7.04	c (6,6) 44698 (100 %) CSP clauses are encoded (0 SAT variables, 45617 SAT clauses)
19.01/7.04	c (6,6) CSPinCNF to SatSolver End
19.01/7.04	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.01/7.04	c (6,6) 3010 bool, 45618 clause
19.01/7.04	c (6,6) Export Begin
19.14/7.13	c (6,6) Export to HOME/scop-3777-serial-file.bin
19.14/7.13	c (6,6) Export End
19.14/7.13	c (6,6) Export File Size: 0.01 MB
19.14/7.13	c (6,6) 0,0,5,5,5,5,6,STOP-AFTER(DIMACS)
19.14/7.13	c END-Prog: Sat Sep 14 02:17:43 CEST 2019
19.14/7.15	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3777-serial-file.bin
19.24/7.61	c (0,0) Read Serial File Begin
19.24/7.61	c (0,0) HOME/scop-3777-serial-file.bin
19.24/7.82	c (0,0) Read Serial File End
19.24/7.83	
19.24/7.83	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
19.24/7.83	(Solving Process)
19.24/7.83	
19.24/7.85	c BEGIN-Prog: Sat Sep 14 02:17:44 CEST 2019
19.24/7.85	c PID: 3800
19.24/7.85	c IP: 172.20.3.141
19.24/7.85	c HOST: node141.alineos.net
19.24/7.86	c (0,0) SatSolver.solve Begin
19.24/7.86	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392579-1568420298.xml-scop-3780.cnf
19.24/7.88	c (0,0) c
19.24/7.88	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)
19.24/7.88	c (0,0) c
19.24/7.88	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
19.24/7.88	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
19.24/7.88	c (0,0) c ========================================[ Problem Statistics ]===========================================
19.24/7.88	c (0,0) c |                                                                                                       |
19.24/7.90	c (0,0) c |  Number of variables:          3010                                                                   |
19.24/7.90	c (0,0) c |  Number of clauses:           45618                                                                   |
19.24/7.90	c (0,0) c |  Parse time:                   0.02 s                                                                 |
19.24/7.90	c (0,0) c |                                                                                                       |
19.24/7.92	c (0,0) c |  Simplification time:          0.02 s                                                                 |
19.24/7.92	c (0,0) c |                                                                                                       |
19.24/7.92	c (0,0) c |  Generating clones                                                                                    |
19.24/7.93	c (0,0) c |  all clones generated. Memory =    45.38Mb.                                                           |
19.24/7.93	c (0,0) c ========================================================================================================|
19.24/7.93	c (0,0) c
19.24/7.93	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
19.24/7.93	c (0,0) c
19.24/7.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.24/7.93	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
19.24/7.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.24/7.93	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
19.24/7.93	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
19.24/7.93	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
19.24/7.93	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
19.24/7.93	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
19.24/7.93	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
19.24/7.93	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
19.24/7.93	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
19.24/7.93	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
19.24/7.93	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
19.24/7.93	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
19.24/7.93	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
19.24/7.93	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
19.24/7.93	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
19.24/7.93	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
19.24/7.93	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c real time : 3.87574 s
50.24/11.76	c (4,0) c cpu time  : 29.8687 s
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c | Conflicts     |          321694 |      40547 |      39542 |      40155 |      40339 |      40425 |      40554 |      40009 |      40123 |
50.24/11.76	c (4,0) c | Decisions     |          450939 |      56611 |      55115 |      56467 |      56895 |      56288 |      56322 |      56666 |      56575 |
50.24/11.76	c (4,0) c | Propagations  |       104519953 |   12962679 |   13151039 |   12954781 |   13252245 |   13041850 |   13014467 |   13181742 |   12961150 |
50.24/11.76	c (4,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.24/11.76	c (4,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
50.24/11.76	c (4,0) c | Restarts      |             233 |         24 |         29 |         40 |         29 |         15 |         24 |         30 |         42 |
50.24/11.76	c (4,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.24/11.76	c (4,0) c | PropBinClauses|       118458386 |   14709330 |   14914944 |   14698918 |   15013491 |   14751604 |   14809277 |   14934317 |   14626505 |
50.24/11.76	c (4,0) c | PropPreBlocker|      1352005225 |  167940082 |  166906429 |  167320471 |  170960025 |  170779750 |  171800333 |  168133635 |  168164500 |
50.24/11.76	c (4,0) c | PropNotBlocker|       466041177 |   57675422 |   58315199 |   58375961 |   60060830 |   56858242 |   59019930 |   58441610 |   57293983 |
50.24/11.76	c (4,0) c | LitFullScans  |      2225422180 |  276021150 |  276018155 |  276020529 |  282016579 |  279388206 |  282016637 |  277918465 |  276022459 |
50.24/11.76	c (4,0) c | LitScanFracts |           57910 |       7854 |       8285 |       9097 |       6075 |       5198 |       7149 |       5901 |       8351 |
50.24/11.76	c (4,0) c | DecisionLevel0|             233 |         24 |         29 |         40 |         29 |         15 |         24 |         30 |         42 |
50.24/11.76	c (4,0) c | Periods       |             370 |         46 |         46 |         46 |         47 |         46 |         47 |         46 |         46 |
50.24/11.76	c (4,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
50.24/11.76	c (4,0) c | Avg_Trail     |                 |       1068 |       1080 |       1093 |       1091 |       1120 |       1094 |       1118 |       1083 |
50.24/11.76	c (4,0) c | Avg_DL        |                 |         13 |         13 |         14 |         14 |         14 |         13 |         14 |         14 |
50.24/11.76	c (4,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.24/11.76	c (4,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c | Exported      |           64244 |       7910 |       7778 |       7656 |       8429 |       8556 |       8349 |       7821 |       7745 |
50.24/11.76	c (4,0) c | Imported      |          266643 |      30765 |      33739 |      27935 |      35038 |      35013 |      33644 |      36530 |      33979 |
50.24/11.76	c (4,0) c | Good          |             380 |         47 |         49 |         45 |         52 |         50 |         41 |         49 |         47 |
50.24/11.76	c (4,0) c | Purge         |          266263 |      30718 |      33690 |      27890 |      34986 |      34963 |      33603 |      36481 |      33932 |
50.24/11.76	c (4,0) c | Promoted      |            8732 |       1057 |       1079 |       1044 |       1160 |        771 |       1231 |        966 |       1424 |
50.24/11.76	c (4,0) c | Remove_Imp    |           51187 |       7928 |       6464 |       4853 |       6340 |       2953 |       7855 |       6602 |       8192 |
50.24/11.76	c (4,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
50.24/11.76	c (4,0) c | Binaries      |                 |         10 |          8 |          5 |          8 |          7 |         18 |         11 |          9 |
50.24/11.76	c (4,0) c | Glues         |                 |        460 |        459 |        481 |        506 |        441 |        461 |        489 |        498 |
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c | Orig_Seen     |            68 % |      30293 |      31379 |      31306 |      31214 |      30742 |      31084 |      32095 |      31430 |
50.24/11.76	c (4,0) c | Diff Orig seen|                 | -      449 |        637 |        564 |        472 |      X     |        342 |       1353 |        688 |
50.24/11.76	c (4,0) c | Hamming       |            40 % |       1293 |       1233 |       1266 |       1190 |      X     |       1313 |       1102 |       1223 |
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c | RunningTime   |                 |    3.8 100%|    3.8 100%|    3.8 100%|    3.8 100%|    3.7 100%|    3.7 100%|    3.7 100%|    3.7 100%|
50.24/11.76	c (4,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%|
50.24/11.76	c (4,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%|
50.24/11.76	c (4,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%|
50.24/11.76	c (4,0) c | SolvingTime   |                 |    3.8     |    3.8     |    3.8     |    3.8     |    3.7     |    3.7     |    3.7     |    3.8     |
50.24/11.76	c (4,0) c | PropagationTim|                 |    3.3  87%|    3.3  87%|    3.3  87%|    3.3  87%|    3.2  86%|    3.2  87%|    3.2  87%|    3.3  87%|
50.24/11.76	c (4,0) c | AnalysisTime  |                 |    0.3   9%|    0.3   8%|    0.3   8%|    0.3   8%|    0.3   9%|    0.3   9%|    0.3   9%|    0.3   9%|
50.24/11.76	c (4,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
50.24/11.76	c (4,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%|
50.24/11.76	c (4,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%|
50.24/11.76	c (4,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%|
50.24/11.76	c (4,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c
50.24/11.76	c (4,0) c Threads : 8
50.24/11.76	c (4,0) c Winner : 4
50.24/11.76	c (4,0) c Conflicts_0 : 40547
50.24/11.76	c (4,0) c Conflicts_1 : 39542
50.24/11.76	c (4,0) c Conflicts_2 : 40155
50.24/11.76	c (4,0) c Conflicts_3 : 40339
50.24/11.76	c (4,0) c Conflicts_4 : 40425
50.24/11.76	c (4,0) c Conflicts_5 : 40554
50.24/11.76	c (4,0) c Conflicts_6 : 40009
50.24/11.76	c (4,0) c Conflicts_7 : 40123
50.24/11.76	c (4,0) c Conflicts_total : 321694
50.24/11.76	c (4,0) c Conflicts_winner : 40425
50.24/11.76	c (4,0) c Decisions_0 : 56611
50.24/11.76	c (4,0) c Decisions_1 : 55115
50.24/11.76	c (4,0) c Decisions_2 : 56467
50.24/11.76	c (4,0) c Decisions_3 : 56895
50.24/11.76	c (4,0) c Decisions_4 : 56288
50.24/11.76	c (4,0) c Decisions_5 : 56322
50.24/11.76	c (4,0) c Decisions_6 : 56666
50.24/11.76	c (4,0) c Decisions_7 : 56575
50.24/11.76	c (4,0) c Decisions_total : 450939
50.24/11.76	c (4,0) c Decisions_winner : 56288
50.24/11.76	c (4,0) c Propagations_0 : 12962679
50.24/11.76	c (4,0) c Propagations_1 : 13151039
50.24/11.76	c (4,0) c Propagations_2 : 12954781
50.24/11.76	c (4,0) c Propagations_3 : 13252245
50.24/11.76	c (4,0) c Propagations_4 : 13041850
50.24/11.76	c (4,0) c Propagations_5 : 13014467
50.24/11.76	c (4,0) c Propagations_6 : 13181742
50.24/11.76	c (4,0) c Propagations_7 : 12961150
50.24/11.76	c (4,0) c Propagations_total : 104519953
50.24/11.76	c (4,0) c Propagations_winner : 13041850
50.24/11.76	c (4,0) c ReduceDBs_0 : 5
50.24/11.76	c (4,0) c ReduceDBs_1 : 5
50.24/11.76	c (4,0) c ReduceDBs_2 : 5
50.24/11.76	c (4,0) c ReduceDBs_3 : 5
50.24/11.76	c (4,0) c ReduceDBs_4 : 5
50.24/11.76	c (4,0) c ReduceDBs_5 : 5
50.24/11.76	c (4,0) c ReduceDBs_6 : 5
50.24/11.76	c (4,0) c ReduceDBs_7 : 5
50.24/11.76	c (4,0) c ReduceDBs_total : 40
50.24/11.76	c (4,0) c ReduceDBs_winner : 5
50.24/11.76	c (4,0) c SimpDBs_0 : 1
50.24/11.76	c (4,0) c SimpDBs_1 : 1
50.24/11.76	c (4,0) c SimpDBs_2 : 1
50.24/11.76	c (4,0) c SimpDBs_3 : 1
50.24/11.76	c (4,0) c SimpDBs_4 : 1
50.24/11.76	c (4,0) c SimpDBs_5 : 1
50.24/11.76	c (4,0) c SimpDBs_6 : 1
50.24/11.76	c (4,0) c SimpDBs_7 : 1
50.24/11.76	c (4,0) c SimpDBs_total : 8
50.24/11.76	c (4,0) c SimpDBs_winner : 1
50.24/11.76	c (4,0) c Restarts_0 : 24
50.24/11.76	c (4,0) c Restarts_1 : 29
50.24/11.76	c (4,0) c Restarts_2 : 40
50.24/11.76	c (4,0) c Restarts_3 : 29
50.24/11.76	c (4,0) c Restarts_4 : 15
50.24/11.76	c (4,0) c Restarts_5 : 24
50.24/11.76	c (4,0) c Restarts_6 : 30
50.24/11.76	c (4,0) c Restarts_7 : 42
50.24/11.76	c (4,0) c Restarts_total : 233
50.24/11.76	c (4,0) c Restarts_winner : 15
50.24/11.76	c (4,0) c ForcedImports_0 : 0
50.24/11.76	c (4,0) c ForcedImports_1 : 0
50.24/11.76	c (4,0) c ForcedImports_2 : 0
50.24/11.76	c (4,0) c ForcedImports_3 : 0
50.24/11.76	c (4,0) c ForcedImports_4 : 0
50.24/11.76	c (4,0) c ForcedImports_5 : 0
50.24/11.76	c (4,0) c ForcedImports_6 : 0
50.24/11.76	c (4,0) c ForcedImports_7 : 0
50.24/11.76	c (4,0) c ForcedImports_total : 0
50.24/11.76	c (4,0) c ForcedImports_winner : 0
50.24/11.76	c (4,0) c PropsBinClauses_0 : 14709330
50.24/11.76	c (4,0) c PropsBinClauses_1 : 14914944
50.24/11.76	c (4,0) c PropsBinClauses_2 : 14698918
50.24/11.76	c (4,0) c PropsBinClauses_3 : 15013491
50.24/11.76	c (4,0) c PropsBinClauses_4 : 14751604
50.24/11.76	c (4,0) c PropsBinClauses_5 : 14809277
50.24/11.76	c (4,0) c PropsBinClauses_6 : 14934317
50.24/11.76	c (4,0) c PropsBinClauses_7 : 14626505
50.24/11.76	c (4,0) c PropsBinClauses_total : 118458386
50.24/11.76	c (4,0) c PropsBinClauses_winner : 14751604
50.24/11.76	c (4,0) c PropsPreBlocker_0 : 167940082
50.24/11.76	c (4,0) c PropsPreBlocker_1 : 166906429
50.24/11.76	c (4,0) c PropsPreBlocker_2 : 167320471
50.24/11.76	c (4,0) c PropsPreBlocker_3 : 170960025
50.24/11.76	c (4,0) c PropsPreBlocker_4 : 170779750
50.24/11.76	c (4,0) c PropsPreBlocker_5 : 171800333
50.24/11.76	c (4,0) c PropsPreBlocker_6 : 168133635
50.24/11.76	c (4,0) c PropsPreBlocker_7 : 168164500
50.24/11.76	c (4,0) c PropsPreBlocker_total : 1352005225
50.24/11.76	c (4,0) c PropsPreBlocker_winner : 170779750
50.24/11.76	c (4,0) c PropsNotBlocker_0 : 57675422
50.24/11.76	c (4,0) c PropsNotBlocker_1 : 58315199
50.24/11.76	c (4,0) c PropsNotBlocker_2 : 58375961
50.24/11.76	c (4,0) c PropsNotBlocker_3 : 60060830
50.24/11.76	c (4,0) c PropsNotBlocker_4 : 56858242
50.24/11.76	c (4,0) c PropsNotBlocker_5 : 59019930
50.24/11.76	c (4,0) c PropsNotBlocker_6 : 58441610
50.24/11.76	c (4,0) c PropsNotBlocker_7 : 57293983
50.24/11.76	c (4,0) c PropsNotBlocker_total : 466041177
50.24/11.76	c (4,0) c PropsNotBlocker_winner : 56858242
50.24/11.76	c (4,0) c PropsLitFullScans_0 : 276021150
50.24/11.76	c (4,0) c PropsLitFullScans_1 : 276018155
50.24/11.76	c (4,0) c PropsLitFullScans_2 : 276020529
50.24/11.76	c (4,0) c PropsLitFullScans_3 : 282016579
50.24/11.76	c (4,0) c PropsLitFullScans_4 : 279388206
50.24/11.76	c (4,0) c PropsLitFullScans_5 : 282016637
50.24/11.76	c (4,0) c PropsLitFullScans_6 : 277918465
50.24/11.76	c (4,0) c PropsLitFullScans_7 : 276022459
50.24/11.76	c (4,0) c PropsLitFullScans_total : 2225422180
50.24/11.76	c (4,0) c PropsLitFullScans_winner : 279388206
50.24/11.76	c (4,0) c LitScanFractions_0 : 7854
50.24/11.76	c (4,0) c LitScanFractions_1 : 8285
50.24/11.76	c (4,0) c LitScanFractions_2 : 9097
50.24/11.76	c (4,0) c LitScanFractions_3 : 6075
50.24/11.76	c (4,0) c LitScanFractions_4 : 5198
50.24/11.76	c (4,0) c LitScanFractions_5 : 7149
50.24/11.76	c (4,0) c LitScanFractions_6 : 5901
50.24/11.76	c (4,0) c LitScanFractions_7 : 8351
50.24/11.76	c (4,0) c LitScanFractions_total : 57910
50.24/11.76	c (4,0) c LitScanFractions_winner : 5198
50.24/11.76	c (4,0) c DecisionLevel0_0 : 24
50.24/11.76	c (4,0) c DecisionLevel0_1 : 29
50.24/11.76	c (4,0) c DecisionLevel0_2 : 40
50.24/11.76	c (4,0) c DecisionLevel0_3 : 29
50.24/11.76	c (4,0) c DecisionLevel0_4 : 15
50.24/11.76	c (4,0) c DecisionLevel0_5 : 24
50.24/11.76	c (4,0) c DecisionLevel0_6 : 30
50.24/11.76	c (4,0) c DecisionLevel0_7 : 42
50.24/11.76	c (4,0) c DecisionLevel0_total : 233
50.24/11.76	c (4,0) c DecisionLevel0_winner : 15
50.24/11.76	c (4,0) c Periods_0 : 46
50.24/11.76	c (4,0) c Periods_1 : 46
50.24/11.76	c (4,0) c Periods_2 : 46
50.24/11.76	c (4,0) c Periods_3 : 47
50.24/11.76	c (4,0) c Periods_4 : 46
50.24/11.76	c (4,0) c Periods_5 : 47
50.24/11.76	c (4,0) c Periods_6 : 46
50.24/11.76	c (4,0) c Periods_7 : 46
50.24/11.76	c (4,0) c Periods_total : 370
50.24/11.76	c (4,0) c Periods_winner : 46
50.24/11.76	c (4,0) c Margin_0 : 20
50.24/11.76	c (4,0) c Margin_1 : 20
50.24/11.76	c (4,0) c Margin_2 : 20
50.24/11.76	c (4,0) c Margin_3 : 20
50.24/11.76	c (4,0) c Margin_4 : 20
50.24/11.76	c (4,0) c Margin_5 : 20
50.24/11.76	c (4,0) c Margin_6 : 20
50.24/11.76	c (4,0) c Margin_7 : 20
50.24/11.76	c (4,0) c Margin_total : 160
50.24/11.76	c (4,0) c Margin_winner : 20
50.24/11.76	c (4,0) c Exported_0 : 7910
50.24/11.76	c (4,0) c Exported_1 : 7778
50.24/11.76	c (4,0) c Exported_2 : 7656
50.24/11.76	c (4,0) c Exported_3 : 8429
50.24/11.76	c (4,0) c Exported_4 : 8556
50.24/11.76	c (4,0) c Exported_5 : 8349
50.24/11.76	c (4,0) c Exported_6 : 7821
50.24/11.77	c (4,0) c Exported_7 : 7745
50.24/11.77	c (4,0) c Exported_total : 64244
50.24/11.77	c (4,0) c Exported_winner : 8556
50.24/11.77	c (4,0) c Imported_0 : 30765
50.24/11.77	c (4,0) c Imported_1 : 33739
50.24/11.77	c (4,0) c Imported_2 : 27935
50.24/11.77	c (4,0) c Imported_3 : 35038
50.24/11.77	c (4,0) c Imported_4 : 35013
50.24/11.77	c (4,0) c Imported_5 : 33644
50.24/11.77	c (4,0) c Imported_6 : 36530
50.24/11.77	c (4,0) c Imported_7 : 33979
50.24/11.77	c (4,0) c Imported_total : 266643
50.24/11.77	c (4,0) c Imported_winner : 35013
50.24/11.77	c (4,0) c Good_0 : 47
50.24/11.77	c (4,0) c Good_1 : 49
50.24/11.77	c (4,0) c Good_2 : 45
50.24/11.77	c (4,0) c Good_3 : 52
50.24/11.77	c (4,0) c Good_4 : 50
50.24/11.77	c (4,0) c Good_5 : 41
50.24/11.77	c (4,0) c Good_6 : 49
50.24/11.77	c (4,0) c Good_7 : 47
50.24/11.77	c (4,0) c Good_total : 380
50.24/11.77	c (4,0) c Good_winner : 50
50.24/11.77	c (4,0) c Purge_0 : 30718
50.24/11.77	c (4,0) c Purge_1 : 33690
50.24/11.77	c (4,0) c Purge_2 : 27890
50.24/11.77	c (4,0) c Purge_3 : 34986
50.24/11.77	c (4,0) c Purge_4 : 34963
50.24/11.77	c (4,0) c Purge_5 : 33603
50.24/11.77	c (4,0) c Purge_6 : 36481
50.24/11.77	c (4,0) c Purge_7 : 33932
50.24/11.77	c (4,0) c Purge_total : 266263
50.24/11.77	c (4,0) c Purge_winner : 34963
50.24/11.77	c (4,0) c Promoted_0 : 1057
50.24/11.77	c (4,0) c Promoted_1 : 1079
50.24/11.77	c (4,0) c Promoted_2 : 1044
50.24/11.77	c (4,0) c Promoted_3 : 1160
50.24/11.77	c (4,0) c Promoted_4 : 771
50.24/11.77	c (4,0) c Promoted_5 : 1231
50.24/11.77	c (4,0) c Promoted_6 : 966
50.24/11.77	c (4,0) c Promoted_7 : 1424
50.24/11.77	c (4,0) c Promoted_total : 8732
50.24/11.77	c (4,0) c Promoted_winner : 771
50.24/11.77	c (4,0) c Remove_Imp_0 : 7928
50.24/11.77	c (4,0) c Remove_Imp_1 : 6464
50.24/11.77	c (4,0) c Remove_Imp_2 : 4853
50.24/11.77	c (4,0) c Remove_Imp_3 : 6340
50.24/11.77	c (4,0) c Remove_Imp_4 : 2953
50.24/11.77	c (4,0) c Remove_Imp_5 : 7855
50.24/11.77	c (4,0) c Remove_Imp_6 : 6602
50.24/11.77	c (4,0) c Remove_Imp_7 : 8192
50.24/11.77	c (4,0) c Remove_Imp_total : 51187
50.24/11.77	c (4,0) c Remove_Imp_winner : 2953
50.24/11.77	c (4,0) c Blocked_Reuse_0 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_1 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_2 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_3 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_4 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_5 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_6 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_7 : 0
50.24/11.77	c (4,0) c Blocked_Reuse_total : 0
50.24/11.77	c (4,0) c Blocked_Reuse_winner : 0
50.24/11.77	c (4,0) c Unaries_0 : 0
50.24/11.77	c (4,0) c Unaries_1 : 0
50.24/11.77	c (4,0) c Unaries_2 : 0
50.24/11.77	c (4,0) c Unaries_3 : 0
50.24/11.77	c (4,0) c Unaries_4 : 0
50.24/11.77	c (4,0) c Unaries_5 : 0
50.24/11.77	c (4,0) c Unaries_6 : 0
50.24/11.77	c (4,0) c Unaries_7 : 0
50.24/11.77	c (4,0) c Unaries_total : 0
50.24/11.77	c (4,0) c Unaries_winner : 0
50.24/11.77	c (4,0) c Binaries_0 : 10
50.24/11.77	c (4,0) c Binaries_1 : 8
50.24/11.77	c (4,0) c Binaries_2 : 5
50.24/11.77	c (4,0) c Binaries_3 : 8
50.24/11.77	c (4,0) c Binaries_4 : 7
50.24/11.77	c (4,0) c Binaries_5 : 18
50.24/11.77	c (4,0) c Binaries_6 : 11
50.24/11.77	c (4,0) c Binaries_7 : 9
50.24/11.77	c (4,0) c Binaries_total : 76
50.24/11.77	c (4,0) c Binaries_winner : 7
50.24/11.77	c (4,0) c Glues_0 : 460
50.24/11.77	c (4,0) c Glues_1 : 459
50.24/11.77	c (4,0) c Glues_2 : 481
50.24/11.77	c (4,0) c Glues_3 : 506
50.24/11.77	c (4,0) c Glues_4 : 441
50.24/11.77	c (4,0) c Glues_5 : 461
50.24/11.77	c (4,0) c Glues_6 : 489
50.24/11.77	c (4,0) c Glues_7 : 498
50.24/11.77	c (4,0) c Glues_total : 3795
50.24/11.77	c (4,0) c Glues_winner : 441
50.24/11.77	c (4,0) c RunningTime_0 : 3.786113
50.24/11.77	c (4,0) c RunningTime_1 : 3.809173
50.24/11.77	c (4,0) c RunningTime_2 : 3.805803
50.24/11.77	c (4,0) c RunningTime_3 : 3.754792
50.24/11.77	c (4,0) c RunningTime_4 : 3.675687
50.24/11.77	c (4,0) c RunningTime_5 : 3.704495
50.24/11.77	c (4,0) c RunningTime_6 : 3.677342
50.24/11.77	c (4,0) c RunningTime_7 : 3.740184
50.24/11.77	c (4,0) c RunningTime_total : 29.953589
50.24/11.77	c (4,0) c RunningTime_winner : 3.675687
50.24/11.77	c (4,0) c WaitingTime_0 : 0.000035
50.24/11.77	c (4,0) c WaitingTime_1 : 0.000029
50.24/11.77	c (4,0) c WaitingTime_2 : 0.000031
50.24/11.77	c (4,0) c WaitingTime_3 : 0.000034
50.24/11.77	c (4,0) c WaitingTime_4 : 0.000047
50.24/11.77	c (4,0) c WaitingTime_5 : 0.000031
50.24/11.77	c (4,0) c WaitingTime_6 : 0.000034
50.24/11.77	c (4,0) c WaitingTime_7 : 0.000035
50.24/11.77	c (4,0) c WaitingTime_total : 0.000276
50.24/11.77	c (4,0) c WaitingTime_winner : 0.000047
50.24/11.77	c (4,0) c ExchangingTime_0 : 0.009810
50.24/11.77	c (4,0) c ExchangingTime_1 : 0.009908
50.24/11.77	c (4,0) c ExchangingTime_2 : 0.009733
50.24/11.77	c (4,0) c ExchangingTime_3 : 0.010702
50.24/11.77	c (4,0) c ExchangingTime_4 : 0.011083
50.24/11.77	c (4,0) c ExchangingTime_5 : 0.010767
50.24/11.77	c (4,0) c ExchangingTime_6 : 0.010128
50.24/11.77	c (4,0) c ExchangingTime_7 : 0.010275
50.24/11.77	c (4,0) c ExchangingTime_total : 0.082407
50.24/11.77	c (4,0) c ExchangingTime_winner : 0.011083
50.24/11.77	c (4,0) c PeriodProcTime_0 : 0.000333
50.24/11.77	c (4,0) c PeriodProcTime_1 : 0.000320
50.24/11.77	c (4,0) c PeriodProcTime_2 : 0.000352
50.24/11.77	c (4,0) c PeriodProcTime_3 : 0.000338
50.24/11.77	c (4,0) c PeriodProcTime_4 : 0.000329
50.24/11.77	c (4,0) c PeriodProcTime_5 : 0.000351
50.24/11.77	c (4,0) c PeriodProcTime_6 : 0.000335
50.24/11.77	c (4,0) c PeriodProcTime_7 : 0.000362
50.24/11.77	c (4,0) c PeriodProcTime_total : 0.002720
50.24/11.77	c (4,0) c PeriodProcTime_winner : 0.000329
50.24/11.77	c (4,0) c SolvingTime_0 : 3.796292
50.24/11.77	c (4,0) c SolvingTime_1 : 3.819430
50.24/11.77	c (4,0) c SolvingTime_2 : 3.815918
50.24/11.77	c (4,0) c SolvingTime_3 : 3.765867
50.24/11.77	c (4,0) c SolvingTime_4 : 3.687146
50.24/11.77	c (4,0) c SolvingTime_5 : 3.715644
50.24/11.77	c (4,0) c SolvingTime_6 : 3.687840
50.24/11.77	c (4,0) c SolvingTime_7 : 3.750856
50.24/11.77	c (4,0) c SolvingTime_total : 30.038992
50.24/11.77	c (4,0) c SolvingTime_winner : 3.687146
50.24/11.77	c (4,0) c PropagationTime_0 : 3.306565
50.24/11.77	c (4,0) c PropagationTime_1 : 3.337711
50.24/11.77	c (4,0) c PropagationTime_2 : 3.332114
50.24/11.77	c (4,0) c PropagationTime_3 : 3.288599
50.24/11.77	c (4,0) c PropagationTime_4 : 3.184687
50.24/11.77	c (4,0) c PropagationTime_5 : 3.236083
50.24/11.77	c (4,0) c PropagationTime_6 : 3.207050
50.24/11.77	c (4,0) c PropagationTime_7 : 3.266948
50.24/11.77	c (4,0) c PropagationTime_total : 26.159757
50.24/11.77	c (4,0) c PropagationTime_winner : 3.184687
50.24/11.77	c (4,0) c AnalysisTime_0 : 0.323342
50.24/11.77	c (4,0) c AnalysisTime_1 : 0.314496
50.24/11.77	c (4,0) c AnalysisTime_2 : 0.318509
50.24/11.77	c (4,0) c AnalysisTime_3 : 0.314727
50.24/11.77	c (4,0) c AnalysisTime_4 : 0.336637
50.24/11.77	c (4,0) c AnalysisTime_5 : 0.317374
50.24/11.77	c (4,0) c AnalysisTime_6 : 0.318758
50.24/11.77	c (4,0) c AnalysisTime_7 : 0.319434
50.24/11.77	c (4,0) c AnalysisTime_total : 2.563278
50.24/11.77	c (4,0) c AnalysisTime_winner : 0.336637
50.24/11.77	c (4,0) c ReductionTime_0 : 0.039703
50.24/11.77	c (4,0) c ReductionTime_1 : 0.041929
50.24/11.77	c (4,0) c ReductionTime_2 : 0.039999
50.24/11.77	c (4,0) c ReductionTime_3 : 0.040492
50.24/11.77	c (4,0) c ReductionTime_4 : 0.040020
50.24/11.77	c (4,0) c ReductionTime_5 : 0.041413
50.24/11.77	c (4,0) c ReductionTime_6 : 0.040002
50.24/11.77	c (4,0) c ReductionTime_7 : 0.040870
50.24/11.77	c (4,0) c ReductionTime_total : 0.324427
50.24/11.77	c (4,0) c ReductionTime_winner : 0.040020
50.24/11.77	c (4,0) c SimplifyTime_0 : 0.000000
50.24/11.77	c (4,0) c SimplifyTime_1 : 0.000001
50.24/11.77	c (4,0) c SimplifyTime_2 : 0.000004
50.24/11.77	c (4,0) c SimplifyTime_3 : 0.000006
50.24/11.77	c (4,0) c SimplifyTime_4 : 0.000001
50.24/11.77	c (4,0) c SimplifyTime_5 : 0.000003
50.24/11.77	c (4,0) c SimplifyTime_6 : 0.000003
50.24/11.77	c (4,0) c SimplifyTime_7 : 0.000002
50.24/11.77	c (4,0) c SimplifyTime_total : 0.000020
50.24/11.77	c (4,0) c SimplifyTime_winner : 0.000001
50.24/11.77	c (4,0) c UsedRateTime_0 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_1 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_2 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_3 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_4 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_5 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_6 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_7 : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_total : 0.000000
50.24/11.77	c (4,0) c UsedRateTime_winner : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_0 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_1 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_2 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_3 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_4 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_5 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_6 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_7 : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_total : 0.000000
50.24/11.77	c (4,0) c OverlapRateTime_winner : 0.000000
50.24/11.77	c (4,0) c
50.24/11.77	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
50.24/11.77	c (4,0) c
50.24/11.77	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.77	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
50.24/11.77	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.77	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
50.24/11.77	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
50.24/11.77	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
50.24/11.77	c (4,0) c | Initial random_seed   |  173657604 |  123513871 |  104721304 |  167414620 |   14521069 | 1823306620 |  241961106 | 1661529510 |
50.24/11.77	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
50.24/11.77	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
50.24/11.77	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
50.24/11.77	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
50.24/11.77	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
50.24/11.77	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
50.24/11.77	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
50.24/11.77	c (4,0) c | var_decay             |     0.8800 |     0.8700 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |     0.8800 |
50.24/11.77	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
50.24/11.77	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
50.24/11.77	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
50.24/11.77	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
50.24/11.77	c (4,0) 
50.24/11.77	c (4,0) s SATISFIABLE
50.24/11.79	c (4,0) SatSolver.solve End
50.24/11.79	c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
50.24/11.79	c (4,0) Show results Begin
50.50/11.87	c (4,0) x[0] = 10
50.50/11.87	c (4,0) x[1] = 7
50.50/11.87	c (4,0) x[2] = 18
50.50/11.87	c (4,0) x[3] = 16
50.50/11.87	c (4,0) x[4] = 2
50.50/11.87	c (4,0) x[5] = 20
50.50/11.87	c (4,0) x[6] = 19
50.50/11.87	c (4,0) x[7] = 20
50.50/11.87	c (4,0) x[8] = 8
50.50/11.87	c (4,0) x[9] = 20
50.50/11.87	c (4,0) x[10] = 21
50.50/11.87	c (4,0) x[11] = 11
50.50/11.87	c (4,0) x[12] = 1
50.50/11.87	c (4,0) x[13] = 24
50.50/11.87	c (4,0) x[14] = 3
50.50/11.87	c (4,0) x[15] = 11
50.50/11.87	c (4,0) x[16] = 21
50.50/11.87	c (4,0) x[17] = 5
50.50/11.87	c (4,0) x[18] = 10
50.50/11.87	c (4,0) x[19] = 16
50.50/11.87	c (4,0) x[20] = 14
50.50/11.87	c (4,0) x[21] = 14
50.50/11.87	c (4,0) x[22] = 6
50.50/11.87	c (4,0) x[23] = 4
50.50/11.87	c (4,0) x[24] = 10
50.50/11.87	c (4,0) x[25] = 12
50.50/11.87	c (4,0) x[26] = 7
50.50/11.87	c (4,0) x[27] = 12
50.50/11.87	c (4,0) x[28] = 11
50.50/11.87	c (4,0) x[29] = 9
50.50/11.87	c (4,0) x[30] = 0
50.50/11.87	c (4,0) x[31] = 16
50.50/11.87	c (4,0) x[32] = 7
50.50/11.87	c (4,0) x[33] = 17
50.50/11.87	c (4,0) x[34] = 21
50.50/11.87	c (4,0) x[35] = 4
50.50/11.87	c (4,0) x[36] = 16
50.50/11.87	c (4,0) x[37] = 12
50.50/11.87	c (4,0) x[38] = 7
50.50/11.87	c (4,0) x[39] = 11
50.50/11.87	s SATISFIABLE
50.50/11.87	v <instantiation>
50.50/11.87	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]</list>
50.50/11.87	v     <values>10 7 18 16 2 20 19 20 8 20 21 11 1 24 3 11 21 5 10 16 14 14 6 4 10 12 7 12 11 9 0 16 7 17 21 4 16 12 7 11</values>
50.50/11.87	v </instantiation>
50.50/11.87	c (4,0) Show results End
50.50/11.87	c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
50.50/11.87	c (4,0) 4,4,STOP-AFTER(ALL)
50.50/11.87	c END-Prog: Sat Sep 14 02:17:48 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 (15083 MiB free)
  memory of node 1: 16384 MiB (15499 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.10011 s]*
/proc/loadavg: 5.89 7.24 7.53 2/211 3799
/proc/meminfo: memFree=31221408/32770624 swapFree=66919100/67108860
[pid=3777] ppid=3774 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3777/stat : 3777 (scop.sh) S 3774 3777 2998 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417967690 115843072 348 33554432000 4194304 5098028 140730245122944 140730245120200 139705225990780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23158784 140730245124900 140730245125228 140730245125228 140730245128141 0
/proc/3777/statm: 28282 348 296 221 0 87 0
[pid=3780] ppid=3777 vsize=27314120 memory=107376 CPUtime=0.1 cores=0-7
/proc/3780/stat : 3780 (java) S 3777 3777 2998 0 -1 1077944320 6439 0 0 0 8 2 0 0 20 0 20 0 417967690 27969658880 26844 33554432000 4194304 4196468 140723611534928 140723611517472 140555215748855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
/proc/3780/statm: 6828530 26844 2780 1 0 6790935 0
[pid=3780/tid=3781] ppid=3777 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/3780/task/3781/stat : 3781 (java) R 3777 3777 2998 0 -1 4202560 4562 0 0 0 7 1 0 0 20 0 20 0 417967691 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555187575184 140555201431381 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3782] ppid=3777 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3780/task/3782/stat : 3782 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555219991184 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3783] ppid=3777 vsize=27314120 memory=139829437621888 CPUtime=0 cores=0-7
/proc/3780/task/3783/stat : 3783 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555034147344 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3784] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3784/stat : 3784 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555033094544 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3785] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3785/stat : 3785 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555032041744 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3786] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3786/stat : 3786 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555030989968 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3787] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3787/stat : 3787 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555029937168 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3788] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3788/stat : 3788 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555028884368 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3789] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3789/stat : 3789 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 26909 33554432000 4194304 4196468 140723611534928 140555027831568 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3790] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3790/stat : 3790 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553267149168 140555215760002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3791] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3791/stat : 3791 (java) S 3777 3777 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553140298784 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3792] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3792/stat : 3792 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 26909 33554432000 4194304 4196468 140723611534928 140552871863152 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3793] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3793/stat : 3793 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140552497354576 140555215767451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3794] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3794/stat : 3794 (java) R 3777 3777 2998 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553266097008 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3795] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3795/stat : 3795 (java) R 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553265044208 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3796] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3796/stat : 3796 (java) S 3777 3777 2998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553263991408 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3797] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3797/stat : 3797 (java) S 3777 3777 2998 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553262938608 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3798] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3798/stat : 3798 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140551999449696 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3799] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3799/stat : 3799 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 26909 33554432000 4194304 4196468 140723611534928 140553261886000 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108768 KiB

[startup+0.210227 s]*
/proc/loadavg: 5.89 7.24 7.53 3/211 3799
/proc/meminfo: memFree=31198332/32770624 swapFree=66919100/67108860
[pid=3777] ppid=3774 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3777/stat : 3777 (scop.sh) S 3774 3777 2998 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417967690 115843072 348 33554432000 4194304 5098028 140730245122944 140730245120200 139705225990780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23158784 140730245124900 140730245125228 140730245125228 140730245128141 0
/proc/3777/statm: 28282 348 296 221 0 87 0
[pid=3780] ppid=3777 vsize=27314120 memory=126704 CPUtime=0.25 cores=0-7
/proc/3780/stat : 3780 (java) S 3777 3777 2998 0 -1 1077944320 12087 0 0 0 21 4 0 0 20 0 20 0 417967690 27969658880 31676 33554432000 4194304 4196468 140723611534928 140723611517472 140555215748855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
/proc/3780/statm: 6828530 31676 2940 1 0 6790935 0
[pid=3780/tid=3781] ppid=3777 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3780/task/3781/stat : 3781 (java) R 3777 3777 2998 0 -1 4202560 9798 0 0 0 17 3 0 0 20 0 20 0 417967691 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555187557248 140555200914400 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3782] ppid=3777 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/3780/task/3782/stat : 3782 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555219991184 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3783] ppid=3777 vsize=27314120 memory=288370205589333632 CPUtime=0 cores=0-7
/proc/3780/task/3783/stat : 3783 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555034147344 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3784] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3784/stat : 3784 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555033094544 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3785] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3785/stat : 3785 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555032041744 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3786] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3786/stat : 3786 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555030989968 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3787] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3787/stat : 3787 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555029937168 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3788] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3788/stat : 3788 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555028884368 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3789] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3789/stat : 3789 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 31676 33554432000 4194304 4196468 140723611534928 140555027831568 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3790] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3790/stat : 3790 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553267149168 140555215760002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3791] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3791/stat : 3791 (java) S 3777 3777 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553140298784 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3792] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3792/stat : 3792 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 31676 33554432000 4194304 4196468 140723611534928 140552871863152 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3793] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3793/stat : 3793 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140552497354576 140555215767451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3794] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3794/stat : 3794 (java) S 3777 3777 2998 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553266097008 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3795] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3795/stat : 3795 (java) S 3777 3777 2998 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553265044208 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3796] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3796/stat : 3796 (java) S 3777 3777 2998 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553263991408 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3797] ppid=3777 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3780/task/3797/stat : 3797 (java) S 3777 3777 2998 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553262938608 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3798] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3798/stat : 3798 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140551999449696 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3799] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3799/stat : 3799 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 31676 33554432000 4194304 4196468 140723611534928 140553261886000 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128096 KiB

[startup+0.309764 s]*
/proc/loadavg: 5.89 7.24 7.53 2/211 3799
/proc/meminfo: memFree=31195540/32770624 swapFree=66919100/67108860
[pid=3777] ppid=3774 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3777/stat : 3777 (scop.sh) S 3774 3777 2998 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417967690 115843072 348 33554432000 4194304 5098028 140730245122944 140730245120200 139705225990780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23158784 140730245124900 140730245125228 140730245125228 140730245128141 0
/proc/3777/statm: 28282 348 296 221 0 87 0
[pid=3780] ppid=3777 vsize=27314120 memory=130312 CPUtime=0.42 cores=0-7
/proc/3780/stat : 3780 (java) S 3777 3777 2998 0 -1 1077944320 12437 0 0 0 38 4 0 0 20 0 20 0 417967690 27969658880 32578 33554432000 4194304 4196468 140723611534928 140723611517472 140555215748855 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
/proc/3780/statm: 6828530 32578 3012 1 0 6790935 0
[pid=3780/tid=3781] ppid=3777 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/3780/task/3781/stat : 3781 (java) R 3777 3777 2998 0 -1 4202560 9985 0 0 0 26 3 0 0 20 0 20 0 417967691 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555187533840 140555196024197 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3782] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3782/stat : 3782 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555219991184 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3783] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3783/stat : 3783 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555034147344 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3784] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3784/stat : 3784 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555033094544 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3785] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3785/stat : 3785 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555032041744 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3786] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3786/stat : 3786 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555030989968 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3787] ppid=3777 vsize=27314120 memory=139829304191663 CPUtime=0 cores=0-7
/proc/3780/task/3787/stat : 3787 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555029937168 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3788] ppid=3777 vsize=27314120 memory=139829304193968 CPUtime=0 cores=0-7
/proc/3780/task/3788/stat : 3788 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555028884368 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3789] ppid=3777 vsize=27314120 memory=139829304196272 CPUtime=0 cores=0-7
/proc/3780/task/3789/stat : 3789 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967693 27969658880 32578 33554432000 4194304 4196468 140723611534928 140555027831568 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3790] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3790/stat : 3790 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553267149168 140555215760002 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3791] ppid=3777 vsize=27314120 memory=279658608406416 CPUtime=0 cores=0-7
/proc/3780/task/3791/stat : 3791 (java) S 3777 3777 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553140298784 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3792] ppid=3777 vsize=27314120 memory=279658608404112 CPUtime=0 cores=0-7
/proc/3780/task/3792/stat : 3792 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967695 27969658880 32578 33554432000 4194304 4196468 140723611534928 140552871863152 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3793] ppid=3777 vsize=27314120 memory=279658608411024 CPUtime=0 cores=0-7
/proc/3780/task/3793/stat : 3793 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140552497354576 140555215767451 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3794] ppid=3777 vsize=27314120 memory=279658608352304 CPUtime=0.02 cores=0-7
/proc/3780/task/3794/stat : 3794 (java) R 3777 3777 2998 0 -1 4202560 407 0 0 0 2 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553266097008 140555199133634 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3795] ppid=3777 vsize=27314120 memory=279658608424848 CPUtime=0 cores=0-7
/proc/3780/task/3795/stat : 3795 (java) S 3777 3777 2998 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553265044208 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3796] ppid=3777 vsize=27314120 memory=279658608431760 CPUtime=0.01 cores=0-7
/proc/3780/task/3796/stat : 3796 (java) S 3777 3777 2998 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553263991408 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3797] ppid=3777 vsize=27314120 memory=279658608429456 CPUtime=0.07 cores=0-7
/proc/3780/task/3797/stat : 3797 (java) S 3777 3777 2998 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553262938608 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3798] ppid=3777 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3798/stat : 3798 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140551999449696 140555215759061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3799] ppid=3777 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3780/task/3799/stat : 3799 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967698 27969658880 32578 33554432000 4194304 4196468 140723611534928 140553261886000 140555215760002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131704 KiB

[startup+0.700991 s]
/proc/loadavg: 5.89 7.24 7.53 2/211 3799
/proc/meminfo: memFree=31174456/32770624 swapFree=66919100/67108860
[pid=3777] ppid=3774 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/3777/stat : 3777 (scop.sh) S 3774 3777 2998 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417967690 115843072 348 33554432000 4194304 5098028 140730245122944 140730245120200 139705225990780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23158784 140730245124900 140730245125228 140730245125228 140730245128141 0
/proc/3777/statm: 28282 348 296 221 0 87 0
[pid=3780] ppid=3777 vsize=27320392 memory=165680 CPUtime=1.02 cores=0-7
/proc/3780/stat : 3780 (java) S 3777 3777 2998 0 -1 1077944320 20003 0 0 0 95 7 0 0 20 0 20 0 417967690 27976081408 41420 33554432000 4194304 4196468 140723611534928 140723611517472 140555215748855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
/proc/3780/statm: 6830098 41420 3192 1 0 6791447 0
[pid=3780/tid=3781] ppid=3777 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/3780/task/3781/stat : 3781 (java) R 3777 3777 2998 0 -1 4202560 16893 0 0 0 62 5 0 0 20 0 20 0 417967691 27976081408 41420 33554432000 4194304 4196468 140723611534928 140555187587616 140555215770781 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3782] ppid=3777 vsize=27320392 memory=139829304402800 CPUtime=0 cores=0-7
/proc/3780/task/3782/stat : 3782 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27976081408 41420 33554432000 4194304 4196468 140723611534928 140555219991184 140555215759061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3783] ppid=3777 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3780/task/3783/stat : 3783 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417967693 27976081408 41420 33554432000 4194304 4196468 140723611534928 140555034147344 140555215759061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0
[pid=3780/tid=3784] ppid=3777 vsize=27320392 memory=1560 CPUtime=0 cores=0-7
/proc/3780/task/3784/stat : 3784 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417967693 27976081408 41420 33554432000 4194304 4196468 140723611534928 140555033094544 140555215759061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23212032 140723611538155 140723611538582 140723611538582 140723611541455 0

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

/proc/3800/task/3812/stat : 3812 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968409 8616062976 30092 33554432000 4194304 4196468 140727940979808 140155922933104 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3813] ppid=3777 vsize=8414124 memory=2 CPUtime=0 cores=0-7
/proc/3800/task/3813/stat : 3813 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140155548424528 140157596088219 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3814] ppid=3777 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/3800/task/3814/stat : 3814 (java) S 3777 3777 2998 0 -1 1077944384 486 0 0 0 6 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156554193264 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3815] ppid=3777 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/3800/task/3815/stat : 3815 (java) S 3777 3777 2998 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156553140464 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3816] ppid=3777 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/3800/task/3816/stat : 3816 (java) S 3777 3777 2998 0 -1 1077944384 304 0 0 0 6 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156552087664 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3817] ppid=3777 vsize=8414124 memory=50 CPUtime=0.2 cores=0-7
/proc/3800/task/3817/stat : 3817 (java) S 3777 3777 2998 0 -1 1077944384 546 0 0 0 20 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156551034864 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3818] ppid=3777 vsize=8414124 memory=4 CPUtime=0 cores=0-7
/proc/3800/task/3818/stat : 3818 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140155050519648 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3819] ppid=3777 vsize=8414124 memory=87 CPUtime=0 cores=0-7
/proc/3800/task/3819/stat : 3819 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156549983280 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3821] ppid=3777 vsize=8414124 memory=5866897715860040034 CPUtime=0 cores=0-7
/proc/3800/task/3821/stat : 3821 (java) S 3777 3777 2998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417968478 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156541949504 140157596094233 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3823] ppid=3777 vsize=8414124 memory=279658608788624 CPUtime=0 cores=0-7
/proc/3800/task/3823/stat : 3823 (java) S 3777 3777 2998 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417968479 8616062976 30092 33554432000 4194304 4196468 140727940979808 140154379419280 140157596091549 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3824] ppid=3777 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3800/task/3824/stat : 3824 (java) S 3777 3777 2998 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417968479 8616062976 30092 33554432000 4194304 4196468 140727940979808 140154647854608 140157596091549 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3825] ppid=3777 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3800/task/3825/stat : 3825 (java) S 3777 3777 2998 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 417968481 8616062976 30092 33554432000 4194304 4196468 140727940979808 140154110991408 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
Current children cumulated CPU time: 46.45 s
Current children cumulated vsize: 9166888 KiB
Current children cumulated memory: 239536 KiB

[startup+11.6015 s]
/proc/loadavg: 5.61 7.13 7.49 9/224 3833
/proc/meminfo: memFree=31098544/32770624 swapFree=66919100/67108860
[pid=3777] ppid=3774 vsize=113128 memory=1472 CPUtime=19.24 cores=0-7
/proc/3777/stat : 3777 (scop.sh) S 3774 3777 2998 0 -1 4202496 581 39648 0 0 0 0 1882 42 20 0 1 0 417967690 115843072 368 33554432000 4194304 5098028 140730245122944 140730245119688 139705225990780 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23158784 140730245124900 140730245125228 140730245125228 140730245128141 0
/proc/3777/statm: 28282 368 311 221 0 87 0
[pid=3800] ppid=3777 vsize=8414124 memory=120368 CPUtime=1.17 cores=0-7
/proc/3800/stat : 3800 (java) S 3777 3777 2998 0 -1 1077944320 20046 0 0 0 110 7 0 0 20 0 24 0 417968406 8616062976 30092 33554432000 4194304 4196468 140727940979808 140727940962352 140157596069623 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
/proc/3800/statm: 2103531 30092 3207 1 0 2064875 0
[pid=3820] ppid=3800 vsize=639636 memory=129500 CPUtime=29.23 cores=0-7
/proc/3820/stat : 3820 (manyglucose-4.1) S 3800 3777 2998 0 -1 1077944320 56375 0 0 0 2912 11 0 0 20 0 9 0 417968478 654987264 32375 33554432000 4194304 4454172 140732402595984 140732402594384 140377010199170 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
/proc/3820/statm: 159909 32375 402 64 0 155577 0
[pid=3820/tid=3826] ppid=3800 vsize=639636 memory=6935649255777462100 CPUtime=3.65 cores=0-7
/proc/3820/task/3826/stat : 3826 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 7133 0 0 0 364 1 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376988818536 4350313 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3827] ppid=3800 vsize=639636 memory=7019257425709197167 CPUtime=3.65 cores=0-7
/proc/3820/task/3827/stat : 3827 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6185 0 0 0 364 1 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376980425832 4349922 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3828] ppid=3800 vsize=639636 memory=30916 CPUtime=3.56 cores=0-7
/proc/3820/task/3828/stat : 3828 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6189 0 0 0 356 0 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376972033128 4351769 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3829] ppid=3800 vsize=639636 memory=0 CPUtime=3.65 cores=0-7
/proc/3820/task/3829/stat : 3829 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6003 0 0 0 364 1 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376963640168 4351215 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3830] ppid=3800 vsize=639636 memory=8458433173656778496 CPUtime=3.65 cores=0-7
/proc/3820/task/3830/stat : 3830 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6518 0 0 0 364 1 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376955247720 4353764 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3831] ppid=3800 vsize=639636 memory=5936 CPUtime=3.65 cores=0-7
/proc/3820/task/3831/stat : 3831 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6162 0 0 0 364 1 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376946854760 4351564 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3832] ppid=3800 vsize=639636 memory=0 CPUtime=3.65 cores=0-7
/proc/3820/task/3832/stat : 3832 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6106 0 0 0 365 0 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376938462056 4351591 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3820/tid=3833] ppid=3800 vsize=639636 memory=279658608197872 CPUtime=3.63 cores=0-7
/proc/3820/task/3833/stat : 3833 (manyglucose-4.1) R 3800 3777 2998 0 -1 4202560 6290 0 0 0 362 1 0 0 20 0 9 0 417968484 654987264 32375 33554432000 4194304 4454172 140732402595984 140376930069352 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 23326720 140732402602858 140732402603056 140732402603056 140732402606010 0
[pid=3800/tid=3801] ppid=3777 vsize=8414124 memory=2241 CPUtime=0.76 cores=0-7
/proc/3800/task/3801/stat : 3801 (java) S 3777 3777 2998 0 -1 1077944384 16929 0 0 0 70 6 0 0 20 0 24 0 417968406 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157567909792 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3802] ppid=3777 vsize=8414124 memory=279658609602784 CPUtime=0 cores=0-7
/proc/3800/task/3802/stat : 3802 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157600312464 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3803] ppid=3777 vsize=8414124 memory=23076 CPUtime=0 cores=0-7
/proc/3800/task/3803/stat : 3803 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157400480784 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3804] ppid=3777 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3800/task/3804/stat : 3804 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157080562576 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3805] ppid=3777 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/3800/task/3805/stat : 3805 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157079509776 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3806] ppid=3777 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/3800/task/3806/stat : 3806 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157078456976 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3807] ppid=3777 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3800/task/3807/stat : 3807 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157077404176 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3808] ppid=3777 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3800/task/3808/stat : 3808 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157076351376 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3809] ppid=3777 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3800/task/3809/stat : 3809 (java) S 3777 3777 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417968407 8616062976 30092 33554432000 4194304 4196468 140727940979808 140157075298576 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3810] ppid=3777 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/3800/task/3810/stat : 3810 (java) S 3777 3777 2998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417968409 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156555246448 140157596080770 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3811] ppid=3777 vsize=8414124 memory=1172 CPUtime=0 cores=0-7
/proc/3800/task/3811/stat : 3811 (java) S 3777 3777 2998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417968409 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156191368736 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3812] ppid=3777 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/3800/task/3812/stat : 3812 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968409 8616062976 30092 33554432000 4194304 4196468 140727940979808 140155922933104 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3813] ppid=3777 vsize=8414124 memory=14072 CPUtime=0 cores=0-7
/proc/3800/task/3813/stat : 3813 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140155548424528 140157596088219 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3814] ppid=3777 vsize=8414124 memory=2116 CPUtime=0.06 cores=0-7
/proc/3800/task/3814/stat : 3814 (java) S 3777 3777 2998 0 -1 1077944384 486 0 0 0 6 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156554193264 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3815] ppid=3777 vsize=8414124 memory=8664 CPUtime=0.04 cores=0-7
/proc/3800/task/3815/stat : 3815 (java) S 3777 3777 2998 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156553140464 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3816] ppid=3777 vsize=8414124 memory=528 CPUtime=0.06 cores=0-7
/proc/3800/task/3816/stat : 3816 (java) S 3777 3777 2998 0 -1 1077944384 304 0 0 0 6 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156552087664 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3817] ppid=3777 vsize=8414124 memory=1560 CPUtime=0.2 cores=0-7
/proc/3800/task/3817/stat : 3817 (java) S 3777 3777 2998 0 -1 1077944384 546 0 0 0 20 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156551034864 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3818] ppid=3777 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/3800/task/3818/stat : 3818 (java) S 3777 3777 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140155050519648 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3819] ppid=3777 vsize=8414124 memory=1492 CPUtime=0 cores=0-7
/proc/3800/task/3819/stat : 3819 (java) S 3777 3777 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417968412 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156549983280 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3821] ppid=3777 vsize=8414124 memory=-4075877051373423744 CPUtime=0 cores=0-7
/proc/3800/task/3821/stat : 3821 (java) S 3777 3777 2998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417968478 8616062976 30092 33554432000 4194304 4196468 140727940979808 140156541949504 140157596094233 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3823] ppid=3777 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/3800/task/3823/stat : 3823 (java) S 3777 3777 2998 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417968479 8616062976 30092 33554432000 4194304 4196468 140727940979808 140154379419280 140157596091549 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3824] ppid=3777 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/3800/task/3824/stat : 3824 (java) S 3777 3777 2998 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417968479 8616062976 30092 33554432000 4194304 4196468 140727940979808 140154647854608 140157596091549 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3825] ppid=3777 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/3800/task/3825/stat : 3825 (java) S 3777 3777 2998 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 417968481 8616062976 30092 33554432000 4194304 4196468 140727940979808 140154110991408 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
Current children cumulated CPU time: 49.64 s
Current children cumulated vsize: 9166888 KiB
Current children cumulated memory: 251340 KiB

[startup+11.8012 s]
/proc/loadavg: 5.61 7.13 7.49 9/224 3833
/proc/meminfo: memFree=31098544/32770624 swapFree=66919100/67108860
[pid=3777] ppid=3774 vsize=113128 memory=1472 CPUtime=19.24 cores=0-7
/proc/3777/stat : 3777 (scop.sh) S 3774 3777 2998 0 -1 4202496 581 39648 0 0 0 0 1882 42 20 0 1 0 417967690 115843072 368 33554432000 4194304 5098028 140730245122944 140730245119688 139705225990780 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23158784 140730245124900 140730245125228 140730245125228 140730245128141 0
/proc/3777/statm: 28282 368 311 221 0 87 0
[pid=3800] ppid=3777 vsize=8283048 memory=120972 CPUtime=31.26 cores=0-7
/proc/3800/stat : 3800 (java) S 3777 3777 2998 0 -1 1077944320 20227 56759 0 0 120 8 2986 12 20 0 22 0 417968406 8481841152 30243 33554432000 4194304 4196468 140727940979808 140727940962352 140157596069623 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
/proc/3800/statm: 2070762 30243 3210 1 0 2032106 0
[pid=3800/tid=3801] ppid=3777 vsize=8283048 memory=32847909887453 CPUtime=30.74 cores=0-7
/proc/3800/task/3801/stat : 3801 (java) R 3777 3777 2998 0 -1 4202560 16969 56759 0 0 70 6 2986 12 20 0 22 0 417968406 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157567905120 140157418449395 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3802] ppid=3777 vsize=8283048 memory=0 CPUtime=29.98 cores=0-7
/proc/3800/task/3802/stat : 3802 (java) S 3777 3777 2998 0 -1 1077944384 2 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157600312464 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3803] ppid=3777 vsize=8283048 memory=0 CPUtime=29.98 cores=0-7
/proc/3800/task/3803/stat : 3803 (java) S 3777 3777 2998 0 -1 1077944384 1 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157400480784 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3804] ppid=3777 vsize=8283048 memory=0 CPUtime=29.98 cores=0-7
/proc/3800/task/3804/stat : 3804 (java) S 3777 3777 2998 0 -1 1077944384 1 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157080562576 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3805] ppid=3777 vsize=8283048 memory=0 CPUtime=29.98 cores=0-7
/proc/3800/task/3805/stat : 3805 (java) S 3777 3777 2998 0 -1 1077944384 3 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157079509776 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3806] ppid=3777 vsize=8283048 memory=-1088251628401078322 CPUtime=29.98 cores=0-7
/proc/3800/task/3806/stat : 3806 (java) S 3777 3777 2998 0 -1 1077944384 2 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157078456976 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3807] ppid=3777 vsize=8283048 memory=6944656592455097440 CPUtime=29.98 cores=0-7
/proc/3800/task/3807/stat : 3807 (java) S 3777 3777 2998 0 -1 1077944384 1 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157077404176 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3808] ppid=3777 vsize=8283048 memory=6944656592387989600 CPUtime=29.98 cores=0-7
/proc/3800/task/3808/stat : 3808 (java) S 3777 3777 2998 0 -1 1077944384 2 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157076351376 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3809] ppid=3777 vsize=8283048 memory=6943526294502006880 CPUtime=29.98 cores=0-7
/proc/3800/task/3809/stat : 3809 (java) S 3777 3777 2998 0 -1 1077944384 2 56759 0 0 0 0 2986 12 20 0 22 0 417968407 8481841152 30243 33554432000 4194304 4196468 140727940979808 140157075298576 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3810] ppid=3777 vsize=8283048 memory=-3252517613198930781 CPUtime=29.98 cores=0-7
/proc/3800/task/3810/stat : 3810 (java) S 3777 3777 2998 0 -1 1077944384 5 56759 0 0 0 0 2986 12 20 0 22 0 417968409 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156555246448 140157596080770 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3811] ppid=3777 vsize=8283048 memory=-7022074515825631275 CPUtime=29.98 cores=0-7
/proc/3800/task/3811/stat : 3811 (java) S 3777 3777 2998 0 -1 1077944384 13 56759 0 0 0 0 2986 12 20 0 22 0 417968409 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156191368736 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3812] ppid=3777 vsize=8283048 memory=7681421203011431829 CPUtime=29.98 cores=0-7
/proc/3800/task/3812/stat : 3812 (java) S 3777 3777 2998 0 -1 1077944384 1 56759 0 0 0 0 2986 12 20 0 22 0 417968409 8481841152 30243 33554432000 4194304 4196468 140727940979808 140155922933104 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3813] ppid=3777 vsize=8283048 memory=3055200184341839977 CPUtime=29.98 cores=0-7
/proc/3800/task/3813/stat : 3813 (java) S 3777 3777 2998 0 -1 1077944384 1 56759 0 0 0 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140155548424528 140157596088219 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3814] ppid=3777 vsize=8283048 memory=1414353297708861353 CPUtime=30.06 cores=0-7
/proc/3800/task/3814/stat : 3814 (java) S 3777 3777 2998 0 -1 1077944384 497 56759 0 0 8 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156554193264 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3815] ppid=3777 vsize=8283048 memory=-7606742920825102191 CPUtime=30.03 cores=0-7
/proc/3800/task/3815/stat : 3815 (java) S 3777 3777 2998 0 -1 1077944384 386 56759 0 0 5 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156553140464 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3816] ppid=3777 vsize=8283048 memory=4137287014106042739 CPUtime=30.06 cores=0-7
/proc/3800/task/3816/stat : 3816 (java) S 3777 3777 2998 0 -1 1077944384 308 56759 0 0 8 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156552087664 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3817] ppid=3777 vsize=8283048 memory=-7522837415730323359 CPUtime=30.21 cores=0-7
/proc/3800/task/3817/stat : 3817 (java) S 3777 3777 2998 0 -1 1077944384 608 56759 0 0 23 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156551034864 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3818] ppid=3777 vsize=8283048 memory=6944656591801719708 CPUtime=29.98 cores=0-7
/proc/3800/task/3818/stat : 3818 (java) S 3777 3777 2998 0 -1 1077944384 3 56759 0 0 0 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140155050519648 140157596079829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3819] ppid=3777 vsize=8283048 memory=6944613755328037012 CPUtime=29.98 cores=0-7
/proc/3800/task/3819/stat : 3819 (java) S 3777 3777 2998 0 -1 1077944384 1 56759 0 0 0 0 2986 12 20 0 22 0 417968412 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156549983280 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3821] ppid=3777 vsize=8283048 memory=4137282616176384387 CPUtime=29.98 cores=0-7
/proc/3800/task/3821/stat : 3821 (java) S 3777 3777 2998 0 -1 1077944384 29 56759 0 0 0 0 2986 12 20 0 22 0 417968478 8481841152 30243 33554432000 4194304 4196468 140727940979808 140156541948688 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
[pid=3800/tid=3825] ppid=3777 vsize=8283048 memory=7100839870037596261 CPUtime=29.98 cores=0-7
/proc/3800/task/3825/stat : 3825 (java) S 3777 3777 2998 0 -1 1077944384 13 56759 0 0 0 0 2986 12 20 0 22 0 417968481 8481841152 30243 33554432000 4194304 4196468 140727940979808 140154110993200 140157596080770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29872128 140727940981752 140727940981910 140727940981910 140727940984783 0
Current children cumulated CPU time: 50.5 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122444 KiB

Child status: 0
Real time (s): 11.884
CPU time (s): 50.6752
CPU user time (s): 50.0306
CPU system time (s): 0.644615
CPU usage (%): 426.415
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 2133980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.0306
system time used= 0.644615
maximum resident set size= 2135532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117614
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10706
involuntary context switches= 401


# summary of solver processes directly reported to runsolver:
#   pid: 3777
#   total CPU time (s): 50.6752
#   total CPU user time (s): 50.0306
#   total CPU system time (s): 0.644615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.127916 second user time and 0.161195 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 02:17:36
IDJOB=4392579
IDBENCH=122262
IDSOLVER=2839
FILE ID=node141/4392579-1568420298
RUNJOBID= node141-1568417565-3025
PBS_JOBID= 21702276
Free space on /tmp= 58540 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392579-1568420298/watcher-4392579-1568420298 -o /tmp/evaluation-result-4392579-1568420298/solver-4392579-1568420298 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568417565-3025 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392579-1568420298.xml

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

MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80
RANDOM SEED=1257451675

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31317120 kB
MemAvailable:   31841580 kB
Buffers:          173936 kB
Cached:           639732 kB
SwapCached:        80512 kB
Active:           435412 kB
Inactive:         461768 kB
Active(anon):       9880 kB
Inactive(anon):   106128 kB
Active(file):     425532 kB
Inactive(file):   355640 kB
Unevictable:      109460 kB
Mlocked:          109460 kB
SwapTotal:      67108860 kB
SwapFree:       66919100 kB
Dirty:             21084 kB
Writeback:             0 kB
AnonPages:        113420 kB
Mapped:            36000 kB
Shmem:             23132 kB
Slab:             147988 kB
SReclaimable:     118244 kB
SUnreclaim:        29744 kB
KernelStack:        3376 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498564 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:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58520 MiB
End job on node141 at 2019-09-14 02:17:48